index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
aig
/
gia
Commit message (
Expand
)
Author
Age
Files
Lines
*
Added notification about exceeding the number of nodes.
Alan Mishchenko
2012-01-17
1
-0
/
+2
*
Variable timeframe abstraction.
Alan Mishchenko
2012-01-16
1
-211
/
+159
*
Removing additional printout in the GIA package.
Alan Mishchenko
2012-01-16
1
-15
/
+5
*
New hierarchy manager plus additional printout in the GIA package.
Alan Mishchenko
2012-01-16
3
-2
/
+18
*
Variable timeframe abstraction.
Alan Mishchenko
2012-01-16
2
-130
/
+154
*
Variable timeframe abstraction.
Alan Mishchenko
2012-01-15
5
-163
/
+508
*
New hierarchy manager.
Alan Mishchenko
2012-01-14
1
-1
/
+1
*
Support computation experiments with different network data-structures.
Alan Mishchenko
2012-01-14
1
-0
/
+40
*
Added counting hits and misses during structural hashing.
Alan Mishchenko
2012-01-13
3
-1
/
+8
*
Gate level abstraction.
Alan Mishchenko
2012-01-11
1
-109
/
+627
*
Gate level abstraction.
Alan Mishchenko
2012-01-08
1
-56
/
+299
*
Backward reachability using circuit cofactoring.
Alan Mishchenko
2012-01-08
1
-5
/
+31
*
Backward reachability using circuit cofactoring.
Alan Mishchenko
2012-01-07
1
-9
/
+13
*
Backward reachability using circuit cofactoring.
Alan Mishchenko
2012-01-07
1
-13
/
+12
*
Gate level abstraction.
Alan Mishchenko
2012-01-07
1
-238
/
+78
*
Bug fix related to not properly resizing SAT solver's model array.
Alan Mishchenko
2012-01-06
1
-112
/
+0
*
Backward reachability using circuit cofactoring.
Alan Mishchenko
2012-01-05
3
-217
/
+250
*
Backward reachability using circuit cofactoring.
Alan Mishchenko
2012-01-01
1
-0
/
+442
*
Backward reachability using circuit cofactoring.
Alan Mishchenko
2012-01-01
3
-10
/
+373
*
New variable-time frame abstraction.
Alan Mishchenko
2011-12-29
2
-0
/
+517
*
Integrated new proof-logging into proof-based gate-level abstraction.
Alan Mishchenko
2011-12-08
2
-3
/
+7
*
g++ portability changes.
Alan Mishchenko
2011-12-06
1
-18
/
+18
*
Started experiments with a new solver.
Alan Mishchenko
2011-11-25
1
-2
/
+2
*
Making GLA PBA and GLA CBA communicate information.
Alan Mishchenko
2011-11-22
1
-2
/
+5
*
Bug fix in GLA PBA.
Alan Mishchenko
2011-11-13
1
-1
/
+4
*
Bug fix in GLA PBA.
Alan Mishchenko
2011-11-13
1
-0
/
+1
*
Bug fix in GLA PBA.
Alan Mishchenko
2011-11-13
1
-0
/
+3
*
Setting the number of completed time frames.
Alan Mishchenko
2011-11-12
1
-2
/
+11
*
Enabled skipping random decisions in PBA, which are performed by default.
Alan Mishchenko
2011-11-12
1
-4
/
+4
*
Bug fix in GLA PBA.
Alan Mishchenko
2011-11-12
2
-5
/
+19
*
Bug fix in GLA PBA (unfinished).
Alan Mishchenko
2011-11-09
1
-1
/
+4
*
Changes to read multi-output testcases described using AIGER 1.9.
Alan Mishchenko
2011-11-06
3
-19
/
+165
*
Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.
Alan Mishchenko
2011-10-31
2
-2
/
+4
*
Improvements to the new abstraction code.
Alan Mishchenko
2011-10-27
1
-18
/
+59
*
New proof-based abstraction code.
Alan Mishchenko
2011-10-25
2
-3
/
+40
*
New abstraction code.
Alan Mishchenko
2011-10-19
1
-3
/
+3
*
New abstraction code.
Alan Mishchenko
2011-10-19
3
-4
/
+26
*
New abstraction code.
Alan Mishchenko
2011-10-15
5
-37
/
+165
*
Initial changes to enable gate-level abstraction.
Alan Mishchenko
2011-09-22
6
-55
/
+139
*
64-bit portability changes.
Alan Mishchenko
2011-09-17
1
-9
/
+9
*
Added limit on the number of flops to add in one iteration of &abs_refine.
Alan Mishchenko
2011-09-12
2
-3
/
+3
*
Added limit on the number of flops to add in one iteration of &abs_cba.
Alan Mishchenko
2011-09-11
1
-1
/
+16
*
Added timeout to &abc_pba.
Alan Mishchenko
2011-09-02
2
-3
/
+3
*
Sequential cleanup with symbolic/ternary simulation.
Alan Mishchenko
2011-08-24
1
-1
/
+1
*
Bug fix in CBA and PBA.
Alan Mishchenko
2011-08-18
2
-3
/
+3
*
Bug fix in CBA and PBA.
Alan Mishchenko
2011-08-17
2
-4
/
+5
*
Bug fix in PBA.
Alan Mishchenko
2011-08-04
1
-14
/
+19
*
Several bug fixes.
Alan Mishchenko
2011-08-02
1
-46
/
+65
*
Removed useless typecasts related to changes in Vec_VecEntry().
Alan Mishchenko
2011-08-01
1
-2
/
+2
*
Bug fix in &abs_cba.
Alan Mishchenko
2011-08-01
1
-2
/
+1
[next]