# filelist

dirname: /usr/lib/debug/.build-id/97
filetypes: ffff
filenames:
  b121c2b0843539de5e12c6b7f3c44b12e73ce6/b121c2b0843539de5e12c6b7f3c44b12e73ce6.debug/b50437099c1628e3d79cac689a030b87fa2025/b50437099c1628e3d79cac689a030b87fa2025.debug


dirname: /usr/lib/debug/.build-id/8f
filetypes: ffff
filenames:
  c901cec087f0e6484bf8f70f05ba540f542ed5/c901cec087f0e6484bf8f70f05ba540f542ed5.debug/eb85c02ba2344b151111c63d811e2ec9d3f386/eb85c02ba2344b151111c63d811e2ec9d3f386.debug


dirname: /usr/lib/debug/.build-id/2f
filetypes: ffff
filenames:
  e755c4788775278da0945450bbffdd7d4669aa/e755c4788775278da0945450bbffdd7d4669aa.debug/fc332580082af17f79424123ce97249e97fc47/fc332580082af17f79424123ce97249e97fc47.debug


dirname: /usr/lib/debug/.build-id/42
filetypes: ffff
filenames:
  3c5955dceff20ec850f582f580641bd902c8da/3c5955dceff20ec850f582f580641bd902c8da.debug/d52827e2b3f3ef4adbb1deb5d2d28ab857fd75/d52827e2b3f3ef4adbb1deb5d2d28ab857fd75.debug


dirname: /usr/lib/debug/.build-id/1c
filetypes: ffff
filenames:
  0760871c4a4e102b5c3b9041584fa2e3dcf2fa/0760871c4a4e102b5c3b9041584fa2e3dcf2fa.debug/e5b495bf35bb78f2343450d1fdab227e692bb1/e5b495bf35bb78f2343450d1fdab227e692bb1.debug


dirname: /usr/lib/debug/.build-id/cd
filetypes: ffffff
filenames:
  98c5bbdcad9af7ddc6eb1d528acbe803f0c52b/98c5bbdcad9af7ddc6eb1d528acbe803f0c52b.debug/aefee5bf0714d54dc813bb275641488f672787/aefee5bf0714d54dc813bb275641488f672787.debug/eebade3c91c1fb63ccab7182d0542f06aa17a5/eebade3c91c1fb63ccab7182d0542f06aa17a5.debug


dirname: /usr/lib/debug/.build-id/41
filetypes: ffff
filenames:
  521f4d7bd4f9488efe39872ed3fd6fdc172514/521f4d7bd4f9488efe39872ed3fd6fdc172514.debug/608ad7ee5b8e198d65e9bcb64fdc01fb558fd5/608ad7ee5b8e198d65e9bcb64fdc01fb558fd5.debug


dirname: /usr/lib/debug/.build-id/c2
filetypes: ffff
filenames:
  81bff835e40690933b1aa67ee176a390805269/81bff835e40690933b1aa67ee176a390805269.debug/e75fb034d47376d90416329f7e9a293ecfa6c1/e75fb034d47376d90416329f7e9a293ecfa6c1.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ff
