iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Improving CEX minimization.	Alan Mishchenko	2017-02-10	5	-104/+196
\|
*	Standardizing the use of new CNF generator. Adding CNF variable connectivity ↵	Alan Mishchenko	2017-02-10	17	-57/+76
\| \| \| \|	information.
*	Profiling CEX minimization.	Alan Mishchenko	2017-02-09	1	-4/+22
\|
*	Word-level abstraction.	Alan Mishchenko	2017-02-09	6	-66/+125
\|
*	Word-level abstraction.	Alan Mishchenko	2017-02-09	2	-4/+4
\|
*	Making sure 'inv_out' can match flops by name.	Alan Mishchenko	2017-02-09	4	-18/+53
\|
*	Word-level abstraction.	Alan Mishchenko	2017-02-09	7	-14/+379
\|
*	- Adding a compile time option to use floats for var activity (now it can be ↵	Bruno Schmitt	2017-02-09	8	-34/+300
\| \| \| \| \| \| \| \|	either ‘double’, ‘float’ or ‘unsigned’ (default)) - Adding vector of ‘float’ - Adding an option to configure the ratio of learnt clauses to be kept in clause database at each reduction (0 means no reduction). - Other small changes.
*	Editing output messages.	Alan Mishchenko	2017-02-08	1	-3/+3
\|
*	Accidental change.	Alan Mishchenko	2017-02-08	1	-1/+1
\|
*	Editing output messages.	Alan Mishchenko	2017-02-08	1	-3/+3
\|
*	Compiler warning.	Alan Mishchenko	2017-02-08	1	-7/+6
\|
*	Autotuner for 'satoko'.	Alan Mishchenko	2017-02-08	6	-28/+698
\|
*	Compiler warning.	Alan Mishchenko	2017-02-08	1	-1/+1
\|
*	New command &satoko.	Alan Mishchenko	2017-02-08	4	-4/+200
\|
*	Re-introducing floating-point activity in the SAT solver.	Alan Mishchenko	2017-02-07	1	-2/+18
\|
*	Re-introducing floating-point activity in the SAT solver.	Alan Mishchenko	2017-02-06	2	-39/+171
\|
*	Small changes to compile satoko on Windows.	Alan Mishchenko	2017-02-06	3	-4/+4
\|
*	Merged alanmi/abc into default	Bruno Schmitt	2017-02-06	1	-7/+7
\|\
\| *	Fixing compilation problem in 'dsc' package.	Alan Mishchenko	2017-02-06	1	-7/+7
\| \|
* \|	Small changes to support old compilers.	Bruno Schmitt	2017-02-06	9	-35/+35
\| \|
* \|	Adding a new SAT solver to ABC. (Satoko)	Bruno Schmitt	2017-02-06	23	-1/+3532
\|/ \| \| \|	The command is ‘satoko’
*	Adding specialized flop ordering before generalization in 'pdr'.	Alan Mishchenko	2017-02-06	3	-3/+38
\|
*	Improving new X-valued simulation in 'pdr'.	Alan Mishchenko	2017-02-06	4	-17/+203
\|
*	Improvements in AIG visualization.	Alan Mishchenko	2017-02-05	2	-14/+17
\|
*	Compiler warnings.	Alan Mishchenko	2017-02-05	1	-18/+22
\|
*	Corner-case bug-fix in library preprocessor for standard-cell mapping.	Alan Mishchenko	2017-02-05	1	-2/+2
\|
*	Adding structural flop priority heuristics in 'pdr' (bug fix).	Alan Mishchenko	2017-02-03	1	-9/+126
\|
*	Adding structural flop priority heuristics in 'pdr'.	Alan Mishchenko	2017-02-03	8	-122/+214
\|
*	Removing dead code in 'pdr'.	Alan Mishchenko	2017-02-03	4	-81/+0
\|
*	Enabling new X-valued simulation in 'pdr'.	Alan Mishchenko	2017-02-03	9	-5/+420
\|
*	Improvements to inductive generalization in IC3/PDR by Zyad Hassan.	Alan Mishchenko	2017-02-02	9	-13/+495
\|
*	Reordering if-statements in the xsat solver.	Alan Mishchenko	2017-02-02	1	-5/+3
\|
*	Adding API for generating a monitor of a set of internal signals in a ↵	Alan Mishchenko	2017-01-31	1	-0/+154
\| \| \| \|	sequential logic network.
*	Typo.	Alan Mishchenko	2017-01-31	1	-1/+1
\|
*	Improvements to SMT-LIB parser (bug fixes).	Alan Mishchenko	2017-01-30	1	-7/+23
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-30	6	-8/+403
\|
*	Commenting out debug code.	Alan Mishchenko	2017-01-29	1	-1/+0
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-29	5	-143/+153
\|
*	Updates to arithmetic verification.	Alan Mishchenko	2017-01-28	5	-10/+422
\|
*	Custom floating-point number.	Alan Mishchenko	2017-01-28	1	-0/+15
\|
*	Custom floating-point number.	Alan Mishchenko	2017-01-28	1	-0/+213
\|
*	Fixing non-reproducability related to floating-point numbers.	Alan Mishchenko	2017-01-27	4	-22/+27
\|
*	Commenting out &mfs report message.	Alan Mishchenko	2017-01-27	2	-2/+3
\|
*	Adding visualization of word-level networks Wlc_Ntk_t.	Alan Mishchenko	2017-01-26	3	-14/+31
\|
*	Adding visualization of word-level networks Wlc_Ntk_t.	Alan Mishchenko	2017-01-26	7	-115/+331
\|
*	Adding visualization of word-level networks Wlc_Ntk_t.	Alan Mishchenko	2017-01-26	7	-11/+617
\|
*	Improvements to SMT-LIB parser.	Alan Mishchenko	2017-01-26	3	-84/+243
\|
*	Adding features for invariant minimization.	Alan Mishchenko	2017-01-25	1	-2/+2
\|
*	Adding features for invariant minimization.	Alan Mishchenko	2017-01-25	2	-3/+238
\|