Commit cae020a
1 file changed
+1
-1
lines changed- .gitignore-1
- src/aig/gia/gia.h+1
- src/aig/gia/giaAiger.c+12-6
- src/aig/gia/giaCut.c+199-55
- src/aig/gia/giaIf.c+165-59
- src/aig/gia/giaLutCas.c+296
- src/aig/gia/giaMulFind.c+19-19
- src/aig/gia/giaMulFind3.c+48
- src/aig/gia/giaNf.c+157-4
- src/aig/gia/giaQbf.c+50-14
- src/aig/gia/giaSweep.c+2-2
- src/aig/gia/giaTsim.c+5-4
- src/aig/gia/module.make+2
- src/base/abc/abc.h+1-1
- src/base/abc/abcUtil.c+10-20
- src/base/abci/abc.c+616-31
- src/base/abci/abcLutmin.c+4-3
- src/base/abci/abcSweep.c+1-3
- src/base/abci/abcSymm.c+3
- src/base/cmd/cmdHist.c+32-9
- src/base/io/io.c+3-4
- src/base/main/mainInt.h+1
- src/base/main/mainReal.c+1-1
- src/base/wlc/wlcBlast.c+12
- src/base/wlc/wlcCom.c+130-1
- src/bdd/cudd/cuddGroup.c+2-3
- src/bdd/cudd/cuddLinear.c+2-3
- src/bdd/cudd/cuddReorder.c+2-3
- src/bdd/cudd/cuddSymmetry.c+2-3
- src/bdd/cudd/cuddZddGroup.c+2-3
- src/bdd/cudd/cuddZddReord.c+5-1
- src/map/if/ifTune.c+31-61
- src/misc/util/module.make+2
- src/misc/util/utilBipart.c+1.3k
- src/misc/util/utilLinear.c+22-18
- src/misc/util/utilMiniver.c+629
- src/misc/util/utilTruth.h+40-2
- src/misc/vec/vecInt.h+10
- src/opt/dau/dauNpn.c+79
- src/sat/bmc/bmc.h+5
- src/sat/bmc/bmcMaj.c+68-20
- src/sat/bmc/bmcMaj7.c+767
- src/sat/bmc/bmcMaj8.c+847
- src/sat/bmc/module.make+2
- src/sat/cadical/cadical.hpp+4
- src/sat/cadical/cadicalSolver.c+37-2
- src/sat/cadical/cadicalSolver.h+2
- src/sat/cadical/cadical_ccadical.cpp+8
- src/sat/cadical/cadical_restart.cpp+4-4
- src/sat/cadical/cadical_solver.cpp+10
- src/sat/cadical/ccadical.h+2
- src/sat/kissat/terminate.h+15
0 commit comments