filenames:
  yosys-0.61-1.20260115git967b47d.fc42.aarch64.debug/yosys-filterlib-0.61-1.20260115git967b47d.fc42.aarch64.debug


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/passes/memory
filetypes: ffffffffffffff
filenames:
  memlib.cc/memlib.h/memory.cc/memory_bmux2rom.cc/memory_bram.cc/memory_collect.cc/memory_dff.cc/memory_libmap.cc/memory_map.cc/memory_memx.cc/memory_narrow.cc/memory_nordff.cc/memory_share.cc/memory_unpack.cc


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/techlibs/ice40
filetypes: fffffff
filenames:
  ice40_braminit.cc/ice40_dsp.cc/ice40_dsp_pm.h/ice40_opt.cc/ice40_wrapcarry.cc/ice40_wrapcarry_pm.h/synth_ice40.cc


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/techlibs/microchip
filetypes: ffffff
filenames:
  microchip_dffopt.cc/microchip_dsp.cc/microchip_dsp_CREG_pm.h/microchip_dsp_cascade_pm.h/microchip_dsp_pm.h/synth_microchip.cc


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/passes/sat
filetypes: fffffffffffffffffff
filenames:
  assertpmux.cc/async2sync.cc/clk2fflogic.cc/cutpoint.cc/eval.cc/expose.cc/fmcombine.cc/fminit.cc/formalff.cc/freduce.cc/miter.cc/mutate.cc/qbfsat.cc/qbfsat.h/recover_names.cc/sat.cc/sim.cc/supercover.cc/synthprop.cc


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/techlibs
filetypes: ddddddddddddddddddd
filenames:
  achronix/anlogic/common/coolrunner2/easic/efinix/fabulous/gatemate/gowin/greenpak4/ice40/intel/intel_alm/lattice/microchip/nanoxplore/quicklogic/sf2/xilinx


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/techlibs/xilinx
filetypes: fffffffff
filenames:
  synth_xilinx.cc/xilinx_dffopt.cc/xilinx_dsp.cc/xilinx_dsp48a_pm.h/xilinx_dsp_CREG_pm.h/xilinx_dsp_cascade_pm.h/xilinx_dsp_pm.h/xilinx_srl.cc/xilinx_srl_pm.h


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/passes/proc
filetypes: fffffffffff
filenames:
  proc.cc/proc_arst.cc/proc_clean.cc/proc_dff.cc/proc_dlatch.cc/proc_init.cc/proc_memwr.cc/proc_mux.cc/proc_prune.cc/proc_rmdead.cc/proc_rom.cc


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/kernel
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  binding.cc/binding.h/bitpattern.h/calc.cc/cellaigs.cc/cellaigs.h/celledges.cc/celledges.h/celltypes.h/compute_graph.h/consteval.h/constids.inc/cost.cc/cost.h/driver.cc/drivertools.cc/drivertools.h/ff.cc/ff.h/ffinit.h/ffmerge.cc/ffmerge.h/fmt.cc/fmt.h/fstdata.cc/fstdata.h/functional.cc/functional.h/gzip.cc/gzip.h/hashlib.h/io.cc/io.h/json.cc/json.h/log.cc/log.h/log_help.cc/log_help.h/macc.h/mem.cc/mem.h/modtools.h/qcsat.cc/qcsat.h/register.cc/register.h/rtlil.cc/rtlil.h/rtlil_bufnorm.cc/satgen.cc/satgen.h/scopeinfo.cc/scopeinfo.h/sexpr.cc/sexpr.h/sigtools.h/tclapi.cc/threading.cc/threading.h/timinginfo.h/topo_scc.h/utils.h/version_967b47d98412bb34b1e32fb9b31ba91792db1d3e.cc/yosys.cc/yosys.h/yosys_common.h/yw.cc/yw.h


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/passes/equiv
filetypes: fffffffffff
filenames:
  equiv_add.cc/equiv_induct.cc/equiv_make.cc/equiv_mark.cc/equiv_miter.cc/equiv_opt.cc/equiv_purge.cc/equiv_remove.cc/equiv_simple.cc/equiv_status.cc/equiv_struct.cc


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/passes/opt
filetypes: ffffffffffffffffffffffff
filenames:
  muxpack.cc/opt.cc/opt_clean.cc/opt_demorgan.cc/opt_dff.cc/opt_expr.cc/opt_ffinv.cc/opt_hier.cc/opt_lut.cc/opt_lut_ins.cc/opt_mem.cc/opt_mem_feedback.cc/opt_mem_priority.cc/opt_mem_widen.cc/opt_merge.cc/opt_muxtree.cc/opt_reduce.cc/opt_share.cc/peepopt.cc/peepopt_pm.h/pmux2shiftx.cc/rmports.cc/share.cc/wreduce.cc


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/passes/techmap
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  abc.cc/abc9.cc/abc9_exe.cc/abc9_ops.cc/abc_new.cc/aigmap.cc/alumacc.cc/attrmap.cc/attrmvcp.cc/bmuxmap.cc/booth.cc/bufnorm.cc/bwmuxmap.cc/cellmatch.cc/clkbufmap.cc/clockgate.cc/constmap.cc/deminout.cc/demuxmap.cc/dffinit.cc/dfflegalize.cc/dfflibmap.cc/dffunmap.cc/extract.cc/extract_counter.cc/extract_fa.cc/extract_reduce.cc/extractinv.cc/filterlib.cc/flowmap.cc/hilomap.cc/insbuf.cc/iopadmap.cc/libcache.cc/libparse.cc/libparse.h/lut2bmux.cc/lut2mux.cc/maccmap.cc/muxcover.cc/nlutmap.cc/pmuxtree.cc/shregmap.cc/simplemap.cc/simplemap.h/techmap.cc/tribuf.cc/zinit.cc


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/libs/minisat
filetypes: fffffffffffffffffff
filenames:
  Alg.h/Alloc.h/Heap.h/IntMap.h/Map.h/Options.cc/Options.h/ParseUtils.h/Queue.h/SimpSolver.cc/SimpSolver.h/Solver.cc/Solver.h/SolverTypes.h/Sort.h/System.cc/System.h/Vec.h/XAlloc.h


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/passes/fsm
filetypes: ffffffffff
filenames:
  fsm.cc/fsm_detect.cc/fsm_expand.cc/fsm_export.cc/fsm_extract.cc/fsm_info.cc/fsm_map.cc/fsm_opt.cc/fsm_recode.cc/fsmdata.h


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/backends
filetypes: dddddddddddddddddd
filenames:
  aiger/aiger2/blif/btor/cxxrtl/edif/firrtl/functional/intersynth/jny/json/rtlil/simplec/smt2/smv/spice/table/verilog


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/frontends/verilog
filetypes: ffffffffffffff
filenames:
  const2ast.cc/preproc.cc/preproc.h/verilog_error.cc/verilog_error.h/verilog_frontend.cc/verilog_frontend.h/verilog_lexer.cc/verilog_lexer.h/verilog_lexer.l/verilog_location.h/verilog_parser.tab.cc/verilog_parser.tab.hh/verilog_parser.y


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/libs/bigint
filetypes: fffffffff
filenames:
  BigInteger.cc/BigInteger.hh/BigIntegerAlgorithms.cc/BigIntegerUtils.cc/BigUnsigned.cc/BigUnsigned.hh/BigUnsignedInABase.cc/BigUnsignedInABase.hh/NumberlikeArray.hh


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/passes/cmds
filetypes: ffffffffffffffffffffffffffffffffffffdffffffffffffffffffff
filenames:
  abstract.cc/add.cc/autoname.cc/blackbox.cc/box_derive.cc/bugpoint.cc/check.cc/chformal.cc/chtype.cc/clean_zerowidth.cc/connect.cc/connwrappers.cc/copy.cc/delete.cc/design.cc/design_equal.cc/dft_tag.cc/edgetypes.cc/example_dt.cc/exec.cc/future.cc/glift.cc/icell_liberty.cc/internal_stats.cc/linecoverage.cc/logcmd.cc/logger.cc/ltp.cc/plugin.cc/portarcs.cc/portlist.cc/printattrs.cc/rename.cc/scatter.cc/scc.cc/scratchpad.cc/sdc/select.cc/setattr.cc/setenv.cc/setundef.cc/show.cc/sort.cc/splice.cc/splitcells.cc/splitnets.cc/sta.cc/stat.cc/tee.cc/test_select.cc/timeest.cc/torder.cc/trace.cc/viz.cc/wrapcell.cc/write_file.cc/xprop.cc


