iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Tuning for multi-ouptut solver.	Alan Mishchenko	2013-11-05	1	-1/+1
\|
*	Sweeper internal verification.	Alan Mishchenko	2013-11-01	1	-1/+1
\|
*	Sweeper internal verification and new switch for &cfraig.	Alan Mishchenko	2013-11-01	2	-2/+9
\|
*	Sweeper internal verification.	Alan Mishchenko	2013-11-01	1	-0/+43
\|
*	Sweeper condition complement bug-fix and code for internal verification.	Alan Mishchenko	2013-11-01	1	-1/+1
\|
*	Sweeper assertion.	Alan Mishchenko	2013-11-01	1	-0/+2
\|
*	Sweeper assertion.	Alan Mishchenko	2013-11-01	1	-0/+1
\|
*	Sweeper return value normalization.	Alan Mishchenko	2013-11-01	2	-7/+17
\|
*	Multi-output property solver.	Alan Mishchenko	2013-10-26	1	-0/+2
\|
*	Multi-output property solver.	Alan Mishchenko	2013-10-26	1	-2/+2
\|
*	Multi-output property solver.	Alan Mishchenko	2013-10-23	2	-0/+13
\|
*	Compiler warnings.	Alan Mishchenko	2013-10-17	3	-4/+6
\|
*	Adding switch 'pdr -i' to start push_clauses from an intermediate timeframe.	Alan Mishchenko	2013-10-15	2	-4/+4
\|
*	Extending truth table support in &jf for more than 6 inputs.	Alan Mishchenko	2013-10-10	1	-3/+3
\|
*	Compiler warning.	Alan Mishchenko	2013-10-05	1	-69/+5
\|
*	Compiler warning.	Alan Mishchenko	2013-10-05	1	-1/+1
\|
*	Added 'abort' message in bridge mode for pdr -a timeout	Niklas Een	2013-10-04	1	-34/+95
\|
*	Changing switch -R <num> in &gla to mean the max allowed size of ↵	Alan Mishchenko	2013-09-23	2	-9/+10
\| \| \| \|	abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_.
*	Adding resource limit to stop &gla when the number of remaining objects is ↵	Alan Mishchenko	2013-09-21	1	-0/+8
\| \| \| \|	less than R/2 during refinement.
*	Adding switch to enable reuse of proof-obligations in the last timeframe.	Alan Mishchenko	2013-09-16	2	-1/+2
\|
*	Added bridge integration for multi-output 'pdr -a'.	Alan Mishchenko	2013-09-16	2	-3/+18
\|
*	Bug fix in PDR.	Alan Mishchenko	2013-09-16	1	-1/+1
\|
*	Fixing return value of 'pdr -a'.	Alan Mishchenko	2013-09-15	1	-1/+5
\|
*	Handling the case when all outputs are undecided in 'pdr -a' with per-output ↵	Alan Mishchenko	2013-09-14	2	-6/+3
\| \| \| \|	timeout.
*	Fixing several bugs, which led to unsound results produced by 'pdr -a' with ↵	Alan Mishchenko	2013-09-13	3	-4/+15
\| \| \| \|	per-output timeout.
*	Enabling additional printouts in 'pdr'.	Alan Mishchenko	2013-09-13	1	-2/+4
\|
*	New API to return the set of all reachable states as an AIG.	Alan Mishchenko	2013-09-10	1	-1/+93
\|
*	Unifying parameters for the &ps command.	Alan Mishchenko	2013-09-05	4	-11/+11
\|
*	Adding procedures to specify permutations with unused flops.	Alan Mishchenko	2013-08-28	1	-3/+12
\|
*	Added switch &sim -g to enable flop grouping.	Alan Mishchenko	2013-08-20	2	-1/+38
\|
*	Experiment with 'pdr'.	Alan Mishchenko	2013-07-19	3	-34/+126
\|
*	Small data-structure improvements in 'pdr'.	Alan Mishchenko	2013-07-19	3	-25/+33
\|
*	Adding timeout to AIG rewriting inside 'int'.	Alan Mishchenko	2013-07-08	1	-2/+0
\|
*	Adding timeout to AIG rewriting inside 'int'.	Alan Mishchenko	2013-07-07	1	-0/+12
\|
*	Adding timeout to the interpolant computation procedure.	Alan Mishchenko	2013-06-28	1	-1/+3
\|
*	Unifying representation of mapping in GIA.	Alan Mishchenko	2013-06-25	2	-2/+2
\|
*	Improving CEC (command 'dcec') by integrating XOR balancing.	Alan Mishchenko	2013-06-25	1	-1/+1
\|
*	Improving CEC (command 'dcec') by integrating XOR balancing.	Alan Mishchenko	2013-06-25	1	-0/+35
\|
*	Performance improvements in 'pdr'.	Alan Mishchenko	2013-06-18	2	-4/+10
\|
*	Bug fixes in the implementation of varius resource limits in 'pdr'.	Alan Mishchenko	2013-06-18	1	-7/+18
\|
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	102	-1090/+1090
\|
*	Changing how often timeout is checked in the SAT solver and several ↵	Alan Mishchenko	2013-05-27	2	-1/+19
\| \| \| \|	application packages.
*	g++ warnings.	Alan Mishchenko	2013-05-19	2	-2/+2
\|
*	Potential improvement to &scorr.	Alan Mishchenko	2013-05-18	1	-0/+72
\|
*	Fixed gap timeout in 'pdr'.	Alan Mishchenko	2013-05-18	1	-0/+4
\|
*	Adding new command &mprove for proving groups of properties.	Alan Mishchenko	2013-05-17	3	-12/+15
\|
*	Bug fix in the timeout mechanism of 'pdr'.	Alan Mishchenko	2013-05-17	1	-2/+2
\|
*	SAT sweeping under constraints (bug fix).	Alan Mishchenko	2013-05-12	1	-0/+3
\|
*	Changing per-output runtime limit to be in miliseconds.	Alan Mishchenko	2013-05-09	2	-2/+2
\|
*	Bug fix in the sweeper.	Alan Mishchenko	2013-05-08	1	-1/+3
\|