iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Changing the default value of &vta -t to reduce proof memory usage.	Alan Mishchenko	2012-07-07	1	-1/+1
\|
*	Fixing time primtouts in &vta and &gla.	Alan Mishchenko	2012-07-07	2	-19/+22
\|
*	Adding memory report to print-outs produced by &vta and &gla.	Alan Mishchenko	2012-07-07	2	-0/+3
\|
*	Bug fix in &gla_refine.	Alan Mishchenko	2012-07-07	1	-0/+3
\|
*	Procedure to compute truth tables for POs of GIA.	Alan Mishchenko	2012-07-07	4	-2/+199
\|
*	Diabling compact AIGER writing by default.	Alan Mishchenko	2012-07-07	1	-1/+1
\|
*	Fixed &gla to work in the bridge mode.	Alan Mishchenko	2012-07-07	2	-29/+76
\|
*	Making 'pdr', &gla, &vta print correctly in batch mode.	Alan Mishchenko	2012-07-07	10	-11/+35
\|
*	Added warning for GIA reader when input AIG has dangling nodes.	Alan Mishchenko	2012-07-07	1	-10/+3
\|
*	Fixing time printouts in 'pdr'.	Alan Mishchenko	2012-07-07	1	-4/+4
\|
*	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
\|