summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc
Commit message (Expand)AuthorAgeFilesLines
* Enabling counter-example generation in the new BMC engine.Alan Mishchenko2013-10-011-12/+57
* 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-172-0/+13
* Updates for the new BMC engine.Alan Mishchenko2013-09-101-10/+16
* Updates for the new BMC engine.Alan Mishchenko2013-09-101-1/+5
* Updates for the new BMC engine.Alan Mishchenko2013-09-102-9/+417
* Updates for the new BMC engine.Alan Mishchenko2013-09-091-37/+39
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-2/+2
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-055-11/+11
* Updates for the new BMC engine.Alan Mishchenko2013-09-052-45/+208
* Updates for the new BMC engine.Alan Mishchenko2013-09-052-33/+138
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-3/+9
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-6/+6
* Updates for the new BMC engine.Alan Mishchenko2013-09-052-3/+5
* Updates for the new BMC engine.Alan Mishchenko2013-09-055-19/+147
* Improved unrolling manager.Alan Mishchenko2013-09-051-94/+92
* Improved unrolling manager.Alan Mishchenko2013-09-051-74/+123
* SAT solver with dynamic CNF loading.Alan Mishchenko2013-08-011-0/+210
* SAT solver with dynamic CNF loading.Alan Mishchenko2013-08-012-0/+15
* 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-277-76/+76
* Counter-example depth minimization.Alan Mishchenko2013-05-222-0/+422
* 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/+4
* SAT variable profiling.Alan Mishchenko2013-05-181-0/+1
* SAT variable profiling.Alan Mishchenko2013-05-181-3/+9
* SAT variable profiling.Alan Mishchenko2013-05-182-2/+11
* 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-032-10/+45
* Adding callback to bmc3, sim3, pdr in the multi-output mode.Alan Mishchenko2013-04-172-8/+14
* Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode.Alan Mishchenko2013-04-092-13/+34
* 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
* Compiler warnings.Alan Mishchenko2013-03-301-3/+3
* 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
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-271-2/+1
* Compiler warnings.Alan Mishchenko2013-02-211-3/+3
* Added 'gap timeout' to bmc3 and sim3.Alan Mishchenko2013-02-161-0/+1
* Added 'gap timeout' to bmc3 and sim3.Alan Mishchenko2013-02-152-0/+12
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 07:05:58 +0000