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
...
*
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
7
-242
/
+997
*
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
49
-566
/
+5006
|
\
|
*
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
3
-1
/
+259
|
*
Move truth table code into a separte file.
Alan Mishchenko
2012-10-28
5
-303
/
+335
|
*
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
8
-66
/
+962
|
*
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
|
*
Adding frontier comptuation based on reversed CO order in &ps.
Alan Mishchenko
2012-10-24
4
-9
/
+59
|
*
Fixing frontier computation in &ps.
Alan Mishchenko
2012-10-24
1
-4
/
+43
|
*
Disabling SAT sweeping in 'map' by default.
Alan Mishchenko
2012-10-23
1
-1
/
+1
|
*
Adding #ifdef to guard windows-specific debugging option.
Alan Mishchenko
2012-10-20
1
-3
/
+5
|
*
Bug fix in hierarchical BLIF reader.
Alan Mishchenko
2012-10-11
1
-3
/
+2
*
|
Replaced printfs with Abc_Print
Niklas Een
2012-10-29
20
-451
/
+465
*
|
Replaced printfs with Abc_Print
Niklas Een
2012-10-29
1
-36
/
+35
*
|
Replaced printfs with Abc_Print
Niklas Een
2012-10-29
1
-46
/
+45
*
|
Replaced printfs with Abc_Print
Niklas Een
2012-10-29
1
-48
/
+47
*
|
Replaced printfs with Abc_Print
Niklas Een
2012-10-29
1
-89
/
+88
|
/
*
Commenting out printout.
Alan Mishchenko
2012-10-10
1
-2
/
+2
*
Added procedure to check correctness of the topo order during AIG construction.
Alan Mishchenko
2012-10-10
1
-0
/
+27
*
Added command to transform GIA into the file with truth tables for each output.
Alan Mishchenko
2012-10-10
1
-0
/
+77
*
Improvements to gate sizing.
Alan Mishchenko
2012-10-09
3
-41
/
+46
*
Improvements to gate sizing.
Alan Mishchenko
2012-10-09
7
-163
/
+221
*
Making report about the number of correcty covered frames consistent across t...
Alan Mishchenko
2012-10-09
4
-6
/
+7
*
Improvements to gate-sizing.
Alan Mishchenko
2012-10-09
2
-3
/
+5
*
Improvements to gate-sizing.
Alan Mishchenko
2012-10-09
3
-9
/
+27
*
Improvements to gate sizing (bug fix).
Alan Mishchenko
2012-10-09
1
-4
/
+6
*
Improvements to gate sizing (bug fix).
Alan Mishchenko
2012-10-09
1
-1
/
+2
[prev]
[next]