summaryrefslogtreecommitdiffstats
path: root/src/misc/util/abc_global.h
Commit message (Expand)AuthorAgeFilesLines
* move namespace logic into a separate file. It is useful for users of ABC that...Baruch Sterin2015-11-201-27/+1
* Fix to the #include <stdlib.h> problem for Debug version on Window.Alan Mishchenko2015-10-161-8/+8
* make sure all of ABC and related libraries are in the same namespace (when co...Baruch Sterin2015-10-161-0/+1
* Improvements to Cba data-structure.Alan Mishchenko2015-08-081-0/+1
* Adding resource limit switch -C to 'sop'.Alan Mishchenko2015-02-111-1/+1
* Preprocessing for multi-output PLA tables.Alan Mishchenko2015-01-311-0/+1
* New assertions and bug fix in DSD balancing.Alan Mishchenko2015-01-271-8/+19
* Fix in reading flop classes.Alan Mishchenko2014-11-211-0/+4
* Fix parenthesization of Abc_Clock #ifdef.Aaron Tomb2013-11-061-1/+1
* Don't assume MSVC when __MINGW32__ set.Aaron Tomb2013-11-041-0/+2
* Make definition of Abc_Clock work with MINGW32.Aaron Tomb2013-11-041-1/+1
* Compiler warnings.Alan Mishchenko2013-10-301-3/+3
* Small changes to compile on Mac.Alan Mishchenko2013-08-151-1/+1
* Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem o...Alan Mishchenko2013-07-011-0/+1
* Suggested changes to counting time in Abc_Clock()Alan Mishchenko2013-06-181-10/+10
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-1/+1
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-12/+30
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-1/+2
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-301-0/+6
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-0/+4
* DSD manager.Alan Mishchenko2012-11-191-0/+1
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-0/+1
* Added switch for netlist type to 'send_aig'. Changed defautl to &-space. Fixe...Niklas Een2012-10-301-4/+13
* Adding #ifdef to guard windows-specific debugging option.Alan Mishchenko2012-10-201-3/+5
* C++ portability changes.Alan Mishchenko2012-10-031-5/+6
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-251-0/+1
* Added purification of UNSAT core in &gla.Alan Mishchenko2012-08-101-6/+6
* Fixing the integer print-out problem.Alan Mishchenko2012-07-131-13/+13
* Fixing the integer print-out problem.Alan Mishchenko2012-07-131-12/+18
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-111-0/+19
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-4/+4
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-071-4/+4
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-071-4/+4
* Added memory reporting to &vta.Alan Mishchenko2012-06-221-6/+8
* Added option to compile on windows without DLL support.Alan Mishchenko2012-06-151-2/+7
* Removed warning in Abc_PrintNiklas Een2012-03-021-28/+27
* Redirecting printf messages.Alan Mishchenko2012-03-021-6/+6
* Redirecting printf messages.Alan Mishchenko2012-03-021-18/+6
* Adding features related to the communication bridge.Alan Mishchenko2012-03-021-8/+8
* Created a communication bridge.Alan Mishchenko2012-03-011-3/+15
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-191-5/+5
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-191-2/+10
* Removed unused 'bool' definition and unused memory management macros.Alan Mishchenko2012-02-071-19/+0
* Major restructuring of the code.Alan Mishchenko2012-01-211-18/+34
* Added new name manager and modified hierarchy manager to use it.Alan Mishchenko2012-01-131-0/+27
* Added new sorting procedures.Alan Mishchenko2011-07-311-0/+3
* Added Max/Min/Abs as static inline functions.Alan Mishchenko2011-03-271-0/+11
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-12/+0
* initial commit of public abcAlan Mishchenko2010-11-011-8/+125
* Version abc90804Alan Mishchenko2015-06-221-0/+1