summaryrefslogtreecommitdiffstats
path: root/src/proof/ssw
Commit message (Expand)AuthorAgeFilesLines
* Adding switch to stop scorr if refinement is too slow.Alan Mishchenko2022-04-242-2/+24
* Remove assertions when the solver becomes UNSAT after adding constraints in '...Alan Mishchenko2019-10-051-2/+2
* Several corner-case bug fixes in scorr with constraints.Alan Mishchenko2019-10-021-1/+1
* Adding switch 'scorr -f' to dump inductive invariant as an AIG.Alan Mishchenko2018-03-223-9/+18
* Bug fix in old lcorr with constraints.Alan Mishchenko2017-11-041-1/+1
* Integrating Satoko into 'bmc' and 'bmc2'.Alan Mishchenko2017-08-161-1/+1
* The same bug fix in 'scorr -c' (signal correspondence with constraints).Alan Mishchenko2016-07-281-2/+4
* Serious bug fix in 'scorr -F <num>' with <num> > 1.Alan Mishchenko2016-07-281-0/+3
* Bug fix in CEC generation after rarity simulation and few small changes.Alan Mishchenko2014-06-161-1/+1
* Synchronizing with the recent version.Alan Mishchenko2014-03-161-2/+2
* Multi-output property solver.Alan Mishchenko2013-10-261-0/+2
* Multi-output property solver.Alan Mishchenko2013-10-261-2/+2
* Multi-output property solver.Alan Mishchenko2013-10-232-0/+13
* Adding procedures to specify permutations with unused flops.Alan Mishchenko2013-08-281-3/+12
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-202-1/+38
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-2718-136/+136
* Compiler warning.Alan Mishchenko2013-04-171-2/+0
* Adding callback to bmc3, sim3, pdr in the multi-output mode.Alan Mishchenko2013-04-172-79/+89
* Adding parameter structure for rarity simulation.Alan Mishchenko2013-04-172-72/+124
* Updating 'sim3' to move the design into the last rare state.Alan Mishchenko2013-04-012-5/+13
* Improving verbose printout of 'sim3' when solving multiple outputs.Alan Mishchenko2013-03-301-6/+14
* Added 'gap timeout' to bmc3 and sim3.Alan Mishchenko2013-02-161-0/+1
* Added 'gap timeout' to bmc3 and sim3.Alan Mishchenko2013-02-152-4/+13
* Fixed a corner-case when 'sim3 -a' does not work for costant POs.Alan Mishchenko2013-01-251-5/+27
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-231-28/+24
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-232-27/+42
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-232-18/+50
* Making 'scorr -c' applicable to seq benchmarks without constraints.Alan Mishchenko2012-12-041-4/+4
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-0/+1
* MergeNiklas Een2012-10-302-0/+19
|\
| * Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate ...Alan Mishchenko2012-10-252-0/+19
* | Replaced printfs with Abc_PrintNiklas Een2012-10-2918-443/+425
* | Replaced printfs with Abc_PrintNiklas Een2012-10-291-36/+35
* | Replaced printfs with Abc_PrintNiklas Een2012-10-291-46/+45
|/
* Making explicit cast to 64-bit unsigned in a few places.Alan Mishchenko2012-10-091-6/+6
* Unified print-out of property failures produced by all engines.Alan Mishchenko2012-09-091-2/+2
* Added new command &gla_shrink.Alan Mishchenko2012-09-041-1/+1
* Upgraded &equiv3 to periodically restart simulation from the init state.Alan Mishchenko2012-07-121-7/+24
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-092-2/+2
* Adding restart to rarity simulation in sim3 and &sim3.Alan Mishchenko2012-07-082-18/+39
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-078-12/+12
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-0718-55/+86
* Making 'pdr', &gla, &vta print correctly in batch mode.Alan Mishchenko2012-07-071-2/+3
* Renamed Aig_ObjPioNum to be Aig_ObjCioId.Alan Mishchenko2012-03-096-13/+13
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-0917-85/+85
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-0913-51/+51
* Isomorphism checking code.Alan Mishchenko2012-02-191-1/+1
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-164-5/+5
* Major restructuring of the code.Alan Mishchenko2012-01-2124-0/+10996
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-28 21:30:38 +0000