iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	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
*	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, a...	Baruch Sterin	2012-01-21	1	-3/+3
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-28/+22
*	Added a warning to Makefile about setting compilation flags when compiling on...	Alan Mishchenko	2011-11-24	1	-0/+3
*	Makefile: current LIBS line has a lot of unnecessary and problematic stuff. R...	Baruch Sterin	2011-10-24	1	-1/+1
*	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