dirname: /usr/src/debug/yosys-0.61-1.20260115git967b47d.fc42.aarch64/techlibs/quicklogic
filetypes: ffffffff
filenames:
  ql_bram_merge.cc/ql_bram_types.cc/ql_dsp_io_regs.cc/ql_dsp_macc.cc/ql_dsp_macc_pm.h/ql_dsp_simd.cc/ql_ioff.cc/synth_quicklogic.cc


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/base/wlc
filetypes: ffffffffffffffffffff
filenames:
  wlc.h/wlcAbc.c/wlcAbs.c/wlcAbs2.c/wlcBlast.c/wlcCom.c/wlcGraft.c/wlcJson.c/wlcMem.c/wlcNdr.c/wlcNtk.c/wlcPth.c/wlcReadSmt.c/wlcReadVer.c/wlcShow.c/wlcSim.c/wlcStdin.c/wlcUif.c/wlcWin.c/wlcWriteVer.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/sat/bsat
filetypes: fffffffffffffffffffffff
filenames:
  satClause.h/satInter.c/satInterA.c/satInterB.c/satInterP.c/satMem.c/satMem.h/satProof.c/satProof2.h/satSolver.c/satSolver.h/satSolver2.c/satSolver2.h/satSolver2i.c/satSolver3.c/satSolver3.h/satStore.c/satStore.h/satTrace.c/satTruth.c/satTruth.h/satUtil.c/satVec.h


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/base/io
filetypes: ffffffffffffffffffffffffffffffffffff
filenames:
  io.c/ioAbc.h/ioJson.c/ioJsonc.c/ioReadAiger.c/ioReadBaf.c/ioReadBblif.c/ioReadBench.c/ioReadBlif.c/ioReadBlifAig.c/ioReadBlifMv.c/ioReadDsd.c/ioReadEdif.c/ioReadEqn.c/ioReadPla.c/ioReadPlaMo.c/ioReadVerilog.c/ioResub.h/ioUtil.c/ioWriteAiger.c/ioWriteBaf.c/ioWriteBblif.c/ioWriteBench.c/ioWriteBlif.c/ioWriteBlifMv.c/ioWriteBook.c/ioWriteCnf.c/ioWriteDot.c/ioWriteEdgelist.c/ioWriteEqn.c/ioWriteGml.c/ioWriteHMetis.c/ioWriteList.c/ioWritePla.c/ioWriteSmv.c/ioWriteVerilog.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/map/scl
filetypes: ffffffffffffff
filenames:
  scl.c/sclBufSize.c/sclBuffer.c/sclCon.h/sclDnsize.c/sclLib.h/sclLibScl.c/sclLibUtil.c/sclLiberty.c/sclLoad.c/sclSize.c/sclSize.h/sclUpsize.c/sclUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/opt/lpk
filetypes: fffffffffffff
filenames:
  lpk.h/lpkAbcDec.c/lpkAbcDsd.c/lpkAbcMux.c/lpkAbcUtil.c/lpkCore.c/lpkCut.c/lpkInt.h/lpkMan.c/lpkMap.c/lpkMulti.c/lpkMux.c/lpkSets.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/misc/util
filetypes: ffffffffffffffffffffffff
filenames:
  abc_global.h/utilAigSim.c/utilBSet.c/utilBipart.c/utilBridge.c/utilCex.c/utilCex.h/utilColor.c/utilDouble.h/utilFile.c/utilIsop.c/utilLinear.c/utilMiniver.c/utilMulSim.c/utilNam.c/utilNam.h/utilNet.c/utilPrefix.cpp/utilPth.c/utilSignal.c/utilSignal.h/utilSort.c/utilTruth.h/util_hack.h


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/opt/sim
filetypes: ffffffffff
filenames:
  sim.h/simMan.c/simSeq.c/simSupp.c/simSwitch.c/simSym.c/simSymSat.c/simSymSim.c/simSymStr.c/simUtils.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/map/mpm
filetypes: ffffffffffffff
filenames:
  mpm.h/mpmAbc.c/mpmCore.c/mpmDsd.c/mpmGates.c/mpmInt.h/mpmLib.c/mpmMan.c/mpmMap.c/mpmMig.c/mpmMig.h/mpmPre.c/mpmTruth.c/mpmUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/opt/sfm
filetypes: ffffffffffff
filenames:
  sfm.h/sfmArea.c/sfmCnf.c/sfmCore.c/sfmDec.c/sfmInt.h/sfmLib.c/sfmMit.c/sfmNtk.c/sfmSat.c/sfmTim.c/sfmWin.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/base/cmd
filetypes: ffffffffffff
filenames:
  cmd.c/cmd.h/cmdAlias.c/cmdApi.c/cmdAuto.c/cmdFlag.c/cmdHist.c/cmdInt.h/cmdLoad.c/cmdPlugin.c/cmdStarter.c/cmdUtils.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/map/if/acd
filetypes: ffffffffffff
filenames:
  ac_decomposition.hpp/ac_wrapper.cpp/ac_wrapper.h/acd66.hpp/acdXX.hpp/kitty_algorithm.hpp/kitty_constants.hpp/kitty_constructors.hpp/kitty_dynamic_tt.hpp/kitty_operations.hpp/kitty_operators.hpp/kitty_static_tt.hpp


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/opt/dar
filetypes: fffffffffff
filenames:
  dar.h/darBalance.c/darCore.c/darCut.c/darData.c/darInt.h/darLib.c/darMan.c/darPrec.c/darRefact.c/darScript.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/misc/mvc
filetypes: ffffffffffffffff
filenames:
  mvc.h/mvcApi.c/mvcCompare.c/mvcContain.c/mvcCover.c/mvcCube.c/mvcDivide.c/mvcDivisor.c/mvcList.c/mvcLits.c/mvcMan.c/mvcOpAlg.c/mvcOpBool.c/mvcPrint.c/mvcSort.c/mvcUtils.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/opt/rar
