index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
Commit message (
Collapse
)
Author
Age
Files
Lines
*
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 ↵
Alan Mishchenko
2011-03-08
5
-9
/
+506
|
|
|
|
|
|
|
|
reordering package.
*
|
Improvements to the interpolation command 'int'; change of default switch -t ↵
Alan Mishchenko
2011-03-08
1
-0
/
+301
|
|
|
|
|
|
|
|
(forgot to add new file).
*
|
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
|
|
*
|
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 ↵
Alan Mishchenko
2011-03-02
5
-337
/
+337
|
|
|
|
|
|
|
|
CUDD 2.4.2
*
|
Upgrading epd and mtr packages to be compatible with the latest release of ↵
Alan Mishchenko
2011-03-02
6
-169
/
+317
|
|
|
|
|
|
|
|
CUDD 2.4.2
*
|
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 ↵
Alan Mishchenko
2011-02-28
4
-126
/
+279
|
|
|
|
|
|
|
|
changes.
*
|
Updated read_status/write_status to correctly handle the case of seq cex ↵
Alan Mishchenko
2011-02-27
1
-14
/
+15
|
|
|
|
|
|
|
|
without regs.
*
|
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
5
-565
/
+746
|
|
*
|
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 ↵
Alan Mishchenko
2011-02-19
3
-39
/
+6
|
|
|
|
|
|
|
|
mainFrame.c.
*
|
Changes to support sequential verification with reduction without speculation.
Alan Mishchenko
2011-02-19
5
-421
/
+243
|
|
*
|
Added two new APIs for reading/writing CEX from/into ABC.
Alan Mishchenko
2011-02-19
2
-12
/
+122
|
|
*
|
Another corner-case bug in zeropo.
Alan Mishchenko
2011-02-19
1
-2
/
+3
|
|
*
|
Adding one more control switch to CEC commands (i)prove.
Alan Mishchenko
2011-02-19
1
-4
/
+28
|
|
*
|
Improvements to CEC command iprove.
Alan Mishchenko
2011-02-18
3
-10
/
+96
|
|
[next]