Ugly Alpha 1
isla:0.2.0

total uncompressed bytes

1.3 MB

total files

411

Fix

NewInclude { include: [ "src/**/*", "Cargo.*", "LICENSE", "README.md", "build.rs", ], has_build_script: true, }

396 wasted files

total waste: 1.1 MB

  1. web/client/dist/ui.png : 224.5 KB
  2. web/client/package-lock.json : 145.3 KB
  3. example.png : 62.3 KB
  4. web/client/src/js/panzoom.js : 38.1 KB
  5. web/client/src/tabs.ts : 29.6 KB
  6. isla-litmus/THIRD_PARTY.md : 27.1 KB
  7. isla-litmus/herd/innerRel.ml : 15.8 KB
  8. isla-sail/main.ml : 15.0 KB
  9. isla-litmus/herd/misc.ml : 14.1 KB
  10. isla-litmus/litmus_test.ml : 14.0 KB
  11. web/client/src/ui.ts : 12.0 KB
  12. web/client/src/css/style.css : 11.3 KB
  13. isla-litmus/herd/template.ml : 10.4 KB
  14. web/client/src/view.ts : 10.3 KB
  15. test/axiomatic/refs : 9.4 KB
  16. isla-litmus/herd/genParser.ml : 9.2 KB
  17. web/client/dist/isla.png : 9.1 KB
  18. web/client/src/js/gas.js : 8.9 KB
  19. web/client/src/css/codemirror.css : 8.2 KB
  20. web/client/dist/help_standalone.html : 8.1 KB
  21. isla-litmus/herd/splitter.mll : 8.0 KB
  22. isla-litmus/herd/misc.mli : 7.3 KB
  23. web/client/dist/help.html : 7.3 KB
  24. web/client/src/model.ts : 7.0 KB
  25. isla-litmus/herd/testHash.ml : 6.3 KB
  26. isla-litmus/herd/constrGen.ml : 6.3 KB
  27. isla-litmus/herd/stateParser.mly : 6.3 KB
  28. web/client/dist/help.md : 6.2 KB
  29. web/client/src/css/scheme.css : 6.1 KB
  30. isla-litmus/herd/miscParser.ml : 5.9 KB
  31. configs/aarch64_mmu_on.toml : 5.9 KB
  32. configs/aarch64.toml : 5.6 KB
  33. web/client/src/util.ts : 5.2 KB
  34. web/client/src/css/goldenlayout-soda-theme.css : 5.1 KB
  35. web/client/src/widget.ts : 5.1 KB
  36. web/client/dist/index.html : 5.1 KB
  37. isla-litmus/herd/mySys.ml : 5.1 KB
  38. isla-litmus/herd/mySet.ml : 5.0 KB
  39. isla-litmus/herd/pseudo.ml : 4.9 KB
  40. web/client/src/index.ts : 4.7 KB
  41. web/client/src/js/ast.js : 4.6 KB
  42. web/client/src/css/goldenlayout-base.css : 4.6 KB
  43. web/client/dist/aarch64.cat : 4.5 KB
  44. web/client/src/css/goldenlayout-translucent-theme.css : 4.3 KB
  45. isla-litmus/herd/lexUtils.mll : 4.3 KB
  46. web/client/src/css/goldenlayout-dark-theme.css : 4.2 KB
  47. isla-litmus/herd/rel.ml : 4.2 KB
  48. isla-litmus/herd/innerRel.mli : 4.2 KB
  49. isla-litmus/herd/location.ml : 4.1 KB
  50. isla-litmus/herd/CType.ml : 4.0 KB
  51. web/README.md : 3.9 KB
  52. headers.sh : 3.8 KB
  53. isla-litmus/herd/archExtra_litmus.ml : 3.7 KB
  54. web/client/src/css/goldenlayout-light-theme.css : 3.6 KB
  55. test/run_tests.rb : 3.6 KB
  56. isla-litmus/herd/miscParser.mli : 3.5 KB
  57. isla-litmus/herd/archBase.mli : 3.4 KB
  58. isla-litmus/herd/constrGen.mli : 3.3 KB
  59. web/client/THIRD_PARTY.md : 3.3 KB
  60. isla-litmus/herd/machSize.ml : 3.2 KB
  61. web/client/src/js/ocaml.js : 3.1 KB
  62. isla-litmus/herd/stateLexer.mll : 3.0 KB
  63. isla-litmus/herd/mySet.mli : 2.9 KB
  64. web/client/src/js/toml.js : 2.9 KB
  65. isla-litmus/herd/myMap.ml : 2.8 KB
  66. isla-litmus/herd/symbConstant.ml : 2.8 KB
  67. web/client/src/js/herd.js : 2.8 KB
  68. doc/litmus_readme.md : 2.7 KB
  69. isla-litmus/herd/Archs.ml : 2.7 KB
  70. isla-litmus/herd/genParser.mli : 2.6 KB
  71. isla-litmus/herd/arch_litmus.mli : 2.6 KB
  72. isla-litmus/herd/splitter.mli : 2.6 KB
  73. isla-litmus/herd/op.ml : 2.6 KB
  74. isla-litmus/herd/mySys.mli : 2.5 KB
  75. isla-litmus/main.ml : 2.4 KB
  76. isla-litmus/herd/rel.mli : 2.3 KB
  77. web/client/src/common.ts : 2.3 KB
  78. isla-litmus/herd/outUtils.ml : 2.3 KB
  79. isla-litmus/GenericHGenBase.ml : 2.2 KB
  80. isla-litmus/herd/warn.mli : 2.2 KB
  81. test/axiomatic/LICENCE : 2.2 KB
  82. isla-litmus/herd/parsedConstant.ml : 2.2 KB
  83. web/client/src/js/placeholder.js : 2.1 KB
  84. isla-litmus/herd/outMapping.ml : 2.0 KB
  85. isla-litmus/herd/lexUtils.mli : 2.0 KB
  86. configs/riscv64_ubuntu.toml : 2.0 KB
  87. isla-litmus/herd/pos.ml : 2.0 KB
  88. configs/riscv64.toml : 2.0 KB
  89. isla-litmus/herd/op.mli : 2.0 KB
  90. isla-litmus/GenericHGenLexer.mll : 2.0 KB
  91. isla-litmus/herd/modelOption.ml : 2.0 KB
  92. isla-litmus/GenericHGenArch.ml : 1.9 KB
  93. isla-sail/LICENCE : 1.9 KB
  94. isla-litmus/herd/testHash.mli : 1.9 KB
  95. isla-litmus/herd/warn.ml : 1.9 KB
  96. isla-litmus/herd/scalar.mli : 1.9 KB
  97. web/client/src/css/midnight.css : 1.9 KB
  98. isla-litmus/herd/CType.mli : 1.8 KB
  99. isla-litmus/herd/pos.mli : 1.7 KB
  100. configs/riscv32.toml : 1.7 KB
  101. isla-litmus/herd/constant.mli : 1.7 KB
  102. web/client/src/location.ts : 1.6 KB
  103. web/client/dist/riscv.cat : 1.6 KB
  104. web/Makefile : 1.6 KB
  105. isla-litmus/herd/machSize.mli : 1.6 KB
  106. isla-litmus/GenericHGenParser.mly : 1.6 KB
  107. isla-litmus/herd/lexMisc.ml : 1.6 KB
  108. isla-litmus/herd/lexOutMapping.mll : 1.6 KB
  109. isla-litmus/herd/outMapping.mli : 1.6 KB
  110. test/property/vector_access_0.sat.sail : 1.5 KB
  111. test/property/vector_access_2.sat.sail : 1.5 KB
  112. test/property/vector_access_1.sat.sail : 1.5 KB
  113. test/property/vector_access.unsat.sail : 1.5 KB
  114. isla-litmus/herd/target.mli : 1.5 KB
  115. isla-litmus/herd/label.ml : 1.5 KB
  116. test/property/vector_access_3.sat.sail : 1.5 KB
  117. isla-litmus/herd/name.mli : 1.4 KB
  118. isla-litmus/herd/label.mli : 1.4 KB
  119. isla-litmus/herd/memory.ml : 1.4 KB
  120. isla-litmus/herd/modelOption.mli : 1.4 KB
  121. isla-litmus/herd/stateLexer.mli : 1.4 KB
  122. web/client/dist/aarch64.json : 1.3 KB
  123. isla-litmus/herd/StringSet.mli : 1.3 KB
  124. isla-litmus/herd/StringRel.ml : 1.3 KB
  125. isla-litmus/herd/symbConstant.mli : 1.3 KB
  126. isla-litmus/herd/intRel.ml : 1.3 KB
  127. isla-litmus/herd/memory.mli : 1.3 KB
  128. isla-litmus/herd/IntSet.mli : 1.3 KB
  129. isla-litmus/herd/StringRel.mli : 1.3 KB
  130. isla-litmus/herd/StringMap.mli : 1.3 KB
  131. isla-litmus/herd/intRel.mli : 1.3 KB
  132. isla-litmus/herd/StringSet.ml : 1.3 KB
  133. isla-litmus/herd/PPMode.mli : 1.3 KB
  134. isla-litmus/herd/IntMap.mli : 1.3 KB
  135. isla-litmus/herd/intOrd.ml : 1.3 KB
  136. isla-litmus/herd/lexOutMapping.mli : 1.2 KB
  137. isla-litmus/herd/intOrd.mli : 1.2 KB
  138. isla-litmus/herd/StringMap.ml : 1.2 KB
  139. isla-litmus/herd/IntSet.ml : 1.2 KB
  140. isla-litmus/herd/IntMap.ml : 1.2 KB
  141. web/client/dist/esop2020.cat : 1.2 KB
  142. web/client/dist/favicon.ico : 1.1 KB
  143. web/client/dist/riscv64.json : 1.1 KB
  144. configs/plain.toml : 1.0 KB
  145. web/client/package.json : 1.0 KB
  146. test/property/clz32.unsat.sail : 1.0 KB
  147. web/gather_tests.sh : 951 B
  148. Makefile : 899 B
  149. .github/workflows/ubuntu_20_04.yml : 872 B
  150. test/property/set_slice_1.sat.sail : 851 B
  151. test/property/set_slice_0.sat.sail : 842 B
  152. test/property/set_slice.unsat.sail : 842 B
  153. web/client/dist/ifetch/MP.R.RF+addr-cachesync+dmb+ctrl-isb.toml : 828 B
  154. web/client/dev.config.js : 818 B
  155. test/property/align_bits.unsat.sail : 812 B
  156. web/client/dist/ifetch/FOW.toml : 771 B
  157. web/client/dist/LB+addr+ctrl.toml : 756 B
  158. web/client/prod.config.js : 723 B
  159. web/client/dist/ifetch/MP.RF+dc+ctrl-isb-isb.toml : 716 B
  160. test/property/clz5.unsat.sail : 714 B
  161. test/property/linearize_ssa.unsat.sail : 713 B
  162. web/client/dist/aarch64/ISA2+dmb.sy+addr+addr.toml : 685 B
  163. web/client/dist/aarch64/IRIW+addrs.toml : 677 B
  164. test/axiomatic/tests : 667 B
  165. web/client/dist/aarch64/MP+dmb.sy+fri-rfi-ctrlisb.toml : 665 B
  166. web/client/dist/aarch64/IRIW+dmb.sys.toml : 655 B
  167. isla-sail/README.md : 643 B
  168. web/client/dist/aarch64/ISA2.toml : 642 B
  169. web/client/dist/aarch64/RDW.toml : 640 B
  170. web/client/dist/aarch64/WRC+dmb.sy+addr.toml : 635 B
  171. test/property/linearize_ch.unsat.sail : 634 B
  172. vendor.sh : 630 B
  173. isla-litmus/output.ml : 629 B
  174. test/property/string_take_drop.unsat.sail : 627 B
  175. web/client/dist/riscv64/S+fence.rw.rws.toml : 626 B
  176. test/axiomatic/S+fence.rw.rws.toml : 626 B
  177. test_litmus_esop2020.sh : 625 B
  178. test/property/ccheri_regression1.unsat.sail : 622 B
  179. web/client/dist/riscv64/S+fence.rw.rw+ctrl.toml : 621 B
  180. test/axiomatic/S+fence.rw.rw+ctrl.toml : 621 B
  181. web/client/dist/aarch64/RWC+dmb.sys.toml : 620 B
  182. web/client/dist/riscv64/2+2W+fence.rw.rws.toml : 618 B
  183. test/axiomatic/2+2W+fence.rw.rws.toml : 618 B
  184. web/client/dist/riscv64/S+fence.rw.rw+data.toml : 616 B
  185. web/client/dist/riscv64/R+fence.rw.rws.toml : 616 B
  186. web/client/dist/aarch64/LB+addrs+WW.toml : 616 B
  187. test/axiomatic/S+fence.rw.rw+data.toml : 616 B
  188. test/axiomatic/R+fence.rw.rws.toml : 616 B
  189. web/client/dist/aarch64/IRIW.toml : 615 B
  190. web/client/dist/riscv64/MP+fence.rw.rw+addr.toml : 612 B
  191. test/axiomatic/MP+fence.rw.rw+addr.toml : 612 B
  192. web/client/dist/riscv64/LB+fence.rw.rw+ctrl.toml : 610 B
  193. test/axiomatic/LB+fence.rw.rw+ctrl.toml : 610 B
  194. web/client/dist/riscv64/MP+fence.rw.rws.toml : 609 B
  195. test/axiomatic/MP+fence.rw.rws.toml : 609 B
  196. web/client/dist/aarch64/LB+datas+WW.toml : 606 B
  197. web/client/dist/riscv64/LB+fence.rw.rw+data.toml : 605 B
  198. test/axiomatic/LB+fence.rw.rw+data.toml : 605 B
  199. web/client/dist/riscv64/MP+fence.rw.rw+ctrl.toml : 604 B
  200. test/axiomatic/MP+fence.rw.rw+ctrl.toml : 604 B
  201. web/client/dist/riscv64/SB+fence.rw.rws.toml : 600 B
  202. web/client/dist/riscv64/LB+fence.rw.rws.toml : 600 B
  203. test/axiomatic/SB+fence.rw.rws.toml : 600 B
  204. test/axiomatic/LB+fence.rw.rws.toml : 600 B
  205. web/client/dist/riscv64/2+2W+fence.rw.rw+po.toml : 595 B
  206. test/axiomatic/2+2W+fence.rw.rw+po.toml : 595 B
  207. web/client/dist/aarch64/WRC+addrs.toml : 594 B
  208. web/client/dist/aarch64/LB+addrs+RW.toml : 594 B
  209. web/client/dist/ifetch/SM.F+ic.toml : 590 B
  210. test/property/or_bits.unsat.sail : 590 B
  211. web/client/dist/riscv64/LB+data+ctrl.toml : 589 B
  212. test/axiomatic/LB+data+ctrl.toml : 589 B
  213. web/client/dist/riscv64/S+po+fence.rw.rw.toml : 588 B
  214. web/client/dist/riscv64/S+fence.rw.rw+po.toml : 588 B
  215. test/axiomatic/S+po+fence.rw.rw.toml : 588 B
  216. test/axiomatic/S+fence.rw.rw+po.toml : 588 B
  217. web/client/dist/aarch64/MP+dmb.sy+ctrlisb.toml : 585 B
  218. web/client/dist/aarch64/RDWI.toml : 584 B
  219. web/client/dist/riscv64/LB+ctrls.toml : 581 B
  220. test/axiomatic/LB+ctrls.toml : 581 B
  221. web/client/dist/riscv64/R+po+fence.rw.rw.toml : 578 B
  222. web/client/dist/riscv64/R+fence.rw.rw+po.toml : 578 B
  223. test/axiomatic/R+po+fence.rw.rw.toml : 578 B
  224. test/axiomatic/R+fence.rw.rw+po.toml : 578 B
  225. web/client/dist/riscv64/SB+fence.rw.rw+po.toml : 577 B
  226. web/client/dist/riscv64/LB+fence.rw.rw+po.toml : 577 B
  227. test/axiomatic/SB+fence.rw.rw+po.toml : 577 B
  228. test/axiomatic/LB+fence.rw.rw+po.toml : 577 B
  229. web/client/dist/riscv64/S+po+ctrl.toml : 572 B
  230. web/client/dist/aarch64/WRC.toml : 572 B
  231. web/client/dist/aarch64/RWC.toml : 572 B
  232. test/axiomatic/S+po+ctrl.toml : 572 B
  233. web/client/dist/riscv64/MP+po+fence.rw.rw.toml : 571 B
  234. web/client/dist/riscv64/MP+fence.rw.rw+po.toml : 571 B
  235. web/client/dist/riscv64/LB+datas.toml : 571 B
  236. test/property/mono_cond_1.unsat.sail : 571 B
  237. test/axiomatic/MP+po+fence.rw.rw.toml : 571 B
  238. test/axiomatic/MP+fence.rw.rw+po.toml : 571 B
  239. test/axiomatic/LB+datas.toml : 571 B
  240. web/client/dist/riscv64/S+po+data.toml : 567 B
  241. test/axiomatic/S+po+data.toml : 567 B
  242. web/client/dist/riscv64/MP+po+addr.toml : 563 B
  243. test/axiomatic/MP+po+addr.toml : 563 B
  244. web/client/dist/riscv64/LB+ctrl+po.toml : 561 B
  245. test/axiomatic/LB+ctrl+po.toml : 561 B
  246. web/client/dist/aarch64/RSW.toml : 557 B
  247. web/client/dist/aarch64/PPOAA.toml : 557 B
  248. web/client/dist/riscv64/LB+data+po.toml : 556 B
  249. test/axiomatic/LB+data+po.toml : 556 B
  250. web/client/dist/riscv64/MP+po+ctrl.toml : 555 B
  251. web/client/dist/aarch64/S+dmb.sy+data.toml : 555 B
  252. web/client/dist/aarch64/PPOCA.toml : 555 B
  253. test/axiomatic/MP+po+ctrl.toml : 555 B
  254. test/property/linearize_slice.unsat.sail : 550 B
  255. web/client/dist/aarch64/S+dmb.sys.toml : 545 B
  256. web/client/dist/aarch64/R+dmb.sys.toml : 545 B
  257. web/client/dist/aarch64/2+2W+dmb.sys.toml : 543 B
  258. web/client/dist/aarch64/MP+dmb.sys.toml : 537 B
  259. test/property/clz132.unsat.sail : 535 B
  260. web/client/dist/riscv64/2+2W.toml : 534 B
  261. web/client/dist/aarch64/LB+datas.toml : 534 B
  262. test/axiomatic/2+2W.toml : 534 B
  263. web/client/dist/riscv64/S.toml : 533 B
  264. test/axiomatic/S.toml : 533 B
  265. test/property/clz128.unsat.sail : 531 B
  266. web/client/dist/aarch64/S+dmb.sy+po.toml : 527 B
  267. web/client/dist/riscv64/R.toml : 523 B
  268. web/client/dist/aarch64/SB+dmb.sys.toml : 523 B
  269. test/axiomatic/R.toml : 523 B
  270. web/client/dist/aarch64/MP+dmb.sy+po.toml : 519 B
  271. web/client/dist/riscv64/SB.toml : 516 B
  272. web/client/dist/riscv64/MP.toml : 516 B
  273. web/client/dist/riscv64/LB.toml : 516 B
  274. test/axiomatic/SB.toml : 516 B
  275. test/axiomatic/MP.toml : 516 B
  276. test/axiomatic/LB.toml : 516 B
  277. test_litmus_aarch64.sh : 513 B
  278. web/client/dist/aarch64/S+dmb.sy+ctrl.toml : 511 B
  279. web/client/dist/aarch64/LB+addrs.toml : 511 B
  280. test_litmus_riscv64.sh : 511 B
  281. web/client/dist/aarch64/LB+ctrls.toml : 507 B
  282. web/client/Makefile : 506 B
  283. web/client/dist/aarch64/2+2W.toml : 499 B
  284. web/client/dist/aarch64/S.toml : 497 B
  285. web/client/dist/aarch64/R.toml : 497 B
  286. web/client/tsconfig.json : 493 B
  287. web/client/dist/aarch64/MP+dmb.sy+ctrl.toml : 484 B
  288. web/client/dist/aarch64/SB.toml : 479 B
  289. web/client/dist/aarch64/LB.toml : 479 B
  290. test/property/set_slice_int.unsat.sail : 470 B
  291. test/property/mono_cap.unsat.sail : 463 B
  292. web/client/dist/aarch64/MP+dmb.sy+rs.toml : 455 B
  293. test/property/linearize_2.unsat.sail : 453 B
  294. test/property/mono_twice.unsat.sail : 451 B
  295. web/client/dist/ifetch/SM+cachesync-isb.toml : 444 B
  296. web/client/dist/ifetch/CoRF.toml : 443 B
  297. web/client/dist/aarch64/LB+rs.toml : 439 B
  298. web/client/dist/aarch64/MP+nondep+dmb.sy.toml : 436 B
  299. isla-litmus/memfd_create.c : 426 B
  300. test/property/linearize_tuple.unsat.sail : 406 B
  301. test/property/mono_cond_0.unsat.sail : 392 B
  302. web/client/dist/ifetch/SM.toml : 381 B
  303. test/property/shift_bits_right.sail : 379 B
  304. test/property/shift_bits_left.sail : 375 B
  305. web/client/dist/aarch64/CoRR1.toml : 367 B
  306. test/property/slice.unsat.sail : 356 B
  307. isla-litmus/herd/pos_extra.ml : 356 B
  308. web/client/dist/aarch64/CoWR.toml : 352 B
  309. web/client/dist/aarch64/CoRW.toml : 352 B
  310. .gitignore : 346 B
  311. test/property/mono_cond_0.sat.sail : 344 B
  312. test/property/struct.unsat.sail : 342 B
  313. web/client/dist/aarch64/MP.toml : 339 B
  314. web/client/dist/aarch64/CoRW1.toml : 328 B
  315. web/client/dist/aarch64/CoWW.toml : 325 B
  316. web/client/dist/aarch64/MP_e.toml : 324 B
  317. isla-litmus/herd/dune : 315 B
  318. test/property/vector_update_subrange_1.sat.sail : 303 B
  319. test/property/vector_update_subrange_0.sat.sail : 302 B
  320. test/property/vector_update_subrange.unsat.sail : 302 B
  321. test/property/and_bits_1.sat.sail : 302 B
  322. test/property/and_bits_0.sat.sail : 302 B
  323. test/property/and_bits.unsat.sail : 302 B
  324. test/property/nested_struct.unsat.sail : 294 B
  325. test/property/nested_struct.sat.sail : 294 B
  326. test/property/shift_or_concat4_2.unsat.sail : 290 B
  327. test/property/shift_or_concat128.unsat.sail : 287 B
  328. test/property/shift_or_concat.unsat.sail : 283 B
  329. test/property/shift_or_concat_2.sat.sail : 282 B
  330. test/property/shift_or_concat_1.sat.sail : 282 B
  331. test/property/shift_or_concat4.unsat.sail : 277 B
  332. test/property/undefined_enum.unsat.sail : 267 B
  333. test/property/sign_extend.unsat.sail : 266 B
  334. test/property/sign_extend_2.unsat.sail : 265 B
  335. test/property/linearize.unsat.sail : 261 B
  336. test/property/sub_nat.unsat.sail : 260 B
  337. test/property/linearize_off.unsat.sail : 257 B
  338. web/client/dist/esop2020.json : 254 B
  339. isla-litmus/dune : 251 B
  340. test/property/all_enum.unsat.sail : 247 B
  341. test/property/choice_1.sat.sail : 245 B
  342. test/property/reg_deref.unsat.sail : 244 B
  343. test/property/choice.unsat.sail : 244 B
  344. test/property/choice_0.sat.sail : 241 B
  345. test/property/undefined_enum.sat.sail : 231 B
  346. test/property/mono_1.sat.sail : 218 B
  347. test/property/mono_0.sat.sail : 218 B
  348. test/property/all_enum.sat.sail : 211 B
  349. test/property/option.unsat.sail : 202 B
  350. test/property/abs_int.unsat.sail : 194 B
  351. test/axiomatic/README.md : 192 B
  352. test/property/list_literal.unsat.sail : 180 B
  353. test/property/shiftr_zero_1.unsat.sail : 177 B
  354. test/property/shiftr_zero_1.sat.sail : 177 B
  355. test/property/foreach_simple.unsat.sail : 173 B
  356. test/property/reg_write.unsat.sail : 172 B
  357. test/property/undefined_vector.unsat.sail : 158 B
  358. test/property/undefined_vector.sat.sail : 158 B
  359. test/property/undefined_range_2.unsat.sail : 156 B
  360. test/property/undefined_range_2.sat.sail : 152 B
  361. test/property/undefined_range.unsat.sail : 152 B
  362. test/property/undefined_range.sat.sail : 152 B
  363. test/property/lteq_int_trans.unsat.sail : 150 B
  364. test/property/zeros_3.sat.sail : 148 B
  365. test/property/lt_int_trans.unsat.sail : 147 B
  366. test/property/lteq_int_def.unsat.sail : 140 B
  367. test/property/lteq_int_antisym.unsat.sail : 140 B
  368. isla-litmus/Makefile : 140 B
  369. test/property/zeros_4.unsat.sail : 138 B
  370. test/property/zeros_3.unsat.sail : 138 B
  371. test/property/undefined_nat_zero_2.sat.sail : 138 B
  372. test/property/undefined_nat_zero.sat.sail : 138 B
  373. test/property/undefined_nat.unsat.sail : 138 B
  374. test/property/zeros_2.sat.sail : 136 B
  375. test/property/undefined_range_3.unsat.sail : 136 B
  376. test/property/trivial_funcall.sat.sail : 135 B
  377. isla-sail/Makefile : 132 B
  378. test/property/trivial_return.unsat.sail : 121 B
  379. test/property/zeros_1.unsat.sail : 118 B
  380. test/property/zeros_1.sat.sail : 118 B
  381. test/property/zeros_2.unsat.sail : 117 B
  382. test/property/trivial_return.sat.sail : 114 B
  383. .mailmap : 109 B
  384. test/property/lt_int_irrefl.unsat.sail : 107 B
  385. test/property/trivial.sat.sail : 99 B
  386. test/property/trivial.unsat.sail : 98 B
  387. test/property/lteq_int_refl.unsat.sail : 98 B
  388. isla-litmus/herd/pos_extra.mli : 93 B
  389. test/property/include/config.sail : 74 B
  390. rustfmt.toml : 62 B
  391. web/client/.gitignore : 54 B
  392. isla-sail/dune : 46 B
  393. isla-sail/dune-project : 16 B
  394. isla-litmus/dune-project : 16 B
  395. test/axiomatic/.gitignore : 11 B
  396. test/property/.gitignore : 5 B