1 file changed
+1
-1
lines changed- .github/workflows/build-posix-cmake.yml+4
- CMakeLists.txt+14
- Makefile+24-22
- src/aig/gia/gia.h+5
- src/aig/gia/giaAiger.c+113
- src/aig/gia/giaDecGraph.cpp+2.2k
- src/aig/gia/giaDup.c+2
- src/aig/gia/giaIf.c+361-24
- src/aig/gia/giaMan.c+1
- src/aig/gia/module.make+2-1
- src/base/abci/abc.c+97-18
- src/base/main/main.h+7
- src/base/main/mainFrame.c+6-2
- src/base/main/mainInt.h+2-1
- src/map/if/acd/ac_decomposition.hpp+9-6
- src/map/if/if.h+19
- src/map/if/ifCom.c+188-25
- src/map/if/ifDecJ.c+51
- src/map/if/ifLibLut.c+234
- src/map/if/ifMan.c+34-13
- src/map/if/ifTune.c+336
- src/map/if/module.make+1
- src/map/mpm/mpmAbc.c+2-2
- src/map/mpm/mpmMan.c+3-2
- src/misc/util/module.make+1
- src/misc/util/utilLinear.c+821
- src/sat/bmc/bmcMaj.c+28-17
- src/sat/bmc/bmcMaj2.c+20-6
- src/sat/bmc/bmcMaj3.c+2-2
- test/CMakeLists.txt+1
- test/gia/gia_test.cc+54
0 commit comments