%FILES%
usr/
usr/bin/
usr/bin/aslref
usr/bin/aslspec
usr/bin/atomize7
usr/bin/atoms7
usr/bin/bento
usr/bin/cat2html7
usr/bin/cat2lisp
usr/bin/classify7
usr/bin/diy7
usr/bin/diycross7
usr/bin/diymicro7
usr/bin/diymicroenum7
usr/bin/diyone7
usr/bin/dot2desc7
usr/bin/gen_theme7
usr/bin/herd7
usr/bin/jingle7
usr/bin/klitmus7
usr/bin/knames7
usr/bin/ksort7
usr/bin/litmus7
usr/bin/madd7
usr/bin/mapply7
usr/bin/mcat2includes7
usr/bin/mcmp7
usr/bin/mcompare7
usr/bin/mcond7
usr/bin/mcycles7
usr/bin/mdiag7
usr/bin/mdiff7
usr/bin/mexpand7
usr/bin/mfilter7
usr/bin/mfind7
usr/bin/mflags7
usr/bin/mhash7
usr/bin/miaou7
usr/bin/mlisa2c7
usr/bin/mlock7
usr/bin/mlog2cond7
usr/bin/mlog2name7
usr/bin/mmixer7
usr/bin/mnames7
usr/bin/mobserved7
usr/bin/moutcomes7
usr/bin/mprog7
usr/bin/mproj7
usr/bin/mrcu7
usr/bin/mselect7
usr/bin/mshowhashes7
usr/bin/msort7
usr/bin/msum7
usr/bin/mtopos7
usr/bin/mtrue7
usr/bin/nexts7
usr/bin/norm7
usr/bin/primitives_to_ml
usr/bin/readRelax7
usr/bin/recond7
usr/bin/rehash7
usr/bin/splitcond7
usr/bin/splitdot7
usr/doc/
usr/doc/herdtools7/
usr/doc/herdtools7/CHANGES.txt
usr/doc/herdtools7/LICENSE.txt
usr/doc/herdtools7/README-tests.md
usr/doc/herdtools7/README.md
usr/doc/herdtools7/odoc-pages/
usr/doc/herdtools7/odoc-pages/README.mld
usr/doc/herdtools7/odoc-pages/index.mld
usr/lib/
usr/lib/herdtools7/
usr/lib/herdtools7/META
usr/lib/herdtools7/asllib/
usr/lib/herdtools7/asllib/.private/
usr/lib/herdtools7/asllib/.private/asllib__Gparser0.cmi
usr/lib/herdtools7/asllib/.private/asllib__Gparser0.cmt
usr/lib/herdtools7/asllib/.private/asllib__Lexer0.cmi
usr/lib/herdtools7/asllib/.private/asllib__Lexer0.cmt
usr/lib/herdtools7/asllib/.private/asllib__Parser0.cmi
usr/lib/herdtools7/asllib/.private/asllib__Parser0.cmt
usr/lib/herdtools7/asllib/.private/asllib__Parser0.cmti
usr/lib/herdtools7/asllib/.private/asllib__RepeatableLexer.cmi
usr/lib/herdtools7/asllib/.private/asllib__RepeatableLexer.cmt
usr/lib/herdtools7/asllib/.private/asllib__SimpleLexer0.cmi
usr/lib/herdtools7/asllib/.private/asllib__SimpleLexer0.cmt
usr/lib/herdtools7/asllib/AST.mli
usr/lib/herdtools7/asllib/ASTUtils.ml
usr/lib/herdtools7/asllib/ASTUtils.mli
usr/lib/herdtools7/asllib/DependencyAnalysis.ml
usr/lib/herdtools7/asllib/DependencyAnalysis.mli
usr/lib/herdtools7/asllib/Interpreter.ml
usr/lib/herdtools7/asllib/Interpreter.mli
usr/lib/herdtools7/asllib/Lexer.ml
usr/lib/herdtools7/asllib/Native.ml
usr/lib/herdtools7/asllib/Native.mli
usr/lib/herdtools7/asllib/Operations.ml
usr/lib/herdtools7/asllib/PP.ml
usr/lib/herdtools7/asllib/PP.mli
usr/lib/herdtools7/asllib/Parser.ml
usr/lib/herdtools7/asllib/Parser.mli
usr/lib/herdtools7/asllib/Parser0.ml
usr/lib/herdtools7/asllib/Parser0.mli
usr/lib/herdtools7/asllib/ParserConfig.mli
usr/lib/herdtools7/asllib/Serialize.ml
usr/lib/herdtools7/asllib/Serialize.mli
usr/lib/herdtools7/asllib/SideEffect.ml
usr/lib/herdtools7/asllib/SideEffect.mli
usr/lib/herdtools7/asllib/SimpleLexer0.ml
usr/lib/herdtools7/asllib/StaticEnv.ml
usr/lib/herdtools7/asllib/StaticEnv.mli
usr/lib/herdtools7/asllib/StaticInterpreter.ml
usr/lib/herdtools7/asllib/StaticInterpreter.mli
usr/lib/herdtools7/asllib/StaticModel.ml
usr/lib/herdtools7/asllib/StaticModel.mli
usr/lib/herdtools7/asllib/StaticOperations.ml
usr/lib/herdtools7/asllib/StaticOperations.mli
usr/lib/herdtools7/asllib/Tokens.ml
usr/lib/herdtools7/asllib/Tokens.mli
usr/lib/herdtools7/asllib/TopoSort.ml
usr/lib/herdtools7/asllib/TopoSort.mli
usr/lib/herdtools7/asllib/Typing.ml
usr/lib/herdtools7/asllib/Typing.mli
usr/lib/herdtools7/asllib/Version.ml
usr/lib/herdtools7/asllib/asl_stdlib.ml
usr/lib/herdtools7/asllib/asllib.a
usr/lib/herdtools7/asllib/asllib.cma
usr/lib/herdtools7/asllib/asllib.cmi
usr/lib/herdtools7/asllib/asllib.cmt
usr/lib/herdtools7/asllib/asllib.cmx
usr/lib/herdtools7/asllib/asllib.cmxa
usr/lib/herdtools7/asllib/asllib.cmxs
usr/lib/herdtools7/asllib/asllib.ml
usr/lib/herdtools7/asllib/asllib__AST.cmi
usr/lib/herdtools7/asllib/asllib__AST.cmti
usr/lib/herdtools7/asllib/asllib__ASTUtils.cmi
usr/lib/herdtools7/asllib/asllib__ASTUtils.cmt
usr/lib/herdtools7/asllib/asllib__ASTUtils.cmti
usr/lib/herdtools7/asllib/asllib__ASTUtils.cmx
usr/lib/herdtools7/asllib/asllib__Asl_stdlib.cmi
usr/lib/herdtools7/asllib/asllib__Asl_stdlib.cmt
usr/lib/herdtools7/asllib/asllib__Asl_stdlib.cmx
usr/lib/herdtools7/asllib/asllib__Backend.cmi
usr/lib/herdtools7/asllib/asllib__Backend.cmti
usr/lib/herdtools7/asllib/asllib__Bitvector.cmi
usr/lib/herdtools7/asllib/asllib__Bitvector.cmt
usr/lib/herdtools7/asllib/asllib__Bitvector.cmti
usr/lib/herdtools7/asllib/asllib__Bitvector.cmx
usr/lib/herdtools7/asllib/asllib__Builder.cmi
usr/lib/herdtools7/asllib/asllib__Builder.cmt
usr/lib/herdtools7/asllib/asllib__Builder.cmti
usr/lib/herdtools7/asllib/asllib__Builder.cmx
usr/lib/herdtools7/asllib/asllib__DependencyAnalysis.cmi
usr/lib/herdtools7/asllib/asllib__DependencyAnalysis.cmt
usr/lib/herdtools7/asllib/asllib__DependencyAnalysis.cmti
usr/lib/herdtools7/asllib/asllib__DependencyAnalysis.cmx
usr/lib/herdtools7/asllib/asllib__Desugar.cmi
usr/lib/herdtools7/asllib/asllib__Desugar.cmt
usr/lib/herdtools7/asllib/asllib__Desugar.cmti
usr/lib/herdtools7/asllib/asllib__Desugar.cmx
usr/lib/herdtools7/asllib/asllib__Diet.cmi
usr/lib/herdtools7/asllib/asllib__Diet.cmt
usr/lib/herdtools7/asllib/asllib__Diet.cmti
usr/lib/herdtools7/asllib/asllib__Diet.cmx
usr/lib/herdtools7/asllib/asllib__Env.cmi
usr/lib/herdtools7/asllib/asllib__Env.cmt
usr/lib/herdtools7/asllib/asllib__Env.cmti
usr/lib/herdtools7/asllib/asllib__Env.cmx
usr/lib/herdtools7/asllib/asllib__Error.cmi
usr/lib/herdtools7/asllib/asllib__Error.cmt
usr/lib/herdtools7/asllib/asllib__Error.cmx
usr/lib/herdtools7/asllib/asllib__Gparser0.cmx
usr/lib/herdtools7/asllib/asllib__Instrumentation.cmi
usr/lib/herdtools7/asllib/asllib__Instrumentation.cmt
usr/lib/herdtools7/asllib/asllib__Instrumentation.cmx
usr/lib/herdtools7/asllib/asllib__Interpreter.cmi
usr/lib/herdtools7/asllib/asllib__Interpreter.cmt
usr/lib/herdtools7/asllib/asllib__Interpreter.cmti
usr/lib/herdtools7/asllib/asllib__Interpreter.cmx
usr/lib/herdtools7/asllib/asllib__Lexer.cmi
usr/lib/herdtools7/asllib/asllib__Lexer.cmt
usr/lib/herdtools7/asllib/asllib__Lexer.cmx
usr/lib/herdtools7/asllib/asllib__Lexer0.cmx
usr/lib/herdtools7/asllib/asllib__Lispobj.cmi
usr/lib/herdtools7/asllib/asllib__Lispobj.cmt
usr/lib/herdtools7/asllib/asllib__Lispobj.cmx
usr/lib/herdtools7/asllib/asllib__Native.cmi
usr/lib/herdtools7/asllib/asllib__Native.cmt
usr/lib/herdtools7/asllib/asllib__Native.cmti
usr/lib/herdtools7/asllib/asllib__Native.cmx
usr/lib/herdtools7/asllib/asllib__Operations.cmi
usr/lib/herdtools7/asllib/asllib__Operations.cmt
usr/lib/herdtools7/asllib/asllib__Operations.cmx
usr/lib/herdtools7/asllib/asllib__PP.cmi
usr/lib/herdtools7/asllib/asllib__PP.cmt
usr/lib/herdtools7/asllib/asllib__PP.cmti
usr/lib/herdtools7/asllib/asllib__PP.cmx
usr/lib/herdtools7/asllib/asllib__Parser.cmi
usr/lib/herdtools7/asllib/asllib__Parser.cmt
usr/lib/herdtools7/asllib/asllib__Parser.cmti
usr/lib/herdtools7/asllib/asllib__Parser.cmx
usr/lib/herdtools7/asllib/asllib__Parser0.cmx
usr/lib/herdtools7/asllib/asllib__ParserConfig.cmi
usr/lib/herdtools7/asllib/asllib__ParserConfig.cmti
usr/lib/herdtools7/asllib/asllib__Parser_errors.cmi
usr/lib/herdtools7/asllib/asllib__Parser_errors.cmt
usr/lib/herdtools7/asllib/asllib__Parser_errors.cmx
usr/lib/herdtools7/asllib/asllib__RepeatableLexer.cmx
usr/lib/herdtools7/asllib/asllib__Serialize.cmi
usr/lib/herdtools7/asllib/asllib__Serialize.cmt
usr/lib/herdtools7/asllib/asllib__Serialize.cmti
usr/lib/herdtools7/asllib/asllib__Serialize.cmx
usr/lib/herdtools7/asllib/asllib__SideEffect.cmi
usr/lib/herdtools7/asllib/asllib__SideEffect.cmt
usr/lib/herdtools7/asllib/asllib__SideEffect.cmti
usr/lib/herdtools7/asllib/asllib__SideEffect.cmx
usr/lib/herdtools7/asllib/asllib__SimpleLexer0.cmx
usr/lib/herdtools7/asllib/asllib__Splitasl.cmi
usr/lib/herdtools7/asllib/asllib__Splitasl.cmt
usr/lib/herdtools7/asllib/asllib__Splitasl.cmti
usr/lib/herdtools7/asllib/asllib__Splitasl.cmx
usr/lib/herdtools7/asllib/asllib__StaticEnv.cmi
usr/lib/herdtools7/asllib/asllib__StaticEnv.cmt
usr/lib/herdtools7/asllib/asllib__StaticEnv.cmti
usr/lib/herdtools7/asllib/asllib__StaticEnv.cmx
usr/lib/herdtools7/asllib/asllib__StaticInterpreter.cmi
usr/lib/herdtools7/asllib/asllib__StaticInterpreter.cmt
usr/lib/herdtools7/asllib/asllib__StaticInterpreter.cmti
usr/lib/herdtools7/asllib/asllib__StaticInterpreter.cmx
usr/lib/herdtools7/asllib/asllib__StaticModel.cmi
usr/lib/herdtools7/asllib/asllib__StaticModel.cmt
usr/lib/herdtools7/asllib/asllib__StaticModel.cmti
usr/lib/herdtools7/asllib/asllib__StaticModel.cmx
usr/lib/herdtools7/asllib/asllib__StaticOperations.cmi
usr/lib/herdtools7/asllib/asllib__StaticOperations.cmt
usr/lib/herdtools7/asllib/asllib__StaticOperations.cmti
usr/lib/herdtools7/asllib/asllib__StaticOperations.cmx
usr/lib/herdtools7/asllib/asllib__ToLisp.cmi
usr/lib/herdtools7/asllib/asllib__ToLisp.cmt
usr/lib/herdtools7/asllib/asllib__ToLisp.cmx
usr/lib/herdtools7/asllib/asllib__Tokens.cmi
usr/lib/herdtools7/asllib/asllib__Tokens.cmt
usr/lib/herdtools7/asllib/asllib__Tokens.cmti
usr/lib/herdtools7/asllib/asllib__Tokens.cmx
usr/lib/herdtools7/asllib/asllib__TopoSort.cmi
usr/lib/herdtools7/asllib/asllib__TopoSort.cmt
usr/lib/herdtools7/asllib/asllib__TopoSort.cmti
usr/lib/herdtools7/asllib/asllib__TopoSort.cmx
usr/lib/herdtools7/asllib/asllib__Types.cmi
usr/lib/herdtools7/asllib/asllib__Types.cmt
usr/lib/herdtools7/asllib/asllib__Types.cmti
usr/lib/herdtools7/asllib/asllib__Types.cmx
usr/lib/herdtools7/asllib/asllib__Typing.cmi
usr/lib/herdtools7/asllib/asllib__Typing.cmt
usr/lib/herdtools7/asllib/asllib__Typing.cmti
usr/lib/herdtools7/asllib/asllib__Typing.cmx
usr/lib/herdtools7/asllib/asllib__Version.cmi
usr/lib/herdtools7/asllib/asllib__Version.cmt
usr/lib/herdtools7/asllib/asllib__Version.cmx
usr/lib/herdtools7/asllib/backend.mli
usr/lib/herdtools7/asllib/bitvector.ml
usr/lib/herdtools7/asllib/bitvector.mli
usr/lib/herdtools7/asllib/builder.ml
usr/lib/herdtools7/asllib/builder.mli
usr/lib/herdtools7/asllib/desugar.ml
usr/lib/herdtools7/asllib/desugar.mli
usr/lib/herdtools7/asllib/diet.ml
usr/lib/herdtools7/asllib/diet.mli
usr/lib/herdtools7/asllib/env.ml
usr/lib/herdtools7/asllib/env.mli
usr/lib/herdtools7/asllib/error.ml
usr/lib/herdtools7/asllib/gparser0.ml
usr/lib/herdtools7/asllib/instrumentation.ml
usr/lib/herdtools7/asllib/lexer0.ml
usr/lib/herdtools7/asllib/lispobj.ml
usr/lib/herdtools7/asllib/parser_errors.ml
usr/lib/herdtools7/asllib/repeatableLexer.ml
usr/lib/herdtools7/asllib/splitasl.ml
usr/lib/herdtools7/asllib/splitasl.mli
usr/lib/herdtools7/asllib/toLisp.ml
usr/lib/herdtools7/asllib/types.ml
usr/lib/herdtools7/asllib/types.mli
usr/lib/herdtools7/dune-package
usr/lib/herdtools7/opam
usr/share/
usr/share/herdtools7/
usr/share/herdtools7/herd/
usr/share/herdtools7/herd/C11-README.txt
usr/share/herdtools7/herd/LL.cat
usr/share/herdtools7/herd/aarch32.cat
usr/share/herdtools7/herd/aarch64-obsolete.cat
usr/share/herdtools7/herd/aarch64.cat
usr/share/herdtools7/herd/aarch64/
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/aarch64.cat
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/aarch64bbm.cat
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/aarch64deps.cat
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/aarch64fences.cat
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/aarch64hwreqs.cat
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/aarch64loc.cat
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/aarch64memattrs.cat
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/aarch64show.cat
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/aarch64util.cat
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/catdefinitions.tex
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/cos-no-opt.cat
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/cos-ok-opt.cat
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/cos.cat
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/cross.cat
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/enumerations.cat
usr/share/herdtools7/herd/aarch64/ArmARM-L.b/stdlib.cat
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/aarch64.cat
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/aarch64bbm.cat
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/aarch64deps.cat
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/aarch64fences.cat
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/aarch64hwreqs.cat
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/aarch64loc.cat
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/aarch64memattrs.cat
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/aarch64show.cat
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/aarch64util.cat
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/catdefinitions.tex
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/cos-no-opt.cat
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/cos-ok-opt.cat
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/cos.cat
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/cross.cat
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/enumerations.cat
usr/share/herdtools7/herd/aarch64/ArmARM-M.a/stdlib.cat
usr/share/herdtools7/herd/aarch64bbm.cat
usr/share/herdtools7/herd/aarch64deps.cat
usr/share/herdtools7/herd/aarch64fences.cat
usr/share/herdtools7/herd/aarch64hwreqs.cat
usr/share/herdtools7/herd/aarch64loc.cat
usr/share/herdtools7/herd/aarch64memattrs.cat
usr/share/herdtools7/herd/aarch64show.cat
usr/share/herdtools7/herd/aarch64util.cat
usr/share/herdtools7/herd/all.cfg
usr/share/herdtools7/herd/apoil.cfg
usr/share/herdtools7/herd/arm-alt.cat
usr/share/herdtools7/herd/arm-models/
usr/share/herdtools7/herd/arm-models/mixed/
usr/share/herdtools7/herd/arm-models/mixed/armv8-common.cat
usr/share/herdtools7/herd/arm-models/mixed/ec.cat
usr/share/herdtools7/herd/arm-models/mixed/egc.cat
usr/share/herdtools7/herd/arm-models/mixed/ev.cat
usr/share/herdtools7/herd/arm-models/mixed/sca.cat
usr/share/herdtools7/herd/arm-models/non-mixed/
usr/share/herdtools7/herd/arm-models/non-mixed/armv8-common.cat
usr/share/herdtools7/herd/arm-models/non-mixed/ec.cat
usr/share/herdtools7/herd/arm-models/non-mixed/egc.cat
usr/share/herdtools7/herd/arm-models/non-mixed/ev.cat
usr/share/herdtools7/herd/arm-models/proofs/
usr/share/herdtools7/herd/arm-models/proofs/mixed_v8_equivalences.v
usr/share/herdtools7/herd/arm-models/proofs/non_mixed_v8_equivalences.v
usr/share/herdtools7/herd/arm.cat
usr/share/herdtools7/herd/armfences.cat
usr/share/herdtools7/herd/armllh.cat
usr/share/herdtools7/herd/asl-pseudo-arch.cat
usr/share/herdtools7/herd/asl-pseudocode/
usr/share/herdtools7/herd/asl-pseudocode/.gitignore
usr/share/herdtools7/herd/asl-pseudocode/Makefile
usr/share/herdtools7/herd/asl-pseudocode/README.md
usr/share/herdtools7/herd/asl-pseudocode/build_features.py
usr/share/herdtools7/herd/asl-pseudocode/bundler.py
usr/share/herdtools7/herd/asl-pseudocode/implementations-vmsa.asl
usr/share/herdtools7/herd/asl-pseudocode/implementations.asl
usr/share/herdtools7/herd/asl-pseudocode/patches-vmsa.asl
usr/share/herdtools7/herd/asl-pseudocode/patches.asl
usr/share/herdtools7/herd/asl-pseudocode/physmem-std.asl
usr/share/herdtools7/herd/asl-pseudocode/physmem-vmsa.asl
usr/share/herdtools7/herd/asl-pseudocode/shared_pseudocode.asl.diff
usr/share/herdtools7/herd/asl-pseudocode/trbmpam_el1.asl
usr/share/herdtools7/herd/asl-pseudocode/type-checking-implementations.asl
usr/share/herdtools7/herd/asl.cat
usr/share/herdtools7/herd/atom-arm.cat
usr/share/herdtools7/herd/atom.cat
usr/share/herdtools7/herd/bpf.cat
usr/share/herdtools7/herd/c11.bell
usr/share/herdtools7/herd/c11.def
usr/share/herdtools7/herd/c11_base.cat
usr/share/herdtools7/herd/c11_cos.cat
usr/share/herdtools7/herd/c11_los.cat
usr/share/herdtools7/herd/c11_orig.cat
usr/share/herdtools7/herd/c11_partialSC.cat
usr/share/herdtools7/herd/c11_simp.cat
usr/share/herdtools7/herd/catdefinitions.tex
usr/share/herdtools7/herd/choices.cat
usr/share/herdtools7/herd/compat.cat
usr/share/herdtools7/herd/cos-no-opt.cat
usr/share/herdtools7/herd/cos-ok-opt.cat
usr/share/herdtools7/herd/cos-opt.cat
usr/share/herdtools7/herd/cos.cat
usr/share/herdtools7/herd/coscat.cat
usr/share/herdtools7/herd/cosllh.cat
usr/share/herdtools7/herd/cpp11.cfg
usr/share/herdtools7/herd/cross.cat
usr/share/herdtools7/herd/ctrl-bis.cat
usr/share/herdtools7/herd/ctrl.cat
usr/share/herdtools7/herd/deps-instances.cat
usr/share/herdtools7/herd/deps-new.cat
usr/share/herdtools7/herd/deps.cat
usr/share/herdtools7/herd/deps.cfg
usr/share/herdtools7/herd/doc64.cat
usr/share/herdtools7/herd/enslip.cfg
usr/share/herdtools7/herd/enumerations.cat
usr/share/herdtools7/herd/fences.cat
usr/share/herdtools7/herd/filters.cat
usr/share/herdtools7/herd/fulleieio.cat
usr/share/herdtools7/herd/herd.cat
usr/share/herdtools7/herd/herdcat.cat
usr/share/herdtools7/herd/ifetch-cos.cat
usr/share/herdtools7/herd/kernel.cfg
usr/share/herdtools7/herd/kernel.def
usr/share/herdtools7/herd/lessrelaxed.cat
usr/share/herdtools7/herd/mini.cat
usr/share/herdtools7/herd/minimal.cat
usr/share/herdtools7/herd/minimalcat.cat
usr/share/herdtools7/herd/mips-tso.cat
usr/share/herdtools7/herd/mips.cat
usr/share/herdtools7/herd/mipsfences.cat
usr/share/herdtools7/herd/naked.cat
usr/share/herdtools7/herd/ncos.cat
usr/share/herdtools7/herd/ncross.cat
usr/share/herdtools7/herd/ppc-checks.cat
usr/share/herdtools7/herd/ppc.cat
usr/share/herdtools7/herd/ppcfences.cat
usr/share/herdtools7/herd/ppo.cat
usr/share/herdtools7/herd/pretty.cat
usr/share/herdtools7/herd/prettycat.cat
usr/share/herdtools7/herd/qualcomm.cat
usr/share/herdtools7/herd/rc11.cat
usr/share/herdtools7/herd/riscv-defs.cat
usr/share/herdtools7/herd/riscv-total.cat
usr/share/herdtools7/herd/riscv-tso-defs.cat
usr/share/herdtools7/herd/riscv-tso.cat
usr/share/herdtools7/herd/riscv.cat
usr/share/herdtools7/herd/sc.cat
usr/share/herdtools7/herd/sccat.cat
usr/share/herdtools7/herd/show-deps.cat
usr/share/herdtools7/herd/simple-arm.cat
usr/share/herdtools7/herd/simple-c11.cat
usr/share/herdtools7/herd/stdlib.cat
usr/share/herdtools7/herd/tso.cat
usr/share/herdtools7/herd/uni.cat
usr/share/herdtools7/herd/uniproc+sca.cat
usr/share/herdtools7/herd/uniproc-normw-cat.cat
usr/share/herdtools7/herd/uniproc.cat
usr/share/herdtools7/herd/uniproccat.cat
usr/share/herdtools7/herd/web.cfg
usr/share/herdtools7/herd/x86fences.cat
usr/share/herdtools7/herd/x86tso-mixed.cat
usr/share/herdtools7/herd/x86tso.cat
usr/share/herdtools7/herd/xchg.def
usr/share/herdtools7/jingle/
usr/share/herdtools7/jingle/AArch64toBell.theme
usr/share/herdtools7/jingle/BelltoAArch64.theme
usr/share/herdtools7/jingle/BelltoARM.theme
usr/share/herdtools7/jingle/BelltoC.theme
usr/share/herdtools7/jingle/CtoAArch64.theme
usr/share/herdtools7/jingle/Linux.call
usr/share/herdtools7/jingle/Linux2AArch64.map
usr/share/herdtools7/jingle/Linux2PPC.map
usr/share/herdtools7/jingle/RISCV2AArch64.map
usr/share/herdtools7/jingle/test.theme
usr/share/herdtools7/litmus/
usr/share/herdtools7/litmus/ARM.cfg
usr/share/herdtools7/litmus/ARM_ADB.cfg
usr/share/herdtools7/litmus/HiKey.cfg
usr/share/herdtools7/litmus/LG-H955.cfg
usr/share/herdtools7/litmus/M1.cfg
usr/share/herdtools7/litmus/R4000.cfg
usr/share/herdtools7/litmus/Sam.cfg
usr/share/herdtools7/litmus/Snap425.cfg
usr/share/herdtools7/litmus/Snap820.cfg
usr/share/herdtools7/litmus/_aarch64/
usr/share/herdtools7/litmus/_aarch64/_auth.c
usr/share/herdtools7/litmus/_aarch64/_auth.h
usr/share/herdtools7/litmus/_aarch64/_cache.h
usr/share/herdtools7/litmus/_aarch64/asmhandler.c
usr/share/herdtools7/litmus/_aarch64/barrier.c
usr/share/herdtools7/litmus/_aarch64/getret.c
usr/share/herdtools7/litmus/_aarch64/instruction.h
usr/share/herdtools7/litmus/_aarch64/intrinsics.h
usr/share/herdtools7/litmus/_aarch64/kvm-headers.h
usr/share/herdtools7/litmus/_aarch64/kvm-self.c
usr/share/herdtools7/litmus/_aarch64/kvm.c.rules
usr/share/herdtools7/litmus/_aarch64/kvm.rules
usr/share/herdtools7/litmus/_aarch64/kvm_fault_handler.c
usr/share/herdtools7/litmus/_aarch64/kvm_fault_type.c
usr/share/herdtools7/litmus/_aarch64/kvm_timebase.c
usr/share/herdtools7/litmus/_aarch64/kvm_timeofday.c
usr/share/herdtools7/litmus/_aarch64/kvm_user_stacks.c
usr/share/herdtools7/litmus/_aarch64/mbar.c
usr/share/herdtools7/litmus/_aarch64/presi-self.c
usr/share/herdtools7/litmus/_aarch64/self.c
usr/share/herdtools7/litmus/_affinity.h
usr/share/herdtools7/litmus/_aix_affinity.c
usr/share/herdtools7/litmus/_android8_affinity.c
usr/share/herdtools7/litmus/_arm/
usr/share/herdtools7/litmus/_arm/_cache.h
usr/share/herdtools7/litmus/_arm/barrier.c
usr/share/herdtools7/litmus/_arm/instruction.h
usr/share/herdtools7/litmus/_arm/mbar.c
usr/share/herdtools7/litmus/_find_ins.c
usr/share/herdtools7/litmus/_freebsd_affinity.c
usr/share/herdtools7/litmus/_hash.c
usr/share/herdtools7/litmus/_instance.c
usr/share/herdtools7/litmus/_kvm_linux/
usr/share/herdtools7/litmus/_kvm_linux/platform_io.c
usr/share/herdtools7/litmus/_kvm_linux/platform_io.h
usr/share/herdtools7/litmus/_kvm_timeofday.h
usr/share/herdtools7/litmus/_linux/
usr/share/herdtools7/litmus/_linux/platform_io.c
usr/share/herdtools7/litmus/_linux/platform_io.h
usr/share/herdtools7/litmus/_linux_affinity.c
usr/share/herdtools7/litmus/_litmus_io.c
usr/share/herdtools7/litmus/_litmus_io.h
usr/share/herdtools7/litmus/_litmus_rand.c
usr/share/herdtools7/litmus/_litmus_rand.h
usr/share/herdtools7/litmus/_main.c
usr/share/herdtools7/litmus/_mips/
usr/share/herdtools7/litmus/_mips/_cache.h
usr/share/herdtools7/litmus/_mips/barrier.c
usr/share/herdtools7/litmus/_mips/instruction.h
usr/share/herdtools7/litmus/_mips/mbar.c
usr/share/herdtools7/litmus/_mix.h
usr/share/herdtools7/litmus/_outs.c
usr/share/herdtools7/litmus/_outs.h
usr/share/herdtools7/litmus/_ppc/
usr/share/herdtools7/litmus/_ppc/_cache.h
usr/share/herdtools7/litmus/_ppc/barrier.c
usr/share/herdtools7/litmus/_ppc/barrier_lab.c
usr/share/herdtools7/litmus/_ppc/instruction.h
usr/share/herdtools7/litmus/_ppc/mbar.c
usr/share/herdtools7/litmus/_ppc/timebase.c
usr/share/herdtools7/litmus/_ppc/timebase32.c
usr/share/herdtools7/litmus/_ppc/timebase64.c
usr/share/herdtools7/litmus/_prelude_size.c
usr/share/herdtools7/litmus/_presi.c
usr/share/herdtools7/litmus/_presi.h
usr/share/herdtools7/litmus/_riscv/
usr/share/herdtools7/litmus/_riscv/_cache.h
usr/share/herdtools7/litmus/_riscv/barrier.c
usr/share/herdtools7/litmus/_riscv/mbar.c
usr/share/herdtools7/litmus/_show.awk
usr/share/herdtools7/litmus/_showC.awk
usr/share/herdtools7/litmus/_showLabel.awk
usr/share/herdtools7/litmus/_toh.sh
usr/share/herdtools7/litmus/_toh_nostdio.sh
usr/share/herdtools7/litmus/_utils.c
usr/share/herdtools7/litmus/_utils.h
usr/share/herdtools7/litmus/_x86/
usr/share/herdtools7/litmus/_x86/_cache.h
usr/share/herdtools7/litmus/_x86/barrier.c
usr/share/herdtools7/litmus/_x86/mbar.c
usr/share/herdtools7/litmus/_x86/timebase.c
usr/share/herdtools7/litmus/_x86_64/
usr/share/herdtools7/litmus/_x86_64/_cache.h
usr/share/herdtools7/litmus/_x86_64/barrier.c
usr/share/herdtools7/litmus/_x86_64/klitmus_memory_type.c
usr/share/herdtools7/litmus/_x86_64/kvm-headers.h
usr/share/herdtools7/litmus/_x86_64/kvm.c.rules
usr/share/herdtools7/litmus/_x86_64/kvm.rules
usr/share/herdtools7/litmus/_x86_64/kvm_timebase.c
usr/share/herdtools7/litmus/_x86_64/kvm_timeofday.c
usr/share/herdtools7/litmus/_x86_64/mbar.c
usr/share/herdtools7/litmus/_x86_64/timebase.c
usr/share/herdtools7/litmus/aarch64-qemu.cfg
usr/share/herdtools7/litmus/aarch64.cfg
usr/share/herdtools7/litmus/abducens.big.cfg
usr/share/herdtools7/litmus/abducens.cache.cfg
usr/share/herdtools7/litmus/abducens.cfg
usr/share/herdtools7/litmus/abducens.close.cfg
usr/share/herdtools7/litmus/aloxe.cfg
usr/share/herdtools7/litmus/arm-qemu.cfg
usr/share/herdtools7/litmus/armv7.cfg
usr/share/herdtools7/litmus/armv8+sme-qemu.cfg
usr/share/herdtools7/litmus/armv8+sve-qemu.cfg
usr/share/herdtools7/litmus/armv8.1.cfg
usr/share/herdtools7/litmus/armv8.3-qemu.cfg
usr/share/herdtools7/litmus/armv8.3.cfg
usr/share/herdtools7/litmus/armv8.cfg
usr/share/herdtools7/litmus/asus-debian-thumb.cfg
usr/share/herdtools7/litmus/asus-debian.cfg
usr/share/herdtools7/litmus/asus.cfg
usr/share/herdtools7/litmus/auto.cfg
usr/share/herdtools7/litmus/bam.cfg
usr/share/herdtools7/litmus/beaune.cfg
usr/share/herdtools7/litmus/bom.cfg
usr/share/herdtools7/litmus/bonga.cfg
usr/share/herdtools7/litmus/cavium.cfg
usr/share/herdtools7/litmus/chianti.cfg
usr/share/herdtools7/litmus/conti.cfg
usr/share/herdtools7/litmus/corei7.cfg
usr/share/herdtools7/litmus/cortex-a55.cfg
usr/share/herdtools7/litmus/cortex9-O0.cfg
usr/share/herdtools7/litmus/cortex9.cfg
usr/share/herdtools7/litmus/cortexA15.cfg
usr/share/herdtools7/litmus/cubietruck.cfg
usr/share/herdtools7/litmus/doko.cfg
usr/share/herdtools7/litmus/dragon-arm.cfg
usr/share/herdtools7/litmus/dragon-thumb.cfg
usr/share/herdtools7/litmus/dragon.cfg
usr/share/herdtools7/litmus/g5.cfg
usr/share/herdtools7/litmus/header.txt
usr/share/herdtools7/litmus/hopla.cfg
usr/share/herdtools7/litmus/hpcx.cfg
usr/share/herdtools7/litmus/ipad.cfg
usr/share/herdtools7/litmus/kbarrier-tb.txt
usr/share/herdtools7/litmus/kbarrier-user.txt
usr/share/herdtools7/litmus/kincludes.txt
usr/share/herdtools7/litmus/kvm-aarch64-qemu.cfg
usr/share/herdtools7/litmus/kvm-aarch64.cfg
usr/share/herdtools7/litmus/kvm-armv8.1+rcpc.cfg
usr/share/herdtools7/litmus/kvm-armv8.1.cfg
usr/share/herdtools7/litmus/kvm-m1.cfg
usr/share/herdtools7/litmus/kvm-x86_64.cfg
usr/share/herdtools7/litmus/marvel-armada-370.cfg
usr/share/herdtools7/litmus/mike.cfg
usr/share/herdtools7/litmus/mips-qemu.cfg
usr/share/herdtools7/litmus/mips64-qemu.cfg
usr/share/herdtools7/litmus/mp.cfg
usr/share/herdtools7/litmus/nexus10.cfg
usr/share/herdtools7/litmus/nexus7.cfg
usr/share/herdtools7/litmus/nexus9.cfg
usr/share/herdtools7/litmus/odroid-c2.cfg
usr/share/herdtools7/litmus/odroid-n2.cfg
usr/share/herdtools7/litmus/odroid-xu-ubuntu.cfg
usr/share/herdtools7/litmus/odroid-xu.cfg
usr/share/herdtools7/litmus/outs.txt
usr/share/herdtools7/litmus/pi2-nofp.cfg
usr/share/herdtools7/litmus/pi2.cfg
usr/share/herdtools7/litmus/pi3b.cfg
usr/share/herdtools7/litmus/portable.cfg
usr/share/herdtools7/litmus/power.cfg
usr/share/herdtools7/litmus/power6.smt.cfg
usr/share/herdtools7/litmus/power7.32.cfg
usr/share/herdtools7/litmus/power7.cfg
usr/share/herdtools7/litmus/power7.smt.cfg
usr/share/herdtools7/litmus/ppc-qemu.cfg
usr/share/herdtools7/litmus/redmi5a.cfg
usr/share/herdtools7/litmus/redmi9a.cfg
usr/share/herdtools7/litmus/riscv-qemu.cfg
usr/share/herdtools7/litmus/saumur.cfg
usr/share/herdtools7/litmus/saumur.close.cfg
usr/share/herdtools7/litmus/squale.cfg
usr/share/herdtools7/litmus/src-aarch64.cfg
usr/share/herdtools7/litmus/trimslice.cfg
usr/share/herdtools7/litmus/tst.cfg
usr/share/herdtools7/litmus/vargas.cache.cfg
usr/share/herdtools7/litmus/vargas.cfg
usr/share/herdtools7/litmus/vargas.close.cfg
usr/share/herdtools7/litmus/vargas16.cfg
usr/share/herdtools7/litmus/vougeot.cfg
usr/share/herdtools7/litmus/x86.cfg
usr/share/herdtools7/litmus/x86_64.cfg
usr/share/herdtools7/litmus/youpla.cfg
usr/share/herdtools7/litmus/youpla64.cfg