filetypes: fffffffffff
filenames:
  rewireMap.c/rewireMap.h/rewireMiaig.cpp/rewireMiaig.h/rewireRar.c/rewireRar.h/rewireRng.c/rewireRng.h/rewireTime.h/rewireTt.h/rewireVec.h


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/opt/fxu
filetypes: ffffffffffffff
filenames:
  fxu.c/fxu.h/fxuCreate.c/fxuHeapD.c/fxuHeapS.c/fxuInt.h/fxuList.c/fxuMatrix.c/fxuPair.c/fxuPrint.c/fxuReduce.c/fxuSelect.c/fxuSingle.c/fxuUpdate.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/bdd/cudd
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  cudd.h/cuddAPI.c/cuddAddAbs.c/cuddAddApply.c/cuddAddFind.c/cuddAddInv.c/cuddAddIte.c/cuddAddNeg.c/cuddAddWalsh.c/cuddAndAbs.c/cuddAnneal.c/cuddApa.c/cuddApprox.c/cuddBddAbs.c/cuddBddCorr.c/cuddBddIte.c/cuddBridge.c/cuddCache.c/cuddCheck.c/cuddClip.c/cuddCof.c/cuddCompose.c/cuddDecomp.c/cuddEssent.c/cuddExact.c/cuddExport.c/cuddGenCof.c/cuddGenetic.c/cuddGroup.c/cuddHarwell.c/cuddInit.c/cuddInt.h/cuddInteract.c/cuddLCache.c/cuddLevelQ.c/cuddLinear.c/cuddLiteral.c/cuddMatMult.c/cuddPriority.c/cuddRead.c/cuddRef.c/cuddReorder.c/cuddSat.c/cuddSign.c/cuddSolve.c/cuddSplit.c/cuddSubsetHB.c/cuddSubsetSP.c/cuddSymmetry.c/cuddTable.c/cuddUtil.c/cuddWindow.c/cuddZddCount.c/cuddZddFuncs.c/cuddZddGroup.c/cuddZddIsop.c/cuddZddLin.c/cuddZddMisc.c/cuddZddPort.c/cuddZddReord.c/cuddZddSetop.c/cuddZddSymm.c/cuddZddUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/base/abci
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  abc.c/abcAttach.c/abcAuto.c/abcBalance.c/abcBidec.c/abcBm.c/abcBmc.c/abcCas.c/abcCascade.c/abcCollapse.c/abcCut.c/abcDar.c/abcDarUnfold2.c/abcDebug.c/abcDec.c/abcDetect.c/abcDress.c/abcDress2.c/abcDress3.c/abcDsd.c/abcEco.c/abcExact.c/abcExtract.c/abcFraig.c/abcFx.c/abcFxu.c/abcGen.c/abcHaig.c/abcIf.c/abcIfMux.c/abcIfif.c/abcIvy.c/abcLog.c/abcLut.c/abcLutmin.c/abcMap.c/abcMerge.c/abcMfs.c/abcMini.c/abcMiter.c/abcMulti.c/abcNpn.c/abcNpnSave.c/abcNtbdd.c/abcOdc.c/abcOrchestration.c/abcOrder.c/abcPart.c/abcPrint.c/abcProve.c/abcQbf.c/abcQuant.c/abcReach.c/abcRec3.c/abcReconv.c/abcRefactor.c/abcRenode.c/abcReorder.c/abcRestruct.c/abcResub.c/abcRewrite.c/abcRpo.c/abcRr.c/abcRunGen.c/abcSat.c/abcSaucy.c/abcScorr.c/abcSense.c/abcSpeedup.c/abcStrash.c/abcSweep.c/abcSymm.c/abcTim.c/abcTiming.c/abcTopo.c/abcUnate.c/abcUnreach.c/abcVerify.c/abcXsim.c/abciUnfold2.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/proof/acec
filetypes: fffffffffffffffffffff
filenames:
  acec.h/acec2Mult.c/acecBo.c/acecCl.c/acecCo.c/acecCore.c/acecCover.c/acecFadds.c/acecInt.h/acecMult.c/acecNorm.c/acecOrder.c/acecPa.c/acecPo.c/acecPolyn.c/acecPool.c/acecRe.c/acecSt.c/acecTree.c/acecUtil.c/acecXor.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/base/abc
filetypes: ffffffffffffffffffffffff
filenames:
  abc.h/abcAig.c/abcBarBuf.c/abcBlifMv.c/abcCheck.c/abcDfs.c/abcFanOrder.c/abcFanio.c/abcFunc.c/abcHie.c/abcHieCec.c/abcHieGia.c/abcHieNew.c/abcLatch.c/abcLib.c/abcMinBase.c/abcNames.c/abcNetlist.c/abcNtk.c/abcObj.c/abcRefs.c/abcShow.c/abcSop.c/abcUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/proof/dch
filetypes: ffffffffffff
filenames:
  dch.h/dchAig.c/dchChoice.c/dchClass.c/dchCnf.c/dchCore.c/dchInt.h/dchMan.c/dchSat.c/dchSim.c/dchSimSat.c/dchSweep.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/aig/gia
