iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Small tweak to rollback behavior.	Bruno Schmitt	2017-02-21	3	-0/+8
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-20	2	-3/+18
\|
*	Adding new command to reset Satoko.	Bruno Schmitt	2017-02-19	6	-9/+63
\| \| \| \|	Small fixes in watching list data structure.
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-19	1	-18/+71
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-18	5	-25/+108
\|
*	New function to retrieve polarity value of a variable.	Bruno Schmitt	2017-02-18	2	-1/+6
\|
*	Bug fix in analyze_final method.	Bruno Schmitt	2017-02-18	1	-2/+2
\|
*	Compiler warnings.	Alan Mishchenko	2017-02-18	2	-2/+2
\|
*	Compiler warnings.	Alan Mishchenko	2017-02-18	3	-8/+8
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-18	10	-28/+932
\|
*	Promising modification of the generalization procedure in 'pdr'.	Alan Mishchenko	2017-02-17	1	-0/+10
\|
*	Experiment with graph constuction using ZDDs.	Alan Mishchenko	2017-02-17	1	-0/+203
\|
*	Fixing missing sat_solver APIs in 'iprove'.	Alan Mishchenko	2017-02-16	1	-6/+24
\|
*	Promising alternative of CEX minimization in 'pdr'.	Alan Mishchenko	2017-02-16	4	-37/+57
\|
*	Experiment with graph constuction using ZDDs.	Alan Mishchenko	2017-02-16	1	-0/+46
\|
*	Fixing memory leak in 'pdr'.	Alan Mishchenko	2017-02-16	1	-6/+7
\|
*	Promising modification of the generalization procedure in 'pdr'.	Alan Mishchenko	2017-02-16	5	-18/+34
\|
*	Fixing missing sat_solver APIs in 'iprove'.	Alan Mishchenko	2017-02-15	1	-3/+40
\|
*	Merged alanmi/abc into default	Bruno Schmitt	2017-02-15	14	-246/+1345
\|\
\| *	Word-level abstraction engine.	Alan Mishchenko	2017-02-15	13	-246/+1151
\| \|
\| *	Experiments with simulation.	Alan Mishchenko	2017-02-14	1	-0/+194
\| \|
* \|	- Small changes to the watch lists behavior.	Bruno Schmitt	2017-02-15	7	-5/+98
\|/ \| \| \| \|	- Implementation of bookmark, unbookmark and rollback procedures. - Minor changes.
*	- Small bug fix in var activity (improve performance)	Bruno Schmitt	2017-02-14	4	-56/+55
\| \| \| \|	- New implementation of watcher lists.
*	Adding PDR with abstraction.	Alan Mishchenko	2017-02-13	1	-5/+5
\|
*	Adding PDR with abstraction.	Alan Mishchenko	2017-02-11	1	-1/+10
\|
*	Commenting out uncommented message.	Alan Mishchenko	2017-02-11	1	-1/+1
\|
*	Adding PDR with abstraction.	Alan Mishchenko	2017-02-11	3	-41/+11
\|
*	Adding APIs to mark cones. Creating test-bench for incremental solving ↵	Alan Mishchenko	2017-02-11	7	-40/+181
\| \| \| \|	&satoko -i.
*	Compiler warning.	Alan Mishchenko	2017-02-11	1	-1/+1
\|
*	Updates to variable activity in the SAT solver.	Alan Mishchenko	2017-02-11	2	-342/+224
\|
*	Movinng custom floating-point implementations, etc.	Alan Mishchenko	2017-02-11	4	-9/+7
\|
*	New implementation of a software floating point implementation (sdbl) for ↵	Bruno Schmitt	2017-02-11	11	-469/+412
\| \| \| \| \| \|	consistency across different platforms and compilers. Removing useless files and compile time options related to variable activity data type (it can only be sdbl).
*	Platform-independent double.	Alan Mishchenko	2017-02-11	2	-1/+226
\|
*	Adding PDR with abstraction.	Alan Mishchenko	2017-02-10	5	-13/+39
\|
*	Updates to the autotuner.	Alan Mishchenko	2017-02-10	3	-234/+197
\|
*	Changes to compile on Windows.	Alan Mishchenko	2017-02-10	1	-3/+3
\|
*	Merged in boschmitt/abc (pull request #51)	Alan Mishchenko	2017-02-11	7	-43/+363
\|\ \| \| \| \| \| \|	Modifications to satoko.
\| *	Merged alanmi/abc into default	Bruno Schmitt	2017-02-10	5	-104/+196
\| \|\
\| * \|	New fixed point data type.	Bruno Schmitt	2017-02-10	7	-43/+363
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Expose all options to command line. Expose search statistics to users.
* \| \|	Compiler warnings.	Alan Mishchenko	2017-02-10	2	-2/+2
\| \| \|
* \| \|	Adding PDR with abstraction.	Alan Mishchenko	2017-02-10	9	-103/+330
\| \| \|
* \| \|	Re-introducing floating-point activity in the SAT solver.	Alan Mishchenko	2017-02-10	4	-2/+11
\| \|/ \|/\|
* \|	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.