Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Using arch macro for moderns compilers | Bruno Schmitt | 2017-07-04 | 1 | -5/+5 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2017-04-28 | 1 | -3/+3 |
| | |||||
* | Movinng custom floating-point implementations, etc. | Alan Mishchenko | 2017-02-11 | 1 | -0/+2 |
| | |||||
* | move namespace logic into a separate file. It is useful for users of ABC ↵ | Baruch Sterin | 2015-11-20 | 1 | -27/+1 |
| | | | | that need to use symbols without the entire baggage of including abc_global.h | ||||
* | Fix to the #include <stdlib.h> problem for Debug version on Window. | Alan Mishchenko | 2015-10-16 | 1 | -8/+8 |
| | |||||
* | make sure all of ABC and related libraries are in the same namespace (when ↵ | Baruch Sterin | 2015-10-16 | 1 | -0/+1 |
| | | | | compiled with ABC_NAMESPACE) by removing extern "C" from function definitions | ||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-08 | 1 | -0/+1 |
| | |||||
* | Adding resource limit switch -C to 'sop'. | Alan Mishchenko | 2015-02-11 | 1 | -1/+1 |
| | |||||
* | Preprocessing for multi-output PLA tables. | Alan Mishchenko | 2015-01-31 | 1 | -0/+1 |
| | |||||
* | New assertions and bug fix in DSD balancing. | Alan Mishchenko | 2015-01-27 | 1 | -8/+19 |
| | |||||
* | Fix in reading flop classes. | Alan Mishchenko | 2014-11-21 | 1 | -0/+4 |
| | |||||
* | Fix parenthesization of Abc_Clock #ifdef. | Aaron Tomb | 2013-11-06 | 1 | -1/+1 |
| | | | | | The previous location of parentheses led to an attempt to compile against Linux-only clock APIs when building on 32-bit OS X. | ||||
* | Don't assume MSVC when __MINGW32__ set. | Aaron Tomb | 2013-11-04 | 1 | -0/+2 |
| | |||||
* | Make definition of Abc_Clock work with MINGW32. | Aaron Tomb | 2013-11-04 | 1 | -1/+1 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2013-10-30 | 1 | -3/+3 |
| | |||||
* | Small changes to compile on Mac. | Alan Mishchenko | 2013-08-15 | 1 | -1/+1 |
| | |||||
* | Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem ↵ | Alan Mishchenko | 2013-07-01 | 1 | -0/+1 |
| | | | | on some platforms. | ||||
* | Suggested changes to counting time in Abc_Clock() | Alan Mishchenko | 2013-06-18 | 1 | -10/+10 |
| | |||||
* | Adding a wrapper around clock() for more accurate time counting in ABC. | Alan Mishchenko | 2013-05-27 | 1 | -1/+1 |
| | |||||
* | Adding a wrapper around clock() for more accurate time counting in ABC. | Alan Mishchenko | 2013-05-27 | 1 | -12/+30 |
| | |||||
* | User-controlable SAT sweeper. | Alan Mishchenko | 2013-02-25 | 1 | -1/+2 |
| | |||||
* | Fixing compilation problems on Linux-32 related to constants of type ↵ | Alan Mishchenko | 2013-01-30 | 1 | -0/+6 |
| | | | | unsigned long long. | ||||
* | Fixing C++ compilation issues. | Alan Mishchenko | 2013-01-08 | 1 | -0/+4 |
| | |||||
* | DSD manager. | Alan Mishchenko | 2012-11-19 | 1 | -0/+1 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 1 | -0/+1 |
| | |||||
* | Added switch for netlist type to 'send_aig'. Changed defautl to &-space. ↵ | Niklas Een | 2012-10-30 | 1 | -4/+13 |
| | | | | Fixed printf -> Abc_Print in some places. | ||||
* | Adding #ifdef to guard windows-specific debugging option. | Alan Mishchenko | 2012-10-20 | 1 | -3/+5 |
| | |||||
* | C++ portability changes. | Alan Mishchenko | 2012-10-03 | 1 | -5/+6 |
| | |||||
* | New package to read/write a subset of Liberty for STA. | Alan Mishchenko | 2012-08-25 | 1 | -0/+1 |
| | |||||
* | Added purification of UNSAT core in &gla. | Alan Mishchenko | 2012-08-10 | 1 | -6/+6 |
| | |||||
* | Fixing the integer print-out problem. | Alan Mishchenko | 2012-07-13 | 1 | -13/+13 |
| | |||||
* | Fixing the integer print-out problem. | Alan Mishchenko | 2012-07-13 | 1 | -12/+18 |
| | |||||
* | Improvements in the proof-logging SAT solver. | Alan Mishchenko | 2012-07-11 | 1 | -0/+19 |
| | |||||
* | Replacing Mb/Gb to be MB/GB. | Alan Mishchenko | 2012-07-09 | 1 | -4/+4 |
| | |||||
* | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 1 | -4/+4 |
| | |||||
* | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 1 | -4/+4 |
| | |||||
* | Added memory reporting to &vta. | Alan Mishchenko | 2012-06-22 | 1 | -6/+8 |
| | |||||
* | Added option to compile on windows without DLL support. | Alan Mishchenko | 2012-06-15 | 1 | -2/+7 |
| | |||||
* | Removed warning in Abc_Print | Niklas Een | 2012-03-02 | 1 | -28/+27 |
| | |||||
* | Redirecting printf messages. | Alan Mishchenko | 2012-03-02 | 1 | -6/+6 |
| | |||||
* | Redirecting printf messages. | Alan Mishchenko | 2012-03-02 | 1 | -18/+6 |
| | |||||
* | Adding features related to the communication bridge. | Alan Mishchenko | 2012-03-02 | 1 | -8/+8 |
| | |||||
* | Created a communication bridge. | Alan Mishchenko | 2012-03-01 | 1 | -3/+15 |
| | |||||
* | Added QuickSort based on 3-way partitioning. | Alan Mishchenko | 2012-02-19 | 1 | -5/+5 |
| | |||||
* | Added QuickSort based on 3-way partitioning. | Alan Mishchenko | 2012-02-19 | 1 | -2/+10 |
| | |||||
* | Removed unused 'bool' definition and unused memory management macros. | Alan Mishchenko | 2012-02-07 | 1 | -19/+0 |
| | |||||
* | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 1 | -18/+34 |
| | |||||
* | Added new name manager and modified hierarchy manager to use it. | Alan Mishchenko | 2012-01-13 | 1 | -0/+27 |
| | |||||
* | Added new sorting procedures. | Alan Mishchenko | 2011-07-31 | 1 | -0/+3 |
| | |||||
* | Added Max/Min/Abs as static inline functions. | Alan Mishchenko | 2011-03-27 | 1 | -0/+11 |
| |