summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc/bmcBmcAnd.c
Commit message (Expand)AuthorAgeFilesLines
* 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