filenames:
  gia.h/giaAgi.c/giaAig.c/giaAig.h/giaAiger.c/giaAigerExt.c/giaBalAig.c/giaBalLut.c/giaBalMap.c/giaBidec.c/giaBound.c/giaBsFind.c/giaCCof.c/giaCSat.c/giaCSat2.c/giaCSat3.c/giaCSatOld.c/giaCSatP.c/giaCSatP.h/giaCTas.c/giaCex.c/giaClp.c/giaCof.c/giaCone.c/giaCut.c/giaDecGraph.cpp/giaDecs.c/giaDeep.c/giaDfs.c/giaDup.c/giaEdge.c/giaEmbed.c/giaEnable.c/giaEquiv.c/giaEra.c/giaEra2.c/giaEsop.c/giaExist.c/giaFalse.c/giaFanout.c/giaForce.c/giaFrames.c/giaFront.c/giaFx.c/giaGen.c/giaGig.c/giaGlitch.c/giaHash.c/giaIf.c/giaIff.c/giaIiff.c/giaIso.c/giaIso2.c/giaIso3.c/giaJf.c/giaKf.c/giaLf.c/giaLutCas.c/giaMan.c/giaMem.c/giaMf.c/giaMfs.c/giaMinLut.c/giaMinLut2.c/giaMini.c/giaMulFind.c/giaMulFind3.c/giaMuxes.c/giaNewBdd.h/giaNewTt.h/giaNf.c/giaOf.c/giaPack.c/giaPat.c/giaPat2.c/giaPf.c/giaQbf.c/giaReshape1.c/giaReshape2.c/giaResub.c/giaResub2.c/giaResub3.c/giaResub6.c/giaRetime.c/giaRex.c/giaRrr.cpp/giaSat3.c/giaSatEdge.c/giaSatLE.c/giaSatLut.c/giaSatMap.c/giaSatSyn.c/giaSatoko.c/giaScl.c/giaScript.c/giaShow.c/giaShrink.c/giaShrink6.c/giaShrink7.c/giaSif.c/giaSim.c/giaSim2.c/giaSimBase.c/giaSort.c/giaSpeedup.c/giaSplit.c/giaStg.c/giaStoch.c/giaStr.c/giaSupMin.c/giaSupp.c/giaSupps.c/giaSweep.c/giaSweeper.c/giaSwitch.c/giaTim.c/giaTis.c/giaTranStoch.c/giaTransduction.cpp/giaTransduction.h/giaTruth.c/giaTsim.c/giaTtopt.cpp/giaUnate.c/giaUtil.c

filetypes:
[cell repeats an earlier one in this file: 125 characters]


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/proof/cec
filetypes: ffffffffffffffffffffff
filenames:
  cec.h/cecCec.c/cecChoice.c/cecClass.c/cecCore.c/cecCorr.c/cecInt.h/cecIso.c/cecMan.c/cecPat.c/cecProve.c/cecSat.c/cecSatG.c/cecSatG2.c/cecSatG3.c/cecSeq.c/cecSim.c/cecSolve.c/cecSolveG.c/cecSplit.c/cecSweep.c/cecSynth.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/base/wln
filetypes: ffffffffffffff
filenames:
  wln.c/wln.h/wlnBlast.c/wlnCom.c/wlnGuide.c/wlnMem.c/wlnNdr.c/wlnNtk.c/wlnObj.c/wlnRead.c/wlnRetime.c/wlnRtl.c/wlnWlc.c/wlnWriteVer.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/proof/live
filetypes: fffffffff
filenames:
  arenaViolation.c/combination.c/disjunctiveMonotone.c/kLiveConstraints.c/kliveness.c/liveness.c/liveness_sim.c/ltl_parser.c/monotone.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/bdd/llb
filetypes: ffffffffffffffffffffffff
filenames:
  llb.h/llb1Cluster.c/llb1Constr.c/llb1Core.c/llb1Group.c/llb1Hint.c/llb1Man.c/llb1Matrix.c/llb1Pivot.c/llb1Reach.c/llb1Sched.c/llb2Bad.c/llb2Core.c/llb2Driver.c/llb2Dump.c/llb2Flow.c/llb2Image.c/llb3Image.c/llb3Nonlin.c/llb4Cex.c/llb4Image.c/llb4Nonlin.c/llb4Sweep.c/llbInt.h


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/proof/pdr
filetypes: ffffffffffff
filenames:
  pdr.h/pdrCnf.c/pdrCore.c/pdrIncr.c/pdrInt.h/pdrInv.c/pdrMan.c/pdrSat.c/pdrTsim.c/pdrTsim2.c/pdrTsim3.c/pdrUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/opt
filetypes: ddddddddddddddddddddddddd
filenames:
  cgt/csw/cut/dar/dau/dsc/eslim/fret/fxch/fxu/lpk/mfs/nwk/rar/res/ret/rrr/rwr/rwt/sbd/sfm/sim/ufar/untk/util


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/sat/glucose2
filetypes: ffffffffffffffffffffffff
filenames:
  AbcGlucose2.cpp/AbcGlucose2.h/AbcGlucoseCmd2.cpp/Alg.h/Alloc.h/BoundedQueue.h/CGlucoseCore.h/Glucose2.cpp/Heap.h/Heap2.h/Map.h/Options.h/Options2.cpp/ParseUtils.h/Queue.h/SimpSolver.h/SimpSolver2.cpp/Solver.h/SolverTypes.h/Sort.h/System.h/System2.cpp/Vec.h/XAlloc.h


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/aig/ivy
filetypes: fffffffffffffffffffffff
filenames:
  ivy.h/ivyBalance.c/ivyCanon.c/ivyCheck.c/ivyCut.c/ivyCutTrav.c/ivyDfs.c/ivyDsd.c/ivyFanout.c/ivyFastMap.c/ivyFraig.c/ivyHaig.c/ivyMan.c/ivyMem.c/ivyMulti.c/ivyObj.c/ivyOper.c/ivyResyn.c/ivyRwr.c/ivySeq.c/ivyShow.c/ivyTable.c/ivyUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/proof/fra
filetypes: ffffffffffffffffff
filenames:
  fra.h/fraBmc.c/fraCec.c/fraClass.c/fraClau.c/fraClaus.c/fraCnf.c/fraCore.c/fraHot.c/fraImp.c/fraInd.c/fraIndVer.c/fraLcr.c/fraMan.c/fraPart.c/fraSat.c/fraSec.c/fraSim.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/proof/abs
filetypes: ffffffffffffffffff
filenames:
  abs.h/absDup.c/absGla.c/absGlaOld.c/absIter.c/absOldCex.c/absOldRef.c/absOldSat.c/absOldSim.c/absOut.c/absPth.c/absRef.c/absRef.h/absRefSelect.c/absRpm.c/absRpmOld.c/absUtil.c/absVta.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/opt/dau
filetypes: fffffffffffff
filenames:
  dau.h/dauCanon.c/dauCore.c/dauCount.c/dauDivs.c/dauDsd.c/dauEnum.c/dauGia.c/dauMerge.c/dauNonDsd.c/dauNpn.c/dauNpn2.c/dauTree.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/bool/lucky
