summaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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, a...Baruch Sterin2012-01-211-3/+3
* Major restructuring of the code.Alan Mishchenko2012-01-211-28/+22
* Added a warning to Makefile about setting compilation flags when compiling on...Alan Mishchenko2011-11-241-0/+3
* Makefile: current LIBS line has a lot of unnecessary and problematic stuff. R...Baruch Sterin2011-10-241-1/+1
* Added test package.Alan Mishchenko2011-03-291-1/+1
* merge pyabc changes into mainlineBaruch Sterin2011-02-011-2/+2
|\
* | src/misc/util/utilSignal.cBaruch Sterin2011-02-011-1/+1
|/