summaryrefslogtreecommitdiffstats
path: root/src/misc/util/utilCex.c
Commit message (Expand)AuthorAgeFilesLines
* Better CEX minimization and renaming of write_counter into write_cex.Alan Mishchenko2014-04-041-0/+27
* Tuning for multi-ouptut solver.Alan Mishchenko2013-11-041-1/+4
* Updated CEX code to handle trivial CEX of the type (Abc_Cex_t*)1.Alan Mishchenko2013-01-251-0/+19
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-091-3/+4
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-091-6/+5
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-081-1/+114
* Counter-example analysis and optimization.Alan Mishchenko2012-11-301-2/+2
* Counter-example analysis and optimization.Alan Mishchenko2012-11-291-0/+19
* Counter-example analysis and optimization.Alan Mishchenko2012-11-281-0/+11
* Added switch 'cexcut -m' to generate bad states for all frames after G.Alan Mishchenko2012-11-151-2/+2
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-141-11/+12
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-141-0/+58
* Major restructuring of the code.Alan Mishchenko2012-01-211-4/+0
* Enabled counter-example minimization in 'write_counter'.Alan Mishchenko2011-11-111-1/+19
* Enhancing printing of counter-examples.Alan Mishchenko2011-07-251-3/+32
* Updated 'iprove' to generate seq CEX when CEC fails.Alan Mishchenko2011-06-251-0/+25
* Added two new APIs for reading/writing CEX from/into ABC.Alan Mishchenko2011-02-191-0/+2
* Unified the use of counter-examples in three packages (additional files).Alan Mishchenko2011-02-131-0/+203