summaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Expand)AuthorAgeFilesLines
* 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
|/
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-1/+1
* fixed compilation in linuxBaruch Sterin2010-11-011-3/+3
* initial commit of public abcAlan Mishchenko2010-11-011-6/+12
* Version abc90804Alan Mishchenko2015-06-221-1/+1
* Version abc90329Alan Mishchenko2009-03-291-1/+1
* Version abc90310Alan Mishchenko2009-03-101-1/+1
* Version abc90215Alan Mishchenko2009-02-151-1/+1
* Version abc90118Alan Mishchenko2009-01-181-3/+4
* Version abc81029Alan Mishchenko2008-10-291-1/+1
* Version abc80910Alan Mishchenko2008-09-101-1/+1
* Version abc80729Alan Mishchenko2008-07-291-1/+1
* Version abc80725Alan Mishchenko2008-07-251-1/+2
* Version abc80718Alan Mishchenko2008-07-181-0/+1
* Version abc80717Alan Mishchenko2008-07-171-1/+1
* Version abc80702Alan Mishchenko2008-07-021-4/+7
* Version abc80701_2Alan Mishchenko2008-07-011-2/+2
* Version abc80701Alan Mishchenko2008-07-011-1/+1
* Version abc80610Alan Mishchenko2008-06-101-1/+3
* Version abc80507Alan Mishchenko2008-05-071-1/+1
* Version abc80420_2Alan Mishchenko2008-04-201-1/+1
* Version abc80330Alan Mishchenko2008-03-301-1/+2
* Version abc80329Alan Mishchenko2008-03-291-1/+1
* Version abc80327Alan Mishchenko2008-03-271-1/+1
* Version abc80307Alan Mishchenko2008-03-071-1/+1
* Version abc80202Alan Mishchenko2008-02-021-1/+1
* Version abc80130_2Alan Mishchenko2008-01-301-9/+21
* Version abc80130Alan Mishchenko2008-01-301-19/+7
* Version abc80126Alan Mishchenko2008-01-261-2/+2
* Version abc80115Alan Mishchenko2008-01-151-1/+1
* Version abc71226Alan Mishchenko2007-12-261-1/+1