iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Changes to 'pdr' to run with updated Satoko.	Alan Mishchenko	2017-09-06	1	-1/+1
*	Changes to 'pdr' to run with updated Satoko.	Alan Mishchenko	2017-09-06	1	-1/+3
*	Fixing bronken C++ build; Satoko internal header, solver.h, should not be use...	Bruno Schmitt	2017-08-29	1	-4/+3
*	Integrating Satoko into pdr.	Alan Mishchenko	2017-08-16	1	-1/+25
*	Improvements to ternary simulation.	Alan Mishchenko	2017-03-09	1	-2/+7
*	Promising modification of the generalization procedure in 'pdr'.	Alan Mishchenko	2017-02-16	1	-1/+1
*	Adding PDR with abstraction.	Alan Mishchenko	2017-02-10	1	-0/+3
*	Adding PDR with abstraction.	Alan Mishchenko	2017-02-10	1	-3/+7
*	Re-introducing floating-point activity in the SAT solver.	Alan Mishchenko	2017-02-10	1	-0/+1
*	Adding structural flop priority heuristics in 'pdr'.	Alan Mishchenko	2017-02-03	1	-0/+3
*	Removing dead code in 'pdr'.	Alan Mishchenko	2017-02-03	1	-3/+0
*	Enabling new X-valued simulation in 'pdr'.	Alan Mishchenko	2017-02-03	1	-0/+8
*	Improvements to inductive generalization in IC3/PDR by Zyad Hassan.	Alan Mishchenko	2017-02-02	1	-0/+4
*	Changes to PDR to compute f-inf clauses and import invariant (or clauses) as ...	Alan Mishchenko	2016-01-14	1	-1/+5
*	New command %psinv.	Alan Mishchenko	2015-11-23	1	-0/+1
*	Experiment with 'pdr'.	Alan Mishchenko	2013-07-19	1	-1/+1
*	Small data-structure improvements in 'pdr'.	Alan Mishchenko	2013-07-19	1	-2/+4
*	Performance improvements in 'pdr'.	Alan Mishchenko	2013-06-18	1	-0/+1
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-14/+14
*	Changing how often timeout is checked in the SAT solver and several applicati...	Alan Mishchenko	2013-05-27	1	-0/+11
*	Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>).	Alan Mishchenko	2013-05-03	1	-0/+2
*	Enabling multi-output solving in 'pdr'.	Alan Mishchenko	2012-12-09	1	-0/+1
*	Enabling multi-output solving in 'pdr'.	Alan Mishchenko	2012-12-09	1	-0/+2
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	1	-0/+1
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	1	-3/+3
*	Fixing time printouts in 'pdr'.	Alan Mishchenko	2012-07-07	1	-1/+1
*	Fixing time printouts in 'pdr'.	Alan Mishchenko	2012-07-07	1	-11/+10
*	Fixing time printouts in 'pdr'.	Alan Mishchenko	2012-07-07	1	-11/+11
*	Added restarts to PDR.	Alan Mishchenko	2012-02-13	1	-0/+3
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-0/+198