Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | |||||
* | Unified the use of counter-examples in three packages. | Alan Mishchenko | 2011-02-13 | 1 | -12/+0 |
| | |||||
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 1 | -8/+125 |
| | |||||
* | Version abc90804 | Alan Mishchenko | 2015-06-22 | 1 | -0/+1 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90714 | Alan Mishchenko | 2015-06-22 | 1 | -5/+19 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90215 | Alan Mishchenko | 2009-02-15 | 1 | -0/+178 |