summaryrefslogtreecommitdiffstats
path: root/src/proof
Commit message (Collapse)AuthorAgeFilesLines
* SAT sweeping under constraints (bug fix).Alan Mishchenko2013-05-121-0/+3
|
* Changing per-output runtime limit to be in miliseconds.Alan Mishchenko2013-05-092-2/+2
|
* Bug fix in the sweeper.Alan Mishchenko2013-05-081-1/+3
|
* SAT sweeping under constraints (bug fix).Alan Mishchenko2013-05-071-1/+3
|
* SAT sweeping under constraints.Alan Mishchenko2013-05-064-22/+200
|
* Integration of the liveness property prover developed by Sayak Ray.Alan Mishchenko2013-05-057-1/+3276
|
* C++ compiler errors.Alan Mishchenko2013-05-041-1/+1
|
* Making changes suggested by Mark Jarvin.Alan Mishchenko2013-05-041-6/+1
|
* Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>).Alan Mishchenko2013-05-035-4/+72
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-284-14/+64
|
* Added option 'int -I <filename>' to specify file names to dump invariants.Alan Mishchenko2013-04-283-3/+7
|
* Compiler warnings.Alan Mishchenko2013-04-281-2/+2
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-284-1/+120
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-275-37/+95
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-275-111/+518
|
* New fast extract.Alan Mishchenko2013-04-272-121/+0
|
* Adding rollback for the other solver.Alan Mishchenko2013-04-251-1/+1
|
* Compiler warnings.Alan Mishchenko2013-04-251-1/+1
|
* Compiler warnings.Alan Mishchenko2013-04-251-3/+3
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-258-0/+1198
|
* Compiler warning.Alan Mishchenko2013-04-171-2/+0
|
* Adding callback to bmc3, sim3, pdr in the multi-output mode.Alan Mishchenko2013-04-174-79/+108
|
* Adding parameter structure for rarity simulation.Alan Mishchenko2013-04-172-72/+124
|
* Bug fix in '&reachy' having to do with incorrect handling of resource limits.Alan Mishchenko2013-04-171-8/+15
|
* Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode.Alan Mishchenko2013-04-092-5/+4
|
* 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
|
* Updating 'pdr' to report the number of failed POs.Alan Mishchenko2013-03-302-1/+3
|
* Making sure 'pdr -a' return UNDEC if it did not finish proving the remaining ↵Alan Mishchenko2013-03-261-9/+10
| | | | outputs to be UNSAT.
* Commenting out assertion that fails in 'dch', not sure why.Alan Mishchenko2013-03-141-1/+1
|
* Fixing gap timeout in 'pdr'.Alan Mishchenko2013-03-071-5/+16
|
* Modified command 'init' to allow for specific init values.Alan Mishchenko2013-03-071-1/+1
|
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-051-1/+1
|
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-272-4/+2
|
* Compiler warnings.Alan Mishchenko2013-02-231-0/+2
|
* Compiler warnings.Alan Mishchenko2013-02-211-1/+1
|
* Enabling two-timeframe property check in the interpolation procedure.Alan Mishchenko2013-02-214-20/+31
|
* Added 'gap timeout' to pdr.Alan Mishchenko2013-02-162-14/+34
|
* 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
|
* Corner-case bug fix in PDR.Alan Mishchenko2013-02-011-1/+1
|
* Fixed a corner-case when 'sim3 -a' does not work for costant POs.Alan Mishchenko2013-01-251-5/+27
|
* Added switch &trim -V <num> to remove const POs with specific value <num>.Alan Mishchenko2013-01-251-1/+1
|
* 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-234-29/+47
|
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-232-18/+50
|
* Reintroduced the old abstraction procedure Saig_ManCexAbstractionFlops() ↵Alan Mishchenko2013-01-082-31/+162
| | | | formerly called from &abs_start for backward compatibility.
* Fixing C++ compilation issues.Alan Mishchenko2013-01-083-3/+3
|
* Fixing C++ compilation issues.Alan Mishchenko2013-01-083-3/+0
|
* Unifification of custom extensions.Alan Mishchenko2012-12-109-12/+12
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 22:46:31 +0000