iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding the possibility to specify file name in 'pdr'.	Alan Mishchenko	2019-04-22	1	-0/+1
*	Promising alternative of CEX minimization in 'pdr'.	Alan Mishchenko	2017-02-16	1	-0/+1
*	Promising modification of the generalization procedure in 'pdr'.	Alan Mishchenko	2017-02-16	1	-0/+1
*	Re-introducing floating-point activity in the SAT solver.	Alan Mishchenko	2017-02-10	1	-0/+1
*	Adding specialized flop ordering before generalization in 'pdr'.	Alan Mishchenko	2017-02-06	1	-0/+1
*	Adding structural flop priority heuristics in 'pdr'.	Alan Mishchenko	2017-02-03	1	-0/+1
*	Enabling new X-valued simulation in 'pdr'.	Alan Mishchenko	2017-02-03	1	-0/+1
*	Improvements to inductive generalization in IC3/PDR by Zyad Hassan.	Alan Mishchenko	2017-02-02	1	-0/+3
*	Adding flag 'pdr -e' to output only support variables in the invariant.	Alan Mishchenko	2016-09-28	1	-0/+1
*	Adding switch 'pdr -o' to control using property output in induction.	Alan Mishchenko	2016-05-25	1	-0/+1
*	Changes to PDR to compute f-inf clauses and import invariant (or clauses) as ...	Alan Mishchenko	2016-01-14	1	-0/+1
*	Adding switch 'pdr -i' to start push_clauses from an intermediate timeframe.	Alan Mishchenko	2013-10-15	1	-0/+1
*	Adding switch to enable reuse of proof-obligations in the last timeframe.	Alan Mishchenko	2013-09-16	1	-0/+1
*	Added bridge integration for multi-output 'pdr -a'.	Alan Mishchenko	2013-09-16	1	-0/+1
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-1/+1
*	Adding new command &mprove for proving groups of properties.	Alan Mishchenko	2013-05-17	1	-1/+1
*	Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>).	Alan Mishchenko	2013-05-03	1	-0/+4
*	Adding callback to bmc3, sim3, pdr in the multi-output mode.	Alan Mishchenko	2013-04-17	1	-0/+1
*	Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode.	Alan Mishchenko	2013-04-09	1	-0/+1
*	Added 'gap timeout' to pdr.	Alan Mishchenko	2013-02-16	1	-0/+2
*	Enabled detecting CEXes in multiple POs without stopping (sim3 -a).	Alan Mishchenko	2013-01-23	1	-0/+1
*	Enabling multi-output solving in 'pdr'.	Alan Mishchenko	2012-12-09	1	-1/+1
*	Enabling multi-output solving in 'pdr'.	Alan Mishchenko	2012-12-09	1	-1/+3
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	1	-16/+19
*	Added restarts to PDR.	Alan Mishchenko	2012-02-13	1	-0/+1
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-0/+79