summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc/bmcUnroll.c
Commit message (Expand)AuthorAgeFilesLines
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-051-2/+2
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-0/+1
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-13/+15
* Improved unrolling manager.Alan Mishchenko2013-09-051-94/+92
* Improved unrolling manager.Alan Mishchenko2013-09-051-74/+123
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-2/+2
* Compiler warnings.Alan Mishchenko2013-03-301-3/+3
* Compiler warnings.Alan Mishchenko2013-02-211-3/+3
* New unrolling manager.Alan Mishchenko2012-12-241-0/+455