summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc/module.make
Commit message (Expand)AuthorAgeFilesLines
* Experiments with generating sat assignments.Alan Mishchenko2016-05-141-0/+1
* New command 'expand' to expand SOPs against the offset.Alan Mishchenko2016-05-121-0/+1
* Experiments with SAT-based collapsing.Alan Mishchenko2015-09-031-0/+1
* Experiments with SAT-based cube enumeration.Alan Mishchenko2015-03-051-0/+1
* Experimental implementation of BMC-related procedures.Alan Mishchenko2014-11-041-0/+1
* Simple version of ECO.Alan Mishchenko2014-05-211-0/+1
* Adding command to dump UNSAT core of BMC instance.Alan Mishchenko2014-04-071-1/+2
* Better CEX minimization and renaming of write_counter into write_cex.Alan Mishchenko2014-04-041-0/+1
* Experiments with recent ideas.Alan Mishchenko2014-03-201-2/+3
* Experiments with recent ideas.Alan Mishchenko2014-03-191-0/+1
* Experiments with recent ideas.Alan Mishchenko2014-03-181-0/+1
* Experiments with delay fault testing.Alan Mishchenko2014-03-041-0/+1
* Specialized induction check.Alan Mishchenko2013-10-311-0/+1
* Multi-output property solver.Alan Mishchenko2013-10-231-0/+1
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-0/+1
* SAT solver with dynamic CNF loading.Alan Mishchenko2013-08-011-0/+1
* Counter-example depth minimization.Alan Mishchenko2013-05-221-0/+1
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-271-2/+1
* New unrolling manager.Alan Mishchenko2012-12-241-1/+2
* Counter-example analysis and optimization.Alan Mishchenko2012-11-281-1/+2
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-0/+7