index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
aig
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
New abstraction code.
Alan Mishchenko
2011-10-14
1
-0
/
+1
*
New abstraction code.
Alan Mishchenko
2011-10-14
1
-0
/
+564
*
Fixing built-in resource limit when converting truth-tables to AIGs.
Alan Mishchenko
2011-10-08
2
-1
/
+6
*
Updated miter status check to detect the case when a PO is equal to a true PI.
Alan Mishchenko
2011-10-01
1
-1
/
+1
*
Fixed a corner case bug in dprove when a trivial CEX is not produced.
Alan Mishchenko
2011-10-01
1
-0
/
+11
*
Changes to the matching procedure and new abstraction code.
Alan Mishchenko
2011-09-27
2
-0
/
+329
*
Added new feature to bmc3.
Alan Mishchenko
2011-09-23
2
-17
/
+38
*
Initial changes to enable gate-level abstraction.
Alan Mishchenko
2011-09-22
6
-55
/
+139
*
Fixed minor issues having to do with the number of BDD vars used.
Alan Mishchenko
2011-09-18
1
-1
/
+7
*
Fixing obscure memory problem with 'int' on large designs.
Alan Mishchenko
2011-09-17
1
-2
/
+16
*
64-bit portability changes.
Alan Mishchenko
2011-09-17
5
-20
/
+23
*
Added limit on the number of flops to add in one iteration of &abs_refine.
Alan Mishchenko
2011-09-12
4
-6
/
+24
*
Added limit on the number of flops to add in one iteration of &abs_cba.
Alan Mishchenko
2011-09-11
3
-2
/
+104
*
Sequential cleanup with symbolic/ternary simulation (bug fix).
Alan Mishchenko
2011-09-08
1
-1
/
+1
*
Fixed the problem with incorrect reporting of finished timeframes after &abs_...
Alan Mishchenko
2011-09-04
1
-1
/
+1
*
Added timeout to &abc_pba.
Alan Mishchenko
2011-09-02
4
-6
/
+15
*
Bug fix in CBA.
Alan Mishchenko
2011-08-31
1
-0
/
+5
*
Sequential cleanup with symbolic/ternary simulation (bug fix).
Alan Mishchenko
2011-08-30
1
-2
/
+2
*
Making 'reconcile' ignore the difference in flop count.
Alan Mishchenko
2011-08-29
1
-1
/
+5
*
Sequential cleanup with symbolic/ternary simulation.
Alan Mishchenko
2011-08-25
2
-24
/
+225
*
Sequential cleanup with symbolic/ternary simulation.
Alan Mishchenko
2011-08-25
1
-32
/
+52
*
Sequential cleanup with symbolic/ternary simulation.
Alan Mishchenko
2011-08-24
9
-177
/
+244
*
Experiments with SPFD-based decomposition.
Alan Mishchenko
2011-08-24
1
-1
/
+3
*
Experiments with SPFD-based decomposition.
Alan Mishchenko
2011-08-21
1
-2
/
+6
*
Experiments with SPFD-based decomposition.
Alan Mishchenko
2011-08-21
1
-91
/
+311
*
Experiments with SPFD-based decomposition.
Alan Mishchenko
2011-08-20
1
-2
/
+5
*
Making sure reconcile does not change the PO number.
Alan Mishchenko
2011-08-20
4
-12
/
+21
*
Experiments with SPFD-based decomposition + new K-map print-out.
Alan Mishchenko
2011-08-20
1
-15
/
+541
*
Bug fix in CBA and PBA.
Alan Mishchenko
2011-08-18
6
-15
/
+21
*
Bug fix in CBA and PBA.
Alan Mishchenko
2011-08-17
8
-30
/
+75
*
Experiments with SPFD-based decomposition.
Alan Mishchenko
2011-08-17
2
-0
/
+370
*
Bug fix in interpolation (false positive if property fails in frame 0).
Alan Mishchenko
2011-08-14
2
-4
/
+17
*
Bug fix in PBA.
Alan Mishchenko
2011-08-04
2
-16
/
+24
*
Several bug fixes.
Alan Mishchenko
2011-08-02
4
-55
/
+130
*
Enabled saving vector of counter-examples in the ABC framework.
Alan Mishchenko
2011-08-02
4
-7
/
+71
*
Changes to enable CEX minimization.
Alan Mishchenko
2011-08-01
3
-192
/
+367
*
Changes to enable smarter simulation (bug fix).
Alan Mishchenko
2011-08-01
1
-9
/
+48
*
Changing the ordering of arguments in two iterators.
Alan Mishchenko
2011-08-01
12
-26
/
+57
*
Removed useless typecasts related to changes in Vec_VecEntry().
Alan Mishchenko
2011-08-01
20
-59
/
+59
*
Changes to enable CEX minimization.
Alan Mishchenko
2011-08-01
1
-0
/
+1
*
Changes to enable CEX minimization.
Alan Mishchenko
2011-08-01
2
-0
/
+332
*
Bug fix in &abs_cba.
Alan Mishchenko
2011-08-01
3
-10
/
+122
*
Reducing print-out in 'bmc3'.
Alan Mishchenko
2011-08-01
1
-9
/
+9
*
Undoing previous change in 'resim' (do not initialize flops using their value...
Alan Mishchenko
2011-08-01
1
-2
/
+12
*
Minor bug fix in 'testcex' (made it consider outputs in direct order).
Alan Mishchenko
2011-08-01
1
-1
/
+2
*
Added new APIs to the AIG manager.
Alan Mishchenko
2011-07-31
1
-0
/
+1
*
Improvements to 'bmc3' (start frame; stop when all POs are SAT; stop when 2^n...
Alan Mishchenko
2011-07-31
1
-3
/
+22
*
Changes to enable smarter simulation.
Alan Mishchenko
2011-07-30
1
-0
/
+8
*
Changes to enable smarter simulation.
Alan Mishchenko
2011-07-30
1
-3
/
+5
*
Added generation of counter-examples to induction in 'ind'.
Alan Mishchenko
2011-07-30
3
-7
/
+45
[prev]
[next]