Opam Package herdtools7.7.56

Package info

opam-nameherdtools7
opam-version7.56
synopsisThe herdtools suite for simulating and studying weak memory models
authors
  • Luc Maranget <Luc.Maranget@inria.fr>
  • Jade Alglave <j.alglave@ucl.ac.uk>
homepagehttp://diy.inria.fr/
readme-fileREADME.md
deps (4)
revdeps(0)
metas (1)
libraries(0)

Package modules

Package sources

herdtools7

Package files

share/herdtools7/litmus/youpla64.cfg
share/herdtools7/litmus/youpla.cfg
share/herdtools7/litmus/x86_64.cfg
share/herdtools7/litmus/x86.cfg
share/herdtools7/litmus/vougeot.cfg
share/herdtools7/litmus/vargas16.cfg
share/herdtools7/litmus/vargas.close.cfg
share/herdtools7/litmus/vargas.cfg
share/herdtools7/litmus/vargas.cache.cfg
share/herdtools7/litmus/tst.cfg
share/herdtools7/litmus/trimslice.cfg
share/herdtools7/litmus/src-aarch64.cfg
share/herdtools7/litmus/squale.cfg
share/herdtools7/litmus/saumur.close.cfg
share/herdtools7/litmus/saumur.cfg
share/herdtools7/litmus/riscv-qemu.cfg
share/herdtools7/litmus/redmi5a.cfg
share/herdtools7/litmus/power7.smt.cfg
share/herdtools7/litmus/power7.cfg
share/herdtools7/litmus/power7.32.cfg
share/herdtools7/litmus/power6.smt.cfg
share/herdtools7/litmus/power.cfg
share/herdtools7/litmus/portable.cfg
share/herdtools7/litmus/pi3b.cfg
share/herdtools7/litmus/pi2.cfg
share/herdtools7/litmus/outs.txt
share/herdtools7/litmus/odroid-xu.cfg
share/herdtools7/litmus/odroid-xu-ubuntu.cfg
share/herdtools7/litmus/odroid-n2.cfg
share/herdtools7/litmus/odroid-c2.cfg
share/herdtools7/litmus/nexus9.cfg
share/herdtools7/litmus/nexus7.cfg
share/herdtools7/litmus/nexus10.cfg
share/herdtools7/litmus/mp.cfg
share/herdtools7/litmus/mike.cfg
share/herdtools7/litmus/marvel-armada-370.cfg
share/herdtools7/litmus/kincludes.txt
share/herdtools7/litmus/kbarrier-user.txt
share/herdtools7/litmus/kbarrier-tb.txt
share/herdtools7/litmus/ipad.cfg
share/herdtools7/litmus/hpcx.cfg
share/herdtools7/litmus/hopla.cfg
share/herdtools7/litmus/header.txt
share/herdtools7/litmus/g5.cfg
share/herdtools7/litmus/dragon.cfg
share/herdtools7/litmus/dragon-thumb.cfg
share/herdtools7/litmus/dragon-arm.cfg
share/herdtools7/litmus/doko.cfg
share/herdtools7/litmus/cubietruck.cfg
share/herdtools7/litmus/cortexA15.cfg
share/herdtools7/litmus/cortex9.cfg
share/herdtools7/litmus/cortex9-O0.cfg
share/herdtools7/litmus/corei7.cfg
share/herdtools7/litmus/conti.cfg
share/herdtools7/litmus/chianti.cfg
share/herdtools7/litmus/cavium.cfg
share/herdtools7/litmus/bonga.cfg
share/herdtools7/litmus/bom.cfg
share/herdtools7/litmus/beaune.cfg
share/herdtools7/litmus/bam.cfg
share/herdtools7/litmus/auto.cfg
share/herdtools7/litmus/asus.cfg
share/herdtools7/litmus/asus-debian.cfg
share/herdtools7/litmus/asus-debian-thumb.cfg
share/herdtools7/litmus/armv8v3.cfg
share/herdtools7/litmus/armv8v1.cfg
share/herdtools7/litmus/armv8.cfg
share/herdtools7/litmus/armv7.cfg
share/herdtools7/litmus/aloxe.cfg
share/herdtools7/litmus/abducens.close.cfg
share/herdtools7/litmus/abducens.cfg
share/herdtools7/litmus/abducens.cache.cfg
share/herdtools7/litmus/abducens.big.cfg
share/herdtools7/litmus/_x86/timebase.c
share/herdtools7/litmus/_x86/mbar.c
share/herdtools7/litmus/_x86/cache.c
share/herdtools7/litmus/_x86/barrier.c
share/herdtools7/litmus/_x86
share/herdtools7/litmus/_utils.h
share/herdtools7/litmus/_utils.c
share/herdtools7/litmus/_toh.sh
share/herdtools7/litmus/_showLabel.awk
share/herdtools7/litmus/_showC.awk
share/herdtools7/litmus/_show.awk
share/herdtools7/litmus/_riscv/mbar.c
share/herdtools7/litmus/_riscv/barrier.c
share/herdtools7/litmus/_riscv
share/herdtools7/litmus/_presi.h
share/herdtools7/litmus/_presi.c
share/herdtools7/litmus/_ppc/timebase64.c
share/herdtools7/litmus/_ppc/timebase32.c
share/herdtools7/litmus/_ppc/mbar.c
share/herdtools7/litmus/_ppc/cache.c
share/herdtools7/litmus/_ppc/barrier_lab.c
share/herdtools7/litmus/_ppc/barrier.c
share/herdtools7/litmus/_ppc
share/herdtools7/litmus/_outs.h
share/herdtools7/litmus/_outs.c
share/herdtools7/litmus/_mix.h
share/herdtools7/litmus/_mips/mbar.c
share/herdtools7/litmus/_mips/barrier.c
share/herdtools7/litmus/_mips
share/herdtools7/litmus/_main.c
share/herdtools7/litmus/_litmus_rand.h
share/herdtools7/litmus/_litmus_rand.c
share/herdtools7/litmus/_litmus_io.h
share/herdtools7/litmus/_litmus_io.c
share/herdtools7/litmus/_linux_affinity.c
share/herdtools7/litmus/_linux/platform_io.h
share/herdtools7/litmus/_linux/platform_io.c
share/herdtools7/litmus/_linux
share/herdtools7/litmus/_instance.c
share/herdtools7/litmus/_hash.c
share/herdtools7/litmus/_freebsd_affinity.c
share/herdtools7/litmus/_arm/mbar.c
share/herdtools7/litmus/_arm/cache.c
share/herdtools7/litmus/_arm/barrier.c
share/herdtools7/litmus/_arm
share/herdtools7/litmus/_android8_affinity.c
share/herdtools7/litmus/_aix_affinity.c
share/herdtools7/litmus/_affinity.h
share/herdtools7/litmus/_aarch64/self.c
share/herdtools7/litmus/_aarch64/mbar.c
share/herdtools7/litmus/_aarch64/cache.c
share/herdtools7/litmus/_aarch64/barrier.c
share/herdtools7/litmus/_aarch64
share/herdtools7/litmus/Snap820.cfg
share/herdtools7/litmus/Snap425.cfg
share/herdtools7/litmus/Sam.cfg
share/herdtools7/litmus/R4000.cfg
share/herdtools7/litmus/LG-H955.cfg
share/herdtools7/litmus/HiKey.cfg
share/herdtools7/litmus/ARM_ADB.cfg
share/herdtools7/litmus/ARM.cfg
share/herdtools7/litmus
share/herdtools7/jingle/test.theme
share/herdtools7/jingle/RISCV2AArch64.map
share/herdtools7/jingle/Linux2PPC.map
share/herdtools7/jingle/Linux2AArch64.map
share/herdtools7/jingle/Linux.call
share/herdtools7/jingle/CtoAArch64.theme
share/herdtools7/jingle/BelltoC.theme
share/herdtools7/jingle/BelltoARM.theme
share/herdtools7/jingle/BelltoAArch64.theme
share/herdtools7/jingle/AArch64toBell.theme
share/herdtools7/jingle
share/herdtools7/herd/xchg.def
share/herdtools7/herd/x86tso.cat
share/herdtools7/herd/x86fences.cat
share/herdtools7/herd/web.cfg
share/herdtools7/herd/uniproccat.cat
share/herdtools7/herd/uniproc.cat
share/herdtools7/herd/uniproc-normw-cat.cat
share/herdtools7/herd/uniproc+sca.cat
share/herdtools7/herd/uni.cat
share/herdtools7/herd/tso.cat
share/herdtools7/herd/stdlib.cat
share/herdtools7/herd/simple-c11.cat
share/herdtools7/herd/simple-arm.cat
share/herdtools7/herd/show-deps.cat
share/herdtools7/herd/sccat.cat
share/herdtools7/herd/sc.cat
share/herdtools7/herd/riscv.cat
share/herdtools7/herd/riscv-total.cat
share/herdtools7/herd/riscv-defs.cat
share/herdtools7/herd/rc11.cat
share/herdtools7/herd/qualcomm.cat
share/herdtools7/herd/prettycat.cat
share/herdtools7/herd/pretty.cat
share/herdtools7/herd/ppo.cat
share/herdtools7/herd/ppcfences.cat
share/herdtools7/herd/ppc.cat
share/herdtools7/herd/ppc-checks.cat
share/herdtools7/herd/ncross.cat
share/herdtools7/herd/ncos.cat
share/herdtools7/herd/naked.cat
share/herdtools7/herd/mipsfences.cat
share/herdtools7/herd/mips.cat
share/herdtools7/herd/mips-tso.cat
share/herdtools7/herd/minimalcat.cat
share/herdtools7/herd/minimal.cat
share/herdtools7/herd/mini.cat
share/herdtools7/herd/lessrelaxed.cat
share/herdtools7/herd/kernel.def
share/herdtools7/herd/kernel.cfg
share/herdtools7/herd/herdcat.cat
share/herdtools7/herd/herd.cat
share/herdtools7/herd/fulleieio.cat
share/herdtools7/herd/filters.cat
share/herdtools7/herd/fences.cat
share/herdtools7/herd/enslip.cfg
share/herdtools7/herd/doc64.cat
share/herdtools7/herd/deps.cfg
share/herdtools7/herd/deps.cat
share/herdtools7/herd/deps-new.cat
share/herdtools7/herd/deps-instances.cat
share/herdtools7/herd/deps-bis.cat
share/herdtools7/herd/ctrl.cat
share/herdtools7/herd/ctrl-bis.cat
share/herdtools7/herd/cross.cat
share/herdtools7/herd/cpp11.cfg
share/herdtools7/herd/cosllh.cat
share/herdtools7/herd/coscat.cat
share/herdtools7/herd/cos.cat
share/herdtools7/herd/cos-opt.cat
share/herdtools7/herd/compat.cat
share/herdtools7/herd/c11_simp.cat
share/herdtools7/herd/c11_partialSC.cat
share/herdtools7/herd/c11_orig.cat
share/herdtools7/herd/c11_los.cat
share/herdtools7/herd/c11_cos.cat
share/herdtools7/herd/c11_base.cat
share/herdtools7/herd/c11.def
share/herdtools7/herd/c11.bell
share/herdtools7/herd/atom.cat
share/herdtools7/herd/atom-arm.cat
share/herdtools7/herd/armllh.cat
share/herdtools7/herd/armfences.cat
share/herdtools7/herd/arm.cat
share/herdtools7/herd/arm-models/non-mixed/ev.cat
share/herdtools7/herd/arm-models/non-mixed/egc.cat
share/herdtools7/herd/arm-models/non-mixed/ec.cat
share/herdtools7/herd/arm-models/non-mixed/armv8-util.cat
share/herdtools7/herd/arm-models/non-mixed/armv8-common.cat
share/herdtools7/herd/arm-models/non-mixed
share/herdtools7/herd/arm-models/mixed/sca.cat
share/herdtools7/herd/arm-models/mixed/ev.cat
share/herdtools7/herd/arm-models/mixed/egc.cat
share/herdtools7/herd/arm-models/mixed/ec.cat
share/herdtools7/herd/arm-models/mixed/armv8-util.cat
share/herdtools7/herd/arm-models/mixed/armv8-common.cat
share/herdtools7/herd/arm-models/mixed
share/herdtools7/herd/arm-models
share/herdtools7/herd/arm-alt.cat
share/herdtools7/herd/apoil.cfg
share/herdtools7/herd/all.cfg
share/herdtools7/herd/aarch64fences.cat
share/herdtools7/herd/aarch64.cat
share/herdtools7/herd/aarch64-obsolete.cat
share/herdtools7/herd/aarch64-deps.cat
share/herdtools7/herd/aarch64-bis.cat
share/herdtools7/herd/LL.cat
share/herdtools7/herd/C11-README.txt
share/herdtools7/herd
share/herdtools7
lib/herdtools7/opam
lib/herdtools7/dune-package
lib/herdtools7/META
lib/herdtools7
doc/herdtools7/README.md
doc/herdtools7/LICENSE.txt
doc/herdtools7/CHANGES.txt
doc/herdtools7
bin/splitdot7
bin/splitcond7
bin/rehash7
bin/recond7
bin/readRelax7
bin/norm7
bin/nexts7
bin/mtrue7
bin/mtopos7
bin/msum7
bin/msort7
bin/mshowhashes7
bin/mselect7
bin/mrcu7
bin/mproj7
bin/mprog7
bin/moutcomes7
bin/mobserved7
bin/mnames7
bin/mmixer7
bin/mlog2name7
bin/mlog2cond7
bin/mlock7
bin/mlisa2c7
bin/mhash7
bin/mflags7
bin/mfind7
bin/mfilter7
bin/mexpand7
bin/mdiff7
bin/mdiag7
bin/mcycles7
bin/mcond7
bin/mcompare7
bin/mcmp7
bin/mcat2includes7
bin/mapply7
bin/madd7
bin/litmus7
bin/ksort7
bin/knames7
bin/klitmus7
bin/jingle7
bin/herd7
bin/gen_theme7
bin/diyone7
bin/diycross7
bin/diy7
bin/classify7
bin/cat2html7
bin/atoms7
bin/atomize7