Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | CMakeLists.txt: pass namespace mode to the Makefile | Baruch Sterin | 2015-11-05 | 1 | -0/+9 | |
| | ||||||
* | CMakeLists.txt, Makefile: pass readline flags from the CMake lists file to ↵ | Baruch Sterin | 2015-11-05 | 2 | -0/+19 | |
| | | | | the Makefile. | |||||
* | CMakeLists.txt: refactor | Baruch Sterin | 2015-11-05 | 1 | -1/+7 | |
| | ||||||
* | CMakeLists.txt: add a new target libabc, a regular static library | Baruch Sterin | 2015-11-05 | 1 | -1/+4 | |
| | ||||||
* | CMakeLists.txt: add a new target libabc-pic, a library compiled with -fPIC, ↵ | Baruch Sterin | 2015-11-05 | 1 | -0/+7 | |
| | | | | not complied by default | |||||
* | CMakeLists.txt: refactor a bit | Baruch Sterin | 2015-11-05 | 1 | -5/+7 | |
| | ||||||
* | CMakeLists.txt: pass CXX flags from the Makefile | Baruch Sterin | 2015-11-05 | 2 | -5/+14 | |
| | ||||||
* | silence clang errors when compiling as C++ | Baruch Sterin | 2015-11-05 | 12 | -38/+39 | |
| | ||||||
* | Bug fix in constructing internal choices by 'amap'. | Alan Mishchenko | 2015-11-04 | 1 | -1/+1 | |
| | ||||||
* | Adding procedure Abc_NtkSetAndGateDelay(). | Alan Mishchenko | 2015-11-04 | 2 | -2/+52 | |
| | ||||||
* | Small fix in one procedure to make it compile. | Alan Mishchenko | 2015-11-02 | 1 | -1/+1 | |
| | ||||||
* | Changes to VC6.0 makefile to accommodate new package 'opt/fret' and compiler ↵ | Alan Mishchenko | 2015-10-28 | 4 | -14/+38 | |
| | | | | warnings. | |||||
* | Merged in sterin/abc (pull request #13) | Alan Mishchenko | 2015-10-28 | 8 | -18/+4419 | |
|\ | | | | | | | Restoring Aaron Hurst's "fretime" command | |||||
| * | Restoring Aaron Hurst's "fretime" command | Baruch Sterin | 2015-10-28 | 8 | -18/+4419 | |
| | | ||||||
* | | Improvements in delay optimization. | Alan Mishchenko | 2015-10-28 | 2 | -22/+120 | |
|/ | ||||||
* | Enabling reverse topo order in area minimization. | Alan Mishchenko | 2015-10-28 | 3 | -45/+107 | |
| | ||||||
* | Improvements to 'satclp'. | Alan Mishchenko | 2015-10-28 | 5 | -25/+356 | |
| | ||||||
* | Improvements to command print_fanio. | Alan Mishchenko | 2015-10-27 | 3 | -55/+308 | |
| | ||||||
* | Experiments with precomputation and matching. | Alan Mishchenko | 2015-10-27 | 5 | -10/+96 | |
| | ||||||
* | Changes for delay-oriented computation. | Alan Mishchenko | 2015-10-26 | 6 | -136/+236 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2015-10-25 | 2 | -14/+14 | |
| | ||||||
* | Extending library handling to 8 inputs. | Alan Mishchenko | 2015-10-25 | 9 | -80/+210 | |
| | ||||||
* | New command &isost. | Alan Mishchenko | 2015-10-25 | 1 | -0/+70 | |
| | ||||||
* | Better logic cone proprocessor for 'satclp' to reduce runtime. | Alan Mishchenko | 2015-10-25 | 2 | -0/+483 | |
| | ||||||
* | Added switch 'satclp -Z' to control the max size of the cone to work with ↵ | Alan Mishchenko | 2015-10-25 | 1 | -7/+11 | |
| | | | | (fix overlow). | |||||
* | Changes for delay-oriented computation. | Alan Mishchenko | 2015-10-24 | 7 | -53/+133 | |
| | ||||||
* | Changes for delay-oriented computation. | Alan Mishchenko | 2015-10-24 | 6 | -110/+128 | |
| | ||||||
* | Adding switch in 'print_genlib' and 'write_genlib' to print area-min gates only. | Alan Mishchenko | 2015-10-23 | 3 | -16/+38 | |
| | ||||||
* | Set the default cube limit in 'satclp' to be 0. | Alan Mishchenko | 2015-10-23 | 3 | -13/+16 | |
| | ||||||
* | Added switch 'satclp -Z' to control the max size of the cone to work with. | Alan Mishchenko | 2015-10-23 | 3 | -12/+37 | |
| | ||||||
* | Changes for delay-oriented computation. | Alan Mishchenko | 2015-10-23 | 8 | -121/+641 | |
| | ||||||
* | CMake: only add compiler flags that are actually compatible with the ↵ | Baruch Sterin | 2015-10-23 | 1 | -2/+20 | |
| | | | | compiler being used - the compiler detection logic in the Makefile is not perfect and that sometime results in weird conflicts | |||||
* | CMake: reduce minimum version to 2.8.12 | Baruch Sterin | 2015-10-23 | 1 | -1/+1 | |
| | ||||||
* | Quality improvement in 'satclp'. | Alan Mishchenko | 2015-10-22 | 1 | -2/+85 | |
| | ||||||
* | Minor tuning in 'satclp'. | Alan Mishchenko | 2015-10-22 | 3 | -13/+21 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2015-10-21 | 4 | -5/+5 | |
| | ||||||
* | .hgignore: add .rej, .orig files | Baruch Sterin | 2015-10-21 | 1 | -1/+3 | |
| | ||||||
* | Makefile: Add a CMakeLists.txt that uses the regular Makefile to compute ↵ | Baruch Sterin | 2015-10-21 | 3 | -1/+41 | |
| | | | | flags and source file. This is a ugly hack, mainly to allow the use of CLion with ABC. Include some changes in the Makefile to support that. | |||||
* | Makefile: (1) split CFLAGS into OPTFLAGS, INCLUDES, and CFLAGS | Baruch Sterin | 2015-10-21 | 1 | -7/+9 | |
| | ||||||
* | Makefile: fix a typo in -fPIC flag | Baruch Sterin | 2015-10-21 | 1 | -1/+1 | |
| | ||||||
* | Corner case bug in 'satclp'. | Alan Mishchenko | 2015-10-21 | 1 | -3/+6 | |
| | ||||||
* | Code inserts to profile runtime of 'satclp'. | Alan Mishchenko | 2015-10-21 | 1 | -0/+24 | |
| | ||||||
* | Gate combination precomputation with delay profile. | Alan Mishchenko | 2015-10-21 | 3 | -17/+137 | |
| | ||||||
* | Corner case bug in 'satclp'. | Alan Mishchenko | 2015-10-21 | 1 | -2/+3 | |
| | ||||||
* | Added several knobs to control QoR in &nf. | Alan Mishchenko | 2015-10-20 | 1 | -4/+2 | |
| | ||||||
* | Added several knobs to control QoR in &nf. | Alan Mishchenko | 2015-10-20 | 3 | -51/+108 | |
| | ||||||
* | Code simplification and improvements in &nf. | Alan Mishchenko | 2015-10-19 | 1 | -129/+85 | |
| | ||||||
* | Additional improvements in 'satclp'. | Alan Mishchenko | 2015-10-18 | 1 | -1/+1 | |
| | ||||||
* | Additional improvements in 'satclp'. | Alan Mishchenko | 2015-10-18 | 4 | -22/+326 | |
| | ||||||
* | Added approximate SAT-based irredundant procedure to 'satclp'. | Alan Mishchenko | 2015-10-17 | 1 | -0/+80 | |
| |