| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add a new module which implements the fast extract with cube hashing (fxch) ↵ | Bruno Schmitt | 2016-05-11 | 1 | -1/+1 |
| | | | | | | | algorithm. Removes old partial implementation of this algorithm from the "pla" module. | ||||
| * | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-07 | 1 | -1/+1 |
| | | |||||
| * | Typo in Makefile. | Alan Mishchenko | 2016-04-12 | 1 | -1/+1 |
| | | |||||
| * | Updates to Exorcism package | Alan Mishchenko | 2016-04-11 | 1 | -1/+1 |
| | | |||||
| * | Updates to Exorcism package | Alan Mishchenko | 2016-04-11 | 1 | -1/+1 |
| | | |||||
| * | CMake, Makefile: pass the location of arch_flags to the makefile, this way ↵ | Baruch Sterin | 2015-11-12 | 1 | -3/+5 |
| | | | | | the cmake build does not write to the soruce directory | ||||
| * | CMakeLists.txt, Makefile: fix a bug in passing the readline options | Baruch Sterin | 2015-11-07 | 1 | -7/+0 |
| | | |||||
| * | pyabc: remove python integration from abc, it is moved to a separate extension | Baruch Sterin | 2015-11-05 | 1 | -2/+1 |
| | | |||||
| * | CMakeLists.txt, Makefile: pass readline flags from the CMake lists file to ↵ | Baruch Sterin | 2015-11-05 | 1 | -0/+10 |
| | | | | | the Makefile. | ||||
| * | CMakeLists.txt: pass CXX flags from the Makefile | Baruch Sterin | 2015-11-05 | 1 | -0/+1 |
| | | |||||
| * | 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 |
| | | |||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |