iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Correcting the report of completed timeframes in &gla.	Alan Mishchenko	2012-09-04	1	-23/+25
*	Uniqifying status file name in &gla.	Alan Mishchenko	2012-09-03	1	-1/+3
*	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 inter...	Alan Mishchenko	2012-08-28	1	-0/+1
*	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	1	-12/+20
*	Fixing undesirable effect of recent refinement code on older code in &gla -n.	Alan Mishchenko	2012-08-11	1	-1/+1
*	Enabling -S <num> for &gla to not check the first <num> frames.	Alan Mishchenko	2012-08-10	1	-9/+19
*	Fixing problem with max limit on the number of abstracted objects in &gla.	Alan Mishchenko	2012-08-10	1	-22/+15
*	Added purification of UNSAT core in &gla.	Alan Mishchenko	2012-08-10	1	-1/+43
*	Improved abstraction refinement.	Alan Mishchenko	2012-08-09	1	-1/+4
*	Improved abstraction refinement.	Alan Mishchenko	2012-08-09	1	-6/+10
*	Improved abstraction refinement.	Alan Mishchenko	2012-08-09	1	-7/+5
*	New command 'testnpn' to compare semi-canonical forms.	Alan Mishchenko	2012-08-08	1	-4/+7
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-06	1	-1/+1
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-06	1	-8/+6
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-06	1	-0/+7
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-06	1	-1/+13
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-04	1	-108/+1
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-03	1	-5/+5
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-03	1	-2/+3
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-03	1	-9/+35
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	1	-12/+18
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	1	-2/+3
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	1	-2/+2
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-02	1	-8/+13
*	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	1	-72/+266
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-08-01	1	-5/+16
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-31	1	-21/+18
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-31	1	-51/+79
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-31	1	-77/+83
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-31	1	-18/+57
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-31	1	-51/+160
*	Reducing memory usage in proof-based abstraction.	Alan Mishchenko	2012-07-29	1	-23/+37
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-29	1	-325/+204
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-28	1	-24/+72
*	Fixed the problem with 'write_cnf' after recent changes to the SAT solver.	Alan Mishchenko	2012-07-28	1	-1/+1
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-27	1	-211/+319
*	Minor updates to the BMC engines.	Alan Mishchenko	2012-07-27	1	-0/+3
*	Changes in command 'bm' to report timeout (thanks to S.W.)	Alan Mishchenko	2012-07-26	1	-92/+89
*	Recording and reusing learned util clauses in bmc3.	Alan Mishchenko	2012-07-22	1	-1/+1
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-21	1	-124/+258
*	Scalable gate-level abstraction.	Alan Mishchenko	2012-07-18	1	-0/+1021