summaryrefslogtreecommitdiffstats
path: root/src/proof/ssw/ssw.h
Commit message (Expand)AuthorAgeFilesLines
* Multi-output property solver.Alan Mishchenko2013-10-231-0/+1
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-201-0/+1
* Adding callback to bmc3, sim3, pdr in the multi-output mode.Alan Mishchenko2013-04-171-0/+2
* Adding parameter structure for rarity simulation.Alan Mishchenko2013-04-171-2/+25
* Updating 'sim3' to move the design into the last rare state.Alan Mishchenko2013-04-011-1/+1
* Added 'gap timeout' to bmc3 and sim3.Alan Mishchenko2013-02-151-1/+1
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-231-1/+1
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-231-1/+1
* Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate ...Alan Mishchenko2012-10-251-0/+1
* Adding restart to rarity simulation in sim3 and &sim3.Alan Mishchenko2012-07-081-2/+2
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+142