filetypes: fffffffff
filenames:
  lucky.c/lucky.h/luckyFast16.c/luckyFast6.c/luckyInt.h/luckyRead.c/luckySimple.c/luckySwap.c/luckySwapIJ.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/opt/cut
filetypes: ffffffffffff
filenames:
  cut.h/cutApi.c/cutCut.c/cutInt.h/cutList.h/cutMan.c/cutMerge.c/cutNode.c/cutOracle.c/cutPre22.c/cutSeq.c/cutTruth.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/bool/kit
filetypes: ffffffffffffff
filenames:
  cloud.c/cloud.h/kit.h/kitAig.c/kitBdd.c/kitCloud.c/kitDsd.c/kitFactor.c/kitGraph.c/kitHop.c/kitIsop.c/kitPla.c/kitSop.c/kitTruth.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/bdd/extrab
filetypes: ffffffffffff
filenames:
  extraBdd.h/extraBddAuto.c/extraBddCas.c/extraBddImage.c/extraBddKmap.c/extraBddMaxMin.c/extraBddMisc.c/extraBddSet.c/extraBddSymm.c/extraBddThresh.c/extraBddTime.c/extraBddUnate.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/opt/nwk
filetypes: fffffffffffffffff
filenames:
  ntlnwk.h/nwk.h/nwkAig.c/nwkBidec.c/nwkCheck.c/nwkDfs.c/nwkFanio.c/nwkFlow.c/nwkMan.c/nwkMap.c/nwkMerge.c/nwkMerge.h/nwkObj.c/nwkSpeedup.c/nwkStrash.c/nwkTiming.c/nwkUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/misc/vec
filetypes: ffffffffffffff
filenames:
  vecAtt.h/vecBit.h/vecFlt.h/vecHash.h/vecHsh.h/vecInt.h/vecMem.h/vecPtr.h/vecQue.h/vecSet.h/vecStr.h/vecVec.h/vecWec.h/vecWrd.h


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/opt/eslim
filetypes: ffffffffffff
filenames:
  eSLIM.cpp/eSLIM.h/eSLIMMan.hpp/eSLIMMan.tpp/relationGeneration.cpp/relationGeneration.hpp/satInterfaces.hpp/selectionStrategy.hpp/selectionStrategy.tpp/synthesisEngine.hpp/synthesisEngine.tpp/utils.hpp


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/opt/rrr
filetypes: ffffffffffffffff
filenames:
  rrr.h/rrrAbc.h/rrrAnalyzer.h/rrrAndNetwork.h/rrrBddAnalyzer.h/rrrBddManager.h/rrrBddMspfAnalyzer.h/rrrLevelBasePartitioner.h/rrrOptimizer.h/rrrParameter.h/rrrPartitioner.h/rrrSatSolver.h/rrrScheduler.h/rrrSimulator.h/rrrTypes.h/rrrUtils.h


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/aig/aig
filetypes: ffffffffffffffffffffffffffffffff
filenames:
  aig.h/aigCanon.c/aigCheck.c/aigCuts.c/aigDfs.c/aigDup.c/aigFanout.c/aigFrames.c/aigInter.c/aigJust.c/aigMan.c/aigMem.c/aigMffc.c/aigObj.c/aigOper.c/aigOrder.c/aigPack.c/aigPart.c/aigPartReg.c/aigPartSat.c/aigRepr.c/aigRet.c/aigRetF.c/aigScl.c/aigShow.c/aigSplit.c/aigTable.c/aigTiming.c/aigTruth.c/aigTsim.c/aigUtil.c/aigWin.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/proof/fraig
filetypes: ffffffffffffff
filenames:
  fraig.h/fraigApi.c/fraigCanon.c/fraigFanout.c/fraigFeed.c/fraigInt.h/fraigMan.c/fraigMem.c/fraigNode.c/fraigPrime.c/fraigSat.c/fraigTable.c/fraigUtil.c/fraigVec.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/sat/bmc
filetypes: ffffffffffffffffffffffffffffffffffff
filenames:
  bmc.h/bmcBCore.c/bmcBmc.c/bmcBmc2.c/bmcBmc3.c/bmcBmcAnd.c/bmcBmcG.c/bmcBmcS.c/bmcBmci.c/bmcCexCare.c/bmcCexCut.c/bmcCexDepth.c/bmcCexMin1.c/bmcCexMin2.c/bmcCexTools.c/bmcChain.c/bmcClp.c/bmcEco.c/bmcExpand.c/bmcFault.c/bmcFx.c/bmcGen.c/bmcICheck.c/bmcInse.c/bmcLoad.c/bmcMaj.c/bmcMaj2.c/bmcMaj3.c/bmcMaj7.c/bmcMaj8.c/bmcMaj9.c/bmcMaxi.c/bmcMesh.c/bmcMesh2.c/bmcMulti.c/bmcUnroll.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/sat/cadical
