summaryrefslogtreecommitdiffstats
path: root/src/proof/ssw
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | | | | | constant.
* | 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 ↵Alan Mishchenko2012-03-0913-51/+51
| | | | ...Ci/Co.
* 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