summaryrefslogtreecommitdiffstats
path: root/src/misc/util/utilCex.h
Commit message (Expand)AuthorAgeFilesLines
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-081-0/+4
* Counter-example analysis and optimization.Alan Mishchenko2012-11-291-0/+1
* Counter-example analysis and optimization.Alan Mishchenko2012-11-281-0/+1
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-141-0/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-2/+2
* Enabled counter-example minimization in 'write_counter'.Alan Mishchenko2011-11-111-0/+1
* Enhancing printing of counter-examples.Alan Mishchenko2011-07-251-0/+1
* Updated 'iprove' to generate seq CEX when CEC fails.Alan Mishchenko2011-06-251-0/+1
* Unified the use of counter-examples in three packages (additional files).Alan Mishchenko2011-02-131-0/+72