filenames:
  arena.hpp/averages.hpp/bins.hpp/block.hpp/cadical.hpp/cadicalSolver.c/cadicalSolver.h/cadicalTest.c/cadical_analyze.cpp/cadical_arena.cpp/cadical_assume.cpp/cadical_averages.cpp/cadical_backbone.cpp/cadical_backtrack.cpp/cadical_backward.cpp/cadical_bins.cpp/cadical_block.cpp/cadical_ccadical.cpp/cadical_checker.cpp/cadical_clause.cpp/cadical_collect.cpp/cadical_compact.cpp/cadical_condition.cpp/cadical_config.cpp/cadical_congruence.cpp/cadical_constrain.cpp/cadical_contract.cpp/cadical_cover.cpp/cadical_decide.cpp/cadical_decompose.cpp/cadical_deduplicate.cpp/cadical_definition.cpp/cadical_drattracer.cpp/cadical_elim.cpp/cadical_elimfast.cpp/cadical_ema.cpp/cadical_extend.cpp/cadical_external.cpp/cadical_external_propagate.cpp/cadical_factor.cpp/cadical_file.cpp/cadical_flags.cpp/cadical_flip.cpp/cadical_format.cpp/cadical_frattracer.cpp/cadical_gates.cpp/cadical_idruptracer.cpp/cadical_instantiate.cpp/cadical_internal.cpp/cadical_ipasir.cpp/cadical_kitten.c/cadical_lidruptracer.cpp/cadical_limit.cpp/cadical_logging.cpp/cadical_lookahead.cpp/cadical_lratchecker.cpp/cadical_lrattracer.cpp/cadical_lucky.cpp/cadical_message.cpp/cadical_minimize.cpp/cadical_occs.cpp/cadical_options.cpp/cadical_parse.cpp/cadical_phases.cpp/cadical_probe.cpp/cadical_profile.cpp/cadical_proof.cpp/cadical_propagate.cpp/cadical_queue.cpp/cadical_random.cpp/cadical_reap.cpp/cadical_reduce.cpp/cadical_rephase.cpp/cadical_report.cpp/cadical_resources.cpp/cadical_restart.cpp/cadical_restore.cpp/cadical_score.cpp/cadical_shrink.cpp/cadical_signal.cpp/cadical_solution.cpp/cadical_solver.cpp/cadical_stable.cpp/cadical_stats.cpp/cadical_subsume.cpp/cadical_sweep.cpp/cadical_terminal.cpp/cadical_ternary.cpp/cadical_tier.cpp/cadical_transred.cpp/cadical_unstable.cpp/cadical_util.cpp/cadical_var.cpp/cadical_veripbtracer.cpp/cadical_version.cpp/cadical_vivify.cpp/cadical_walk.cpp/cadical_walk_full_occs.cpp/cadical_warmup.cpp/cadical_watch.cpp/ccadical.h/checker.hpp/clause.hpp/config.hpp/congruence.hpp/decompose.hpp/drattracer.hpp/elim.hpp/ema.hpp/external.hpp/factor.hpp/file.hpp/flags.hpp/format.hpp/frattracer.hpp/heap.hpp/idruptracer.hpp/instantiate.hpp/internal.hpp/kitten.h/level.hpp/lidruptracer.hpp/limit.hpp/lratchecker.hpp/lrattracer.hpp/occs.hpp/options.hpp/parse.hpp/phases.hpp/proof.hpp/queue.hpp/radix.hpp/random.h/random.hpp/range.hpp/reap.hpp/reluctant.hpp/resources.hpp/score.hpp/signal.hpp/stack.h/stats.hpp/sweep.hpp/terminal.hpp/tracer.hpp/util.hpp/var.hpp/veripbtracer.hpp/version.hpp/vivify.hpp/walk.hpp/watch.hpp

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/sat/kissat
filenames:
  allocate.c/allocate.h/analyze.c/analyze.h/ands.c/ands.h/arena.c/arena.h/array.h/assign.c/assign.h/averages.c/averages.h/backbone.c/backbone.h/backtrack.c/backtrack.h/build.c/bump.c/bump.h/check.c/classify.c/classify.h/clause.c/clause.h/collect.c/collect.h/colors.c/colors.h/compact.c/compact.h/config.c/congruence.c/congruence.h/decide.c/decide.h/deduce.c/deduce.h/definition.c/definition.h/dense.c/dense.h/dump.c/eliminate.c/eliminate.h/equivalences.c/equivalences.h/error.c/error.h/extend.c/extend.h/factor.c/factor.h/fastassign.h/fastel.c/fastel.h/fifo.h/file.c/file.h/flags.c/flags.h/format.c/format.h/forward.c/forward.h/frames.h/gates.c/gates.h/heap.c/heap.h/ifthenelse.c/ifthenelse.h/import.c/import.h/inline.h/inlineassign.h/inlineframes.h/inlineheap.h/inlinequeue.h/inlinevector.h/internal.c/internal.h/kimits.c/kimits.h/kissat.h/kissatSolver.c/kissatSolver.h/kissatTest.c/kitten.c/kitten.h/kptions.c/krite.c/kucky.c/learn.c/learn.h/logging.c/lucky.h/minimize.c/minimize.h/mode.c/mode.h/options.h/phases.c/phases.h/preprocess.c/preprocess.h/print.c/probe.c/probe.h/profile.c/promote.c/promote.h/proof.c/propbeyond.c/propbeyond.h/propdense.c/propdense.h/propinitially.c/propinitially.h/proplit.h/proprobe.c/proprobe.h/propsearch.c/propsearch.h/queue.c/queue.h/random.h/reduce.c/reduce.h/reference.h/reluctant.c/reluctant.h/reorder.c/reorder.h/rephase.c/rephase.h/report.c/resize.c/resize.h/resolve.c/resolve.h/resources.c/restart.c/restart.h/search.c/search.h/shrink.c/shrink.h/smooth.c/smooth.h/sort.c/stack.c/stack.h/statistics.c/statistics.h/strengthen.c/strengthen.h/substitute.c/substitute.h/sweep.c/sweep.h/terminate.c/terminate.h/tiers.c/tiers.h/trail.c/trail.h/transitive.c/transitive.h/utilities.c/utilities.h/value.h/vector.c/vector.h/vivify.c/vivify.h/walk.c/walk.h/warmup.c/warmup.h/watch.c/watch.h/weaken.c/weaken.h

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/base/main
filetypes: ffffffffff
filenames:
  abcapis.h/libSupport.c/main.c/main.h/mainFrame.c/mainInit.c/mainInt.h/mainLib.c/mainReal.c/mainUtils.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/base/bac
filetypes: fffffffffffffffff
filenames:
  bac.h/bacBac.c/bacBlast.c/bacCom.c/bacLib.c/bacNtk.c/bacPrs.h/bacPrsBuild.c/bacPrsTrans.c/bacPtr.c/bacPtrAbc.c/bacReadBlif.c/bacReadSmt.c/bacReadVer.c/bacWriteBlif.c/bacWriteSmt.c/bacWriteVer.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/proof/ssw
