iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fixing time printouts in 'pdr'.	Alan Mishchenko	2012-07-07	2	-2/+2
\|
*	Fixing time printouts in 'pdr'.	Alan Mishchenko	2012-07-07	6	-22/+21
\|
*	Fixing time printouts in 'pdr'.	Alan Mishchenko	2012-07-07	1	-4/+4
\|
*	Fixing time printouts in 'pdr'.	Alan Mishchenko	2012-07-07	2	-13/+13
\|
*	Commands &fla_gla/&gla_fla to convert between flop-level and gate-level ↵	Alan Mishchenko	2012-07-06	4	-75/+263
\| \| \| \|	abstraction.
*	Tentatively retiring command &abs_start, &abs_cba, &abs_pba, &gla_cba, &gla_pba.	Alan Mishchenko	2012-07-06	1	-10/+10
\|
*	Setting infinite default conflict limits in 'bmc', 'int', 'pdr'.	Alan Mishchenko	2012-07-06	3	-8/+8
\|
*	Other improvements to &vta and &gla.	Alan Mishchenko	2012-07-05	2	-15/+21
\|
*	Changing default conflict limits in bmc2 and bmc3 to be 0 (no limit).	Alan Mishchenko	2012-07-05	2	-6/+6
\|
*	Other improvements to &vta and &gla.	Alan Mishchenko	2012-07-05	5	-188/+257
\|
*	Other improvements to &vta and &gla.	Alan Mishchenko	2012-07-04	4	-82/+193
\|
*	Various changes to enable sensitization-based refinement in &gla.	Alan Mishchenko	2012-07-04	11	-356/+191
\|
*	Added static fanout to GIA package.	Alan Mishchenko	2012-07-04	3	-0/+143
\|
*	Performance improvement in &gla.	Alan Mishchenko	2012-07-04	5	-7/+274
\|
*	Performance improvement in &gla_refine.	Alan Mishchenko	2012-07-03	1	-2/+2
\|
*	Performance improvement in &gla_refine.	Alan Mishchenko	2012-07-03	5	-238/+391
\|
*	Bug fix in Gia_ObjPrint()	Alan Mishchenko	2012-07-03	1	-2/+2
\|
*	Other improvements to &vta and &gla.	Alan Mishchenko	2012-07-01	3	-80/+738
\|
*	Other improvements to bmc2 and bmc3.	Alan Mishchenko	2012-07-01	1	-3/+4
\|
*	Other improvements to bmc2 and bmc3.	Alan Mishchenko	2012-07-01	1	-4/+4
\|
*	Other improvements to bmc2 and bmc3.	Alan Mishchenko	2012-07-01	1	-13/+1
\|
*	Other improvements to bmc2 and bmc3.	Alan Mishchenko	2012-07-01	2	-73/+201
\|
*	Other improvements to bmc2 and bmc3.	Alan Mishchenko	2012-07-01	2	-23/+45
\|
*	Reducing memory usage in bmc2 and bmc3.	Alan Mishchenko	2012-07-01	1	-2/+1
\|
*	Reducing memory usage in bmc2 and bmc3.	Alan Mishchenko	2012-07-01	1	-1/+1
\|
*	Reducing memory usage in bmc2 and bmc3.	Alan Mishchenko	2012-07-01	2	-1/+2
\|
*	Reducing memory usage in bmc2 and bmc3.	Alan Mishchenko	2012-07-01	1	-1/+2
\|
*	Reducing memory usage in bmc2 and bmc3.	Alan Mishchenko	2012-07-01	5	-179/+229
\|
*	Bug fix in &vta.	Alan Mishchenko	2012-06-29	3	-45/+69
\|
*	Bug fix in &gla.	Alan Mishchenko	2012-06-29	1	-0/+10
\|
*	Bug fix in &gla.	Alan Mishchenko	2012-06-29	1	-1/+1
\|
*	Bug fix in &gla_refine.	Alan Mishchenko	2012-06-29	1	-8/+4
\|
*	Bug fix when &vta returns empty absraction.	Alan Mishchenko	2012-06-29	2	-16/+22
\|
*	Bug fix in &gla -d.	Alan Mishchenko	2012-06-29	2	-14/+22
\|
*	Improving printouts in &vta and &gla.	Alan Mishchenko	2012-06-28	2	-9/+14
\|
*	Gate level abstraction (command &gla).	Alan Mishchenko	2012-06-28	2	-42/+101
\|
*	Gate level abstraction (command &gla).	Alan Mishchenko	2012-06-28	1	-8/+13
\|
*	Gate level abstraction (command &gla).	Alan Mishchenko	2012-06-28	4	-10/+1074
\|
*	New computation of tents for GIA package.	Alan Mishchenko	2012-06-28	1	-2/+61
\|
*	Added min-cut-based refinement of gate-level abstraction (command &gla_refine).	Alan Mishchenko	2012-06-24	9	-0/+686
\|
*	Added memory reporting to &vta.	Alan Mishchenko	2012-06-22	17	-32/+237
\|
*	Switch -A <file_name> to specify file name for dumping abstrated model with ↵	Alan Mishchenko	2012-06-21	3	-17/+31
\| \| \| \|	&vta -d.
*	Reporing memory usage by the SAT solver in 'bmc3'.	Alan Mishchenko	2012-06-15	4	-6/+63
\|
*	Minor change to prevent assertion failure when verifying required times.	Alan Mishchenko	2012-06-15	1	-2/+2
\|
*	Added option to compile on windows without DLL support.	Alan Mishchenko	2012-06-15	1	-2/+7
\|
*	Added warning when a command is missing	Alan Mishchenko	2012-06-15	1	-0/+2
\|
*	Misc changes.	Alan Mishchenko	2012-05-21	2	-3/+4
\|
*	Changing 'if' to allow for delay optimization on sequential paths only.	Alan Mishchenko	2012-05-20	2	-8/+9
\|
*	Changing 'if' to allow for delay optimization on sequential paths only.	Alan Mishchenko	2012-05-20	9	-19/+26
\|
*	Do not allow quitting bmc3 after exploring 2^<num_ff> frames if jump-forward ↵	Alan Mishchenko	2012-05-20	1	-1/+1
\| \| \| \|	is enabled.