summaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Collapse)AuthorAgeFilesLines
* New parser and framework.Alan Mishchenko2014-11-291-1/+1
|
* Changing LIBS in Makefie.Alan Mishchenko2014-11-031-1/+1
|
* Changes to enable building external code.Alan Mishchenko2014-10-281-1/+1
|
* Changes to enable building external code.Alan Mishchenko2014-10-271-1/+1
|
* Disabling MiniSAT 2.2 for now.Alan Mishchenko2014-10-211-1/+1
|
* Compiler problems.Alan Mishchenko2014-10-211-1/+2
|
* Adding code of MiniSAT 2.2.Alan Mishchenko2014-10-211-1/+9
|
* New word-level representation package.Alan Mishchenko2014-09-121-1/+1
|
* Adding message prefix.Alan Mishchenko2014-07-241-8/+9
|
* undo an accidental change to the MakefileBaruch Sterin2014-06-101-3/+1
|
* add an option to the pyabc packaging scriptsBaruch Sterin2014-06-101-1/+3
|
* Reverting to Makefile with suppressed printouts.Alan Mishchenko2014-06-051-1/+1
|
* merge unfold2Jiang Long2014-06-041-1/+1
|
* Initial new interpolation code.Alan Mishchenko2014-01-281-2/+2
|
* reverting an accidental change to MakefileBaruch Sterin2013-12-111-2/+0
|
* fixes for simple_livnessBaruch Sterin2013-12-071-0/+2
|
* Patching ABC for Yosys.Alan Mishchenko2013-11-271-8/+10
|
* Remove unncessary use of PWD in CPP include option.Aaron Tomb2013-11-061-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 Tomb2013-11-061-2/+2
|
* Small changes to compile on Mac.Alan Mishchenko2013-08-151-1/+5
|
* New technology mapper.Alan Mishchenko2013-07-121-1/+1
|
* Limiting runtime limit checks in 'pdr'.Alan Mishchenko2013-06-221-1/+2
|
* Suggested changes to counting time in Abc_Clock()Alan Mishchenko2013-06-181-1/+1
|
* Updated Makefile as suggested by Mark Jarvin.Alan Mishchenko2013-05-191-1/+1
|
* Updated Makefile as suggested by Mark Jarvin.Alan Mishchenko2013-05-191-8/+28
|
* Making changes suggested by Mark Jarvin.Alan Mishchenko2013-05-051-2/+1
|
* Temporarily disabling one change to Makefile.Alan Mishchenko2013-05-041-2/+2
|
* Making changes suggested by Mark Jarvin.Alan Mishchenko2013-05-041-6/+21
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-251-1/+1
|
* New MFS package.Alan Mishchenko2013-04-021-1/+1
|
* Shrink for 6-LUTs.Alan Mishchenko2013-03-311-1/+1
|
* Retiring old 'fpga' command and package.Alan Mishchenko2012-12-101-1/+1
|
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-1/+1
|
* Replaced printfs with Abc_PrintNiklas Een2012-10-291-1/+1
|
* New AIG optimization package.Alan Mishchenko2012-10-061-1/+1
|
* Experiments with mini AIG manager.Alan Mishchenko2012-09-291-0/+1
|
* Improving printouts in &gla.Alan Mishchenko2012-09-161-1/+1
|
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-151-0/+1
|
* Suppressed warning 'unused-but-set-variable', which is now enabled by -Wall.Alan Mishchenko2012-08-291-1/+1
|
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-241-1/+1
|
* Compiler warnings.Alan Mishchenko2012-08-091-1/+1
|
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-1/+1
|
* Makefile updated to print less information.Alan Mishchenko2012-02-171-1/+1
|
* Makefile updated to print less information.Alan Mishchenko2012-02-161-9/+21
|
* minor changes to Makefile: (1) use CC instead of gcc to compile arch_flags, ↵Baruch Sterin2012-01-211-3/+3
| | | | and (2) make sure arch_flags is cleaned in make clean
* Major restructuring of the code.Alan Mishchenko2012-01-211-28/+22
|
* Added a warning to Makefile about setting compilation flags when compiling ↵Alan Mishchenko2011-11-241-0/+3
| | | | on 32-bit Linux.
* Makefile: current LIBS line has a lot of unnecessary and problematic stuff. ↵Baruch Sterin2011-10-241-1/+1
| | | | Replace it with just "-lreadline"
* Added test package.Alan Mishchenko2011-03-291-1/+1
|
* merge pyabc changes into mainlineBaruch Sterin2011-02-011-2/+2
|\