iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	14	-2926/+0
*	Bug fix related to not properly resizing SAT solver's model array.	Alan Mishchenko	2012-01-06	1	-1/+6
*	Started experiments with a new solver.	Alan Mishchenko	2011-11-25	1	-2/+2
*	Dump inductive invariant or last interpolant after interpolation.	Alan Mishchenko	2011-11-12	4	-19/+54
*	Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.	Alan Mishchenko	2011-10-31	1	-7/+3
*	Fixing obscure memory problem with 'int' on large designs.	Alan Mishchenko	2011-09-17	1	-2/+16
*	Bug fix in interpolation (false positive if property fails in frame 0).	Alan Mishchenko	2011-08-14	2	-4/+17
*	Improving timeout in the interpolation package.	Alan Mishchenko	2011-04-15	4	-14/+38
*	Added test package.	Alan Mishchenko	2011-03-29	1	-0/+1
*	C++ compilation fixes.	Alan Mishchenko	2011-03-27	1	-1/+1
*	Improvements to the interpolation command 'int'; change of default switch -t ...	Alan Mishchenko	2011-03-08	1	-0/+301
*	Improvements to the interpolation command 'int'; change of default switch -t.	Alan Mishchenko	2011-03-08	3	-33/+90
*	Unified the use of counter-examples in three packages.	Alan Mishchenko	2011-02-13	1	-2/+2
*	initial commit of public abc	Alan Mishchenko	2010-11-01	12	-28/+131
*	Version abc90804	Alan Mishchenko	2015-06-22	1	-1/+1
*	Version abc90714	Alan Mishchenko	2015-06-22	2	-0/+2
*	Version abc90408	Alan Mishchenko	2009-04-08	1	-1/+1
*	Version abc90329	Alan Mishchenko	2009-03-29	1	-0/+2
*	Version abc90215	Alan Mishchenko	2009-02-15	9	-34/+34
*	Version abc80921_2	Alan Mishchenko	2008-09-21	1	-1/+1
*	Version abc80921	Alan Mishchenko	2008-09-21	1	-1/+4
*	Version abc80919	Alan Mishchenko	2008-09-19	7	-16/+178
*	Version abc80802	Alan Mishchenko	2008-08-02	2	-2/+5
*	Version abc80729	Alan Mishchenko	2008-07-29	2	-3/+3
*	Version abc80725	Alan Mishchenko	2008-07-25	12	-0/+2205