iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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 abstr...	Alan Mishchenko	2012-07-06	4	-75/+263
*	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
*	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
*	Misc changes.	Alan Mishchenko	2012-05-19	3	-1/+69
*	Prevent network from being unmapped after equivalence checking.	Alan Mishchenko	2012-05-15	1	-2/+4
*	Better resolution of CO drivers. Should impact the QoR after 'if'.	Alan Mishchenko	2012-05-15	6	-36/+266