index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
misc
/
util
/
utilCex.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
Tuning for multi-ouptut solver.
Alan Mishchenko
2013-11-04
1
-1
/
+4
*
Updated CEX code to handle trivial CEX of the type (Abc_Cex_t*)1.
Alan Mishchenko
2013-01-25
1
-0
/
+19
*
Enabling multi-output solving in 'pdr'.
Alan Mishchenko
2012-12-09
1
-3
/
+4
*
Deriving CEX after phase/tempor/reparam.
Alan Mishchenko
2012-12-09
1
-6
/
+5
*
Deriving CEX after phase/tempor/reparam.
Alan Mishchenko
2012-12-08
1
-1
/
+114
*
Counter-example analysis and optimization.
Alan Mishchenko
2012-11-30
1
-2
/
+2
*
Counter-example analysis and optimization.
Alan Mishchenko
2012-11-29
1
-0
/
+19
*
Counter-example analysis and optimization.
Alan Mishchenko
2012-11-28
1
-0
/
+11
*
Added switch 'cexcut -m' to generate bad states for all frames after G.
Alan Mishchenko
2012-11-15
1
-2
/
+2
*
Added command 'cexcut' and 'cexmerge'.
Alan Mishchenko
2012-11-14
1
-11
/
+12
*
Added command 'cexcut' and 'cexmerge'.
Alan Mishchenko
2012-11-14
1
-0
/
+58
*
Major restructuring of the code.
Alan Mishchenko
2012-01-21
1
-4
/
+0
*
Enabled counter-example minimization in 'write_counter'.
Alan Mishchenko
2011-11-11
1
-1
/
+19
*
Enhancing printing of counter-examples.
Alan Mishchenko
2011-07-25
1
-3
/
+32
*
Updated 'iprove' to generate seq CEX when CEC fails.
Alan Mishchenko
2011-06-25
1
-0
/
+25
*
Added two new APIs for reading/writing CEX from/into ABC.
Alan Mishchenko
2011-02-19
1
-0
/
+2
*
Unified the use of counter-examples in three packages (additional files).
Alan Mishchenko
2011-02-13
1
-0
/
+203