summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc/bmcBmc3.c
Commit message (Expand)AuthorAgeFilesLines
* Tuning for multi-ouptut solver.Alan Mishchenko2013-11-041-7/+0
* Tuning for multi-ouptut solver.Alan Mishchenko2013-11-041-1/+1
* Tuning for multi-ouptut solver.Alan Mishchenko2013-11-041-1/+5
* Tuning for multi-ouptut solver.Alan Mishchenko2013-11-041-0/+2
* Tuning for multi-ouptut solver.Alan Mishchenko2013-11-041-0/+1
* Tuning for multi-ouptut solver.Alan Mishchenko2013-11-041-1/+1
* Added sharing of counter-examples across multiple failed properties in 'bmc3 ...Alan Mishchenko2013-11-041-2/+2
* Added sharing of counter-examples across multiple failed properties in 'bmc3 ...Alan Mishchenko2013-11-041-1/+2
* Added sharing of counter-examples across multiple failed properties in 'bmc3 ...Alan Mishchenko2013-11-041-43/+84
* Getting rid of a recursive procedure during CNF construction in bmc3.Alan Mishchenko2013-10-271-8/+71
* Multi-output property solver.Alan Mishchenko2013-10-261-1/+1
* Multi-output property solver.Alan Mishchenko2013-10-231-1/+2
* Bug with in bmc3 when no 'sat' outputs are found and H != 0Alan Mishchenko2013-10-081-0/+2
* Compiler warnings.Alan Mishchenko2013-09-251-2/+10
* Fixing printouts in 'bmc3'.Alan Mishchenko2013-09-251-58/+58
* Added bridge integration for multi-output 'bmc3 -a'.Alan Mishchenko2013-09-171-8/+5
* Added bridge integration for multi-output 'bmc3 -a'.Alan Mishchenko2013-09-171-0/+12
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-1/+1
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-32/+32
* Improvements to 'bmc3'.Alan Mishchenko2013-05-181-158/+11
* SAT variable profiling.Alan Mishchenko2013-05-181-5/+53
* SAT variable profiling.Alan Mishchenko2013-05-181-0/+1
* SAT variable profiling.Alan Mishchenko2013-05-181-3/+9
* SAT variable profiling.Alan Mishchenko2013-05-181-2/+8
* SAT variable profiling.Alan Mishchenko2013-05-181-0/+1
* SAT variable profiling (undo).Alan Mishchenko2013-05-181-3/+0
* SAT variable profiling.Alan Mishchenko2013-05-181-0/+3
* SAT variable profiling (undo).Alan Mishchenko2013-05-181-3/+0
* SAT variable profiling.Alan Mishchenko2013-05-181-0/+3
* Changing per-output runtime limit to be in miliseconds.Alan Mishchenko2013-05-091-2/+2
* Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>).Alan Mishchenko2013-05-031-1/+3
* Adding runtime limit per output to multi-output BMC (bmc3 -H <num_sec>).Alan Mishchenko2013-05-031-10/+43
* Adding callback to bmc3, sim3, pdr in the multi-output mode.Alan Mishchenko2013-04-171-8/+13
* Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode.Alan Mishchenko2013-04-091-13/+33
* Updating bmc3 printout to show the number of failed outputs.Alan Mishchenko2013-03-301-14/+12
* Updating bmc3 printout to show the number of failed outputs.Alan Mishchenko2013-03-301-5/+11
* Updating bmc3 printout to show the number of failed outputs.Alan Mishchenko2013-03-301-4/+6
* Fixing gap timeout in 'bmc3'.Alan Mishchenko2013-03-131-6/+40
* Making 'bmc3' with switch '-a' not save CEXes.Alan Mishchenko2013-03-071-13/+13
* Added 'gap timeout' to bmc3 and sim3.Alan Mishchenko2013-02-161-0/+1
* Added 'gap timeout' to bmc3 and sim3.Alan Mishchenko2013-02-151-0/+10
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-231-4/+7
* Added command 'cexsave' and 'cexload'.Alan Mishchenko2012-11-141-1/+0
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-0/+1576
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 21:57:17 +0000