iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding command to dump UNSAT core of BMC instance.	Alan Mishchenko	2014-04-07	1	-0/+8
\|
*	Compiler warning about unused variable.	Alan Mishchenko	2013-09-17	1	-2/+2
\|
*	Changing dynamic CNF loading code to perform loading before propagate() as ↵	Alan Mishchenko	2013-09-16	1	-0/+31
\| \| \| \|	opposed to when the literal first implied in enqueue().
*	SAT solver with dynamic CNF loading.	Alan Mishchenko	2013-08-01	1	-4/+28
\|
*	Limiting runtime limit checks in 'pdr'.	Alan Mishchenko	2013-06-21	1	-1/+1
\|
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-12/+12
\|
*	Changing how often timeout is checked in the SAT solver and several ↵	Alan Mishchenko	2013-05-27	1	-1/+1
\| \| \| \|	application packages.
*	SAT variable profiling.	Alan Mishchenko	2013-05-18	1	-2/+2
\|
*	SAT variable profiling.	Alan Mishchenko	2013-05-18	1	-1/+11
\|
*	SAT variable profiling (undo).	Alan Mishchenko	2013-05-18	1	-14/+0
\|
*	SAT variable profiling.	Alan Mishchenko	2013-05-18	1	-0/+14
\|
*	SAT variable profiling (undo).	Alan Mishchenko	2013-05-18	1	-14/+0
\|
*	SAT variable profiling.	Alan Mishchenko	2013-05-18	1	-0/+14
\|
*	Adding rollback for the other solver.	Alan Mishchenko	2013-04-25	1	-1/+118
\|
*	Fixing the dump of SAT solver into a CNF file.	Alan Mishchenko	2013-03-26	1	-1/+2
\|
*	Compiler warnings.	Alan Mishchenko	2013-02-23	1	-0/+4
\|
*	Increasing memory page limit in the main SAT solver.	Alan Mishchenko	2012-10-31	1	-1/+1
\|
*	Recording and reusing learned util clauses in bmc2.	Alan Mishchenko	2012-07-22	1	-0/+1
\|
*	Recording and reusing learned util clauses in bmc3.	Alan Mishchenko	2012-07-22	1	-0/+16
\|
*	Improvements in the proof-logging SAT solver.	Alan Mishchenko	2012-07-11	1	-10/+4
\|
*	Improving print-outs of &vta and &gla.	Alan Mishchenko	2012-07-10	1	-1/+3
\|
*	Bug fix in the recent changes to the SAT solver.	Alan Mishchenko	2012-07-09	1	-0/+3
\|
*	Removing print-out message.	Alan Mishchenko	2012-07-09	1	-1/+1
\|
*	Adding several command-line arguments to 'dsat'.	Alan Mishchenko	2012-07-09	1	-6/+12
\|
*	Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, ↵	Alan Mishchenko	2012-07-09	1	-190/+217
\| \| \| \|	dsat, etc).
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	1	-1/+2
\|
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	1	-2/+2
\|
*	Added memory reporting to &vta.	Alan Mishchenko	2012-06-22	1	-2/+3
\|
*	Reporing memory usage by the SAT solver in 'bmc3'.	Alan Mishchenko	2012-06-15	1	-0/+35
\|
*	Switching to a variable-page-size memory manager for clauses and proofs.	Alan Mishchenko	2012-03-21	1	-1/+1
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	1	-4/+4
\|
*	Improved memory management of proof-logging and propagated changes.	Alan Mishchenko	2012-02-16	1	-34/+19
\|
*	Improving printout in the SAT solver.	Alan Mishchenko	2012-01-13	1	-1/+2
\|
*	Bug fix related to not properly resizing SAT solver's model array.	Alan Mishchenko	2012-01-12	1	-0/+1
\|
*	Bug fix related to not properly resizing SAT solver's model array.	Alan Mishchenko	2012-01-06	1	-6/+7
\|
*	Transforming the solver to use different clause representation.	Alan Mishchenko	2011-12-23	1	-462/+388
\|
*	Transforming the solver to use different clause representation.	Alan Mishchenko	2011-12-22	1	-143/+143
\|
*	Implemented rollback in the main SAT solver and updated PDR to use it (saves ↵	Alan Mishchenko	2011-12-10	1	-8/+60
\| \| \| \|	about 5% of runtime).
*	Changes to the main SAT solver: fixing performance bug (resetting decay ↵	Alan Mishchenko	2011-12-09	1	-241/+287
\| \| \| \|	params after each restart), making the SAT solver platform- and runtime-independent (by using interger-based activity).
*	Proof-logging in the updated solver.	Alan Mishchenko	2011-12-08	1	-2/+0
\|
*	Proof-logging in the updated solver.	Alan Mishchenko	2011-12-04	1	-0/+3
\|
*	Started experiments with a new solver.	Alan Mishchenko	2011-11-26	1	-9/+0
\|
*	Improvement to the SAT solver (skipping binary clauses).	Alan Mishchenko	2011-11-25	1	-1/+15
\|
*	Enabled skipping random decisions in PBA, which are performed by default.	Alan Mishchenko	2011-11-12	1	-1/+1
\|
*	Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.	Alan Mishchenko	2011-10-31	1	-3/+4
\|
*	New abstraction code.	Alan Mishchenko	2011-10-15	1	-0/+2
\|
*	Adding SAT-solver-level timeouts to the BMC engines.	Alan Mishchenko	2011-04-08	1	-0/+2
\|
*	Added test package (new files).	Alan Mishchenko	2011-03-29	1	-0/+5
\|
*	Cumulative changes in the last few weeks.	Alan Mishchenko	2011-01-13	1	-37/+152
\|
*	Initial implementation of AnalyseFinal	Alan Mishchenko	2010-12-03	1	-1/+1
\|