summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc/bmc.h
Commit message (Expand)AuthorAgeFilesLines
* Added switch 'bmc3 -r' to disable periodic restarts in the SAT solver.Alan Mishchenko2016-05-191-0/+1
* Integrating new CNF generation into &bmc.Alan Mishchenko2016-01-121-0/+1
* Procedure for extending care CEX to all objects.Alan Mishchenko2015-05-141-0/+1
* Adding support for dumping faults not detected by a given test-set in &fftest...Alan Mishchenko2015-04-171-0/+1
* Adding support for cardinality constraints in &fftest (switches -K and -k).Alan Mishchenko2015-04-161-0/+2
* Adding switch &fftest -e to dump delay-tests in a special format.Alan Mishchenko2015-04-141-0/+1
* Added backward flop order to &icheck (switch -b).Alan Mishchenko2015-04-011-1/+1
* Adding flop-input-only switch -f in &fftest.Alan Mishchenko2015-03-141-0/+1
* Adding switch &fftest -N <num> to detect fixed vars after each <num> iterations.Alan Mishchenko2014-10-251-0/+1
* Adding symbolic fault representation in &fftest.Alan Mishchenko2014-05-141-0/+15
* Adding command to dump UNSAT core of BMC instance.Alan Mishchenko2014-04-071-1/+14
* Better CEX minimization and renaming of write_counter into write_cex.Alan Mishchenko2014-04-041-0/+6
* Adding per-output logging to bmc3.Alan Mishchenko2014-03-291-0/+1
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-111-1/+1
* Specialized inductive check.Alan Mishchenko2013-11-051-0/+1
* Tuning for multi-ouptut solver.Alan Mishchenko2013-11-051-0/+1
* Tuning for multi-ouptut solver.Alan Mishchenko2013-11-041-0/+1
* Specialized induction check.Alan Mishchenko2013-10-311-1/+1
* Specialized induction check.Alan Mishchenko2013-10-311-0/+2
* New BMC engine.Alan Mishchenko2013-10-271-0/+1
* New BMC engine.Alan Mishchenko2013-10-271-0/+1
* Multi-output property solver.Alan Mishchenko2013-10-261-0/+12
* Multi-output property solver.Alan Mishchenko2013-10-231-0/+1
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-0/+1
* Added bridge integration for multi-output 'bmc3 -a'.Alan Mishchenko2013-09-171-0/+1
* Updates for the new BMC engine.Alan Mishchenko2013-09-101-0/+1
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-0/+1
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-3/+13
* SAT solver with dynamic CNF loading.Alan Mishchenko2013-08-011-0/+14
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-1/+1
* SAT variable profiling.Alan Mishchenko2013-05-181-0/+3
* Adding runtime limit per output to multi-output BMC (bmc3 -H <num_sec>).Alan Mishchenko2013-05-031-0/+2
* Adding callback to bmc3, sim3, pdr in the multi-output mode.Alan Mishchenko2013-04-171-0/+1
* Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode.Alan Mishchenko2013-04-091-0/+1
* Added 'gap timeout' to bmc3 and sim3.Alan Mishchenko2013-02-151-0/+2
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-231-0/+1
* Added switch 'cexcut -m' to generate bad states for all frames after G.Alan Mishchenko2012-11-151-2/+2
* Added switch 'cexcut -n' to generate only one bad state.Alan Mishchenko2012-11-151-2/+2
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-141-2/+2
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-141-0/+1
* Added command 'cexsave' and 'cexload'.Alan Mishchenko2012-11-141-3/+7
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-0/+88
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-30 02:16:53 +0000