iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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
*	Version abc90804	Alan Mishchenko	2015-06-22	1	-1/+1
*	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
*	Version abc80717	Alan Mishchenko	2008-07-17	1	-1/+1
*	Version abc80702	Alan Mishchenko	2008-07-02	1	-4/+7
*	Version abc80701_2	Alan Mishchenko	2008-07-01	1	-2/+2
*	Version abc80701	Alan Mishchenko	2008-07-01	1	-1/+1
*	Version abc80610	Alan Mishchenko	2008-06-10	1	-1/+3
*	Version abc80507	Alan Mishchenko	2008-05-07	1	-1/+1
*	Version abc80420_2	Alan Mishchenko	2008-04-20	1	-1/+1