summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc/bmcBmcAnd.c
Commit message (Expand)AuthorAgeFilesLines
* Standardizing the use of new CNF generator. Adding CNF variable connectivity ...Alan Mishchenko2017-02-101-2/+1
* Integrating new CNF generation into &bmc.Alan Mishchenko2016-01-121-8/+9
* Changing default CNF generation in &bmc.Alan Mishchenko2014-08-181-0/+2
* Adding delay optimization to synthesis script &syn2.Alan Mishchenko2014-08-081-2/+2
* Adding more features to the synthesis script &syn2.Alan Mishchenko2014-06-141-2/+2
* Fixed problem with timeout in &bmc.Alan Mishchenko2013-12-181-0/+2
* Specialized induction check.Alan Mishchenko2013-10-311-1/+1
* Specialized induction check.Alan Mishchenko2013-10-311-1/+1
* Wrapper around the BMC engine to restart it with higher resource limits.Alan Mishchenko2013-10-291-1/+38
* New BMC engine.Alan Mishchenko2013-10-271-2/+3
* New BMC engine.Alan Mishchenko2013-10-271-33/+35
* New BMC engine.Alan Mishchenko2013-10-271-1/+197
* Adding new synthesis scripts.Alan Mishchenko2013-10-231-2/+1
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-4/+2
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-6/+8
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-0/+7
* Enabling counter-example generation in the new BMC engine.Alan Mishchenko2013-10-021-21/+24
* Enabling counter-example generation in the new BMC engine.Alan Mishchenko2013-10-011-12/+57
* Updates for the new BMC engine.Alan Mishchenko2013-09-101-10/+16
* Updates for the new BMC engine.Alan Mishchenko2013-09-101-1/+5
* Updates for the new BMC engine.Alan Mishchenko2013-09-101-9/+416
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-2/+2
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-051-1/+1
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-45/+207
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-33/+137
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-3/+9
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-6/+6
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-2/+4
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-0/+115