iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Updated code for lazy man's synthesis.	Alan Mishchenko	2012-07-15	2	-0/+5
\|
*	Updated code for lazy man's synthesis.	Alan Mishchenko	2012-07-15	8	-30/+3020
\|
*	Added new refinement manager for &gla and &abs_refine.	Alan Mishchenko	2012-07-14	1	-0/+2
\|
*	Added new refinement manager for &gla and &abs_refine.	Alan Mishchenko	2012-07-14	5	-8/+735
\|
*	Fixing assertion mismatch in bmc2.	Alan Mishchenko	2012-07-14	1	-1/+1
\|
*	Fixing the integer print-out problem.	Alan Mishchenko	2012-07-13	1	-13/+13
\|
*	Fixing the integer print-out problem.	Alan Mishchenko	2012-07-13	1	-12/+18
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	2	-12/+7
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-2/+2
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-0/+2
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	2	-50/+26
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-0/+7
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-0/+1
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-0/+2
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-3/+3
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-2/+2
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-0/+1
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-1/+1
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-1/+2
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-2/+5
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-1/+3
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-3/+21
\|
*	Fixing compiler warning.	Alan Mishchenko	2012-07-13	1	-0/+1
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-0/+19
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-31/+9
\|
*	Fixing a mismatch in regular/shadow page memory appending procedure.	Alan Mishchenko	2012-07-13	1	-2/+2
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-2/+6
\|
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-0/+3
\|
*	Several small changes and fixes.	Alan Mishchenko	2012-07-13	7	-31/+46
\|
*	Removed useless file.	Alan Mishchenko	2012-07-12	3	-10/+6
\|
*	Upgraded &equiv3 to periodically restart simulation from the init state.	Alan Mishchenko	2012-07-12	1	-7/+24
\|
*	Added procedure for checking satisfied clauses.	Alan Mishchenko	2012-07-12	1	-0/+37
\|
*	Fixing temporary linker problem.	Alan Mishchenko	2012-07-12	1	-1/+2
\|
*	Silencing warnings.	Alan Mishchenko	2012-07-11	1	-1/+1
\|
*	Silencing warnings.	Alan Mishchenko	2012-07-11	2	-7/+6
\|
*	Handling the trivial case when PO is driven by a constant.	Alan Mishchenko	2012-07-11	2	-0/+25
\|
*	Changes to clause mapping.	Alan Mishchenko	2012-07-11	8	-134/+75
\|
*	Changes to clause mapping.	Alan Mishchenko	2012-07-11	3	-6/+6
\|
*	Improvements in the proof-logging SAT solver.	Alan Mishchenko	2012-07-11	18	-577/+644
\|
*	Fixed several problems when CEX is detected by &vta/&gla.	Alan Mishchenko	2012-07-11	2	-3/+7
\|
*	Enabling refinement in &gla_refine even if CEX is invalid.	Alan Mishchenko	2012-07-11	1	-2/+2
\|
*	Replacing printf() by Abc_Print().	Alan Mishchenko	2012-07-10	3	-42/+42
\|
*	Improving print-outs of &vta and &gla.	Alan Mishchenko	2012-07-10	2	-9/+27
\|
*	Improving print-outs of &vta and &gla.	Alan Mishchenko	2012-07-10	5	-9/+68
\|
*	Performance bug fix in the SAT solver (clearing variable activity after ↵	Alan Mishchenko	2012-07-10	1	-10/+0
\| \| \| \|	rollback).
*	Performance bug fix in the SAT solver (clearing variable activity after ↵	Alan Mishchenko	2012-07-09	1	-0/+7
\| \| \| \|	rollback).
*	Performance bug fix in the SAT solver (clearing variable activity after ↵	Alan Mishchenko	2012-07-09	1	-0/+3
\| \| \| \|	rollback).
*	Replacing Mb/Gb to be MB/GB.	Alan Mishchenko	2012-07-09	59	-90/+90
\|
*	Bug fix in the recent changes to the SAT solver.	Alan Mishchenko	2012-07-09	1	-0/+3
\|
*	Removing print-out message.	Alan Mishchenko	2012-07-09	1	-1/+1
\|