index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Made gate library package Mio independent of CUDD.
Alan Mishchenko
2011-03-30
22
-154
/
+1552
*
Added test package (new files).
Alan Mishchenko
2011-03-29
5
-1
/
+85
*
Added test package.
Alan Mishchenko
2011-03-29
6
-4
/
+19
*
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
7
-41
/
+195
*
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
8
-12
/
+138
*
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
5
-7
/
+169
|
\
|
*
Project file change to add extraBddTime.c
Alan Mishchenko
2011-02-11
1
-0
/
+4
*
|
Exploring fanout cofactoring ideas...
Alan Mishchenko
2011-03-14
2
-8
/
+152
*
|
Several bug fixes and other improvements.
Alan Mishchenko
2011-03-12
15
-133
/
+203
*
|
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
6
-9
/
+514
*
|
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
3
-0
/
+206
*
|
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
*
|
Missing type cast after one of the previous changes.
Alan Mishchenko
2011-03-04
1
-1
/
+2
*
|
Improved the speed of refinement algorithm in &abs_refine.
Alan Mishchenko
2011-03-04
7
-25
/
+332
*
|
Made abc.h independent of CUDD and Extra.
Alan Mishchenko
2011-03-03
96
-430
/
+494
*
|
Bug fix in dprove, adding command option -p.
Alan Mishchenko
2011-03-03
1
-1
/
+1
*
|
Bug fix in &fraig.
Alan Mishchenko
2011-03-03
1
-1
/
+4
*
|
Upgrading epd and mtr packages to be compatible with the latest release of CU...
Alan Mishchenko
2011-03-02
5
-337
/
+337
*
|
Upgrading epd and mtr packages to be compatible with the latest release of CU...
Alan Mishchenko
2011-03-02
6
-169
/
+317
*
|
Removing useless printout in &resim.
Alan Mishchenko
2011-03-02
1
-1
/
+1
*
|
Fixing corner-case bugs in &srm -s.
Alan Mishchenko
2011-02-28
2
-1
/
+7
*
|
Cumulative update to BDD-based reachability, speeding up &reachm and other ch...
Alan Mishchenko
2011-02-28
4
-126
/
+279
*
|
Updated read_status/write_status to correctly handle the case of seq cex with...
Alan Mishchenko
2011-02-27
1
-14
/
+15
*
|
Replaced remove() by unlink() to compile on Windows.
Alan Mishchenko
2011-02-27
1
-2
/
+3
*
|
fixes to pyabc kill mechanism
Baruch Sterin
2011-02-27
6
-585
/
+776
*
|
Added generation of counter-examples in &reachm.
Alan Mishchenko
2011-02-27
4
-59
/
+262
*
|
Fixed the problem with filtered equivalences (&srm -sf and &equiv_mark -f).
Alan Mishchenko
2011-02-22
2
-53
/
+102
*
|
Fixed a critical bug in the previous update.
Alan Mishchenko
2011-02-21
1
-1
/
+1
*
|
Implemented additional filtering of equivalences (&srm -sf).
Alan Mishchenko
2011-02-21
4
-32
/
+108
*
|
Moved two new APIs for reading/writing CEX from/into ABC from abc.c to mainFr...
Alan Mishchenko
2011-02-19
3
-39
/
+6
[prev]
[next]