summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc/bmcBmcAnd.c
Commit message (Collapse)AuthorAgeFilesLines
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-211-3/+3
|
* Compiler warnings.Alan Mishchenko2017-07-221-2/+2
|
* Standardizing the use of new CNF generator. Adding CNF variable connectivity ↵Alan Mishchenko2017-02-101-2/+1
| | | | information.
* 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