iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Added GIA normalization using timing manager.	Alan Mishchenko	2012-09-22	3	-8/+96
*	Upgrading hierarchy timing manager.	Alan Mishchenko	2012-09-21	2	-2/+32
*	Created new abstraction package from the code that was all over the place.	Alan Mishchenko	2012-09-15	16	-9827/+1
*	Corrected &gla -a to work as expected.	Alan Mishchenko	2012-09-15	1	-33/+52
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	3	-3/+7
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	1	-1/+1
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	2	-70/+86
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	1	-1/+1
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	2	-11/+106
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	5	-55/+187
*	Added code to collect experimental results.	Alan Mishchenko	2012-09-11	2	-2/+2
*	Added code to collect experimental results.	Alan Mishchenko	2012-09-11	2	-2/+2
*	Added code to collect experimental results.	Alan Mishchenko	2012-09-11	2	-2/+2
*	Added code to collect experimental results.	Alan Mishchenko	2012-09-11	2	-4/+4
*	Added code to collect experimental results.	Alan Mishchenko	2012-09-11	2	-2/+2
*	Added code to collect experimental results.	Alan Mishchenko	2012-09-11	5	-16/+71
*	Unified print-out of property failures produced by all engines.	Alan Mishchenko	2012-09-09	4	-6/+5
*	Disable printing refinement statistics by default.	Alan Mishchenko	2012-09-09	2	-2/+2
*	Added switch '-p' to '&gla -n' to use full proof for UNSAT core computation (...	Alan Mishchenko	2012-09-09	2	-2/+5
*	Started CEX minimization procedure.	Alan Mishchenko	2012-09-08	1	-26/+210
*	Updating &gla_refine to perform suffix refinement.	Alan Mishchenko	2012-09-08	1	-1/+1
*	Updating &gla_refine to perform suffix refinement.	Alan Mishchenko	2012-09-08	2	-9/+15
*	Started CEX minimization procedure.	Alan Mishchenko	2012-09-08	2	-0/+179
*	Updating &gla_refine to perform suffix refinement.	Alan Mishchenko	2012-09-08	1	-6/+6
*	Updating &gla_refine to perform suffix refinement.	Alan Mishchenko	2012-09-08	1	-2/+2
*	Updating &gla_refine to perform suffic refinement.	Alan Mishchenko	2012-09-07	1	-10/+65
*	Updating &gla_refine to perform suffic refinement.	Alan Mishchenko	2012-09-07	3	-209/+402
*	Added new command &gla_shrink.	Alan Mishchenko	2012-09-05	1	-1/+1
*	Added new command &gla_shrink.	Alan Mishchenko	2012-09-04	3	-1/+151
*	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 abstractio...	Alan Mishchenko	2012-09-04	1	-8/+21
*	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 inter...	Alan Mishchenko	2012-08-28	3	-0/+3
*	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