index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
aig
/
saig
/
saigGlaPba.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
Integrated new proof-logging into proof-based gate-level abstraction.
Alan Mishchenko
2011-12-08
1
-12
/
+5
*
Started experiments with a new solver.
Alan Mishchenko
2011-11-25
1
-3
/
+9
*
Making GLA PBA and GLA CBA communicate information.
Alan Mishchenko
2011-11-22
1
-3
/
+3
*
Enabled skipping random decisions in PBA, which are performed by default.
Alan Mishchenko
2011-11-12
1
-1
/
+2
*
Experiment with time reporting in GLA PBA.
Alan Mishchenko
2011-11-12
1
-3
/
+3
*
Bug fix in GLA PBA (unfinished).
Alan Mishchenko
2011-11-09
1
-2
/
+2
*
Temporarily added new runtime computation procedures.
Alan Mishchenko
2011-11-03
1
-10
/
+43
*
Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.
Alan Mishchenko
2011-10-31
1
-2
/
+20
*
Improvements to the new abstraction code.
Alan Mishchenko
2011-10-27
1
-2
/
+2
*
Improvements to the new abstraction code.
Alan Mishchenko
2011-10-27
1
-13
/
+15
*
New proof-based abstraction code (bug fix).
Alan Mishchenko
2011-10-27
1
-5
/
+53
*
New proof-based abstraction code.
Alan Mishchenko
2011-10-25
1
-0
/
+518
