summaryrefslogtreecommitdiffstats
path: root/src/proof/ssc
Commit message (Expand)AuthorAgeFilesLines
* Sweeper internal verification.Alan Mishchenko2013-11-011-1/+1
* Sweeper internal verification and new switch for &cfraig.Alan Mishchenko2013-11-012-2/+9
* Sweeper internal verification.Alan Mishchenko2013-11-011-0/+43
* Sweeper assertion.Alan Mishchenko2013-11-011-0/+2
* Sweeper assertion.Alan Mishchenko2013-11-011-0/+1
* Sweeper return value normalization.Alan Mishchenko2013-11-012-7/+17
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-052-5/+5
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-273-33/+33
* g++ warnings.Alan Mishchenko2013-05-191-1/+1
* SAT sweeping under constraints (bug fix).Alan Mishchenko2013-05-121-0/+3
* 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
* SAT sweeping under constraints.Alan Mishchenko2013-04-284-14/+64
* 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-271-100/+0
* 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