iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Various usability changes.	Alan Mishchenko	2018-11-18	1	-1/+10
\|
*	Commenting out undesirable warnings/assertions.	Alan Mishchenko	2013-03-26	1	-3/+2
\|
*	Extending verification status file format to allow for SAT status without CEX.	Alan Mishchenko	2013-01-25	1	-4/+15
\|
*	Bug fix: abstraction commands not properly updating status when dumping ↵	Alan Mishchenko	2012-08-28	1	-1/+1
\| \| \| \|	intermediate abstraction.
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	1	-2/+2
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	1	-2/+2
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-5/+5
\|
*	Updated read_status/write_status to correctly handle the case of seq cex ↵	Alan Mishchenko	2011-02-27	1	-14/+15
\| \| \| \|	without regs.
*	Fixing the problem with writing/reading bug-free depth in status files.	Alan Mishchenko	2011-02-17	1	-6/+13
\|
*	Unified the use of counter-examples in three packages.	Alan Mishchenko	2011-02-13	1	-1/+1
\|
*	Bug fix in setting the number of finished frames when reading a status file.	Alan Mishchenko	2011-02-11	1	-1/+1
\|
*	Eneabled writing/reading pAbc->nFrames into/from status files.	Alan Mishchenko	2011-02-04	1	-4/+6
\|
*	Fix for write_status/read_status to use PO index	Alan Mishchenko	2010-11-29	1	-4/+11
\|
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-0/+215