Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | |||||
* | Improving printouts in &gla. | Alan Mishchenko | 2012-09-16 | 1 | -1/+1 |
| | |||||
* | Created new abstraction package from the code that was all over the place. | Alan Mishchenko | 2012-09-15 | 1 | -0/+1 |
| | |||||
* | Suppressed warning 'unused-but-set-variable', which is now enabled by -Wall. | Alan Mishchenko | 2012-08-29 | 1 | -1/+1 |
| | |||||
* | New package to read/write a subset of Liberty for STA. | Alan Mishchenko | 2012-08-24 | 1 | -1/+1 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2012-08-09 | 1 | -1/+1 |
| | |||||
* | Updating project settings to have simpler include paths. | Alan Mishchenko | 2012-07-07 | 1 | -1/+1 |
| | |||||
* | Makefile updated to print less information. | Alan Mishchenko | 2012-02-17 | 1 | -1/+1 |
| | |||||
* | Makefile updated to print less information. | Alan Mishchenko | 2012-02-16 | 1 | -9/+21 |
| | |||||
* | minor changes to Makefile: (1) use CC instead of gcc to compile arch_flags, ↵ | Baruch Sterin | 2012-01-21 | 1 | -3/+3 |
| | | | | and (2) make sure arch_flags is cleaned in make clean | ||||
* | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 1 | -28/+22 |
| | |||||
* | Added a warning to Makefile about setting compilation flags when compiling ↵ | Alan Mishchenko | 2011-11-24 | 1 | -0/+3 |
| | | | | on 32-bit Linux. | ||||
* | Makefile: current LIBS line has a lot of unnecessary and problematic stuff. ↵ | Baruch Sterin | 2011-10-24 | 1 | -1/+1 |
| | | | | Replace it with just "-lreadline" | ||||
* | Added test package. | Alan Mishchenko | 2011-03-29 | 1 | -1/+1 |
| | |||||
* | merge pyabc changes into mainline | Baruch Sterin | 2011-02-01 | 1 | -2/+2 |
|\ | |||||
* | | src/misc/util/utilSignal.c | Baruch Sterin | 2011-02-01 | 1 | -1/+1 |
|/ | |||||
* | Cumulative changes in the last few weeks. | Alan Mishchenko | 2011-01-13 | 1 | -1/+1 |
| | |||||
* | fixed compilation in linux | Baruch Sterin | 2010-11-01 | 1 | -3/+3 |
| | |||||
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 1 | -6/+12 |
| | |||||
* | Version abc90804 | Alan Mishchenko | 2015-06-22 | 1 | -1/+1 |
| | | | | committer: Baruch Sterin <baruchs@gmail.com> | ||||
* | Version abc90329 | Alan Mishchenko | 2009-03-29 | 1 | -1/+1 |
| | |||||
* | Version abc90310 | Alan Mishchenko | 2009-03-10 | 1 | -1/+1 |
| | |||||
* | Version abc90215 | Alan Mishchenko | 2009-02-15 | 1 | -1/+1 |
| | |||||
* | Version abc90118 | Alan Mishchenko | 2009-01-18 | 1 | -3/+4 |
| | |||||
* | Version abc81029 | Alan Mishchenko | 2008-10-29 | 1 | -1/+1 |
| | |||||
* | Version abc80910 | Alan Mishchenko | 2008-09-10 | 1 | -1/+1 |
| | |||||
* | Version abc80729 | Alan Mishchenko | 2008-07-29 | 1 | -1/+1 |
| | |||||
* | Version abc80725 | Alan Mishchenko | 2008-07-25 | 1 | -1/+2 |
| | |||||
* | Version abc80718 | Alan Mishchenko | 2008-07-18 | 1 | -0/+1 |
| |