index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
Commit message (
Expand
)
Author
Age
Files
Lines
*
Improvements to BDD reachability.
Alan Mishchenko
2011-04-18
5
-23
/
+38
*
Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF numb...
Alan Mishchenko
2011-04-17
1
-3
/
+1
*
Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF numb...
Alan Mishchenko
2011-04-17
5
-8
/
+391
*
Added command 'reconcile'.
Alan Mishchenko
2011-04-16
5
-205
/
+463
*
Added cex generation for clustered reachability (forgot one file).
Alan Mishchenko
2011-04-16
1
-2
/
+2
*
Added cex generation for clustered reachability.
Alan Mishchenko
2011-04-16
6
-37
/
+298
*
Improving timeout in the interpolation package.
Alan Mishchenko
2011-04-15
5
-19
/
+38
*
Forgot to update project file.
Alan Mishchenko
2011-04-15
1
-0
/
+1
*
Further improvements to reachability.
Alan Mishchenko
2011-04-15
5
-59
/
+204
*
Experiments with reachability.
Alan Mishchenko
2011-04-14
5
-19
/
+459
*
Minor improvements to reachability.
Alan Mishchenko
2011-04-13
1
-1
/
+1
*
Enabled new BDD-based reachability engine 'reachy'.
Alan Mishchenko
2011-04-13
12
-9
/
+2036
*
Added print-out of area in terms of LUT library.
Alan Mishchenko
2011-04-13
1
-1
/
+32
*
Commented out one useless assertion in scorr.
Alan Mishchenko
2011-04-12
1
-1
/
+1
*
Added procedure to vector package and manager template file.
Alan Mishchenko
2011-04-10
2
-0
/
+113
*
Experiment with bit-packing.
Alan Mishchenko
2011-04-08
2
-7
/
+372
*
Adding SAT-solver-level timeouts to the BMC engines.
Alan Mishchenko
2011-04-08
5
-29
/
+51
*
Fixing a problem with costraint scorr for K > 1.
Alan Mishchenko
2011-04-08
1
-1
/
+80
*
Unsuccessful attempt to improve PDR and a few minor changes.
Alan Mishchenko
2011-04-07
18
-346
/
+707
*
Made gate library package Mio independent of CUDD.
Alan Mishchenko
2011-03-30
19
-146
/
+1530
*
Added test package (new files).
Alan Mishchenko
2011-03-29
4
-1
/
+77
*
Added test package.
Alan Mishchenko
2011-03-29
4
-3
/
+10
*
Fixed a number of small bugs and memory leaks.
Alan Mishchenko
2011-03-27
51
-50
/
+130
*
C++ compilation fixes.
Alan Mishchenko
2011-03-27
3
-4
/
+4
*
Improvements in Vec_Vec_t.
Alan Mishchenko
2011-03-27
5
-26
/
+152
*
Added Max/Min/Abs as static inline functions.
Alan Mishchenko
2011-03-27
1
-0
/
+11
*
Fixed memory leak.
Alan Mishchenko
2011-03-27
1
-0
/
+1
*
Added printing MFFC sizes and deriving TT from SOP.
Alan Mishchenko
2011-03-18
7
-12
/
+106
*
Fixing timeout in reachability engines.
Alan Mishchenko
2011-03-17
5
-6
/
+38
*
Fix parsing tab symbol in Liberty files.
Alan Mishchenko
2011-03-17
1
-1
/
+1
*
Procedure to convert AIG into a netowrk of NAND gates.
Alan Mishchenko
2011-03-17
1
-0
/
+81
*
Added new procedure and other small changes.
Alan Mishchenko
2011-03-16
3
-4
/
+138
|
\
*
|
Exploring fanout cofactoring ideas...
Alan Mishchenko
2011-03-14
2
-8
/
+152
*
|
Several bug fixes and other improvements.
Alan Mishchenko
2011-03-12
14
-133
/
+159
*
|
Exploration of Sasao's decomposition and minor improvements.
Alan Mishchenko
2011-03-11
6
-36
/
+876
*
|
Bug alert message in 'fraig'.
Alan Mishchenko
2011-03-10
1
-1
/
+2
*
|
Added generation of MFFC for the network (improvements).
Alan Mishchenko
2011-03-09
2
-25
/
+124
*
|
Fixed the bug in Gia_ManRo/Gia_ManRo.
Alan Mishchenko
2011-03-09
1
-2
/
+2
*
|
Changed internal includes to be in quotes rather than in <>.
Alan Mishchenko
2011-03-09
1
-3
/
+3
*
|
Added generation of MFFC for the network.
Alan Mishchenko
2011-03-09
3
-5
/
+694
*
|
Mffc-based structural decomposition of the network and bug fixes in reorderin...
Alan Mishchenko
2011-03-08
5
-9
/
+506
*
|
Improvements to the interpolation command 'int'; change of default switch -t ...
Alan Mishchenko
2011-03-08
1
-0
/
+301
*
|
Improvements to the interpolation command 'int'; change of default switch -t.
Alan Mishchenko
2011-03-08
4
-40
/
+104
*
|
Fixing a typo bug Vec_IntStart instead of Vec_IntAlloc.
Alan Mishchenko
2011-03-08
1
-1
/
+1
*
|
Fixing bugs in the new procedures added to the library.
Alan Mishchenko
2011-03-05
3
-16
/
+44
*
|
Adding new procedures to the library.
Alan Mishchenko
2011-03-05
2
-0
/
+202
*
|
Fixing a corner case bug in 'enlarge'.
Alan Mishchenko
2011-03-05
1
-6
/
+6
*
|
Yet another improvement in &abs_refine -s.
Alan Mishchenko
2011-03-04
1
-0
/
+3
*
|
Another improvement in &abs_refine -s.
Alan Mishchenko
2011-03-04
1
-9
/
+88
*
|
Added 'src/mem' as an additition include directory in Python interface.
Alan Mishchenko
2011-03-04
1
-0
/
+1
[next]