package info (click to toggle)
herdtools7 7.58-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 19,732 kB
  • sloc: ml: 128,583; ansic: 3,827; makefile: 670; python: 407; sh: 212; awk: 14

Folder: libdir

d .. (parent)
d d rwxr-xr-x 63 arm-models
d d rwxr-xr-x 4,096 asl-pseudocode
- - rw-r--r-- 250 C11-README.txt
- - rw-r--r-- 245 LL.cat
- - rw-r--r-- 385 aarch32.cat
- - rw-r--r-- 962 aarch64-obsolete.cat
- - rw-r--r-- 6,434 aarch64.cat
- - rw-r--r-- 3,862 aarch64bbm.cat
- - rw-r--r-- 3,640 aarch64deps.cat
- - rw-r--r-- 2,242 aarch64fences.cat
- - rw-r--r-- 6,168 aarch64hwreqs.cat
- - rw-r--r-- 828 aarch64loc.cat
- - rw-r--r-- 6,801 aarch64memattrs.cat
- - rw-r--r-- 340 aarch64show.cat
- - rw-r--r-- 4,999 aarch64util.cat
- - rw-r--r-- 262 all.cfg
- - rw-r--r-- 161 apoil.cfg
- - rw-r--r-- 755 arm-alt.cat
- - rw-r--r-- 751 arm.cat
- - rw-r--r-- 437 armfences.cat
- - rw-r--r-- 782 armllh.cat
- - rw-r--r-- 320 asl-pseudo-arch.cat
- - rw-r--r-- 2,963 asl.cat
- - rw-r--r-- 891 atom-arm.cat
- - rw-r--r-- 940 atom.cat
- - rw-r--r-- 2,150 bpf.cat
- - rw-r--r-- 404 c11.bell
- - rw-r--r-- 774 c11.def
- - rw-r--r-- 2,620 c11_base.cat
- - rw-r--r-- 377 c11_cos.cat
- - rw-r--r-- 454 c11_los.cat
- - rw-r--r-- 525 c11_orig.cat
- - rw-r--r-- 435 c11_partialSC.cat
- - rw-r--r-- 276 c11_simp.cat
- - rw-r--r-- 18,612 catdefinitions.tex
- - rw-r--r-- 698 choices.cat
- - rw-r--r-- 37 compat.cat
- - rw-r--r-- 281 cos-no-opt.cat
- - rw-r--r-- 878 cos-ok-opt.cat
- - rw-r--r-- 779 cos-opt.cat
- - rw-r--r-- 93 cos.cat
- - rw-r--r-- 469 coscat.cat
- - rw-r--r-- 615 cosllh.cat
- - rw-r--r-- 503 cpp11.cfg
- - rw-r--r-- 754 cross.cat
- - rw-r--r-- 2,720 ctrl-bis.cat
- - rw-r--r-- 2,953 ctrl.cat
- - rw-r--r-- 780 deps-instances.cat
- - rw-r--r-- 1,017 deps-new.cat
- - rw-r--r-- 710 deps.cat
- - rw-r--r-- 505 deps.cfg
- - rw-r--r-- 2,193 doc64.cat
- - rw-r--r-- 33 enslip.cfg
- - rw-r--r-- 3,661 enumerations.cat
- - rw-r--r-- 269 fences.cat
- - rw-r--r-- 534 filters.cat
- - rw-r--r-- 680 fulleieio.cat
- - rw-r--r-- 28 herd.cat
- - rw-r--r-- 31 herdcat.cat
- - rw-r--r-- 1,705 ifetch-cos.cat
- - rw-r--r-- 405 kernel.cfg
- - rw-r--r-- 4,132 kernel.def
- - rw-r--r-- 799 lessrelaxed.cat
- - rw-r--r-- 100 mini.cat
- - rw-r--r-- 126 minimal.cat
- - rw-r--r-- 85 minimalcat.cat
- - rw-r--r-- 318 mips-tso.cat
- - rw-r--r-- 318 mips.cat
- - rw-r--r-- 112 mipsfences.cat
- - rw-r--r-- 28 naked.cat
- - rw-r--r-- 295 ncos.cat
- - rw-r--r-- 758 ncross.cat
- - rw-r--r-- 416 ppc-checks.cat
- - rw-r--r-- 674 ppc.cat
- - rw-r--r-- 352 ppcfences.cat
- - rw-r--r-- 374 ppo.cat
- - rw-r--r-- 1,367 pretty.cat
- - rw-r--r-- 1,272 prettycat.cat
- - rw-r--r-- 835 qualcomm.cat
- - rw-r--r-- 1,120 rc11.cat
- - rw-r--r-- 1,615 riscv-defs.cat
- - rw-r--r-- 1,223 riscv-total.cat
- - rw-r--r-- 1,782 riscv-tso-defs.cat
- - rw-r--r-- 556 riscv-tso.cat
- - rw-r--r-- 532 riscv.cat
- - rw-r--r-- 173 sc.cat
- - rw-r--r-- 416 sccat.cat
- - rw-r--r-- 312 show-deps.cat
- - rw-r--r-- 1,353 simple-arm.cat
- - rw-r--r-- 2,793 simple-c11.cat
- - rw-r--r-- 1,588 stdlib.cat
- - rw-r--r-- 414 tso.cat
- - rw-r--r-- 85 uni.cat
- - rw-r--r-- 203 uniproc%2Bsca.cat
- - rw-r--r-- 468 uniproc-normw-cat.cat
- - rw-r--r-- 106 uniproc.cat
- - rw-r--r-- 416 uniproccat.cat
- - rw-r--r-- 186 web.cfg
- - rw-r--r-- 155 x86fences.cat
- - rw-r--r-- 595 x86tso-mixed.cat
- - rw-r--r-- 431 x86tso.cat
- - rw-r--r-- 178 xchg.def