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
...
*
Adding dumping truth tables from LMS manager.
Alan Mishchenko
2012-11-02
2
-22
/
+117
*
Improved DSD.
Alan Mishchenko
2012-11-02
2
-41
/
+253
*
Fixing out-of-bound problem when collecting GIA nodes.
Alan Mishchenko
2012-11-02
4
-34
/
+156
*
Changing default parameter in &if.
Alan Mishchenko
2012-11-02
1
-1
/
+1
*
Improvements to LMS code.
Alan Mishchenko
2012-11-02
1
-7
/
+82
*
Improvements to LMS code.
Alan Mishchenko
2012-11-02
3
-13
/
+49
*
Improvements to LMS code.
Alan Mishchenko
2012-11-01
2
-28
/
+12
*
Improvements to LMS code.
Alan Mishchenko
2012-11-01
5
-20
/
+76
*
Improvements to the truth table computations.
Alan Mishchenko
2012-11-01
4
-40
/
+36
*
Improvements to the truth table computations.
Alan Mishchenko
2012-11-01
5
-1100
/
+889
*
Improvements to the truth table computations.
Alan Mishchenko
2012-11-01
3
-126
/
+451
*
External APIs needed to use ABC as a static library.
Alan Mishchenko
2012-10-31
1
-0
/
+66
*
Increasing memory page limit in the main SAT solver.
Alan Mishchenko
2012-10-31
1
-1
/
+1
*
Improvements to the truth table computations.
Alan Mishchenko
2012-10-31
1
-88
/
+0
*
Removed 'send_cex'.
Alan Mishchenko
2012-10-31
1
-49
/
+0
*
Improvements to the truth table computations.
Alan Mishchenko
2012-10-31
1
-13
/
+22
*
Improvements to the truth table computations.
Alan Mishchenko
2012-10-31
1
-2
/
+4
*
Improvements to the truth table computations.
Alan Mishchenko
2012-10-31
2
-2
/
+125
*
Improvements to the truth table computations.
Alan Mishchenko
2012-10-30
1
-2
/
+39
*
Improvements to the truth table computations.
Alan Mishchenko
2012-10-30
2
-7
/
+7
*
Improvements to the truth table computations.
Alan Mishchenko
2012-10-30
2
-0
/
+537
*
Improvements to the truth table computations.
Alan Mishchenko
2012-10-30
6
-242
/
+993
*
Added switch for netlist type to 'send_aig'. Changed defautl to &-space. Fixe...
Niklas Een
2012-10-30
5
-356
/
+378
*
Removed CEX communication through bridge in Abc_FrameReplaceCex
Niklas Een
2012-10-30
1
-1002
/
+995
*
Merge
Niklas Een
2012-10-30
48
-566
/
+4994
|
\
|
*
Added new bridge commands.
Alan Mishchenko
2012-10-29
1
-0
/
+173
|
*
Improvements to the truth table computation in 'if' package.
Alan Mishchenko
2012-10-29
2
-4
/
+442
|
*
Tentatively integrated new DSD.
Alan Mishchenko
2012-10-29
3
-2
/
+23
|
*
Enumerating decompositions.
Alan Mishchenko
2012-10-29
2
-1
/
+255
|
*
Move truth table code into a separte file.
Alan Mishchenko
2012-10-28
4
-303
/
+331
|
*
Improvements to LMS code.
Alan Mishchenko
2012-10-28
1
-4
/
+2
|
*
Improvements to LMS code.
Alan Mishchenko
2012-10-28
3
-14
/
+22
|
*
Improvements to LMS code.
Alan Mishchenko
2012-10-28
1
-5
/
+5
|
*
Improvements to LMS code.
Alan Mishchenko
2012-10-28
4
-23
/
+253
|
*
Improvements to LMS code.
Alan Mishchenko
2012-10-28
5
-150
/
+748
|
*
Improvements to LMS code.
Alan Mishchenko
2012-10-27
1
-18
/
+4
|
*
Improvements to LMS code.
Alan Mishchenko
2012-10-27
1
-8
/
+7
|
*
Improvements to LMS code.
Alan Mishchenko
2012-10-27
7
-66
/
+958
|
*
Improvements to the truth table computation in 'if' package.
Alan Mishchenko
2012-10-26
4
-12
/
+454
|
*
Enables printout of fanout count in critical path.
Alan Mishchenko
2012-10-26
1
-0
/
+1
|
*
Integrating GIA with LUT mapping.
Alan Mishchenko
2012-10-25
1
-2
/
+2
|
*
Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate ...
Alan Mishchenko
2012-10-25
5
-4
/
+45
|
*
Added new API to traverse the cut in the mapper.
Alan Mishchenko
2012-10-25
3
-1
/
+55
|
*
Adding binary file dumping for truth tables.
Alan Mishchenko
2012-10-25
1
-1
/
+1
|
*
Adding binary file dumping for truth tables.
Alan Mishchenko
2012-10-25
4
-19
/
+43
|
*
Changing the defaults of command 'collapse'.
Alan Mishchenko
2012-10-25
1
-2
/
+2
|
*
Added hierarchical BLIF output for mapping with LUT structures (write_blif -a...
Alan Mishchenko
2012-10-24
4
-17
/
+299
|
*
Integrating GIA with LUT mapping.
Alan Mishchenko
2012-10-24
4
-44
/
+214
|
*
Integrating GIA with LUT mapping.
Alan Mishchenko
2012-10-24
14
-362
/
+962
|
*
Creating dedicated choice representation for GIA.
Alan Mishchenko
2012-10-24
7
-23
/
+122
[prev]
[next]