filetypes: ffffffffffffffffffffff
filenames:
  ssw.h/sswAig.c/sswBmc.c/sswClass.c/sswCnf.c/sswConstr.c/sswCore.c/sswDyn.c/sswFilter.c/sswInt.h/sswIslands.c/sswLcorr.c/sswMan.c/sswPairs.c/sswPart.c/sswRarity.c/sswSat.c/sswSemi.c/sswSim.c/sswSimSat.c/sswSweep.c/sswUnique.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/sat/msat
filetypes: fffffffffffffff
filenames:
  msat.h/msatActivity.c/msatClause.c/msatClauseVec.c/msatInt.h/msatMem.c/msatOrderH.c/msatQueue.c/msatRead.c/msatSolverApi.c/msatSolverCore.c/msatSolverIo.c/msatSolverSearch.c/msatSort.c/msatVec.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/proof/int
filetypes: ffffffffffff
filenames:
  int.h/intCheck.c/intContain.c/intCore.c/intCtrex.c/intDup.c/intFrames.c/intInt.h/intInter.c/intM114.c/intMan.c/intUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/sat/xsat
filetypes: fffffffffff
filenames:
  xsat.h/xsatBQueue.h/xsatClause.h/xsatCnfReader.c/xsatHeap.h/xsatMemory.h/xsatSolver.c/xsatSolver.h/xsatSolverAPI.c/xsatUtils.h/xsatWatchList.h


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/sat/glucose
filetypes: ffffffffffffffffffffff
filenames:
  AbcGlucose.cpp/AbcGlucose.h/AbcGlucoseCmd.cpp/Alg.h/Alloc.h/BoundedQueue.h/Glucose.cpp/Heap.h/Map.h/Options.cpp/Options.h/ParseUtils.h/Queue.h/SimpSolver.cpp/SimpSolver.h/Solver.h/SolverTypes.h/Sort.h/System.cpp/System.h/Vec.h/XAlloc.h


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/map/mapper
filetypes: fffffffffffffffffff
filenames:
  mapper.c/mapper.h/mapperCanon.c/mapperCore.c/mapperCreate.c/mapperCut.c/mapperCutUtils.c/mapperInt.h/mapperLib.c/mapperMatch.c/mapperRefs.c/mapperSuper.c/mapperSwitch.c/mapperTable.c/mapperTime.c/mapperTree.c/mapperTruth.c/mapperUtils.c/mapperVec.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/base/acb
filetypes: fffffffffff
filenames:
  acb.h/acbAbc.c/acbAig.c/acbCom.c/acbFunc.c/acbMfs.c/acbPar.h/acbPush.c/acbSets.c/acbTest.c/acbUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/aig/hop
filetypes: fffffffffff
filenames:
  hop.h/hopBalance.c/hopCheck.c/hopDfs.c/hopMan.c/hopMem.c/hopObj.c/hopOper.c/hopTable.c/hopTruth.c/hopUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/map/if
filetypes: dffffffffffffffffffffffffffffff
filenames:
  acd/if.h/ifCache.c/ifCom.c/ifCore.c/ifCount.h/ifCut.c/ifData2.c/ifDec07.c/ifDec08.c/ifDec10.c/ifDec16.c/ifDec66.c/ifDec75.c/ifDecJ.c/ifDelay.c/ifDsd.c/ifLibBox.c/ifLibLut.c/ifMan.c/ifMap.c/ifMatch2.c/ifReduce.c/ifSat.c/ifSelect.c/ifSeq.c/ifTest.c/ifTime.c/ifTruth.c/ifTune.c/ifUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/misc/extra
filetypes: fffffffffffffffffffff
filenames:
  extra.h/extraUtilBitMatrix.c/extraUtilCanon.c/extraUtilCfs.c/extraUtilCube.c/extraUtilDsd.c/extraUtilEnum.c/extraUtilFile.c/extraUtilGen.c/extraUtilMacc.c/extraUtilMaj.c/extraUtilMemory.c/extraUtilMisc.c/extraUtilMult.c/extraUtilPath.c/extraUtilPerm.c/extraUtilProgress.c/extraUtilReader.c/extraUtilSupp.c/extraUtilTruth.c/extraUtilUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/aig/saig
filetypes: ffffffffffffffffffffffffffff
filenames:
  saig.h/saigCone.c/saigConstr.c/saigConstr2.c/saigDual.c/saigDup.c/saigInd.c/saigIoa.c/saigIso.c/saigIsoFast.c/saigIsoSlow.c/saigMiter.c/saigOutDec.c/saigPhase.c/saigRetFwd.c/saigRetMin.c/saigRetStep.c/saigScl.c/saigSimFast.c/saigSimMv.c/saigSimSeq.c/saigStrSim.c/saigSwitch.c/saigSynch.c/saigTempor.c/saigTrans.c/saigUnfold2.c/saigWnd.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/sat/satoko
filetypes: ffffffffffdf
filenames:
  act_clause.h/act_var.h/cdb.h/clause.h/cnf_reader.c/satoko.h/solver.c/solver.h/solver_api.c/types.h/utils/watch_list.h


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/map/amap
filetypes: fffffffffffffff
filenames:
  amap.h/amapCore.c/amapGraph.c/amapInt.h/amapLib.c/amapLiberty.c/amapMan.c/amapMatch.c/amapMerge.c/amapOutput.c/amapParse.c/amapPerm.c/amapRead.c/amapRule.c/amapUniq.c


dirname: /usr/src/debug/yosyshq-abc-0.61-2.20260115git799ba63.fc42.aarch64/src/base/cba
filetypes: fffffffffff
filenames:
  cba.h/cbaBlast.c/cbaCba.c/cbaCom.c/cbaNtk.c/cbaPrs.h/cbaReadBlif.c/cbaReadVer.c/cbaTypes.h/cbaWriteBlif.c/cbaWriteVer.c


