Skip to content

Commit

Permalink
Switch abc
Browse files Browse the repository at this point in the history
  • Loading branch information
@povik
povik committed Jun 20, 2024
1 parent 8024688 commit a776a16
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion abc
Submodule abc updated 97 files
+0 −1 .gitattributes
+0 −1 .gitcommit
+5 −1 .github/workflows/build-posix-cmake.yml
+5 −1 .github/workflows/build-posix.yml
+5 −1 .github/workflows/build-windows.yml
+5 −1 CMakeLists.txt
+6 −16 Makefile
+2 −0 abc.rc
+24 −0 readmeaig
+1 −1 src/aig/aig/aigShow.c
+16 −2 src/aig/gia/gia.h
+7 −1 src/aig/gia/giaCut.c
+137 −0 src/aig/gia/giaDup.c
+107 −6 src/aig/gia/giaIf.c
+79 −0 src/aig/gia/giaMan.c
+15 −36 src/aig/gia/giaMfs.c
+26 −2 src/aig/gia/giaNewBdd.h
+6 −1 src/aig/gia/giaNewTt.h
+266 −34 src/aig/gia/giaNf.c
+85 −7 src/aig/gia/giaPat2.c
+111 −0 src/aig/gia/giaQbf.c
+103 −1 src/aig/gia/giaResub.c
+114 −1 src/aig/gia/giaResub6.c
+1 −1 src/aig/gia/giaShow.c
+2 −2 src/aig/gia/giaSimBase.c
+0 −4 src/aig/gia/giaStoch.c
+187 −4 src/aig/gia/giaSupps.c
+4 −0 src/aig/gia/giaTranStoch.c
+1 −1 src/aig/saig/saig.h
+2 −3 src/aig/saig/saigConstr2.c
+0 −8 src/base/abc/abcShow.c
+690 −84 src/base/abci/abc.c
+2 −2 src/base/abci/abcDar.c
+7 −3 src/base/abci/abcIf.c
+2 −0 src/base/abci/abcMap.c
+2 −2 src/base/abci/abcMfs.c
+41 −0 src/base/abci/abcResub.c
+0 −4 src/base/cmd/cmd.c
+1 −1 src/base/cmd/cmdHist.c
+1 −4 src/base/cmd/cmdUtils.c
+35 −412 src/base/io/io.c
+344 −0 src/base/io/ioResub.h
+0 −2 src/base/main/mainReal.c
+0 −3 src/base/wlc/wlc.c
+2 −2 src/base/wlc/wlcAbs.c
+0 −1 src/base/wlc/wlcBlast.c
+1 −1 src/base/wlc/wlcMem.c
+2 −2 src/base/wln/wlnBlast.c
+0 −4 src/base/wln/wlnRtl.c
+1 −1 src/map/if/acd/ac_decomposition.hpp
+24 −16 src/map/if/acd/ac_wrapper.cpp
+1 −0 src/map/if/acd/ac_wrapper.h
+4 −1 src/map/if/acd/acdXX.hpp
+0 −1 src/map/if/acd/kitty_operations.hpp
+0 −1 src/map/if/acd/kitty_operators.hpp
+2 −0 src/map/if/if.h
+74 −1 src/map/if/ifDec66.c
+2 −2 src/map/if/ifMap.c
+1 −0 src/map/mapper/mapper.h
+45 −0 src/map/mapper/mapperCutUtils.c
+0 −2 src/map/mio/mio.h
+26 −26 src/map/scl/sclLiberty.c
+2 −2 src/misc/util/abc_global.h
+0 −28 src/misc/util/utilFile.c
+0 −4 src/misc/util/utilSignal.c
+22 −0 src/misc/vec/vecWrd.h
+1 −2 src/opt/sfm/sfm.h
+6 −7 src/opt/sfm/sfmCore.c
+0 −2 src/opt/sfm/sfmInt.h
+2 −4 src/opt/sfm/sfmNtk.c
+18 −38 src/opt/sfm/sfmWin.c
+1 −0 src/proof/cec/cec.h
+44 −0 src/proof/cec/cecSatG2.c
+0 −3 src/proof/pdr/pdr.h
+30 −344 src/proof/pdr/pdrCore.c
+2 −6 src/proof/pdr/pdrIncr.c
+0 −8 src/proof/pdr/pdrInt.h
+19 −58 src/proof/pdr/pdrInv.c
+1 −2 src/proof/pdr/pdrMan.c
+1 −2 src/proof/pdr/pdrSat.c
+0 −39 src/proof/pdr/pdrUtil.c
+1 −3 src/sat/bmc/bmc.h
+2 −36 src/sat/bmc/bmcCexCare.c
+0 −47 src/sat/bmc/bmcCexTools.c
+36 −13 src/sat/bmc/bmcMaj.c
+0 −8 src/sat/bsat2/Alloc.h
+0 −4 src/sat/bsat2/Vec.h
+0 −4 src/sat/bsat2/XAlloc.h
+0 −8 src/sat/cnf/cnfUtil.c
+0 −8 src/sat/glucose/Alloc.h
+8 −6 src/sat/glucose/IntTypes.h
+0 −4 src/sat/glucose/Vec.h
+0 −4 src/sat/glucose/XAlloc.h
+0 −8 src/sat/glucose2/Alloc.h
+8 −6 src/sat/glucose2/IntTypes.h
+0 −8 src/sat/glucose2/Vec.h
+0 −4 src/sat/glucose2/XAlloc.h

0 comments on commit a776a16

Please sign in to comment.