Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Change to Makefile to speedup compilation. | Alan Mishchenko | 2015-02-05 | 1 | -1/+3 |
| | |||||
* | Change to Makefile to speedup compilation. | Alan Mishchenko | 2015-02-05 | 1 | -1/+1 |
| | |||||
* | Fixing reported memory alignment issue. | Alan Mishchenko | 2015-01-27 | 1 | -1/+4 |
| | |||||
* | New parser and framework. | Alan Mishchenko | 2014-11-29 | 1 | -1/+1 |
| | |||||
* | Changing LIBS in Makefie. | Alan Mishchenko | 2014-11-03 | 1 | -1/+1 |
| | |||||
* | Changes to enable building external code. | Alan Mishchenko | 2014-10-28 | 1 | -1/+1 |
| | |||||
* | Changes to enable building external code. | Alan Mishchenko | 2014-10-27 | 1 | -1/+1 |
| | |||||
* | Disabling MiniSAT 2.2 for now. | Alan Mishchenko | 2014-10-21 | 1 | -1/+1 |
| | |||||
* | Compiler problems. | Alan Mishchenko | 2014-10-21 | 1 | -1/+2 |
| | |||||
* | Adding code of MiniSAT 2.2. | Alan Mishchenko | 2014-10-21 | 1 | -1/+9 |
| | |||||
* | New word-level representation package. | Alan Mishchenko | 2014-09-12 | 1 | -1/+1 |
| | |||||
* | Adding message prefix. | Alan Mishchenko | 2014-07-24 | 1 | -8/+9 |
| | |||||
* | undo an accidental change to the Makefile | Baruch Sterin | 2014-06-10 | 1 | -3/+1 |
| | |||||
* | add an option to the pyabc packaging scripts | Baruch Sterin | 2014-06-10 | 1 | -1/+3 |
| | |||||
* | Reverting to Makefile with suppressed printouts. | Alan Mishchenko | 2014-06-05 | 1 | -1/+1 |
| | |||||
* | merge unfold2 | Jiang Long | 2014-06-04 | 1 | -1/+1 |
| | |||||
* | Initial new interpolation code. | Alan Mishchenko | 2014-01-28 | 1 | -2/+2 |
| | |||||
* | reverting an accidental change to Makefile | Baruch Sterin | 2013-12-11 | 1 | -2/+0 |
| | |||||
* | fixes for simple_livness | Baruch Sterin | 2013-12-07 | 1 | -0/+2 |
| | |||||
* | Patching ABC for Yosys. | Alan Mishchenko | 2013-11-27 | 1 | -8/+10 |
| | |||||
* | Remove unncessary use of PWD in CPP include option. | Aaron Tomb | 2013-11-06 | 1 | -1/+1 |
| | | | | | | The use of an absolute path can sometimes leads to compile errors using Jenkins on Windows. The form without PWD seems to build correctly on several varieties of each of Linux, OS X, and Windows. | ||||
* | Allow ARCHFLAGS and OPTFLAGS to be overridden. | Aaron Tomb | 2013-11-06 | 1 | -2/+2 |
| | |||||
* | Small changes to compile on Mac. | Alan Mishchenko | 2013-08-15 | 1 | -1/+5 |
| | |||||
* | New technology mapper. | Alan Mishchenko | 2013-07-12 | 1 | -1/+1 |
| | |||||
* | Limiting runtime limit checks in 'pdr'. | Alan Mishchenko | 2013-06-22 | 1 | -1/+2 |
| | |||||
* | Suggested changes to counting time in Abc_Clock() | Alan Mishchenko | 2013-06-18 | 1 | -1/+1 |
| | |||||
* | Updated Makefile as suggested by Mark Jarvin. | Alan Mishchenko | 2013-05-19 | 1 | -1/+1 |
| | |||||
* | Updated Makefile as suggested by Mark Jarvin. | Alan Mishchenko | 2013-05-19 | 1 | -8/+28 |
| | |||||
* | Making changes suggested by Mark Jarvin. | Alan Mishchenko | 2013-05-05 | 1 | -2/+1 |
| | |||||
* | Temporarily disabling one change to Makefile. | Alan Mishchenko | 2013-05-04 | 1 | -2/+2 |
| | |||||
* | Making changes suggested by Mark Jarvin. | Alan Mishchenko | 2013-05-04 | 1 | -6/+21 |
| | |||||
* | SAT sweeping under constraints. | Alan Mishchenko | 2013-04-25 | 1 | -1/+1 |
| | |||||
* | New MFS package. | Alan Mishchenko | 2013-04-02 | 1 | -1/+1 |
| | |||||
* | Shrink for 6-LUTs. | Alan Mishchenko | 2013-03-31 | 1 | -1/+1 |
| | |||||
* | Retiring old 'fpga' command and package. | Alan Mishchenko | 2012-12-10 | 1 | -1/+1 |
| | |||||
* | Isolating BMC code into a separate package. | Alan Mishchenko | 2012-11-14 | 1 | -1/+1 |
| | |||||
* | Replaced printfs with Abc_Print | Niklas Een | 2012-10-29 | 1 | -1/+1 |
| | |||||
* | New AIG optimization package. | Alan Mishchenko | 2012-10-06 | 1 | -1/+1 |
| | |||||
* | Experiments with mini AIG manager. | Alan Mishchenko | 2012-09-29 | 1 | -0/+1 |
| | |||||
* | Improving printouts in &gla. | Alan Mishchenko | 2012-09-16 | 1 | -1/+1 |
| | |||||
* | Created new abstraction package from the code that was all over the place. | Alan Mishchenko | 2012-09-15 | 1 | -0/+1 |
| | |||||
* | Suppressed warning 'unused-but-set-variable', which is now enabled by -Wall. | Alan Mishchenko | 2012-08-29 | 1 | -1/+1 |
| | |||||
* | New package to read/write a subset of Liberty for STA. | Alan Mishchenko | 2012-08-24 | 1 | -1/+1 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2012-08-09 | 1 | -1/+1 |
| | |||||
* | Updating project settings to have simpler include paths. | Alan Mishchenko | 2012-07-07 | 1 | -1/+1 |
| | |||||
* | Makefile updated to print less information. | Alan Mishchenko | 2012-02-17 | 1 | -1/+1 |
| | |||||
* | Makefile updated to print less information. | Alan Mishchenko | 2012-02-16 | 1 | -9/+21 |
| | |||||
* | minor changes to Makefile: (1) use CC instead of gcc to compile arch_flags, ↵ | Baruch Sterin | 2012-01-21 | 1 | -3/+3 |
| | | | | and (2) make sure arch_flags is cleaned in make clean | ||||
* | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 1 | -28/+22 |
| | |||||
* | Added a warning to Makefile about setting compilation flags when compiling ↵ | Alan Mishchenko | 2011-11-24 | 1 | -0/+3 |
| | | | | on 32-bit Linux. |