Skip to content

A
abc
Switch branch/tag
Find file
Normal viewHistoryPermalink
module.make 342 Bytes
Newer Older
User-controlable SAT sweeper and other small changes.
a27a7bc8
 
Alan Mishchenko committed
1 
SRC +=    src/opt/dau/dauCanon.c \
New AIG optimization package.
46370974
 
Alan Mishchenko committed
2 
    src/opt/dau/dauCore.c \
Counting ones in truth table.
ae6716b0
 
Alan Mishchenko committed
3 
    src/opt/dau/dauCount.c \
Improved DSD.
1116313d
 
Alan Mishchenko committed
4 
    src/opt/dau/dauDivs.c \
Enumerating decompositions.
d94c8d3f
 
Alan Mishchenko committed
5 
    src/opt/dau/dauDsd.c \
Improved DSD.
e0f27f5a
 
Alan Mishchenko committed
6 
    src/opt/dau/dauEnum.c \
Generation of plain AIG after mapping.
940cf7f9
 
Alan Mishchenko committed
7 
    src/opt/dau/dauGia.c \
DSD manager.
abefcf8f
 
Alan Mishchenko committed
8 
    src/opt/dau/dauMerge.c \
Towards better Boolean matching.
a4a1053d
 
Alan Mishchenko committed
9 
    src/opt/dau/dauNonDsd.c \
Experiments with function enumeration.
94f6bfef
 
Alan Mishchenko committed
10 
    src/opt/dau/dauNpn.c \
Expriments with functions.
c9e520e2
 
Alan Mishchenko committed
11 
    src/opt/dau/dauNpn2.c \
DSD manager.
abefcf8f
 
Alan Mishchenko committed
12 
    src/opt/dau/dauTree.c