summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc/bmcCexCare.c
Commit message (Expand)AuthorAgeFilesLines
* Adding PDR with abstraction.Alan Mishchenko2017-02-101-30/+32
* Improving CEX minimization.Alan Mishchenko2017-02-101-91/+172
* Profiling CEX minimization.Alan Mishchenko2017-02-091-4/+22
* Improving new X-valued simulation in 'pdr'.Alan Mishchenko2017-02-061-4/+27
* Procedure for extending care CEX to all objects.Alan Mishchenko2015-05-141-0/+54
* Better CEX minimization and renaming of write_counter into write_cex.Alan Mishchenko2014-04-041-0/+298