| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Restoring Aaron Hurst's "fretime" command | Baruch Sterin | 2015-10-28 | 1 | -1/+1 |
| | | |||||
| * | Makefile: Add a CMakeLists.txt that uses the regular Makefile to compute ↵ | Baruch Sterin | 2015-10-21 | 1 | -1/+8 |
| | | | | | 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 |
| | | |||||
| * | Makefile: add ABC_MAKE_VERBOSE flag to print the acutall commands executed. | Baruch Sterin | 2015-10-16 | 1 | -13/+27 |
| | | |||||
| * | Makefile: make namespaces/readline/threads/cudd options easier to use | Baruch Sterin | 2015-10-16 | 1 | -18/+35 |
| | | |||||
| * | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 1 | -1/+1 |
| | | |||||
| * | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 1 | -5/+4 |
| | | |||||
| * | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 1 | -1/+1 |
| | | |||||
| * | Bug fix for big-endiang architectures (plus adding -lm in Makefile). | Alan Mishchenko | 2015-04-04 | 1 | -1/+1 |
| | | |||||
| * | Scalable SOP manipulation package. | Alan Mishchenko | 2015-03-18 | 1 | -2/+2 |
| | | |||||
| * | 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 |
| | | |||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |