iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Added error message when the user is trying 'dsat' for multi-output comb miters.	Alan Mishchenko	2012-09-05	1	-1/+1
\|
*	Added new command &gla_shrink.	Alan Mishchenko	2012-09-05	1	-1/+1
\|
*	Added new command &gla_shrink.	Alan Mishchenko	2012-09-04	7	-26/+182
\|
*	Enabling additinal printouts.	Alan Mishchenko	2012-09-04	1	-0/+64
\|
*	Correcting the report of completed timeframes in &gla.	Alan Mishchenko	2012-09-04	1	-2/+4
\|
*	Correcting the report of completed timeframes in &gla.	Alan Mishchenko	2012-09-04	1	-5/+5
\|
*	Make switches -d (-m) by default dump abstracted model (miter with ↵	Alan Mishchenko	2012-09-04	1	-8/+21
\| \| \| \|	abstraction map) into files whose names are derived from the names of the input file by adding _abs (_gla).
*	Enabled recording the name of the file GIA is coming from.	Alan Mishchenko	2012-09-04	19	-1/+64
\|
*	Correcting the report of completed timeframes in &gla.	Alan Mishchenko	2012-09-04	3	-26/+28
\|
*	Uniqifying status file name in &gla.	Alan Mishchenko	2012-09-03	3	-3/+9
\|
*	Several minor changes.	Alan Mishchenko	2012-09-03	1	-1/+1
\|
*	Changes to allow &gla to run with fSimple = 1 (useful for debugging).	Alan Mishchenko	2012-08-31	1	-6/+6
\|
*	Fixing assert which failes when SAT solver returns after a timeout.	Alan Mishchenko	2012-08-31	1	-0/+2
\|
*	Bug fix: abstraction commands not properly updating status when dumping ↵	Alan Mishchenko	2012-08-28	3	-0/+3
\| \| \| \|	intermediate abstraction.
*	Bug fix in &gla.	Alan Mishchenko	2012-08-27	1	-0/+9
\|
*	Added switch '&gla -m' to dump original miter with the abstraction map.	Alan Mishchenko	2012-08-26	2	-16/+25
\|
*	Fixing undesirable effect of recent refinement code on older code in &gla -n.	Alan Mishchenko	2012-08-11	4	-5/+7
\|
*	Enabling -S <num> for &gla to not check the first <num> frames.	Alan Mishchenko	2012-08-10	2	-19/+226
\|
*	Fixing problem with max limit on the number of abstracted objects in &gla.	Alan Mishchenko	2012-08-10	2	-23/+16
\|
*	Added purification of UNSAT core in &gla.	Alan Mishchenko	2012-08-10	1	-1/+43
\|
*	Improved abstraction refinement.	Alan Mishchenko	2012-08-09	2	-2/+5
\|
*	Improved abstraction refinement.	Alan Mishchenko	2012-08-09	4	-21/+29
\|
*	Compiler warnings.	Alan Mishchenko	2012-08-09	1	-1/+1
\|
*	Improved abstraction refinement.	Alan Mishchenko	2012-08-09	3	-40/+485
\|
*	New cut-based refinement.	Alan Mishchenko	2012-08-08	1	-2/+198
\|
*	Added generation of values of internal nodes for GIA manager.	Alan Mishchenko	2012-08-08	1	-1/+1
\|
*	Added generation of values of internal nodes for GIA manager.	Alan Mishchenko	2012-08-08	5	-93/+259
\|
*	New command 'testnpn' to compare semi-canonical forms.	Alan Mishchenko	2012-08-08	2	-11/+32
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-07	1	-2/+2
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-07	1	-1/+2
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-06	1	-1/+1
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-06	1	-8/+6
\|
*	New cut-based refinement.	Alan Mishchenko	2012-08-06	3	-0/+554
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-06	2	-0/+9
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-06	3	-2/+15
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-04	1	-108/+1
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-03	3	-6/+24
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-03	1	-2/+3
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-03	3	-9/+37
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	3	-15/+21
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	2	-2/+4
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	1	-2/+2
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	2	-8/+16
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	1	-4/+84
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	1	-38/+107
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-01	1	-32/+2
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-01	2	-73/+267
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-01	1	-5/+16
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-31	2	-22/+20
\|
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-31	1	-51/+79
\|