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

Folder: litmus

d .. (parent)
d d rwxr-xr-x 4,096 libdir
d d rwxr-xr-x 33 tests
- - rw-r--r-- 6,961 AArch64Arch_litmus.ml
- - rw-r--r-- 70,897 AArch64Compile_litmus.ml
- - rw-r--r-- 4,034 ARMArch_litmus.ml
- - rw-r--r-- 11,732 ARMCompile_litmus.ml
- - rw-r--r-- 25,358 ASMLang.ml
- - rw-r--r-- 3,763 CArch_litmus.ml
- - rw-r--r-- 6,423 CCompile_litmus.ml
- - rw-r--r-- 5,828 CGenParser_litmus.ml
- - rw-r--r-- 2,417 CHANGES.txt
- - rw-r--r-- 7,269 CLang.ml
- - rw-r--r-- 7,547 CSymbReg.ml
- - rw-r--r-- 2,083 CTarget.ml
- - rw-r--r-- 2,072 CTarget.mli
- - rw-r--r-- 1,930 KAffinity.ml
- - rw-r--r-- 1,308 KAffinity.mli
- - rw-r--r-- 1,493 KBarrier.ml
- - rw-r--r-- 1,315 KBarrier.mli
- - rw-r--r-- 31,644 KSkel.ml
- - rw-r--r-- 2,238 LISAArch_litmus.ml
- - rw-r--r-- 7,049 LISACompile.ml
- - rw-r--r-- 5,184 LISALang.ml
- - rw-r--r-- 1,690 LISATarget.mli
- - rw-r--r-- 3,023 MIPSArch_litmus.ml
- - rw-r--r-- 5,496 MIPSCompile_litmus.ml
- - rw-r--r-- 4,143 PPCArch_litmus.ml
- - rw-r--r-- 15,720 PPCCompile_litmus.ml
- - rw-r--r-- 2,084 RISCVArch_litmus.ml
- - rw-r--r-- 5,317 RISCVCompile_litmus.ml
- - rw-r--r-- 2,634 X86Arch_litmus.ml
- - rw-r--r-- 9,585 X86Compile_litmus.ml
- - rw-r--r-- 2,791 X86_64Arch_litmus.ml
- - rw-r--r-- 12,294 X86_64Compile_litmus.ml
- - rw-r--r-- 1,664 XXXCompile_litmus.mli
- - rw-r--r-- 4,126 affi.ml
- - rw-r--r-- 1,362 affi.mli
- - rw-r--r-- 2,063 affinity.ml
- - rw-r--r-- 1,328 affinity.mli
- - rw-r--r-- 1,573 align.ml
- - rw-r--r-- 1,301 align.mli
- - rw-r--r-- 1,501 alloc.ml
- - rw-r--r-- 1,295 alloc.mli
- - rw-r--r-- 1,637 answer.mli
- - rw-r--r-- 5,184 archExtra_litmus.ml
- - rw-r--r-- 3,661 arch_litmus.mli
- - rw-r--r-- 1,815 barrier.ml
- - rw-r--r-- 1,365 barrier.mli
- - rw-r--r-- 1,462 collect.ml
- - rw-r--r-- 1,290 collect.mli
- - rw-r--r-- 7,198 compCond.ml
- - rw-r--r-- 1,932 compCond.mli
- - rw-r--r-- 1,691 compCondUtils.mli
- - rw-r--r-- 29,621 compile.ml
- - rw-r--r-- 5,024 constr.ml
- - rw-r--r-- 2,263 crossrun.ml
- - rw-r--r-- 1,416 crossrun.mli
- - rw-r--r-- 2,414 defString.ml
- - rw-r--r-- 6,207 doEmitPrintf.ml
- - rw-r--r-- 1,447 driver.ml
- - rw-r--r-- 1,291 driver.mli
- - rw-r--r-- 2,150 dumpParams.ml
- - rw-r--r-- 26,842 dumpRun.ml
- - rw-r--r-- 2,143 dumpRun.mli
- - rw-r--r-- 363 dune
- - rw-r--r-- 1,683 emitPrintf.mli
- - rw-r--r-- 1,508 fmt.mli
- - rw-r--r-- 6,334 generateCrossDoc.ml
- - rw-r--r-- 1,738 getInstr.ml
- - rw-r--r-- 1,585 getInstr.mli
- - rw-r--r-- 2,461 global_litmus.ml
- - rw-r--r-- 1,668 global_litmus.mli
- - rw-r--r-- 1,739 handler.ml
- - rw-r--r-- 1,751 handler.mli
- - rw-r--r-- 1,442 hardwareExtra.ml
- - rw-r--r-- 1,371 hardwareExtra.mli
- - rw-r--r-- 3,191 indent.ml
- - rw-r--r-- 2,267 indent.mli
- - rw-r--r-- 1,228 infoAlign.mli
- - rw-r--r-- 1,566 infoAlign.mll
- - rw-r--r-- 1,485 kStride.ml
- - rw-r--r-- 1,291 kStride.mli
- - rw-r--r-- 7,640 klitmus.ml
- - rw-r--r-- 1,997 langUtils.ml
- - rw-r--r-- 1,576 langUtils.mli
- - rw-r--r-- 1,790 language.ml
- - rw-r--r-- 1,428 launch.ml
- - rw-r--r-- 1,290 launch.mli
- - rw-r--r-- 1,350 lexAffinity.mli
- - rw-r--r-- 2,414 lexAffinity.mll
- - rw-r--r-- 1,242 lexConf_litmus.mli
- - rw-r--r-- 7,517 lexConf_litmus.mll
- - rw-r--r-- 1,259 lexFmt.mli
- - rw-r--r-- 2,708 lexFmt.mll
- - rw-r--r-- 1,341 lexHaveRcu.mli
- - rw-r--r-- 1,660 lexHaveRcu.mll
- - rw-r--r-- 1,240 lexO.mli
- - rw-r--r-- 1,476 lexO.mll
- - rw-r--r-- 14,937 litmus.ml
- - rw-r--r-- 3,315 litmusUtils.ml
- - rw-r--r-- 1,530 litmusUtils.mli
- - rw-r--r-- 1,435 memory.ml
- - rw-r--r-- 1,291 memory.mli
- - rw-r--r-- 1,510 mode.ml
- - rw-r--r-- 1,273 mode.mli
- - rw-r--r-- 1,517 moreArch.ml
- - rw-r--r-- 1,345 moreArch.mli
- - rw-r--r-- 3,466 myName.ml
- - rw-r--r-- 1,811 myName.mli
- - rw-r--r-- 8,176 objUtil.ml
- - rw-r--r-- 6,737 option.ml
- - rw-r--r-- 4,801 option.mli
- - rw-r--r-- 3,106 outUtils.ml
- - rwxr-xr-x 142 pp2ml.sh
- - rw-r--r-- 79,909 preSi.ml
- - rw-r--r-- 1,278 prefetch.mli
- - rw-r--r-- 1,773 prefetch.mll
- - rw-r--r-- 1,778 preload.ml
- - rw-r--r-- 1,406 preload.mli
- - rw-r--r-- 1,637 pseudoAbstract.mli
- - rw-r--r-- 1,436 rcu.ml
- - rw-r--r-- 1,289 rcu.mli
- - rw-r--r-- 6,087 runUtils.ml
- - rw-r--r-- 5,719 run_litmus.ml
- - rw-r--r-- 1,456 safer.ml
- - rw-r--r-- 1,290 safer.mli
- - rw-r--r-- 1,234 showcode.mli
- - rw-r--r-- 1,366 showcode.mll
- - rw-r--r-- 110,520 skel.ml
- - rw-r--r-- 39,397 skelUtil.ml
- - rw-r--r-- 1,478 smt.ml
- - rw-r--r-- 1,318 smt.mli
- - rw-r--r-- 1,621 speedcheck.ml
- - rw-r--r-- 1,433 speedcheck.mli
- - rw-r--r-- 1,607 stride.ml
- - rw-r--r-- 1,319 stride.mli
- - rw-r--r-- 9,837 switch.ml
- - rw-r--r-- 1,412 switch.mli
- - rw-r--r-- 1,870 target.mli
- - rw-r--r-- 1,712 targetOS.ml
- - rw-r--r-- 1,339 targetOS.mli
- - rw-r--r-- 14,297 template.ml
- - rw-r--r-- 7,153 test_litmus.ml
- - rw-r--r-- 1,484 threadStyle.ml
- - rw-r--r-- 1,298 threadStyle.mli
- - rw-r--r-- 14,413 top_klitmus.ml
- - rw-r--r-- 22,252 top_litmus.ml
- - rw-r--r-- 3,376 top_litmus.mli
- - rw-r--r-- 14,135 topology.ml
- - rw-r--r-- 1,389 useArch.ml
- - rw-r--r-- 2,811 variant_litmus.ml
- - rw-r--r-- 1,856 variant_litmus.mli
- - rw-r--r-- 1,435 word.ml
- - rw-r--r-- 1,287 word.mli