summaryrefslogtreecommitdiffstats
path: root/src/proof
Commit message (Expand)AuthorAgeFilesLines
* Adding timeout to AIG rewriting inside 'int'.Alan Mishchenko2013-07-081-2/+0
* Adding timeout to AIG rewriting inside 'int'.Alan Mishchenko2013-07-071-0/+12
* Adding timeout to the interpolant computation procedure.Alan Mishchenko2013-06-281-1/+3
* Unifying representation of mapping in GIA.Alan Mishchenko2013-06-252-2/+2
* Improving CEC (command 'dcec') by integrating XOR balancing.Alan Mishchenko2013-06-251-1/+1
* Improving CEC (command 'dcec') by integrating XOR balancing.Alan Mishchenko2013-06-251-0/+35
* Performance improvements in 'pdr'.Alan Mishchenko2013-06-182-4/+10
* Bug fixes in the implementation of varius resource limits in 'pdr'.Alan Mishchenko2013-06-181-7/+18
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-27102-1090/+1090
* Changing how often timeout is checked in the SAT solver and several applicati...Alan Mishchenko2013-05-272-1/+19
* g++ warnings.Alan Mishchenko2013-05-192-2/+2
* Potential improvement to &scorr.Alan Mishchenko2013-05-181-0/+72
* Fixed gap timeout in 'pdr'.Alan Mishchenko2013-05-181-0/+4
* Adding new command &mprove for proving groups of properties.Alan Mishchenko2013-05-173-12/+15
* Bug fix in the timeout mechanism of 'pdr'.Alan Mishchenko2013-05-171-2/+2
* 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
* 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