diff --git a/.bazelrc b/.bazelrc new file mode 100644 index 0000000000..4e07d679a8 --- /dev/null +++ b/.bazelrc @@ -0,0 +1,2 @@ +common --enable_workspace + diff --git a/.github/workflows/build-posix-bazel.yml b/.github/workflows/build-posix-bazel.yml new file mode 100644 index 0000000000..c73714d0fb --- /dev/null +++ b/.github/workflows/build-posix-bazel.yml @@ -0,0 +1,35 @@ +name: Build Posix Bazel + +on: + push: + pull_request: + +jobs: + + build-posix-bazel: + runs-on: ubuntu-latest + + steps: + - name: Git Checkout + uses: actions/checkout@v4 + with: + submodules: recursive + + - name: Install Linux dependencies + run: | + sudo apt install -y libreadline-dev + wget https://github.com/bazelbuild/bazelisk/releases/latest/download/bazelisk-linux-amd64 -O bazelisk + chmod +x bazelisk + sudo mv bazelisk /usr/bin + + - name: Build abc + run: | + bazelisk build //... + + - name: Test Executable + run: | + bazel-bin/abc -c "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec" + + - name: Test Library + run: | + bazel-bin/demo i10.aig diff --git a/.gitignore b/.gitignore index cdf34f18d1..6879ef9050 100644 --- a/.gitignore +++ b/.gitignore @@ -63,3 +63,5 @@ tags /cmake /cscope abc.history + +bazel-* diff --git a/BUILD b/BUILD new file mode 100644 index 0000000000..22f93a4393 --- /dev/null +++ b/BUILD @@ -0,0 +1,1254 @@ +# Copyright 2020 Google LLC +# +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. + +# ABC: System for Sequential Synthesis and Verification by Berkeley Logic +# Synthesis and Verification Group. + +licenses(["notice"]) + +exports_files(["LICENSE"]) + +cc_binary( + name = "abc", + srcs = ["src/base/main/main.c"], + copts = [ + "-x c++", + "-std=c++17", + ], + defines = [ + "LIN64", + "SIZEOF_VOID_P=8", + "SIZEOF_LONG=8", + "SIZEOF_INT=4", + "ABC_USE_CUDD=1", + "ABC_USE_PTHREADS", + "ABC_USE_READLINE", + "_DEFAULT_SOURCE", + "ABC_NAMESPACE=abc", + ], + includes = ["src/"], + deps = [":abc-lib"], + visibility = ["//visibility:public"], +) + +cc_binary( + name = "demo", + srcs = ["src/demo.c"], + copts = [ + "-x c++", + "-std=c++17", + ], + defines = [ + "ABC_NAMESPACE=abc", + ], + includes = ["src/"], + deps = [":abc-lib"], + visibility = ["//visibility:public"], +) + +cc_library( + name = "abc-lib", + srcs = glob(["src/**/*.h"]) + glob(["src/**/*.hpp"]) + [ + # this list is generated by calling "make cmake_info" and incorporating the files + # between the SEPARATOR_SRC blocks + # (for f in $(make cmake_info | grep SEPARATOR_SRC) ; do echo " \"$f\"," ; done) | sort | tail -n +3 + "src/aig/aig/aigCanon.c", + "src/aig/aig/aigCheck.c", + "src/aig/aig/aigCuts.c", + "src/aig/aig/aigDfs.c", + "src/aig/aig/aigDup.c", + "src/aig/aig/aigFanout.c", + "src/aig/aig/aigFrames.c", + "src/aig/aig/aigInter.c", + "src/aig/aig/aigJust.c", + "src/aig/aig/aigMan.c", + "src/aig/aig/aigMem.c", + "src/aig/aig/aigMffc.c", + "src/aig/aig/aigObj.c", + "src/aig/aig/aigOper.c", + "src/aig/aig/aigOrder.c", + "src/aig/aig/aigPack.c", + "src/aig/aig/aigPart.c", + "src/aig/aig/aigPartReg.c", + "src/aig/aig/aigPartSat.c", + "src/aig/aig/aigRepr.c", + "src/aig/aig/aigRet.c", + "src/aig/aig/aigRetF.c", + "src/aig/aig/aigScl.c", + "src/aig/aig/aigShow.c", + "src/aig/aig/aigSplit.c", + "src/aig/aig/aigTable.c", + "src/aig/aig/aigTiming.c", + "src/aig/aig/aigTruth.c", + "src/aig/aig/aigTsim.c", + "src/aig/aig/aigUtil.c", + "src/aig/aig/aigWin.c", + "src/aig/gia/giaAgi.c", + "src/aig/gia/giaAig.c", + "src/aig/gia/giaAiger.c", + "src/aig/gia/giaAigerExt.c", + "src/aig/gia/giaBalAig.c", + "src/aig/gia/giaBalLut.c", + "src/aig/gia/giaBalMap.c", + "src/aig/gia/giaBidec.c", + "src/aig/gia/giaBound.c", + "src/aig/gia/giaCCof.c", + "src/aig/gia/giaCex.c", + "src/aig/gia/giaClp.c", + "src/aig/gia/giaCof.c", + "src/aig/gia/giaCone.c", + "src/aig/gia/giaCSat2.c", + "src/aig/gia/giaCSat3.c", + "src/aig/gia/giaCSat.c", + "src/aig/gia/giaCSatOld.c", + "src/aig/gia/giaCSatP.c", + "src/aig/gia/giaCTas.c", + "src/aig/gia/giaCut.c", + "src/aig/gia/giaDecs.c", + "src/aig/gia/giaDeep.c", + "src/aig/gia/giaDfs.c", + "src/aig/gia/giaDup.c", + "src/aig/gia/giaEdge.c", + "src/aig/gia/giaEmbed.c", + "src/aig/gia/giaEnable.c", + "src/aig/gia/giaEquiv.c", + "src/aig/gia/giaEra2.c", + "src/aig/gia/giaEra.c", + "src/aig/gia/giaEsop.c", + "src/aig/gia/giaExist.c", + "src/aig/gia/giaFalse.c", + "src/aig/gia/giaFanout.c", + "src/aig/gia/giaForce.c", + "src/aig/gia/giaFrames.c", + "src/aig/gia/giaFront.c", + "src/aig/gia/giaFx.c", + "src/aig/gia/giaGen.c", + "src/aig/gia/giaGig.c", + "src/aig/gia/giaGlitch.c", + "src/aig/gia/giaHash.c", + "src/aig/gia/giaIf.c", + "src/aig/gia/giaIff.c", + "src/aig/gia/giaIiff.c", + "src/aig/gia/giaIso2.c", + "src/aig/gia/giaIso3.c", + "src/aig/gia/giaIso.c", + "src/aig/gia/giaJf.c", + "src/aig/gia/giaKf.c", + "src/aig/gia/giaLf.c", + "src/aig/gia/giaMan.c", + "src/aig/gia/giaMem.c", + "src/aig/gia/giaMf.c", + "src/aig/gia/giaMfs.c", + "src/aig/gia/giaMini.c", + "src/aig/gia/giaMinLut2.c", + "src/aig/gia/giaMinLut.c", + "src/aig/gia/giaMulFind.c", + "src/aig/gia/giaMuxes.c", + "src/aig/gia/giaNf.c", + "src/aig/gia/giaOf.c", + "src/aig/gia/giaPack.c", + "src/aig/gia/giaPat2.c", + "src/aig/gia/giaPat.c", + "src/aig/gia/giaPf.c", + "src/aig/gia/giaQbf.c", + "src/aig/gia/giaReshape1.c", + "src/aig/gia/giaReshape2.c", + "src/aig/gia/giaResub2.c", + "src/aig/gia/giaResub3.c", + "src/aig/gia/giaResub6.c", + "src/aig/gia/giaResub.c", + "src/aig/gia/giaRetime.c", + "src/aig/gia/giaRex.c", + "src/aig/gia/giaSat3.c", + "src/aig/gia/giaSatEdge.c", + "src/aig/gia/giaSatLE.c", + "src/aig/gia/giaSatLut.c", + "src/aig/gia/giaSatMap.c", + "src/aig/gia/giaSatoko.c", + "src/aig/gia/giaSatSyn.c", + "src/aig/gia/giaScl.c", + "src/aig/gia/giaScript.c", + "src/aig/gia/giaShow.c", + "src/aig/gia/giaShrink6.c", + "src/aig/gia/giaShrink7.c", + "src/aig/gia/giaShrink.c", + "src/aig/gia/giaSif.c", + "src/aig/gia/giaSim2.c", + "src/aig/gia/giaSimBase.c", + "src/aig/gia/giaSim.c", + "src/aig/gia/giaSort.c", + "src/aig/gia/giaSpeedup.c", + "src/aig/gia/giaSplit.c", + "src/aig/gia/giaStg.c", + "src/aig/gia/giaStoch.c", + "src/aig/gia/giaStr.c", + "src/aig/gia/giaSupMin.c", + "src/aig/gia/giaSupp.c", + "src/aig/gia/giaSupps.c", + "src/aig/gia/giaSweep.c", + "src/aig/gia/giaSweeper.c", + "src/aig/gia/giaSwitch.c", + "src/aig/gia/giaTim.c", + "src/aig/gia/giaTis.c", + "src/aig/gia/giaTransduction.cpp", + "src/aig/gia/giaTranStoch.c", + "src/aig/gia/giaTruth.c", + "src/aig/gia/giaTsim.c", + "src/aig/gia/giaTtopt.cpp", + "src/aig/gia/giaUnate.c", + "src/aig/gia/giaUtil.c", + "src/aig/hop/hopBalance.c", + "src/aig/hop/hopCheck.c", + "src/aig/hop/hopDfs.c", + "src/aig/hop/hopMan.c", + "src/aig/hop/hopMem.c", + "src/aig/hop/hopObj.c", + "src/aig/hop/hopOper.c", + "src/aig/hop/hopTable.c", + "src/aig/hop/hopTruth.c", + "src/aig/hop/hopUtil.c", + "src/aig/ioa/ioaReadAig.c", + "src/aig/ioa/ioaUtil.c", + "src/aig/ioa/ioaWriteAig.c", + "src/aig/ivy/ivyBalance.c", + "src/aig/ivy/ivyCanon.c", + "src/aig/ivy/ivyCheck.c", + "src/aig/ivy/ivyCut.c", + "src/aig/ivy/ivyCutTrav.c", + "src/aig/ivy/ivyDfs.c", + "src/aig/ivy/ivyDsd.c", + "src/aig/ivy/ivyFanout.c", + "src/aig/ivy/ivyFastMap.c", + "src/aig/ivy/ivyFraig.c", + "src/aig/ivy/ivyHaig.c", + "src/aig/ivy/ivyMan.c", + "src/aig/ivy/ivyMem.c", + "src/aig/ivy/ivyMulti.c", + "src/aig/ivy/ivyObj.c", + "src/aig/ivy/ivyOper.c", + "src/aig/ivy/ivyResyn.c", + "src/aig/ivy/ivyRwr.c", + "src/aig/ivy/ivySeq.c", + "src/aig/ivy/ivyShow.c", + "src/aig/ivy/ivyTable.c", + "src/aig/ivy/ivyUtil.c", + "src/aig/saig/saigCone.c", + "src/aig/saig/saigConstr2.c", + "src/aig/saig/saigConstr.c", + "src/aig/saig/saigDual.c", + "src/aig/saig/saigDup.c", + "src/aig/saig/saigInd.c", + "src/aig/saig/saigIoa.c", + "src/aig/saig/saigIso.c", + "src/aig/saig/saigIsoFast.c", + "src/aig/saig/saigIsoSlow.c", + "src/aig/saig/saigMiter.c", + "src/aig/saig/saigOutDec.c", + "src/aig/saig/saigPhase.c", + "src/aig/saig/saigRetFwd.c", + "src/aig/saig/saigRetMin.c", + "src/aig/saig/saigRetStep.c", + "src/aig/saig/saigScl.c", + "src/aig/saig/saigSimFast.c", + "src/aig/saig/saigSimMv.c", + "src/aig/saig/saigSimSeq.c", + "src/aig/saig/saigStrSim.c", + "src/aig/saig/saigSwitch.c", + "src/aig/saig/saigSynch.c", + "src/aig/saig/saigTempor.c", + "src/aig/saig/saigTrans.c", + "src/aig/saig/saigWnd.c", + "src/base/abc/abcAig.c", + "src/base/abc/abcBarBuf.c", + "src/base/abc/abcBlifMv.c", + "src/base/abc/abcCheck.c", + "src/base/abc/abcDfs.c", + "src/base/abc/abcFanio.c", + "src/base/abc/abcFanOrder.c", + "src/base/abc/abcFunc.c", + "src/base/abc/abcHie.c", + "src/base/abc/abcHieCec.c", + "src/base/abc/abcHieGia.c", + "src/base/abc/abcHieNew.c", + "src/base/abc/abcLatch.c", + "src/base/abc/abcLib.c", + "src/base/abc/abcMinBase.c", + "src/base/abc/abcNames.c", + "src/base/abc/abcNetlist.c", + "src/base/abc/abcNtk.c", + "src/base/abc/abcObj.c", + "src/base/abc/abcRefs.c", + "src/base/abc/abcShow.c", + "src/base/abc/abcSop.c", + "src/base/abc/abcUtil.c", + "src/base/abci/abcAttach.c", + "src/base/abci/abcAuto.c", + "src/base/abci/abcBalance.c", + "src/base/abci/abcBidec.c", + "src/base/abci/abcBm.c", + "src/base/abci/abcBmc.c", + "src/base/abci/abc.c", + "src/base/abci/abcCas.c", + "src/base/abci/abcCascade.c", + "src/base/abci/abcCollapse.c", + "src/base/abci/abcCut.c", + "src/base/abci/abcDar.c", + "src/base/abci/abcDebug.c", + "src/base/abci/abcDec.c", + "src/base/abci/abcDetect.c", + "src/base/abci/abcDress2.c", + "src/base/abci/abcDress3.c", + "src/base/abci/abcDress.c", + "src/base/abci/abcDsd.c", + "src/base/abci/abcEco.c", + "src/base/abci/abcExact.c", + "src/base/abci/abcExtract.c", + "src/base/abci/abcFraig.c", + "src/base/abci/abcFx.c", + "src/base/abci/abcFxu.c", + "src/base/abci/abcGen.c", + "src/base/abci/abcHaig.c", + "src/base/abci/abcIf.c", + "src/base/abci/abcIfif.c", + "src/base/abci/abcIfMux.c", + "src/base/abci/abcIvy.c", + "src/base/abci/abcLog.c", + "src/base/abci/abcLut.c", + "src/base/abci/abcLutmin.c", + "src/base/abci/abcMap.c", + "src/base/abci/abcMerge.c", + "src/base/abci/abcMfs.c", + "src/base/abci/abcMini.c", + "src/base/abci/abcMiter.c", + "src/base/abci/abcMulti.c", + "src/base/abci/abcNpn.c", + "src/base/abci/abcNpnSave.c", + "src/base/abci/abcNtbdd.c", + "src/base/abci/abcOdc.c", + "src/base/abci/abcOrchestration.c", + "src/base/abci/abcOrder.c", + "src/base/abci/abcPart.c", + "src/base/abci/abcPrint.c", + "src/base/abci/abcProve.c", + "src/base/abci/abcQbf.c", + "src/base/abci/abcQuant.c", + "src/base/abci/abcReach.c", + "src/base/abci/abcRec3.c", + "src/base/abci/abcReconv.c", + "src/base/abci/abcRefactor.c", + "src/base/abci/abcRenode.c", + "src/base/abci/abcReorder.c", + "src/base/abci/abcRestruct.c", + "src/base/abci/abcResub.c", + "src/base/abci/abcRewrite.c", + "src/base/abci/abcRpo.c", + "src/base/abci/abcRr.c", + "src/base/abci/abcRunGen.c", + "src/base/abci/abcSat.c", + "src/base/abci/abcSaucy.c", + "src/base/abci/abcScorr.c", + "src/base/abci/abcSense.c", + "src/base/abci/abcSpeedup.c", + "src/base/abci/abcStrash.c", + "src/base/abci/abcSweep.c", + "src/base/abci/abcSymm.c", + "src/base/abci/abcTim.c", + "src/base/abci/abcTiming.c", + "src/base/abci/abcUnate.c", + "src/base/abci/abcUnreach.c", + "src/base/abci/abcVerify.c", + "src/base/abci/abcXsim.c", + "src/base/acb/acbAbc.c", + "src/base/acb/acbAig.c", + "src/base/acb/acbCom.c", + "src/base/acb/acbFunc.c", + "src/base/acb/acbMfs.c", + "src/base/acb/acbPush.c", + "src/base/acb/acbSets.c", + "src/base/acb/acbTest.c", + "src/base/acb/acbUtil.c", + "src/base/bac/bacBac.c", + "src/base/bac/bacBlast.c", + "src/base/bac/bacCom.c", + "src/base/bac/bacLib.c", + "src/base/bac/bacNtk.c", + "src/base/bac/bacPrsBuild.c", + "src/base/bac/bacPrsTrans.c", + "src/base/bac/bacPtrAbc.c", + "src/base/bac/bacPtr.c", + "src/base/bac/bacReadBlif.c", + "src/base/bac/bacReadSmt.c", + "src/base/bac/bacReadVer.c", + "src/base/bac/bacWriteBlif.c", + "src/base/bac/bacWriteSmt.c", + "src/base/bac/bacWriteVer.c", + "src/base/cba/cbaBlast.c", + "src/base/cba/cbaCba.c", + "src/base/cba/cbaCom.c", + "src/base/cba/cbaNtk.c", + "src/base/cba/cbaReadBlif.c", + "src/base/cba/cbaReadVer.c", + "src/base/cba/cbaWriteBlif.c", + "src/base/cba/cbaWriteVer.c", + "src/base/cmd/cmdAlias.c", + "src/base/cmd/cmdApi.c", + "src/base/cmd/cmdAuto.c", + "src/base/cmd/cmd.c", + "src/base/cmd/cmdFlag.c", + "src/base/cmd/cmdHist.c", + "src/base/cmd/cmdLoad.c", + "src/base/cmd/cmdPlugin.c", + "src/base/cmd/cmdStarter.c", + "src/base/cmd/cmdUtils.c", + "src/base/exor/exorBits.c", + "src/base/exor/exor.c", + "src/base/exor/exorCubes.c", + "src/base/exor/exorLink.c", + "src/base/exor/exorList.c", + "src/base/exor/exorUtil.c", + "src/base/io/io.c", + "src/base/io/ioJson.c", + "src/base/io/ioReadAiger.c", + "src/base/io/ioReadBaf.c", + "src/base/io/ioReadBblif.c", + "src/base/io/ioReadBench.c", + "src/base/io/ioReadBlifAig.c", + "src/base/io/ioReadBlif.c", + "src/base/io/ioReadBlifMv.c", + "src/base/io/ioReadDsd.c", + "src/base/io/ioReadEdif.c", + "src/base/io/ioReadEqn.c", + "src/base/io/ioReadPla.c", + "src/base/io/ioReadPlaMo.c", + "src/base/io/ioReadVerilog.c", + "src/base/io/ioUtil.c", + "src/base/io/ioWriteAiger.c", + "src/base/io/ioWriteBaf.c", + "src/base/io/ioWriteBblif.c", + "src/base/io/ioWriteBench.c", + "src/base/io/ioWriteBlif.c", + "src/base/io/ioWriteBlifMv.c", + "src/base/io/ioWriteBook.c", + "src/base/io/ioWriteCnf.c", + "src/base/io/ioWriteDot.c", + "src/base/io/ioWriteEdgelist.c", + "src/base/io/ioWriteEqn.c", + "src/base/io/ioWriteGml.c", + "src/base/io/ioWriteList.c", + "src/base/io/ioWritePla.c", + "src/base/io/ioWriteSmv.c", + "src/base/io/ioWriteVerilog.c", + "src/base/main/libSupport.c", + "src/base/main/mainFrame.c", + "src/base/main/mainInit.c", + "src/base/main/mainLib.c", + "src/base/main/mainReal.c", + "src/base/main/mainUtils.c", + "src/base/pla/plaCom.c", + "src/base/pla/plaHash.c", + "src/base/pla/plaMan.c", + "src/base/pla/plaMerge.c", + "src/base/pla/plaRead.c", + "src/base/pla/plaSimple.c", + "src/base/pla/plaWrite.c", + "src/base/test/test.c", + "src/base/ver/verCore.c", + "src/base/ver/verFormula.c", + "src/base/ver/verParse.c", + "src/base/ver/verStream.c", + "src/base/wlc/wlcAbc.c", + "src/base/wlc/wlcAbs2.c", + "src/base/wlc/wlcAbs.c", + "src/base/wlc/wlcBlast.c", + "src/base/wlc/wlcCom.c", + "src/base/wlc/wlcGraft.c", + "src/base/wlc/wlcJson.c", + "src/base/wlc/wlcMem.c", + "src/base/wlc/wlcNdr.c", + "src/base/wlc/wlcNtk.c", + "src/base/wlc/wlcPth.c", + "src/base/wlc/wlcReadSmt.c", + "src/base/wlc/wlcReadVer.c", + "src/base/wlc/wlcShow.c", + "src/base/wlc/wlcSim.c", + "src/base/wlc/wlcStdin.c", + "src/base/wlc/wlcUif.c", + "src/base/wlc/wlcWin.c", + "src/base/wlc/wlcWriteVer.c", + "src/base/wln/wlnBlast.c", + "src/base/wln/wln.c", + "src/base/wln/wlnCom.c", + "src/base/wln/wlnGuide.c", + "src/base/wln/wlnMem.c", + "src/base/wln/wlnNdr.c", + "src/base/wln/wlnNtk.c", + "src/base/wln/wlnObj.c", + "src/base/wln/wlnRead.c", + "src/base/wln/wlnRetime.c", + "src/base/wln/wlnRtl.c", + "src/base/wln/wlnWlc.c", + "src/base/wln/wlnWriteVer.c", + "src/bdd/bbr/bbrCex.c", + "src/bdd/bbr/bbrImage.c", + "src/bdd/bbr/bbrNtbdd.c", + "src/bdd/bbr/bbrReach.c", + "src/bdd/cas/casCore.c", + "src/bdd/cas/casDec.c", + "src/bdd/cudd/cuddAddAbs.c", + "src/bdd/cudd/cuddAddApply.c", + "src/bdd/cudd/cuddAddFind.c", + "src/bdd/cudd/cuddAddInv.c", + "src/bdd/cudd/cuddAddIte.c", + "src/bdd/cudd/cuddAddNeg.c", + "src/bdd/cudd/cuddAddWalsh.c", + "src/bdd/cudd/cuddAndAbs.c", + "src/bdd/cudd/cuddAnneal.c", + "src/bdd/cudd/cuddApa.c", + "src/bdd/cudd/cuddAPI.c", + "src/bdd/cudd/cuddApprox.c", + "src/bdd/cudd/cuddBddAbs.c", + "src/bdd/cudd/cuddBddCorr.c", + "src/bdd/cudd/cuddBddIte.c", + "src/bdd/cudd/cuddBridge.c", + "src/bdd/cudd/cuddCache.c", + "src/bdd/cudd/cuddCheck.c", + "src/bdd/cudd/cuddClip.c", + "src/bdd/cudd/cuddCof.c", + "src/bdd/cudd/cuddCompose.c", + "src/bdd/cudd/cuddDecomp.c", + "src/bdd/cudd/cuddEssent.c", + "src/bdd/cudd/cuddExact.c", + "src/bdd/cudd/cuddExport.c", + "src/bdd/cudd/cuddGenCof.c", + "src/bdd/cudd/cuddGenetic.c", + "src/bdd/cudd/cuddGroup.c", + "src/bdd/cudd/cuddHarwell.c", + "src/bdd/cudd/cuddInit.c", + "src/bdd/cudd/cuddInteract.c", + "src/bdd/cudd/cuddLCache.c", + "src/bdd/cudd/cuddLevelQ.c", + "src/bdd/cudd/cuddLinear.c", + "src/bdd/cudd/cuddLiteral.c", + "src/bdd/cudd/cuddMatMult.c", + "src/bdd/cudd/cuddPriority.c", + "src/bdd/cudd/cuddRead.c", + "src/bdd/cudd/cuddRef.c", + "src/bdd/cudd/cuddReorder.c", + "src/bdd/cudd/cuddSat.c", + "src/bdd/cudd/cuddSign.c", + "src/bdd/cudd/cuddSolve.c", + "src/bdd/cudd/cuddSplit.c", + "src/bdd/cudd/cuddSubsetHB.c", + "src/bdd/cudd/cuddSubsetSP.c", + "src/bdd/cudd/cuddSymmetry.c", + "src/bdd/cudd/cuddTable.c", + "src/bdd/cudd/cuddUtil.c", + "src/bdd/cudd/cuddWindow.c", + "src/bdd/cudd/cuddZddCount.c", + "src/bdd/cudd/cuddZddFuncs.c", + "src/bdd/cudd/cuddZddGroup.c", + "src/bdd/cudd/cuddZddIsop.c", + "src/bdd/cudd/cuddZddLin.c", + "src/bdd/cudd/cuddZddMisc.c", + "src/bdd/cudd/cuddZddPort.c", + "src/bdd/cudd/cuddZddReord.c", + "src/bdd/cudd/cuddZddSetop.c", + "src/bdd/cudd/cuddZddSymm.c", + "src/bdd/cudd/cuddZddUtil.c", + "src/bdd/dsd/dsdApi.c", + "src/bdd/dsd/dsdCheck.c", + "src/bdd/dsd/dsdLocal.c", + "src/bdd/dsd/dsdMan.c", + "src/bdd/dsd/dsdProc.c", + "src/bdd/dsd/dsdTree.c", + "src/bdd/epd/epd.c", + "src/bdd/extrab/extraBddAuto.c", + "src/bdd/extrab/extraBddCas.c", + "src/bdd/extrab/extraBddImage.c", + "src/bdd/extrab/extraBddKmap.c", + "src/bdd/extrab/extraBddMaxMin.c", + "src/bdd/extrab/extraBddMisc.c", + "src/bdd/extrab/extraBddSet.c", + "src/bdd/extrab/extraBddSymm.c", + "src/bdd/extrab/extraBddThresh.c", + "src/bdd/extrab/extraBddTime.c", + "src/bdd/extrab/extraBddUnate.c", + "src/bdd/llb/llb1Cluster.c", + "src/bdd/llb/llb1Constr.c", + "src/bdd/llb/llb1Core.c", + "src/bdd/llb/llb1Group.c", + "src/bdd/llb/llb1Hint.c", + "src/bdd/llb/llb1Man.c", + "src/bdd/llb/llb1Matrix.c", + "src/bdd/llb/llb1Pivot.c", + "src/bdd/llb/llb1Reach.c", + "src/bdd/llb/llb1Sched.c", + "src/bdd/llb/llb2Bad.c", + "src/bdd/llb/llb2Core.c", + "src/bdd/llb/llb2Driver.c", + "src/bdd/llb/llb2Dump.c", + "src/bdd/llb/llb2Flow.c", + "src/bdd/llb/llb2Image.c", + "src/bdd/llb/llb3Image.c", + "src/bdd/llb/llb3Nonlin.c", + "src/bdd/llb/llb4Cex.c", + "src/bdd/llb/llb4Image.c", + "src/bdd/llb/llb4Nonlin.c", + "src/bdd/llb/llb4Sweep.c", + "src/bdd/mtr/mtrBasic.c", + "src/bdd/mtr/mtrGroup.c", + "src/bdd/reo/reoApi.c", + "src/bdd/reo/reoCore.c", + "src/bdd/reo/reoProfile.c", + "src/bdd/reo/reoShuffle.c", + "src/bdd/reo/reoSift.c", + "src/bdd/reo/reoSwap.c", + "src/bdd/reo/reoTransfer.c", + "src/bdd/reo/reoUnits.c", + "src/bool/bdc/bdcCore.c", + "src/bool/bdc/bdcDec.c", + "src/bool/bdc/bdcSpfd.c", + "src/bool/bdc/bdcTable.c", + "src/bool/dec/decAbc.c", + "src/bool/dec/decFactor.c", + "src/bool/dec/decMan.c", + "src/bool/dec/decPrint.c", + "src/bool/dec/decUtil.c", + "src/bool/kit/cloud.c", + "src/bool/kit/kitAig.c", + "src/bool/kit/kitBdd.c", + "src/bool/kit/kitCloud.c", + "src/bool/kit/kitDsd.c", + "src/bool/kit/kitFactor.c", + "src/bool/kit/kitGraph.c", + "src/bool/kit/kitHop.c", + "src/bool/kit/kitIsop.c", + "src/bool/kit/kitPla.c", + "src/bool/kit/kitSop.c", + "src/bool/kit/kitTruth.c", + "src/bool/lucky/lucky.c", + "src/bool/lucky/luckyFast16.c", + "src/bool/lucky/luckyFast6.c", + "src/bool/lucky/luckyRead.c", + "src/bool/lucky/luckySimple.c", + "src/bool/lucky/luckySwap.c", + "src/bool/lucky/luckySwapIJ.c", + "src/bool/rpo/rpo.c", + "src/bool/rsb/rsbDec6.c", + "src/bool/rsb/rsbMan.c", + "src/map/amap/amapCore.c", + "src/map/amap/amapGraph.c", + "src/map/amap/amapLib.c", + "src/map/amap/amapLiberty.c", + "src/map/amap/amapMan.c", + "src/map/amap/amapMatch.c", + "src/map/amap/amapMerge.c", + "src/map/amap/amapOutput.c", + "src/map/amap/amapParse.c", + "src/map/amap/amapPerm.c", + "src/map/amap/amapRead.c", + "src/map/amap/amapRule.c", + "src/map/amap/amapUniq.c", + "src/map/cov/covBuild.c", + "src/map/cov/covCore.c", + "src/map/cov/covMan.c", + "src/map/cov/covMinEsop.c", + "src/map/cov/covMinMan.c", + "src/map/cov/covMinSop.c", + "src/map/cov/covMinUtil.c", + "src/map/if/acd/ac_wrapper.cpp", + "src/map/if/ifCache.c", + "src/map/if/ifCom.c", + "src/map/if/ifCore.c", + "src/map/if/ifCut.c", + "src/map/if/ifData2.c", + "src/map/if/ifDec07.c", + "src/map/if/ifDec08.c", + "src/map/if/ifDec10.c", + "src/map/if/ifDec16.c", + "src/map/if/ifDec66.c", + "src/map/if/ifDec75.c", + "src/map/if/ifDelay.c", + "src/map/if/ifDsd.c", + "src/map/if/ifLibBox.c", + "src/map/if/ifLibLut.c", + "src/map/if/ifMan.c", + "src/map/if/ifMap.c", + "src/map/if/ifMatch2.c", + "src/map/if/ifReduce.c", + "src/map/if/ifSat.c", + "src/map/if/ifSelect.c", + "src/map/if/ifSeq.c", + "src/map/if/ifTest.c", + "src/map/if/ifTime.c", + "src/map/if/ifTruth.c", + "src/map/if/ifTune.c", + "src/map/if/ifUtil.c", + "src/map/mapper/mapper.c", + "src/map/mapper/mapperCanon.c", + "src/map/mapper/mapperCore.c", + "src/map/mapper/mapperCreate.c", + "src/map/mapper/mapperCut.c", + "src/map/mapper/mapperCutUtils.c", + "src/map/mapper/mapperLib.c", + "src/map/mapper/mapperMatch.c", + "src/map/mapper/mapperRefs.c", + "src/map/mapper/mapperSuper.c", + "src/map/mapper/mapperSwitch.c", + "src/map/mapper/mapperTable.c", + "src/map/mapper/mapperTime.c", + "src/map/mapper/mapperTree.c", + "src/map/mapper/mapperTruth.c", + "src/map/mapper/mapperUtils.c", + "src/map/mapper/mapperVec.c", + "src/map/mio/mioApi.c", + "src/map/mio/mio.c", + "src/map/mio/mioFunc.c", + "src/map/mio/mioParse.c", + "src/map/mio/mioRead.c", + "src/map/mio/mioSop.c", + "src/map/mio/mioUtils.c", + "src/map/mpm/mpmAbc.c", + "src/map/mpm/mpmCore.c", + "src/map/mpm/mpmDsd.c", + "src/map/mpm/mpmGates.c", + "src/map/mpm/mpmLib.c", + "src/map/mpm/mpmMan.c", + "src/map/mpm/mpmMap.c", + "src/map/mpm/mpmMig.c", + "src/map/mpm/mpmPre.c", + "src/map/mpm/mpmTruth.c", + "src/map/mpm/mpmUtil.c", + "src/map/scl/sclBuffer.c", + "src/map/scl/sclBufSize.c", + "src/map/scl/scl.c", + "src/map/scl/sclDnsize.c", + "src/map/scl/sclLiberty.c", + "src/map/scl/sclLibScl.c", + "src/map/scl/sclLibUtil.c", + "src/map/scl/sclLoad.c", + "src/map/scl/sclSize.c", + "src/map/scl/sclUpsize.c", + "src/map/scl/sclUtil.c", + "src/map/super/superAnd.c", + "src/map/super/super.c", + "src/map/super/superGate.c", + "src/misc/bar/bar.c", + "src/misc/bbl/bblif.c", + "src/misc/bzlib/blocksort.c", + "src/misc/bzlib/bzlib.c", + "src/misc/bzlib/compress.c", + "src/misc/bzlib/crctable.c", + "src/misc/bzlib/decompress.c", + "src/misc/bzlib/huffman.c", + "src/misc/bzlib/randtable.c", + "src/misc/extra/extraUtilBitMatrix.c", + "src/misc/extra/extraUtilCanon.c", + "src/misc/extra/extraUtilCfs.c", + "src/misc/extra/extraUtilCube.c", + "src/misc/extra/extraUtilDsd.c", + "src/misc/extra/extraUtilEnum.c", + "src/misc/extra/extraUtilFile.c", + "src/misc/extra/extraUtilGen.c", + "src/misc/extra/extraUtilMacc.c", + "src/misc/extra/extraUtilMaj.c", + "src/misc/extra/extraUtilMemory.c", + "src/misc/extra/extraUtilMisc.c", + "src/misc/extra/extraUtilMult.c", + "src/misc/extra/extraUtilPath.c", + "src/misc/extra/extraUtilPerm.c", + "src/misc/extra/extraUtilProgress.c", + "src/misc/extra/extraUtilReader.c", + "src/misc/extra/extraUtilSupp.c", + "src/misc/extra/extraUtilTruth.c", + "src/misc/extra/extraUtilUtil.c", + "src/misc/mem/mem.c", + "src/misc/mvc/mvcApi.c", + "src/misc/mvc/mvcCompare.c", + "src/misc/mvc/mvcContain.c", + "src/misc/mvc/mvcCover.c", + "src/misc/mvc/mvcCube.c", + "src/misc/mvc/mvcDivide.c", + "src/misc/mvc/mvcDivisor.c", + "src/misc/mvc/mvcList.c", + "src/misc/mvc/mvcLits.c", + "src/misc/mvc/mvcMan.c", + "src/misc/mvc/mvcOpAlg.c", + "src/misc/mvc/mvcOpBool.c", + "src/misc/mvc/mvcPrint.c", + "src/misc/mvc/mvcSort.c", + "src/misc/mvc/mvcUtils.c", + "src/misc/nm/nmApi.c", + "src/misc/nm/nmTable.c", + "src/misc/parse/parseEqn.c", + "src/misc/parse/parseStack.c", + "src/misc/st/st.c", + "src/misc/st/stmm.c", + "src/misc/tim/timBox.c", + "src/misc/tim/timDump.c", + "src/misc/tim/timMan.c", + "src/misc/tim/timTime.c", + "src/misc/tim/timTrav.c", + "src/misc/util/utilBridge.c", + "src/misc/util/utilCex.c", + "src/misc/util/utilColor.c", + "src/misc/util/utilFile.c", + "src/misc/util/utilIsop.c", + "src/misc/util/utilNam.c", + "src/misc/util/utilPth.c", + "src/misc/util/utilSignal.c", + "src/misc/util/utilSort.c", + "src/misc/zlib/adler32.c", + "src/misc/zlib/compress_.c", + "src/misc/zlib/crc32.c", + "src/misc/zlib/deflate.c", + "src/misc/zlib/gzclose.c", + "src/misc/zlib/gzlib.c", + "src/misc/zlib/gzread.c", + "src/misc/zlib/gzwrite.c", + "src/misc/zlib/infback.c", + "src/misc/zlib/inffast.c", + "src/misc/zlib/inflate.c", + "src/misc/zlib/inftrees.c", + "src/misc/zlib/trees.c", + "src/misc/zlib/uncompr.c", + "src/misc/zlib/zutil.c", + "src/opt/cgt/cgtAig.c", + "src/opt/cgt/cgtCore.c", + "src/opt/cgt/cgtDecide.c", + "src/opt/cgt/cgtMan.c", + "src/opt/cgt/cgtSat.c", + "src/opt/csw/cswCore.c", + "src/opt/csw/cswCut.c", + "src/opt/csw/cswMan.c", + "src/opt/csw/cswTable.c", + "src/opt/cut/cutApi.c", + "src/opt/cut/cutCut.c", + "src/opt/cut/cutMan.c", + "src/opt/cut/cutMerge.c", + "src/opt/cut/cutNode.c", + "src/opt/cut/cutOracle.c", + "src/opt/cut/cutPre22.c", + "src/opt/cut/cutSeq.c", + "src/opt/cut/cutTruth.c", + "src/opt/dar/darBalance.c", + "src/opt/dar/darCore.c", + "src/opt/dar/darCut.c", + "src/opt/dar/darData.c", + "src/opt/dar/darLib.c", + "src/opt/dar/darMan.c", + "src/opt/dar/darPrec.c", + "src/opt/dar/darRefact.c", + "src/opt/dar/darScript.c", + "src/opt/dau/dauCanon.c", + "src/opt/dau/dauCore.c", + "src/opt/dau/dauCount.c", + "src/opt/dau/dauDivs.c", + "src/opt/dau/dauDsd.c", + "src/opt/dau/dauEnum.c", + "src/opt/dau/dauGia.c", + "src/opt/dau/dauMerge.c", + "src/opt/dau/dauNonDsd.c", + "src/opt/dau/dauNpn2.c", + "src/opt/dau/dauNpn.c", + "src/opt/dau/dauTree.c", + "src/opt/dsc/dsc.c", + "src/opt/fret/fretFlow.c", + "src/opt/fret/fretInit.c", + "src/opt/fret/fretMain.c", + "src/opt/fret/fretTime.c", + "src/opt/fxch/Fxch.c", + "src/opt/fxch/FxchDiv.c", + "src/opt/fxch/FxchMan.c", + "src/opt/fxch/FxchSCHashTable.c", + "src/opt/fxu/fxu.c", + "src/opt/fxu/fxuCreate.c", + "src/opt/fxu/fxuHeapD.c", + "src/opt/fxu/fxuHeapS.c", + "src/opt/fxu/fxuList.c", + "src/opt/fxu/fxuMatrix.c", + "src/opt/fxu/fxuPair.c", + "src/opt/fxu/fxuPrint.c", + "src/opt/fxu/fxuReduce.c", + "src/opt/fxu/fxuSelect.c", + "src/opt/fxu/fxuSingle.c", + "src/opt/fxu/fxuUpdate.c", + "src/opt/lpk/lpkAbcDec.c", + "src/opt/lpk/lpkAbcDsd.c", + "src/opt/lpk/lpkAbcMux.c", + "src/opt/lpk/lpkAbcUtil.c", + "src/opt/lpk/lpkCore.c", + "src/opt/lpk/lpkCut.c", + "src/opt/lpk/lpkMan.c", + "src/opt/lpk/lpkMap.c", + "src/opt/lpk/lpkMulti.c", + "src/opt/lpk/lpkMux.c", + "src/opt/lpk/lpkSets.c", + "src/opt/mfs/mfsCore.c", + "src/opt/mfs/mfsDiv.c", + "src/opt/mfs/mfsInter.c", + "src/opt/mfs/mfsMan.c", + "src/opt/mfs/mfsResub.c", + "src/opt/mfs/mfsSat.c", + "src/opt/mfs/mfsStrash.c", + "src/opt/mfs/mfsWin.c", + "src/opt/nwk/nwkAig.c", + "src/opt/nwk/nwkBidec.c", + "src/opt/nwk/nwkCheck.c", + "src/opt/nwk/nwkDfs.c", + "src/opt/nwk/nwkFanio.c", + "src/opt/nwk/nwkFlow.c", + "src/opt/nwk/nwkMan.c", + "src/opt/nwk/nwkMap.c", + "src/opt/nwk/nwkMerge.c", + "src/opt/nwk/nwkObj.c", + "src/opt/nwk/nwkSpeedup.c", + "src/opt/nwk/nwkStrash.c", + "src/opt/nwk/nwkTiming.c", + "src/opt/nwk/nwkUtil.c", + "src/opt/res/resCore.c", + "src/opt/res/resDivs.c", + "src/opt/res/resFilter.c", + "src/opt/res/resSat.c", + "src/opt/res/resSim.c", + "src/opt/res/resStrash.c", + "src/opt/res/resWin.c", + "src/opt/ret/retArea.c", + "src/opt/ret/retCore.c", + "src/opt/ret/retDelay.c", + "src/opt/ret/retFlow.c", + "src/opt/ret/retIncrem.c", + "src/opt/ret/retInit.c", + "src/opt/ret/retLvalue.c", + "src/opt/rwr/rwrDec.c", + "src/opt/rwr/rwrEva.c", + "src/opt/rwr/rwrExp.c", + "src/opt/rwr/rwrLib.c", + "src/opt/rwr/rwrMan.c", + "src/opt/rwr/rwrPrint.c", + "src/opt/rwr/rwrUtil.c", + "src/opt/rwt/rwtDec.c", + "src/opt/rwt/rwtMan.c", + "src/opt/rwt/rwtUtil.c", + "src/opt/sbd/sbd.c", + "src/opt/sbd/sbdCnf.c", + "src/opt/sbd/sbdCore.c", + "src/opt/sbd/sbdCut2.c", + "src/opt/sbd/sbdCut.c", + "src/opt/sbd/sbdLut.c", + "src/opt/sbd/sbdPath.c", + "src/opt/sbd/sbdSat.c", + "src/opt/sbd/sbdWin.c", + "src/opt/sfm/sfmArea.c", + "src/opt/sfm/sfmCnf.c", + "src/opt/sfm/sfmCore.c", + "src/opt/sfm/sfmDec.c", + "src/opt/sfm/sfmLib.c", + "src/opt/sfm/sfmMit.c", + "src/opt/sfm/sfmNtk.c", + "src/opt/sfm/sfmSat.c", + "src/opt/sfm/sfmTim.c", + "src/opt/sfm/sfmWin.c", + "src/opt/sim/simMan.c", + "src/opt/sim/simSeq.c", + "src/opt/sim/simSupp.c", + "src/opt/sim/simSwitch.c", + "src/opt/sim/simSym.c", + "src/opt/sim/simSymSat.c", + "src/opt/sim/simSymSim.c", + "src/opt/sim/simSymStr.c", + "src/opt/sim/simUtils.c", + "src/proof/abs/absDup.c", + "src/proof/abs/absGla.c", + "src/proof/abs/absGlaOld.c", + "src/proof/abs/absIter.c", + "src/proof/abs/absOldCex.c", + "src/proof/abs/absOldRef.c", + "src/proof/abs/absOldSat.c", + "src/proof/abs/absOldSim.c", + "src/proof/abs/absOut.c", + "src/proof/abs/absPth.c", + "src/proof/abs/absRef.c", + "src/proof/abs/absRefSelect.c", + "src/proof/abs/absRpm.c", + "src/proof/abs/absRpmOld.c", + "src/proof/abs/absUtil.c", + "src/proof/abs/absVta.c", + "src/proof/acec/acec2Mult.c", + "src/proof/acec/acecBo.c", + "src/proof/acec/acecCl.c", + "src/proof/acec/acecCo.c", + "src/proof/acec/acecCore.c", + "src/proof/acec/acecCover.c", + "src/proof/acec/acecFadds.c", + "src/proof/acec/acecMult.c", + "src/proof/acec/acecNorm.c", + "src/proof/acec/acecOrder.c", + "src/proof/acec/acecPa.c", + "src/proof/acec/acecPo.c", + "src/proof/acec/acecPolyn.c", + "src/proof/acec/acecPool.c", + "src/proof/acec/acecRe.c", + "src/proof/acec/acecSt.c", + "src/proof/acec/acecTree.c", + "src/proof/acec/acecUtil.c", + "src/proof/acec/acecXor.c", + "src/proof/cec/cecCec.c", + "src/proof/cec/cecChoice.c", + "src/proof/cec/cecClass.c", + "src/proof/cec/cecCore.c", + "src/proof/cec/cecCorr.c", + "src/proof/cec/cecIso.c", + "src/proof/cec/cecMan.c", + "src/proof/cec/cecPat.c", + "src/proof/cec/cecProve.c", + "src/proof/cec/cecSat.c", + "src/proof/cec/cecSatG2.c", + "src/proof/cec/cecSatG3.c", + "src/proof/cec/cecSatG.c", + "src/proof/cec/cecSeq.c", + "src/proof/cec/cecSim.c", + "src/proof/cec/cecSolve.c", + "src/proof/cec/cecSolveG.c", + "src/proof/cec/cecSplit.c", + "src/proof/cec/cecSweep.c", + "src/proof/cec/cecSynth.c", + "src/proof/dch/dchAig.c", + "src/proof/dch/dchChoice.c", + "src/proof/dch/dchClass.c", + "src/proof/dch/dchCnf.c", + "src/proof/dch/dchCore.c", + "src/proof/dch/dchMan.c", + "src/proof/dch/dchSat.c", + "src/proof/dch/dchSim.c", + "src/proof/dch/dchSimSat.c", + "src/proof/dch/dchSweep.c", + "src/proof/fra/fraBmc.c", + "src/proof/fra/fraCec.c", + "src/proof/fra/fraClass.c", + "src/proof/fra/fraClau.c", + "src/proof/fra/fraClaus.c", + "src/proof/fra/fraCnf.c", + "src/proof/fra/fraCore.c", + "src/proof/fra/fraHot.c", + "src/proof/fra/fraImp.c", + "src/proof/fra/fraInd.c", + "src/proof/fra/fraIndVer.c", + "src/proof/fra/fraLcr.c", + "src/proof/fra/fraMan.c", + "src/proof/fra/fraPart.c", + "src/proof/fra/fraSat.c", + "src/proof/fra/fraSec.c", + "src/proof/fra/fraSim.c", + "src/proof/fraig/fraigApi.c", + "src/proof/fraig/fraigCanon.c", + "src/proof/fraig/fraigFanout.c", + "src/proof/fraig/fraigFeed.c", + "src/proof/fraig/fraigMan.c", + "src/proof/fraig/fraigMem.c", + "src/proof/fraig/fraigNode.c", + "src/proof/fraig/fraigPrime.c", + "src/proof/fraig/fraigSat.c", + "src/proof/fraig/fraigTable.c", + "src/proof/fraig/fraigUtil.c", + "src/proof/fraig/fraigVec.c", + "src/proof/int/intCheck.c", + "src/proof/int/intContain.c", + "src/proof/int/intCore.c", + "src/proof/int/intCtrex.c", + "src/proof/int/intDup.c", + "src/proof/int/intFrames.c", + "src/proof/int/intInter.c", + "src/proof/int/intM114.c", + "src/proof/int/intMan.c", + "src/proof/int/intUtil.c", + "src/proof/live/arenaViolation.c", + "src/proof/live/combination.c", + "src/proof/live/disjunctiveMonotone.c", + "src/proof/live/kLiveConstraints.c", + "src/proof/live/kliveness.c", + "src/proof/live/liveness.c", + "src/proof/live/liveness_sim.c", + "src/proof/live/ltl_parser.c", + "src/proof/live/monotone.c", + "src/proof/pdr/pdrCnf.c", + "src/proof/pdr/pdrCore.c", + "src/proof/pdr/pdrIncr.c", + "src/proof/pdr/pdrInv.c", + "src/proof/pdr/pdrMan.c", + "src/proof/pdr/pdrSat.c", + "src/proof/pdr/pdrTsim2.c", + "src/proof/pdr/pdrTsim3.c", + "src/proof/pdr/pdrTsim.c", + "src/proof/pdr/pdrUtil.c", + "src/proof/ssc/sscClass.c", + "src/proof/ssc/sscCore.c", + "src/proof/ssc/sscSat.c", + "src/proof/ssc/sscSim.c", + "src/proof/ssc/sscUtil.c", + "src/proof/ssw/sswAig.c", + "src/proof/ssw/sswBmc.c", + "src/proof/ssw/sswClass.c", + "src/proof/ssw/sswCnf.c", + "src/proof/ssw/sswConstr.c", + "src/proof/ssw/sswCore.c", + "src/proof/ssw/sswDyn.c", + "src/proof/ssw/sswFilter.c", + "src/proof/ssw/sswIslands.c", + "src/proof/ssw/sswLcorr.c", + "src/proof/ssw/sswMan.c", + "src/proof/ssw/sswPairs.c", + "src/proof/ssw/sswPart.c", + "src/proof/ssw/sswRarity.c", + "src/proof/ssw/sswSat.c", + "src/proof/ssw/sswSemi.c", + "src/proof/ssw/sswSim.c", + "src/proof/ssw/sswSimSat.c", + "src/proof/ssw/sswSweep.c", + "src/proof/ssw/sswUnique.c", + "src/sat/bmc/bmcBCore.c", + "src/sat/bmc/bmcBmc2.c", + "src/sat/bmc/bmcBmc3.c", + "src/sat/bmc/bmcBmcAnd.c", + "src/sat/bmc/bmcBmc.c", + "src/sat/bmc/bmcBmcG.c", + "src/sat/bmc/bmcBmci.c", + "src/sat/bmc/bmcBmcS.c", + "src/sat/bmc/bmcCexCare.c", + "src/sat/bmc/bmcCexCut.c", + "src/sat/bmc/bmcCexDepth.c", + "src/sat/bmc/bmcCexMin1.c", + "src/sat/bmc/bmcCexMin2.c", + "src/sat/bmc/bmcCexTools.c", + "src/sat/bmc/bmcChain.c", + "src/sat/bmc/bmcClp.c", + "src/sat/bmc/bmcEco.c", + "src/sat/bmc/bmcExpand.c", + "src/sat/bmc/bmcFault.c", + "src/sat/bmc/bmcFx.c", + "src/sat/bmc/bmcGen.c", + "src/sat/bmc/bmcICheck.c", + "src/sat/bmc/bmcInse.c", + "src/sat/bmc/bmcLoad.c", + "src/sat/bmc/bmcMaj2.c", + "src/sat/bmc/bmcMaj3.c", + "src/sat/bmc/bmcMaj.c", + "src/sat/bmc/bmcMaxi.c", + "src/sat/bmc/bmcMesh2.c", + "src/sat/bmc/bmcMesh.c", + "src/sat/bmc/bmcMulti.c", + "src/sat/bmc/bmcUnroll.c", + "src/sat/bsat/satInterA.c", + "src/sat/bsat/satInterB.c", + "src/sat/bsat/satInter.c", + "src/sat/bsat/satInterP.c", + "src/sat/bsat/satMem.c", + "src/sat/bsat/satProof.c", + "src/sat/bsat/satSolver2.c", + "src/sat/bsat/satSolver2i.c", + "src/sat/bsat/satSolver3.c", + "src/sat/bsat/satSolver.c", + "src/sat/bsat/satStore.c", + "src/sat/bsat/satTrace.c", + "src/sat/bsat/satTruth.c", + "src/sat/bsat/satUtil.c", + "src/sat/cnf/cnfCore.c", + "src/sat/cnf/cnfCut.c", + "src/sat/cnf/cnfData.c", + "src/sat/cnf/cnfFast.c", + "src/sat/cnf/cnfMan.c", + "src/sat/cnf/cnfMap.c", + "src/sat/cnf/cnfPost.c", + "src/sat/cnf/cnfUtil.c", + "src/sat/cnf/cnfWrite.c", + "src/sat/csat/csat_apis.c", + "src/sat/glucose2/AbcGlucose2.cpp", + "src/sat/glucose2/AbcGlucoseCmd2.cpp", + "src/sat/glucose2/Glucose2.cpp", + "src/sat/glucose2/Options2.cpp", + "src/sat/glucose2/SimpSolver2.cpp", + "src/sat/glucose2/System2.cpp", + "src/sat/glucose/AbcGlucoseCmd.cpp", + "src/sat/glucose/AbcGlucose.cpp", + "src/sat/glucose/Glucose.cpp", + "src/sat/glucose/Options.cpp", + "src/sat/glucose/SimpSolver.cpp", + "src/sat/glucose/System.cpp", + "src/sat/msat/msatActivity.c", + "src/sat/msat/msatClause.c", + "src/sat/msat/msatClauseVec.c", + "src/sat/msat/msatMem.c", + "src/sat/msat/msatOrderH.c", + "src/sat/msat/msatQueue.c", + "src/sat/msat/msatRead.c", + "src/sat/msat/msatSolverApi.c", + "src/sat/msat/msatSolverCore.c", + "src/sat/msat/msatSolverIo.c", + "src/sat/msat/msatSolverSearch.c", + "src/sat/msat/msatSort.c", + "src/sat/msat/msatVec.c", + "src/sat/satoko/cnf_reader.c", + "src/sat/satoko/solver_api.c", + "src/sat/satoko/solver.c", + "src/sat/xsat/xsatCnfReader.c", + "src/sat/xsat/xsatSolverAPI.c", + "src/sat/xsat/xsatSolver.c", + ], + hdrs = glob(["src/**/*.h"]) + glob(["src/**/*.hpp"]), + copts = [ + "-Wno-sign-compare", + "-Wno-unused-function", + "-Wno-unused-variable", + "-Wno-unused-but-set-variable", + "-Wno-write-strings", + "-Wno-sometimes-uninitialized", # This is possibly concerning. + "-Wno-tautological-constant-out-of-range-compare", # cnf_reader.c + "-Wno-dangling-else", + "-Wno-self-assign", + "-Wno-empty-body", + "-Wno-string-plus-char", + "-Wno-non-virtual-dtor", + "-Wno-parentheses-equality", + "-Wno-constant-logical-operand", + "-x c++", + "-std=c++17", + ], + defines = [ + "LIN64", + "SIZEOF_VOID_P=8", + "SIZEOF_LONG=8", + "SIZEOF_INT=4", + "ABC_USE_CUDD=1", + "ABC_USE_PTHREADS", + "ABC_USE_READLINE", + "_DEFAULT_SOURCE", + "ABC_NAMESPACE=abc", + ], + includes = ["src/"], + linkopts = ["-ldl", "-lpthread"], + linkstatic = True, + textual_hdrs = glob( + [ + "src/base/abci/abciUnfold2.c", + "src/base/abci/abcDarUnfold2.c", + "src/aig/saig/saigUnfold2.c", + ], + ), + deps = [ + "@org_gnu_readline//:readline", + "@net_zlib//:zlib", + # FIXME: This needs bz2lib? + ], + visibility = ["//visibility:public"], +) diff --git a/MODULE.bazel b/MODULE.bazel new file mode 100644 index 0000000000..befdf09328 --- /dev/null +++ b/MODULE.bazel @@ -0,0 +1,17 @@ +# SPDX-License-Identifier: BSD-3-Clause +# Copyright (c) 2025, Precision Innovations Inc. + +## Fix the compiler version and avoid any local compiler +bazel_dep(name = "toolchains_llvm", version = "1.5.0") + +# Configure and register the toolchain. +llvm = use_extension("@toolchains_llvm//toolchain/extensions:llvm.bzl", "llvm") +llvm.toolchain( + llvm_version = "20.1.8", +) +use_repo(llvm, "llvm_toolchain") + +# FYI: Comment out on NixOS where you'd like to use the local clang toolchain. +register_toolchains( + "@llvm_toolchain//:all", +) diff --git a/MODULE.bazel.lock b/MODULE.bazel.lock new file mode 100644 index 0000000000..317c4e0a9c --- /dev/null +++ b/MODULE.bazel.lock @@ -0,0 +1,287 @@ +{ + "lockFileVersion": 18, + "registryFileHashes": { + "https://bcr.bazel.build/bazel_registry.json": "8a28e4aff06ee60aed2a8c281907fb8bcbf3b753c91fb5a5c57da3215d5b3497", + "https://bcr.bazel.build/modules/abseil-cpp/20210324.2/MODULE.bazel": "7cd0312e064fde87c8d1cd79ba06c876bd23630c83466e9500321be55c96ace2", + "https://bcr.bazel.build/modules/abseil-cpp/20211102.0/MODULE.bazel": "70390338f7a5106231d20620712f7cccb659cd0e9d073d1991c038eb9fc57589", + "https://bcr.bazel.build/modules/abseil-cpp/20230125.1/MODULE.bazel": "89047429cb0207707b2dface14ba7f8df85273d484c2572755be4bab7ce9c3a0", + "https://bcr.bazel.build/modules/abseil-cpp/20230802.0.bcr.1/MODULE.bazel": "1c8cec495288dccd14fdae6e3f95f772c1c91857047a098fad772034264cc8cb", + "https://bcr.bazel.build/modules/abseil-cpp/20230802.0/MODULE.bazel": "d253ae36a8bd9ee3c5955384096ccb6baf16a1b1e93e858370da0a3b94f77c16", + "https://bcr.bazel.build/modules/abseil-cpp/20230802.1/MODULE.bazel": "fa92e2eb41a04df73cdabeec37107316f7e5272650f81d6cc096418fe647b915", + "https://bcr.bazel.build/modules/abseil-cpp/20240116.1/MODULE.bazel": "37bcdb4440fbb61df6a1c296ae01b327f19e9bb521f9b8e26ec854b6f97309ed", + "https://bcr.bazel.build/modules/abseil-cpp/20240116.1/source.json": "9be551b8d4e3ef76875c0d744b5d6a504a27e3ae67bc6b28f46415fd2d2957da", + "https://bcr.bazel.build/modules/bazel_features/1.1.1/MODULE.bazel": "27b8c79ef57efe08efccbd9dd6ef70d61b4798320b8d3c134fd571f78963dbcd", + "https://bcr.bazel.build/modules/bazel_features/1.11.0/MODULE.bazel": "f9382337dd5a474c3b7d334c2f83e50b6eaedc284253334cf823044a26de03e8", + "https://bcr.bazel.build/modules/bazel_features/1.15.0/MODULE.bazel": "d38ff6e517149dc509406aca0db3ad1efdd890a85e049585b7234d04238e2a4d", + "https://bcr.bazel.build/modules/bazel_features/1.17.0/MODULE.bazel": "039de32d21b816b47bd42c778e0454217e9c9caac4a3cf8e15c7231ee3ddee4d", + "https://bcr.bazel.build/modules/bazel_features/1.18.0/MODULE.bazel": "1be0ae2557ab3a72a57aeb31b29be347bcdc5d2b1eb1e70f39e3851a7e97041a", + "https://bcr.bazel.build/modules/bazel_features/1.19.0/MODULE.bazel": "59adcdf28230d220f0067b1f435b8537dd033bfff8db21335ef9217919c7fb58", + "https://bcr.bazel.build/modules/bazel_features/1.28.0/MODULE.bazel": "4b4200e6cbf8fa335b2c3f43e1d6ef3e240319c33d43d60cc0fbd4b87ece299d", + "https://bcr.bazel.build/modules/bazel_features/1.30.0/MODULE.bazel": "a14b62d05969a293b80257e72e597c2da7f717e1e69fa8b339703ed6731bec87", + "https://bcr.bazel.build/modules/bazel_features/1.30.0/source.json": "b07e17f067fe4f69f90b03b36ef1e08fe0d1f3cac254c1241a1818773e3423bc", + "https://bcr.bazel.build/modules/bazel_features/1.4.1/MODULE.bazel": "e45b6bb2350aff3e442ae1111c555e27eac1d915e77775f6fdc4b351b758b5d7", + "https://bcr.bazel.build/modules/bazel_features/1.9.1/MODULE.bazel": "8f679097876a9b609ad1f60249c49d68bfab783dd9be012faf9d82547b14815a", + "https://bcr.bazel.build/modules/bazel_skylib/1.0.3/MODULE.bazel": "bcb0fd896384802d1ad283b4e4eb4d718eebd8cb820b0a2c3a347fb971afd9d8", + "https://bcr.bazel.build/modules/bazel_skylib/1.1.1/MODULE.bazel": "1add3e7d93ff2e6998f9e118022c84d163917d912f5afafb3058e3d2f1545b5e", + "https://bcr.bazel.build/modules/bazel_skylib/1.2.0/MODULE.bazel": "44fe84260e454ed94ad326352a698422dbe372b21a1ac9f3eab76eb531223686", + "https://bcr.bazel.build/modules/bazel_skylib/1.2.1/MODULE.bazel": "f35baf9da0efe45fa3da1696ae906eea3d615ad41e2e3def4aeb4e8bc0ef9a7a", + "https://bcr.bazel.build/modules/bazel_skylib/1.3.0/MODULE.bazel": "20228b92868bf5cfc41bda7afc8a8ba2a543201851de39d990ec957b513579c5", + "https://bcr.bazel.build/modules/bazel_skylib/1.4.1/MODULE.bazel": "a0dcb779424be33100dcae821e9e27e4f2901d9dfd5333efe5ac6a8d7ab75e1d", + "https://bcr.bazel.build/modules/bazel_skylib/1.4.2/MODULE.bazel": "3bd40978e7a1fac911d5989e6b09d8f64921865a45822d8b09e815eaa726a651", + "https://bcr.bazel.build/modules/bazel_skylib/1.5.0/MODULE.bazel": "32880f5e2945ce6a03d1fbd588e9198c0a959bb42297b2cfaf1685b7bc32e138", + "https://bcr.bazel.build/modules/bazel_skylib/1.6.1/MODULE.bazel": "8fdee2dbaace6c252131c00e1de4b165dc65af02ea278476187765e1a617b917", + "https://bcr.bazel.build/modules/bazel_skylib/1.7.0/MODULE.bazel": "0db596f4563de7938de764cc8deeabec291f55e8ec15299718b93c4423e9796d", + "https://bcr.bazel.build/modules/bazel_skylib/1.7.1/MODULE.bazel": "3120d80c5861aa616222ec015332e5f8d3171e062e3e804a2a0253e1be26e59b", + "https://bcr.bazel.build/modules/bazel_skylib/1.7.1/source.json": "f121b43eeefc7c29efbd51b83d08631e2347297c95aac9764a701f2a6a2bb953", + "https://bcr.bazel.build/modules/buildozer/7.1.2/MODULE.bazel": "2e8dd40ede9c454042645fd8d8d0cd1527966aa5c919de86661e62953cd73d84", + "https://bcr.bazel.build/modules/buildozer/7.1.2/source.json": "c9028a501d2db85793a6996205c8de120944f50a0d570438fcae0457a5f9d1f8", + "https://bcr.bazel.build/modules/google_benchmark/1.8.2/MODULE.bazel": "a70cf1bba851000ba93b58ae2f6d76490a9feb74192e57ab8e8ff13c34ec50cb", + "https://bcr.bazel.build/modules/googletest/1.11.0/MODULE.bazel": "3a83f095183f66345ca86aa13c58b59f9f94a2f81999c093d4eeaa2d262d12f4", + "https://bcr.bazel.build/modules/googletest/1.14.0.bcr.1/MODULE.bazel": "22c31a561553727960057361aa33bf20fb2e98584bc4fec007906e27053f80c6", + "https://bcr.bazel.build/modules/googletest/1.14.0.bcr.1/source.json": "41e9e129f80d8c8bf103a7acc337b76e54fad1214ac0a7084bf24f4cd924b8b4", + "https://bcr.bazel.build/modules/googletest/1.14.0/MODULE.bazel": "cfbcbf3e6eac06ef9d85900f64424708cc08687d1b527f0ef65aa7517af8118f", + "https://bcr.bazel.build/modules/jsoncpp/1.9.5/MODULE.bazel": "31271aedc59e815656f5736f282bb7509a97c7ecb43e927ac1a37966e0578075", + "https://bcr.bazel.build/modules/jsoncpp/1.9.5/source.json": "4108ee5085dd2885a341c7fab149429db457b3169b86eb081fa245eadf69169d", + "https://bcr.bazel.build/modules/libpfm/4.11.0/MODULE.bazel": "45061ff025b301940f1e30d2c16bea596c25b176c8b6b3087e92615adbd52902", + "https://bcr.bazel.build/modules/platforms/0.0.10/MODULE.bazel": "8cb8efaf200bdeb2150d93e162c40f388529a25852b332cec879373771e48ed5", + "https://bcr.bazel.build/modules/platforms/0.0.11/MODULE.bazel": "0daefc49732e227caa8bfa834d65dc52e8cc18a2faf80df25e8caea151a9413f", + "https://bcr.bazel.build/modules/platforms/0.0.11/source.json": "f7e188b79ebedebfe75e9e1d098b8845226c7992b307e28e1496f23112e8fc29", + "https://bcr.bazel.build/modules/platforms/0.0.4/MODULE.bazel": "9b328e31ee156f53f3c416a64f8491f7eb731742655a47c9eec4703a71644aee", + "https://bcr.bazel.build/modules/platforms/0.0.5/MODULE.bazel": "5733b54ea419d5eaf7997054bb55f6a1d0b5ff8aedf0176fef9eea44f3acda37", + "https://bcr.bazel.build/modules/platforms/0.0.6/MODULE.bazel": "ad6eeef431dc52aefd2d77ed20a4b353f8ebf0f4ecdd26a807d2da5aa8cd0615", + "https://bcr.bazel.build/modules/platforms/0.0.7/MODULE.bazel": "72fd4a0ede9ee5c021f6a8dd92b503e089f46c227ba2813ff183b71616034814", + "https://bcr.bazel.build/modules/platforms/0.0.8/MODULE.bazel": "9f142c03e348f6d263719f5074b21ef3adf0b139ee4c5133e2aa35664da9eb2d", + "https://bcr.bazel.build/modules/protobuf/21.7/MODULE.bazel": "a5a29bb89544f9b97edce05642fac225a808b5b7be74038ea3640fae2f8e66a7", + "https://bcr.bazel.build/modules/protobuf/27.0/MODULE.bazel": "7873b60be88844a0a1d8f80b9d5d20cfbd8495a689b8763e76c6372998d3f64c", + "https://bcr.bazel.build/modules/protobuf/27.1/MODULE.bazel": "703a7b614728bb06647f965264967a8ef1c39e09e8f167b3ca0bb1fd80449c0d", + "https://bcr.bazel.build/modules/protobuf/29.0-rc2/MODULE.bazel": "6241d35983510143049943fc0d57937937122baf1b287862f9dc8590fc4c37df", + "https://bcr.bazel.build/modules/protobuf/29.0/MODULE.bazel": "319dc8bf4c679ff87e71b1ccfb5a6e90a6dbc4693501d471f48662ac46d04e4e", + "https://bcr.bazel.build/modules/protobuf/29.0/source.json": "b857f93c796750eef95f0d61ee378f3420d00ee1dd38627b27193aa482f4f981", + "https://bcr.bazel.build/modules/protobuf/3.19.0/MODULE.bazel": "6b5fbb433f760a99a22b18b6850ed5784ef0e9928a72668b66e4d7ccd47db9b0", + "https://bcr.bazel.build/modules/pybind11_bazel/2.11.1/MODULE.bazel": "88af1c246226d87e65be78ed49ecd1e6f5e98648558c14ce99176da041dc378e", + "https://bcr.bazel.build/modules/pybind11_bazel/2.11.1/source.json": "be4789e951dd5301282729fe3d4938995dc4c1a81c2ff150afc9f1b0504c6022", + "https://bcr.bazel.build/modules/re2/2023-09-01/MODULE.bazel": "cb3d511531b16cfc78a225a9e2136007a48cf8a677e4264baeab57fe78a80206", + "https://bcr.bazel.build/modules/re2/2023-09-01/source.json": "e044ce89c2883cd957a2969a43e79f7752f9656f6b20050b62f90ede21ec6eb4", + "https://bcr.bazel.build/modules/rules_android/0.1.1/MODULE.bazel": "48809ab0091b07ad0182defb787c4c5328bd3a278938415c00a7b69b50c4d3a8", + "https://bcr.bazel.build/modules/rules_android/0.1.1/source.json": "e6986b41626ee10bdc864937ffb6d6bf275bb5b9c65120e6137d56e6331f089e", + "https://bcr.bazel.build/modules/rules_cc/0.0.1/MODULE.bazel": "cb2aa0747f84c6c3a78dad4e2049c154f08ab9d166b1273835a8174940365647", + "https://bcr.bazel.build/modules/rules_cc/0.0.10/MODULE.bazel": "ec1705118f7eaedd6e118508d3d26deba2a4e76476ada7e0e3965211be012002", + "https://bcr.bazel.build/modules/rules_cc/0.0.13/MODULE.bazel": "0e8529ed7b323dad0775ff924d2ae5af7640b23553dfcd4d34344c7e7a867191", + "https://bcr.bazel.build/modules/rules_cc/0.0.14/MODULE.bazel": "5e343a3aac88b8d7af3b1b6d2093b55c347b8eefc2e7d1442f7a02dc8fea48ac", + "https://bcr.bazel.build/modules/rules_cc/0.0.15/MODULE.bazel": "6704c35f7b4a72502ee81f61bf88706b54f06b3cbe5558ac17e2e14666cd5dcc", + "https://bcr.bazel.build/modules/rules_cc/0.0.16/MODULE.bazel": "7661303b8fc1b4d7f532e54e9d6565771fea666fbdf839e0a86affcd02defe87", + "https://bcr.bazel.build/modules/rules_cc/0.0.2/MODULE.bazel": "6915987c90970493ab97393024c156ea8fb9f3bea953b2f3ec05c34f19b5695c", + "https://bcr.bazel.build/modules/rules_cc/0.0.6/MODULE.bazel": "abf360251023dfe3efcef65ab9d56beefa8394d4176dd29529750e1c57eaa33f", + "https://bcr.bazel.build/modules/rules_cc/0.0.8/MODULE.bazel": "964c85c82cfeb6f3855e6a07054fdb159aced38e99a5eecf7bce9d53990afa3e", + "https://bcr.bazel.build/modules/rules_cc/0.0.9/MODULE.bazel": "836e76439f354b89afe6a911a7adf59a6b2518fafb174483ad78a2a2fde7b1c5", + "https://bcr.bazel.build/modules/rules_cc/0.1.1/MODULE.bazel": "2f0222a6f229f0bf44cd711dc13c858dad98c62d52bd51d8fc3a764a83125513", + "https://bcr.bazel.build/modules/rules_cc/0.2.2/MODULE.bazel": "a0656c5a8ff7f76bb1319ebf301bab9d94da5b48894cac25a14ed115f9dd0884", + "https://bcr.bazel.build/modules/rules_cc/0.2.2/source.json": "8bf0f0bd1678c611565ac7efa1dc64f1afcb20bc44c9969213c742dc5eb87dbc", + "https://bcr.bazel.build/modules/rules_foreign_cc/0.9.0/MODULE.bazel": "c9e8c682bf75b0e7c704166d79b599f93b72cfca5ad7477df596947891feeef6", + "https://bcr.bazel.build/modules/rules_fuzzing/0.5.2/MODULE.bazel": "40c97d1144356f52905566c55811f13b299453a14ac7769dfba2ac38192337a8", + "https://bcr.bazel.build/modules/rules_fuzzing/0.5.2/source.json": "c8b1e2c717646f1702290959a3302a178fb639d987ab61d548105019f11e527e", + "https://bcr.bazel.build/modules/rules_java/4.0.0/MODULE.bazel": "5a78a7ae82cd1a33cef56dc578c7d2a46ed0dca12643ee45edbb8417899e6f74", + "https://bcr.bazel.build/modules/rules_java/5.3.5/MODULE.bazel": "a4ec4f2db570171e3e5eb753276ee4b389bae16b96207e9d3230895c99644b86", + "https://bcr.bazel.build/modules/rules_java/6.0.0/MODULE.bazel": "8a43b7df601a7ec1af61d79345c17b31ea1fedc6711fd4abfd013ea612978e39", + "https://bcr.bazel.build/modules/rules_java/6.4.0/MODULE.bazel": "e986a9fe25aeaa84ac17ca093ef13a4637f6107375f64667a15999f77db6c8f6", + "https://bcr.bazel.build/modules/rules_java/6.5.2/MODULE.bazel": "1d440d262d0e08453fa0c4d8f699ba81609ed0e9a9a0f02cd10b3e7942e61e31", + "https://bcr.bazel.build/modules/rules_java/7.10.0/MODULE.bazel": "530c3beb3067e870561739f1144329a21c851ff771cd752a49e06e3dc9c2e71a", + "https://bcr.bazel.build/modules/rules_java/7.12.2/MODULE.bazel": "579c505165ee757a4280ef83cda0150eea193eed3bef50b1004ba88b99da6de6", + "https://bcr.bazel.build/modules/rules_java/7.2.0/MODULE.bazel": "06c0334c9be61e6cef2c8c84a7800cef502063269a5af25ceb100b192453d4ab", + "https://bcr.bazel.build/modules/rules_java/7.3.2/MODULE.bazel": "50dece891cfdf1741ea230d001aa9c14398062f2b7c066470accace78e412bc2", + "https://bcr.bazel.build/modules/rules_java/7.6.1/MODULE.bazel": "2f14b7e8a1aa2f67ae92bc69d1ec0fa8d9f827c4e17ff5e5f02e91caa3b2d0fe", + "https://bcr.bazel.build/modules/rules_java/8.14.0/MODULE.bazel": "717717ed40cc69994596a45aec6ea78135ea434b8402fb91b009b9151dd65615", + "https://bcr.bazel.build/modules/rules_java/8.14.0/source.json": "8a88c4ca9e8759da53cddc88123880565c520503321e2566b4e33d0287a3d4bc", + "https://bcr.bazel.build/modules/rules_jvm_external/4.4.2/MODULE.bazel": "a56b85e418c83eb1839819f0b515c431010160383306d13ec21959ac412d2fe7", + "https://bcr.bazel.build/modules/rules_jvm_external/5.1/MODULE.bazel": "33f6f999e03183f7d088c9be518a63467dfd0be94a11d0055fe2d210f89aa909", + "https://bcr.bazel.build/modules/rules_jvm_external/5.2/MODULE.bazel": "d9351ba35217ad0de03816ef3ed63f89d411349353077348a45348b096615036", + "https://bcr.bazel.build/modules/rules_jvm_external/5.3/MODULE.bazel": "bf93870767689637164657731849fb887ad086739bd5d360d90007a581d5527d", + "https://bcr.bazel.build/modules/rules_jvm_external/6.1/MODULE.bazel": "75b5fec090dbd46cf9b7d8ea08cf84a0472d92ba3585b476f44c326eda8059c4", + "https://bcr.bazel.build/modules/rules_jvm_external/6.3/MODULE.bazel": "c998e060b85f71e00de5ec552019347c8bca255062c990ac02d051bb80a38df0", + "https://bcr.bazel.build/modules/rules_jvm_external/6.3/source.json": "6f5f5a5a4419ae4e37c35a5bb0a6ae657ed40b7abc5a5189111b47fcebe43197", + "https://bcr.bazel.build/modules/rules_kotlin/1.9.0/MODULE.bazel": "ef85697305025e5a61f395d4eaede272a5393cee479ace6686dba707de804d59", + "https://bcr.bazel.build/modules/rules_kotlin/1.9.6/MODULE.bazel": "d269a01a18ee74d0335450b10f62c9ed81f2321d7958a2934e44272fe82dcef3", + "https://bcr.bazel.build/modules/rules_kotlin/1.9.6/source.json": "2faa4794364282db7c06600b7e5e34867a564ae91bda7cae7c29c64e9466b7d5", + "https://bcr.bazel.build/modules/rules_license/0.0.3/MODULE.bazel": "627e9ab0247f7d1e05736b59dbb1b6871373de5ad31c3011880b4133cafd4bd0", + "https://bcr.bazel.build/modules/rules_license/0.0.7/MODULE.bazel": "088fbeb0b6a419005b89cf93fe62d9517c0a2b8bb56af3244af65ecfe37e7d5d", + "https://bcr.bazel.build/modules/rules_license/1.0.0/MODULE.bazel": "a7fda60eefdf3d8c827262ba499957e4df06f659330bbe6cdbdb975b768bb65c", + "https://bcr.bazel.build/modules/rules_license/1.0.0/source.json": "a52c89e54cc311196e478f8382df91c15f7a2bfdf4c6cd0e2675cc2ff0b56efb", + "https://bcr.bazel.build/modules/rules_pkg/0.7.0/MODULE.bazel": "df99f03fc7934a4737122518bb87e667e62d780b610910f0447665a7e2be62dc", + "https://bcr.bazel.build/modules/rules_pkg/1.0.1/MODULE.bazel": "5b1df97dbc29623bccdf2b0dcd0f5cb08e2f2c9050aab1092fd39a41e82686ff", + "https://bcr.bazel.build/modules/rules_pkg/1.0.1/source.json": "bd82e5d7b9ce2d31e380dd9f50c111d678c3bdaca190cb76b0e1c71b05e1ba8a", + "https://bcr.bazel.build/modules/rules_proto/4.0.0/MODULE.bazel": "a7a7b6ce9bee418c1a760b3d84f83a299ad6952f9903c67f19e4edd964894e06", + "https://bcr.bazel.build/modules/rules_proto/5.3.0-21.7/MODULE.bazel": "e8dff86b0971688790ae75528fe1813f71809b5afd57facb44dad9e8eca631b7", + "https://bcr.bazel.build/modules/rules_proto/6.0.2/MODULE.bazel": "ce916b775a62b90b61888052a416ccdda405212b6aaeb39522f7dc53431a5e73", + "https://bcr.bazel.build/modules/rules_proto/7.0.2/MODULE.bazel": "bf81793bd6d2ad89a37a40693e56c61b0ee30f7a7fdbaf3eabbf5f39de47dea2", + "https://bcr.bazel.build/modules/rules_proto/7.0.2/source.json": "1e5e7260ae32ef4f2b52fd1d0de8d03b606a44c91b694d2f1afb1d3b28a48ce1", + "https://bcr.bazel.build/modules/rules_python/0.10.2/MODULE.bazel": "cc82bc96f2997baa545ab3ce73f196d040ffb8756fd2d66125a530031cd90e5f", + "https://bcr.bazel.build/modules/rules_python/0.23.1/MODULE.bazel": "49ffccf0511cb8414de28321f5fcf2a31312b47c40cc21577144b7447f2bf300", + "https://bcr.bazel.build/modules/rules_python/0.25.0/MODULE.bazel": "72f1506841c920a1afec76975b35312410eea3aa7b63267436bfb1dd91d2d382", + "https://bcr.bazel.build/modules/rules_python/0.28.0/MODULE.bazel": "cba2573d870babc976664a912539b320cbaa7114cd3e8f053c720171cde331ed", + "https://bcr.bazel.build/modules/rules_python/0.31.0/MODULE.bazel": "93a43dc47ee570e6ec9f5779b2e64c1476a6ce921c48cc9a1678a91dd5f8fd58", + "https://bcr.bazel.build/modules/rules_python/0.4.0/MODULE.bazel": "9208ee05fd48bf09ac60ed269791cf17fb343db56c8226a720fbb1cdf467166c", + "https://bcr.bazel.build/modules/rules_python/0.40.0/MODULE.bazel": "9d1a3cd88ed7d8e39583d9ffe56ae8a244f67783ae89b60caafc9f5cf318ada7", + "https://bcr.bazel.build/modules/rules_python/0.40.0/source.json": "939d4bd2e3110f27bfb360292986bb79fd8dcefb874358ccd6cdaa7bda029320", + "https://bcr.bazel.build/modules/rules_shell/0.2.0/MODULE.bazel": "fda8a652ab3c7d8fee214de05e7a9916d8b28082234e8d2c0094505c5268ed3c", + "https://bcr.bazel.build/modules/rules_shell/0.2.0/source.json": "7f27af3c28037d9701487c4744b5448d26537cc66cdef0d8df7ae85411f8de95", + "https://bcr.bazel.build/modules/stardoc/0.5.1/MODULE.bazel": "1a05d92974d0c122f5ccf09291442580317cdd859f07a8655f1db9a60374f9f8", + "https://bcr.bazel.build/modules/stardoc/0.5.3/MODULE.bazel": "c7f6948dae6999bf0db32c1858ae345f112cacf98f174c7a8bb707e41b974f1c", + "https://bcr.bazel.build/modules/stardoc/0.5.6/MODULE.bazel": "c43dabc564990eeab55e25ed61c07a1aadafe9ece96a4efabb3f8bf9063b71ef", + "https://bcr.bazel.build/modules/stardoc/0.7.0/MODULE.bazel": "05e3d6d30c099b6770e97da986c53bd31844d7f13d41412480ea265ac9e8079c", + "https://bcr.bazel.build/modules/stardoc/0.7.1/MODULE.bazel": "3548faea4ee5dda5580f9af150e79d0f6aea934fc60c1cc50f4efdd9420759e7", + "https://bcr.bazel.build/modules/stardoc/0.7.1/source.json": "b6500ffcd7b48cd72c29bb67bcac781e12701cc0d6d55d266a652583cfcdab01", + "https://bcr.bazel.build/modules/toolchains_llvm/1.5.0/MODULE.bazel": "31c7077ef64bafdf2dfb46d4bca321b4e8f143b00ac68b2c31f5ff0c91044b60", + "https://bcr.bazel.build/modules/toolchains_llvm/1.5.0/source.json": "aecbd0eea924f27bf8d33d3823f1427e1eddc826ff96425e4304b0d7ad6d7ffa", + "https://bcr.bazel.build/modules/upb/0.0.0-20220923-a547704/MODULE.bazel": "7298990c00040a0e2f121f6c32544bab27d4452f80d9ce51349b1a28f3005c43", + "https://bcr.bazel.build/modules/zlib/1.2.11/MODULE.bazel": "07b389abc85fdbca459b69e2ec656ae5622873af3f845e1c9d80fe179f3effa0", + "https://bcr.bazel.build/modules/zlib/1.3.1.bcr.5/MODULE.bazel": "eec517b5bbe5492629466e11dae908d043364302283de25581e3eb944326c4ca", + "https://bcr.bazel.build/modules/zlib/1.3.1.bcr.5/source.json": "22bc55c47af97246cfc093d0acf683a7869377de362b5d1c552c2c2e16b7a806", + "https://bcr.bazel.build/modules/zlib/1.3.1/MODULE.bazel": "751c9940dcfe869f5f7274e1295422a34623555916eb98c174c1e945594bf198" + }, + "selectedYankedVersions": {}, + "moduleExtensions": { + "@@rules_kotlin+//src/main/starlark/core/repositories:bzlmod_setup.bzl%rules_kotlin_extensions": { + "general": { + "bzlTransitiveDigest": "OlvsB0HsvxbR8ZN+J9Vf00X/+WVz/Y/5Xrq2LgcVfdo=", + "usagesDigest": "QI2z8ZUR+mqtbwsf2fLqYdJAkPOHdOV+tF2yVAUgRzw=", + "recordedFileInputs": {}, + "recordedDirentsInputs": {}, + "envVariables": {}, + "generatedRepoSpecs": { + "com_github_jetbrains_kotlin_git": { + "repoRuleId": "@@rules_kotlin+//src/main/starlark/core/repositories:compiler.bzl%kotlin_compiler_git_repository", + "attributes": { + "urls": [ + "https://github.com/JetBrains/kotlin/releases/download/v1.9.23/kotlin-compiler-1.9.23.zip" + ], + "sha256": "93137d3aab9afa9b27cb06a824c2324195c6b6f6179d8a8653f440f5bd58be88" + } + }, + "com_github_jetbrains_kotlin": { + "repoRuleId": "@@rules_kotlin+//src/main/starlark/core/repositories:compiler.bzl%kotlin_capabilities_repository", + "attributes": { + "git_repository_name": "com_github_jetbrains_kotlin_git", + "compiler_version": "1.9.23" + } + }, + "com_github_google_ksp": { + "repoRuleId": "@@rules_kotlin+//src/main/starlark/core/repositories:ksp.bzl%ksp_compiler_plugin_repository", + "attributes": { + "urls": [ + "https://github.com/google/ksp/releases/download/1.9.23-1.0.20/artifacts.zip" + ], + "sha256": "ee0618755913ef7fd6511288a232e8fad24838b9af6ea73972a76e81053c8c2d", + "strip_version": "1.9.23-1.0.20" + } + }, + "com_github_pinterest_ktlint": { + "repoRuleId": "@@bazel_tools//tools/build_defs/repo:http.bzl%http_file", + "attributes": { + "sha256": "01b2e0ef893383a50dbeb13970fe7fa3be36ca3e83259e01649945b09d736985", + "urls": [ + "https://github.com/pinterest/ktlint/releases/download/1.3.0/ktlint" + ], + "executable": true + } + }, + "rules_android": { + "repoRuleId": "@@bazel_tools//tools/build_defs/repo:http.bzl%http_archive", + "attributes": { + "sha256": "cd06d15dd8bb59926e4d65f9003bfc20f9da4b2519985c27e190cddc8b7a7806", + "strip_prefix": "rules_android-0.1.1", + "urls": [ + "https://github.com/bazelbuild/rules_android/archive/v0.1.1.zip" + ] + } + } + }, + "recordedRepoMappingEntries": [ + [ + "rules_kotlin+", + "bazel_tools", + "bazel_tools" + ] + ] + } + }, + "@@toolchains_llvm+//toolchain/extensions:llvm.bzl%llvm": { + "general": { + "bzlTransitiveDigest": "c91yAeoX1Jx16JQSsb7J/fY+/nWiCnOiMgjfjoXqbSQ=", + "usagesDigest": "X4Cpsxmk2pNBgvLEyXPDxEumyH/vxDMrse+cnqpmDqs=", + "recordedFileInputs": {}, + "recordedDirentsInputs": {}, + "envVariables": {}, + "generatedRepoSpecs": { + "llvm_toolchain_llvm": { + "repoRuleId": "@@toolchains_llvm+//toolchain:rules.bzl%llvm", + "attributes": { + "alternative_llvm_sources": [], + "auth_patterns": {}, + "distribution": "auto", + "exec_arch": "", + "exec_os": "", + "extra_llvm_distributions": {}, + "libclang_rt": {}, + "llvm_mirror": "", + "llvm_version": "20.1.8", + "llvm_versions": {}, + "netrc": "", + "sha256": {}, + "strip_prefix": {}, + "urls": {} + } + }, + "llvm_toolchain": { + "repoRuleId": "@@toolchains_llvm+//toolchain:rules.bzl%toolchain", + "attributes": { + "absolute_paths": false, + "archive_flags": {}, + "compile_flags": {}, + "conly_flags": {}, + "coverage_compile_flags": {}, + "coverage_link_flags": {}, + "cxx_builtin_include_directories": {}, + "cxx_flags": {}, + "cxx_standard": {}, + "dbg_compile_flags": {}, + "exec_arch": "", + "exec_os": "", + "extra_exec_compatible_with": {}, + "extra_target_compatible_with": {}, + "fastbuild_compile_flags": {}, + "link_flags": {}, + "link_libs": {}, + "llvm_versions": { + "": "20.1.8" + }, + "opt_compile_flags": {}, + "opt_link_flags": {}, + "stdlib": {}, + "target_settings": {}, + "unfiltered_compile_flags": {}, + "toolchain_roots": {}, + "sysroot": {} + } + } + }, + "recordedRepoMappingEntries": [ + [ + "toolchains_llvm+", + "bazel_skylib", + "bazel_skylib+" + ], + [ + "toolchains_llvm+", + "bazel_tools", + "bazel_tools" + ], + [ + "toolchains_llvm+", + "toolchains_llvm", + "toolchains_llvm+" + ] + ] + } + } + } +} diff --git a/WORKSPACE b/WORKSPACE new file mode 100644 index 0000000000..8b403285f0 --- /dev/null +++ b/WORKSPACE @@ -0,0 +1,27 @@ +# SPDX-License-Identifier: BSD-3-Clause +# Copyright (c) 2025-2025, The OpenROAD Authors + +workspace(name = "abc") + +load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive") + +rules_hdl_git_hash = "8cc8977cc305ed94ec7852495ed576fcbde1c18d" + +rules_hdl_git_sha256 = "046193f4a0b006f43bd5f9615c218d2171d0169e231028a22d8d9c011c675ad6" + +http_archive( + name = "rules_hdl", + sha256 = rules_hdl_git_sha256, + strip_prefix = "bazel_rules_hdl-%s" % rules_hdl_git_hash, + urls = [ + "https://github.com/hdl/bazel_rules_hdl/archive/%s.tar.gz" % rules_hdl_git_hash, + ], +) + +load("@rules_hdl//dependency_support/net_invisible_island_ncurses:net_invisible_island_ncurses.bzl", "net_invisible_island_ncurses") +load("@rules_hdl//dependency_support/net_zlib:net_zlib.bzl", "net_zlib") +load("@rules_hdl//dependency_support/org_gnu_readline:org_gnu_readline.bzl", "org_gnu_readline") + +net_invisible_island_ncurses() +net_zlib() +org_gnu_readline()