From f405484220d10bdebeb34cd6fa0d8ecb2d347246 Mon Sep 17 00:00:00 2001 From: Matt Liberty Date: Wed, 27 May 2026 18:49:06 +0000 Subject: [PATCH 1/4] abc@0.64-yosyshq.bcr.2 Add an opt-in flag to skip the readline dependency. Default behavior is unchanged: @readline is still linked and ABC_USE_READLINE is still set. Consumers that drive abc programmatically (and do not need the interactive line editor) can opt out by adding to .bazelrc: common --@abc//:use_readline=false This drops both the @readline build edge and the ABC_USE_READLINE define from the abc cc_library. Signed-off-by: Matt Liberty --- modules/abc/0.64-yosyshq.bcr.2/MODULE.bazel | 14 + .../0.64-yosyshq.bcr.2/overlay/BUILD.bazel | 1501 +++++++++++++++++ .../0.64-yosyshq.bcr.2/overlay/MODULE.bazel | 14 + modules/abc/0.64-yosyshq.bcr.2/presubmit.yml | 12 + modules/abc/0.64-yosyshq.bcr.2/source.json | 9 + modules/abc/metadata.json | 1 + 6 files changed, 1551 insertions(+) create mode 100644 modules/abc/0.64-yosyshq.bcr.2/MODULE.bazel create mode 100644 modules/abc/0.64-yosyshq.bcr.2/overlay/BUILD.bazel create mode 100644 modules/abc/0.64-yosyshq.bcr.2/overlay/MODULE.bazel create mode 100644 modules/abc/0.64-yosyshq.bcr.2/presubmit.yml create mode 100644 modules/abc/0.64-yosyshq.bcr.2/source.json diff --git a/modules/abc/0.64-yosyshq.bcr.2/MODULE.bazel b/modules/abc/0.64-yosyshq.bcr.2/MODULE.bazel new file mode 100644 index 00000000000..ff947b4ecf3 --- /dev/null +++ b/modules/abc/0.64-yosyshq.bcr.2/MODULE.bazel @@ -0,0 +1,14 @@ +"""https://github.com/berkeley-abc/abc""" + +module( + name = "abc", + version = "0.64-yosyshq.bcr.2", + bazel_compatibility = [">=7.2.1"], +) + +bazel_dep(name = "bazel_skylib", version = "1.8.2") +bazel_dep(name = "platforms", version = "1.0.0") +bazel_dep(name = "readline", version = "8.3.bcr.1") +bazel_dep(name = "rules_cc", version = "0.2.4") +bazel_dep(name = "rules_license", version = "1.0.0") +bazel_dep(name = "zlib", version = "1.3.1.bcr.7") diff --git a/modules/abc/0.64-yosyshq.bcr.2/overlay/BUILD.bazel b/modules/abc/0.64-yosyshq.bcr.2/overlay/BUILD.bazel new file mode 100644 index 00000000000..feb3242095d --- /dev/null +++ b/modules/abc/0.64-yosyshq.bcr.2/overlay/BUILD.bazel @@ -0,0 +1,1501 @@ +load("@bazel_skylib//rules:common_settings.bzl", "bool_flag") +load("@bazel_skylib//rules:copy_file.bzl", "copy_file") +load("@rules_cc//cc:cc_binary.bzl", "cc_binary") +load("@rules_cc//cc:cc_library.bzl", "cc_library") +load("@rules_license//rules:license.bzl", "license") + +package( + default_applicable_licenses = [":license"], + default_visibility = ["//visibility:public"], +) + +license( + name = "license", + package_name = "abc", + license_kind = "@rules_license//licenses/spdx:BSD-3-Clause", + license_text = "copyright.txt", +) + +licenses(["notice"]) + +exports_files(["copyright.txt"]) + +# Build flag: link readline into abc for the interactive line editor. +# Default true preserves prior behavior. Downstream consumers that drive +# abc programmatically can opt out via: +# common --@abc//:use_readline=false +# in .bazelrc, which drops both the @readline dep and ABC_USE_READLINE. +bool_flag( + name = "use_readline", + build_setting_default = True, +) + +config_setting( + name = "readline_enabled", + flag_values = {":use_readline": "True"}, +) + +# The following files include the c++ header so need to be +# compiled as C++. We do that by renaming them to a cpp file for +# bazel to apply the right compilation flags +# find . -name "*.c" | xargs grep 'include.*<[a-z]*>' +NEEDS_TO_BE_COMPILED_AS_CPP = [ + "src/misc/util/utilPth.c", + "src/proof/ssw/sswPart.c", +] + +[ + copy_file( + name = f + "_to_cpp", + src = f, + out = f + "pp", # something.c becomes something.cpp + ) + for f in NEEDS_TO_BE_COMPILED_AS_CPP +] + +# 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 +ABC_PROVIDED_SRCS = [ + "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/giaBsFind.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/giaDecGraph.cpp", + "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/giaLutCas.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/giaMulFind3.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/giaRrr.cpp", + "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/abcTopo.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/ioJsonc.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/ioWriteHMetis.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/main.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/ifDecJ.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/ifTrace.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/btor/btor2parser.c", + "src/misc/btor/catbtor.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/utilAigSim.c", + "src/misc/util/utilBipart.c", + "src/misc/util/utilBridge.c", + "src/misc/util/utilBSet.c", + "src/misc/util/utilCex.c", + "src/misc/util/utilColor.c", + "src/misc/util/utilFile.c", + "src/misc/util/utilIsop.c", + "src/misc/util/utilLinear.c", + "src/misc/util/utilMiniver.c", + "src/misc/util/utilMulSim.c", + "src/misc/util/utilNam.c", + "src/misc/util/utilNet.c", + "src/misc/util/utilPrefix.cpp", + "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/eslim/eSLIM.cpp", + "src/opt/eslim/relationGeneration.cpp", + "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/rar/rewireMap.c", + "src/opt/rar/rewireMiaig.cpp", + "src/opt/rar/rewireRar.c", + "src/opt/rar/rewireRng.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/opt/ufar/UfarCmd.cpp", + "src/opt/ufar/UfarMgr.cpp", + "src/opt/ufar/UfarPth.cpp", + "src/opt/untk/Netlist.cpp", + "src/opt/untk/NtkCmd.cpp", + "src/opt/untk/NtkNtk.cpp", + "src/opt/util/util.cpp", + "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/bmcMaj7.c", + "src/sat/bmc/bmcMaj8.c", + "src/sat/bmc/bmcMaj9.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/cadical/cadical_analyze.cpp", + "src/sat/cadical/cadical_arena.cpp", + "src/sat/cadical/cadical_assume.cpp", + "src/sat/cadical/cadical_averages.cpp", + "src/sat/cadical/cadical_backbone.cpp", + "src/sat/cadical/cadical_backtrack.cpp", + "src/sat/cadical/cadical_backward.cpp", + "src/sat/cadical/cadical_bins.cpp", + "src/sat/cadical/cadical_block.cpp", + "src/sat/cadical/cadical_ccadical.cpp", + "src/sat/cadical/cadical_checker.cpp", + "src/sat/cadical/cadical_clause.cpp", + "src/sat/cadical/cadical_collect.cpp", + "src/sat/cadical/cadical_compact.cpp", + "src/sat/cadical/cadical_condition.cpp", + "src/sat/cadical/cadical_config.cpp", + "src/sat/cadical/cadical_congruence.cpp", + "src/sat/cadical/cadical_constrain.cpp", + "src/sat/cadical/cadical_contract.cpp", + "src/sat/cadical/cadical_cover.cpp", + "src/sat/cadical/cadical_decide.cpp", + "src/sat/cadical/cadical_decompose.cpp", + "src/sat/cadical/cadical_deduplicate.cpp", + "src/sat/cadical/cadical_definition.cpp", + "src/sat/cadical/cadical_drattracer.cpp", + "src/sat/cadical/cadical_elim.cpp", + "src/sat/cadical/cadical_elimfast.cpp", + "src/sat/cadical/cadical_ema.cpp", + "src/sat/cadical/cadical_extend.cpp", + "src/sat/cadical/cadical_external.cpp", + "src/sat/cadical/cadical_external_propagate.cpp", + "src/sat/cadical/cadical_factor.cpp", + "src/sat/cadical/cadical_file.cpp", + "src/sat/cadical/cadical_flags.cpp", + "src/sat/cadical/cadical_flip.cpp", + "src/sat/cadical/cadical_format.cpp", + "src/sat/cadical/cadical_frattracer.cpp", + "src/sat/cadical/cadical_gates.cpp", + "src/sat/cadical/cadical_idruptracer.cpp", + "src/sat/cadical/cadical_instantiate.cpp", + "src/sat/cadical/cadical_internal.cpp", + "src/sat/cadical/cadical_ipasir.cpp", + "src/sat/cadical/cadical_kitten.c", + "src/sat/cadical/cadical_lidruptracer.cpp", + "src/sat/cadical/cadical_limit.cpp", + "src/sat/cadical/cadical_logging.cpp", + "src/sat/cadical/cadical_lookahead.cpp", + "src/sat/cadical/cadical_lratchecker.cpp", + "src/sat/cadical/cadical_lrattracer.cpp", + "src/sat/cadical/cadical_lucky.cpp", + "src/sat/cadical/cadical_message.cpp", + "src/sat/cadical/cadical_minimize.cpp", + "src/sat/cadical/cadical_occs.cpp", + "src/sat/cadical/cadical_options.cpp", + "src/sat/cadical/cadical_parse.cpp", + "src/sat/cadical/cadical_phases.cpp", + "src/sat/cadical/cadical_probe.cpp", + "src/sat/cadical/cadical_profile.cpp", + "src/sat/cadical/cadical_proof.cpp", + "src/sat/cadical/cadical_propagate.cpp", + "src/sat/cadical/cadical_queue.cpp", + "src/sat/cadical/cadical_random.cpp", + "src/sat/cadical/cadical_reap.cpp", + "src/sat/cadical/cadical_reduce.cpp", + "src/sat/cadical/cadical_rephase.cpp", + "src/sat/cadical/cadical_report.cpp", + "src/sat/cadical/cadical_resources.cpp", + "src/sat/cadical/cadical_restart.cpp", + "src/sat/cadical/cadical_restore.cpp", + "src/sat/cadical/cadical_score.cpp", + "src/sat/cadical/cadical_shrink.cpp", + "src/sat/cadical/cadical_signal.cpp", + "src/sat/cadical/cadical_solution.cpp", + "src/sat/cadical/cadicalSolver.c", + "src/sat/cadical/cadical_solver.cpp", + "src/sat/cadical/cadical_stable.cpp", + "src/sat/cadical/cadical_stats.cpp", + "src/sat/cadical/cadical_subsume.cpp", + "src/sat/cadical/cadical_sweep.cpp", + "src/sat/cadical/cadical_terminal.cpp", + "src/sat/cadical/cadical_ternary.cpp", + "src/sat/cadical/cadicalTest.c", + "src/sat/cadical/cadical_tier.cpp", + "src/sat/cadical/cadical_transred.cpp", + "src/sat/cadical/cadical_unstable.cpp", + "src/sat/cadical/cadical_util.cpp", + "src/sat/cadical/cadical_var.cpp", + "src/sat/cadical/cadical_veripbtracer.cpp", + "src/sat/cadical/cadical_version.cpp", + "src/sat/cadical/cadical_vivify.cpp", + "src/sat/cadical/cadical_walk.cpp", + "src/sat/cadical/cadical_walk_full_occs.cpp", + "src/sat/cadical/cadical_warmup.cpp", + "src/sat/cadical/cadical_watch.cpp", + "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/kissat/allocate.c", + "src/sat/kissat/analyze.c", + "src/sat/kissat/ands.c", + "src/sat/kissat/arena.c", + "src/sat/kissat/assign.c", + "src/sat/kissat/averages.c", + "src/sat/kissat/backbone.c", + "src/sat/kissat/backtrack.c", + "src/sat/kissat/build.c", + "src/sat/kissat/bump.c", + "src/sat/kissat/check.c", + "src/sat/kissat/classify.c", + "src/sat/kissat/clause.c", + "src/sat/kissat/collect.c", + "src/sat/kissat/colors.c", + "src/sat/kissat/compact.c", + "src/sat/kissat/config.c", + "src/sat/kissat/congruence.c", + "src/sat/kissat/decide.c", + "src/sat/kissat/deduce.c", + "src/sat/kissat/definition.c", + "src/sat/kissat/dense.c", + "src/sat/kissat/dump.c", + "src/sat/kissat/eliminate.c", + "src/sat/kissat/equivalences.c", + "src/sat/kissat/error.c", + "src/sat/kissat/extend.c", + "src/sat/kissat/factor.c", + "src/sat/kissat/fastel.c", + "src/sat/kissat/file.c", + "src/sat/kissat/flags.c", + "src/sat/kissat/format.c", + "src/sat/kissat/forward.c", + "src/sat/kissat/gates.c", + "src/sat/kissat/heap.c", + "src/sat/kissat/ifthenelse.c", + "src/sat/kissat/import.c", + "src/sat/kissat/internal.c", + "src/sat/kissat/kimits.c", + "src/sat/kissat/kissatSolver.c", + "src/sat/kissat/kissatTest.c", + "src/sat/kissat/kitten.c", + "src/sat/kissat/kptions.c", + "src/sat/kissat/krite.c", + "src/sat/kissat/kucky.c", + "src/sat/kissat/learn.c", + "src/sat/kissat/logging.c", + "src/sat/kissat/minimize.c", + "src/sat/kissat/mode.c", + "src/sat/kissat/phases.c", + "src/sat/kissat/preprocess.c", + "src/sat/kissat/print.c", + "src/sat/kissat/probe.c", + "src/sat/kissat/profile.c", + "src/sat/kissat/promote.c", + "src/sat/kissat/proof.c", + "src/sat/kissat/propbeyond.c", + "src/sat/kissat/propdense.c", + "src/sat/kissat/propinitially.c", + "src/sat/kissat/proprobe.c", + "src/sat/kissat/propsearch.c", + "src/sat/kissat/queue.c", + "src/sat/kissat/reduce.c", + "src/sat/kissat/reluctant.c", + "src/sat/kissat/reorder.c", + "src/sat/kissat/rephase.c", + "src/sat/kissat/report.c", + "src/sat/kissat/resize.c", + "src/sat/kissat/resolve.c", + "src/sat/kissat/resources.c", + "src/sat/kissat/restart.c", + "src/sat/kissat/search.c", + "src/sat/kissat/shrink.c", + "src/sat/kissat/smooth.c", + "src/sat/kissat/sort.c", + "src/sat/kissat/stack.c", + "src/sat/kissat/statistics.c", + "src/sat/kissat/strengthen.c", + "src/sat/kissat/substitute.c", + "src/sat/kissat/sweep.c", + "src/sat/kissat/terminate.c", + "src/sat/kissat/tiers.c", + "src/sat/kissat/trail.c", + "src/sat/kissat/transitive.c", + "src/sat/kissat/utilities.c", + "src/sat/kissat/vector.c", + "src/sat/kissat/vivify.c", + "src/sat/kissat/walk.c", + "src/sat/kissat/warmup.c", + "src/sat/kissat/watch.c", + "src/sat/kissat/weaken.c", + "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", +] + +# We use all ABC-provided sources but replace the ones we know need to be +# compiled as c++ +SRCS = [ + f if f not in NEEDS_TO_BE_COMPILED_AS_CPP else f + "pp" + for f in ABC_PROVIDED_SRCS +] + +COPTS = [ + "-w", + "-x c++", + "-std=c++17", + "-DLIN64", + "-D_DEFAULT_SOURCE", +] + +cc_library( + name = "abc", + srcs = SRCS + glob(["src/**/*.hpp"]), + hdrs = [ + "src/base/abc/abc.h", + "src/base/main/main.h", + "src/misc/util/abc_global.h", + ], + copts = COPTS + [ + # Required with `ABC_NAMESPACE=` defines + "-fpermissive", + ], + defines = [ + "ABC_USE_CUDD=1", + "ABC_USE_PTHREADS", + "ABC_NAMESPACE=abc", + "ABC_USE_STDINT_H=1", + ] + select({ + ":readline_enabled": ["ABC_USE_READLINE"], + "//conditions:default": [], + }), + includes = [ + "src", + "src/opt/eslim", + "src/proof/ssw", + "src/sat/kissat", + ], + linkstatic = True, + textual_hdrs = glob([ + "src/**/*.h", + "src/**/*.tpp", + ]) + [ + "src/aig/saig/saigUnfold2.c", + "src/base/abci/abcDarUnfold2.c", + "src/base/abci/abciUnfold2.c", + "src/sat/kissat/sort.c", + "src/sat/kissat/watch.c", + ], + visibility = ["//visibility:public"], + deps = [ + "@zlib", + ] + select({ + ":readline_enabled": ["@readline"], + "//conditions:default": [], + }), +) + +cc_binary( + name = "abc_bin", + srcs = ["src/base/main/main.c"], + copts = COPTS, + includes = ["src"], + linkopts = select({ + "@platforms//os:windows": [], + "//conditions:default": [ + "-ldl", + "-lpthread", + ], + }), + visibility = ["//visibility:public"], + deps = [":abc"], +) diff --git a/modules/abc/0.64-yosyshq.bcr.2/overlay/MODULE.bazel b/modules/abc/0.64-yosyshq.bcr.2/overlay/MODULE.bazel new file mode 100644 index 00000000000..ff947b4ecf3 --- /dev/null +++ b/modules/abc/0.64-yosyshq.bcr.2/overlay/MODULE.bazel @@ -0,0 +1,14 @@ +"""https://github.com/berkeley-abc/abc""" + +module( + name = "abc", + version = "0.64-yosyshq.bcr.2", + bazel_compatibility = [">=7.2.1"], +) + +bazel_dep(name = "bazel_skylib", version = "1.8.2") +bazel_dep(name = "platforms", version = "1.0.0") +bazel_dep(name = "readline", version = "8.3.bcr.1") +bazel_dep(name = "rules_cc", version = "0.2.4") +bazel_dep(name = "rules_license", version = "1.0.0") +bazel_dep(name = "zlib", version = "1.3.1.bcr.7") diff --git a/modules/abc/0.64-yosyshq.bcr.2/presubmit.yml b/modules/abc/0.64-yosyshq.bcr.2/presubmit.yml new file mode 100644 index 00000000000..9903743bc70 --- /dev/null +++ b/modules/abc/0.64-yosyshq.bcr.2/presubmit.yml @@ -0,0 +1,12 @@ +bcr_test_module: + module_path: "" + matrix: + platform: ["ubuntu2004", "ubuntu2004_arm64", "macos_arm64"] + bazel: ["7.x", "8.x", "9.x"] + tasks: + verify_targets: + name: "Run test module" + platform: ${{ platform }} + bazel: ${{ bazel }} + build_targets: + - "//..." diff --git a/modules/abc/0.64-yosyshq.bcr.2/source.json b/modules/abc/0.64-yosyshq.bcr.2/source.json new file mode 100644 index 00000000000..c18514646a7 --- /dev/null +++ b/modules/abc/0.64-yosyshq.bcr.2/source.json @@ -0,0 +1,9 @@ +{ + "url": "https://github.com/YosysHQ/abc/archive/refs/tags/v0.64.tar.gz", + "strip_prefix": "abc-0.64", + "integrity": "sha256-/jwT92PLUECU2qyDZze4TChJNQeX5DMIx4JTzjsfL2U=", + "overlay": { + "BUILD.bazel": "sha256-j8w87AArwg6Ezu8+bPwyR2zPaBnsSciXem2SDV0ClBg=", + "MODULE.bazel": "sha256-N+/8dAT/7fpsadIpxdCN0T5muYOndZR17V3xGDoLPHA=" + } +} diff --git a/modules/abc/metadata.json b/modules/abc/metadata.json index c8b1dcb093e..cd18ffd9170 100644 --- a/modules/abc/metadata.json +++ b/modules/abc/metadata.json @@ -22,6 +22,7 @@ "0.63-yosyshq", "0.64-yosyshq", "0.64-yosyshq.bcr.1", + "0.64-yosyshq.bcr.2", "0.65-yosyshq" ], "yanked_versions": {} From 82c90d721448814cd9ed22711f902cc9d54b55b5 Mon Sep 17 00:00:00 2001 From: Matt Liberty Date: Wed, 27 May 2026 11:57:53 -0700 Subject: [PATCH 2/4] Update modules/abc/0.64-yosyshq.bcr.2/overlay/BUILD.bazel Co-authored-by: UebelAndre --- modules/abc/0.64-yosyshq.bcr.2/overlay/BUILD.bazel | 1 + 1 file changed, 1 insertion(+) diff --git a/modules/abc/0.64-yosyshq.bcr.2/overlay/BUILD.bazel b/modules/abc/0.64-yosyshq.bcr.2/overlay/BUILD.bazel index feb3242095d..c0d52aebb7d 100644 --- a/modules/abc/0.64-yosyshq.bcr.2/overlay/BUILD.bazel +++ b/modules/abc/0.64-yosyshq.bcr.2/overlay/BUILD.bazel @@ -28,6 +28,7 @@ exports_files(["copyright.txt"]) bool_flag( name = "use_readline", build_setting_default = True, + visibility = ["//visibility:public"], ) config_setting( From 97bc04890647eaf68c3220a8aecb05f819498af1 Mon Sep 17 00:00:00 2001 From: Matt Liberty Date: Wed, 27 May 2026 19:02:43 +0000 Subject: [PATCH 3/4] abc@0.64-yosyshq.bcr.2: refresh BUILD.bazel integrity after visibility fix Signed-off-by: Matt Liberty --- modules/abc/0.64-yosyshq.bcr.2/source.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/abc/0.64-yosyshq.bcr.2/source.json b/modules/abc/0.64-yosyshq.bcr.2/source.json index c18514646a7..8d9c8eb9fda 100644 --- a/modules/abc/0.64-yosyshq.bcr.2/source.json +++ b/modules/abc/0.64-yosyshq.bcr.2/source.json @@ -3,7 +3,7 @@ "strip_prefix": "abc-0.64", "integrity": "sha256-/jwT92PLUECU2qyDZze4TChJNQeX5DMIx4JTzjsfL2U=", "overlay": { - "BUILD.bazel": "sha256-j8w87AArwg6Ezu8+bPwyR2zPaBnsSciXem2SDV0ClBg=", + "BUILD.bazel": "sha256-CFX7qqcY7V/vxD1BhwmkSASIqtarRvmAoOD2HoYH2gQ=", "MODULE.bazel": "sha256-N+/8dAT/7fpsadIpxdCN0T5muYOndZR17V3xGDoLPHA=" } } From 1aefb6b806edeedc87cd9fa73edd14b4da8ebd58 Mon Sep 17 00:00:00 2001 From: Matt Liberty Date: Wed, 27 May 2026 12:09:39 -0700 Subject: [PATCH 4/4] Update modules/abc/0.64-yosyshq.bcr.2/presubmit.yml Co-authored-by: UebelAndre --- modules/abc/0.64-yosyshq.bcr.2/presubmit.yml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/modules/abc/0.64-yosyshq.bcr.2/presubmit.yml b/modules/abc/0.64-yosyshq.bcr.2/presubmit.yml index 9903743bc70..31d664acd49 100644 --- a/modules/abc/0.64-yosyshq.bcr.2/presubmit.yml +++ b/modules/abc/0.64-yosyshq.bcr.2/presubmit.yml @@ -10,3 +10,11 @@ bcr_test_module: bazel: ${{ bazel }} build_targets: - "//..." + verify_no_readline_targets: + name: "Run no readline tests" + platform: ${{ platform }} + bazel: ${{ bazel }} + build_flags: + - "--//:use_readline=False" + build_targets: + - "//..."