Ugly Alpha 1
isla:0.1.0

total uncompressed bytes

1.2 MB

total files

352

Fix

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

340 wasted files

total waste: 1.1 MB

  1. web/client/dist/ui.png : 224.5 KB
  2. web/client/package-lock.json : 161.9 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-litmus/herd/misc.ml : 14.1 KB
  9. isla-sail/main.ml : 13.8 KB
  10. isla-litmus/litmus_test.ml : 13.1 KB
  11. web/client/src/ui.ts : 11.9 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. isla-litmus/herd/genParser.ml : 9.2 KB
  16. web/client/dist/isla.png : 9.1 KB
  17. web/client/src/js/gas.js : 8.9 KB
  18. web/client/src/css/codemirror.css : 8.2 KB
  19. web/client/dist/help_standalone.html : 8.1 KB
  20. isla-litmus/herd/splitter.mll : 8.0 KB
  21. isla-litmus/herd/misc.mli : 7.3 KB
  22. web/client/dist/help.html : 7.3 KB
  23. web/client/src/model.ts : 7.0 KB
  24. isla-litmus/herd/testHash.ml : 6.3 KB
  25. isla-litmus/herd/constrGen.ml : 6.3 KB
  26. isla-litmus/herd/stateParser.mly : 6.3 KB
  27. web/client/dist/help.md : 6.2 KB
  28. web/client/src/css/scheme.css : 6.1 KB
  29. isla-litmus/herd/miscParser.ml : 5.9 KB
  30. configs/aarch64.toml : 5.3 KB
  31. web/client/src/util.ts : 5.2 KB
  32. web/client/src/css/goldenlayout-soda-theme.css : 5.1 KB
  33. web/client/src/widget.ts : 5.1 KB
  34. isla-litmus/herd/mySys.ml : 5.1 KB
  35. isla-litmus/herd/mySet.ml : 5.0 KB
  36. isla-litmus/herd/pseudo.ml : 4.9 KB
  37. web/client/dist/index.html : 4.9 KB
  38. web/client/src/js/ast.js : 4.6 KB
  39. web/client/src/css/goldenlayout-base.css : 4.6 KB
  40. web/client/dist/aarch64.cat : 4.5 KB
  41. web/client/src/css/goldenlayout-translucent-theme.css : 4.3 KB
  42. isla-litmus/herd/lexUtils.mll : 4.3 KB
  43. web/client/src/css/goldenlayout-dark-theme.css : 4.2 KB
  44. isla-litmus/herd/rel.ml : 4.2 KB
  45. isla-litmus/herd/innerRel.mli : 4.2 KB
  46. isla-litmus/herd/location.ml : 4.1 KB
  47. isla-litmus/herd/CType.ml : 4.0 KB
  48. web/README.md : 3.9 KB
  49. isla-litmus/herd/archExtra_litmus.ml : 3.7 KB
  50. web/client/src/css/goldenlayout-light-theme.css : 3.6 KB
  51. isla-litmus/herd/miscParser.mli : 3.5 KB
  52. isla-litmus/herd/archBase.mli : 3.4 KB
  53. isla-litmus/herd/constrGen.mli : 3.3 KB
  54. web/client/THIRD_PARTY.md : 3.3 KB
  55. web/client/src/index.ts : 3.2 KB
  56. isla-litmus/herd/machSize.ml : 3.2 KB
  57. headers.sh : 3.1 KB
  58. web/client/src/js/ocaml.js : 3.1 KB
  59. isla-litmus/herd/stateLexer.mll : 3.0 KB
  60. isla-litmus/herd/mySet.mli : 2.9 KB
  61. web/client/src/js/toml.js : 2.9 KB
  62. isla-litmus/herd/myMap.ml : 2.8 KB
  63. isla-litmus/herd/symbConstant.ml : 2.8 KB
  64. web/client/src/js/herd.js : 2.8 KB
  65. doc/litmus_readme.md : 2.7 KB
  66. isla-litmus/herd/Archs.ml : 2.7 KB
  67. isla-litmus/herd/genParser.mli : 2.6 KB
  68. isla-litmus/herd/arch_litmus.mli : 2.6 KB
  69. isla-litmus/herd/splitter.mli : 2.6 KB
  70. isla-litmus/herd/op.ml : 2.6 KB
  71. isla-litmus/herd/mySys.mli : 2.5 KB
  72. isla-litmus/main.ml : 2.4 KB
  73. isla-litmus/herd/rel.mli : 2.3 KB
  74. test/run_tests.rb : 2.3 KB
  75. isla-litmus/herd/outUtils.ml : 2.3 KB
  76. web/client/src/common.ts : 2.2 KB
  77. isla-litmus/GenericHGenBase.ml : 2.2 KB
  78. isla-litmus/herd/warn.mli : 2.2 KB
  79. isla-litmus/herd/parsedConstant.ml : 2.2 KB
  80. web/client/src/js/placeholder.js : 2.1 KB
  81. isla-litmus/herd/outMapping.ml : 2.0 KB
  82. isla-litmus/herd/lexUtils.mli : 2.0 KB
  83. isla-litmus/herd/pos.ml : 2.0 KB
  84. isla-litmus/herd/op.mli : 2.0 KB
  85. isla-litmus/herd/modelOption.ml : 2.0 KB
  86. isla-litmus/GenericHGenLexer.mll : 1.9 KB
  87. isla-litmus/GenericHGenArch.ml : 1.9 KB
  88. isla-sail/LICENCE : 1.9 KB
  89. isla-litmus/herd/testHash.mli : 1.9 KB
  90. isla-litmus/herd/warn.ml : 1.9 KB
  91. isla-litmus/herd/scalar.mli : 1.9 KB
  92. configs/riscv64.toml : 1.9 KB
  93. web/client/src/css/midnight.css : 1.9 KB
  94. isla-litmus/herd/CType.mli : 1.8 KB
  95. isla-litmus/herd/pos.mli : 1.7 KB
  96. isla-litmus/herd/constant.mli : 1.7 KB
  97. web/client/src/location.ts : 1.6 KB
  98. web/client/dist/riscv.cat : 1.6 KB
  99. isla-litmus/herd/machSize.mli : 1.6 KB
  100. isla-litmus/GenericHGenParser.mly : 1.6 KB
  101. isla-litmus/herd/lexMisc.ml : 1.6 KB
  102. isla-litmus/herd/lexOutMapping.mll : 1.6 KB
  103. isla-litmus/herd/outMapping.mli : 1.6 KB
  104. configs/riscv32.toml : 1.5 KB
  105. test/vector_access_0.sat.sail : 1.5 KB
  106. test/vector_access_2.sat.sail : 1.5 KB
  107. test/vector_access_1.sat.sail : 1.5 KB
  108. test/vector_access.unsat.sail : 1.5 KB
  109. isla-litmus/herd/target.mli : 1.5 KB
  110. isla-litmus/herd/label.ml : 1.5 KB
  111. test/vector_access_3.sat.sail : 1.5 KB
  112. isla-litmus/herd/name.mli : 1.4 KB
  113. isla-litmus/herd/label.mli : 1.4 KB
  114. isla-litmus/herd/memory.ml : 1.4 KB
  115. isla-litmus/herd/modelOption.mli : 1.4 KB
  116. isla-litmus/herd/stateLexer.mli : 1.4 KB
  117. isla-litmus/herd/StringSet.mli : 1.3 KB
  118. isla-litmus/herd/StringRel.ml : 1.3 KB
  119. isla-litmus/herd/symbConstant.mli : 1.3 KB
  120. isla-litmus/herd/intRel.ml : 1.3 KB
  121. isla-litmus/herd/memory.mli : 1.3 KB
  122. isla-litmus/herd/IntSet.mli : 1.3 KB
  123. isla-litmus/herd/StringRel.mli : 1.3 KB
  124. isla-litmus/herd/StringMap.mli : 1.3 KB
  125. isla-litmus/herd/intRel.mli : 1.3 KB
  126. isla-litmus/herd/StringSet.ml : 1.3 KB
  127. isla-litmus/herd/PPMode.mli : 1.3 KB
  128. isla-litmus/herd/IntMap.mli : 1.3 KB
  129. isla-litmus/herd/intOrd.ml : 1.3 KB
  130. isla-litmus/herd/lexOutMapping.mli : 1.2 KB
  131. isla-litmus/herd/intOrd.mli : 1.2 KB
  132. isla-litmus/herd/StringMap.ml : 1.2 KB
  133. isla-litmus/herd/IntSet.ml : 1.2 KB
  134. isla-litmus/herd/IntMap.ml : 1.2 KB
  135. web/Makefile : 1.2 KB
  136. web/client/dist/aarch64.json : 1.2 KB
  137. web/client/dist/esop2020.cat : 1.2 KB
  138. web/client/dist/favicon.ico : 1.1 KB
  139. web/client/dist/riscv64.json : 1.1 KB
  140. web/client/package.json : 1.0 KB
  141. web/gather_tests.sh : 951 B
  142. configs/plain.toml : 939 B
  143. web/client/dist/ifetch/MP.R.RF+addr-cachesync+dmb+ctrl-isb.toml : 869 B
  144. test/set_slice_1.sat.sail : 851 B
  145. test/set_slice_0.sat.sail : 842 B
  146. test/set_slice.unsat.sail : 842 B
  147. web/client/dist/ifetch/FOW.toml : 823 B
  148. web/client/dev.config.js : 818 B
  149. test/align_bits.unsat.sail : 812 B
  150. .github/workflows/ubuntu_20_04.yml : 811 B
  151. web/client/dist/ifetch/MP.RF+dc+ctrl-isb-isb.toml : 768 B
  152. web/client/dist/LB+addr+ctrl.toml : 756 B
  153. web/client/prod.config.js : 752 B
  154. web/client/dist/aarch64/MP+dmb.sy+fri-rfi-ctrlisb.toml : 736 B
  155. web/client/dist/aarch64/IRIW+addrs.toml : 729 B
  156. web/client/dist/aarch64/ISA2+dmb.sy+addr+addr.toml : 726 B
  157. Makefile : 715 B
  158. web/client/dist/aarch64/IRIW+dmb.sys.toml : 707 B
  159. web/client/dist/aarch64/RDW.toml : 692 B
  160. web/client/dist/aarch64/ISA2.toml : 683 B
  161. web/client/dist/aarch64/WRC+dmb.sy+addr.toml : 676 B
  162. web/client/dist/aarch64/IRIW.toml : 667 B
  163. web/client/dist/aarch64/RWC+dmb.sys.toml : 661 B
  164. web/client/dist/riscv64/S+fence.rw.rws.toml : 660 B
  165. web/client/dist/riscv64/2+2W+fence.rw.rws.toml : 656 B
  166. web/client/dist/riscv64/S+fence.rw.rw+ctrl.toml : 655 B
  167. web/client/dist/riscv64/S+fence.rw.rw+data.toml : 650 B
  168. web/client/dist/riscv64/R+fence.rw.rws.toml : 650 B
  169. web/client/dist/aarch64/LB+addrs+WW.toml : 646 B
  170. web/client/dist/aarch64/MP+dmb.sy+ctrlisb.toml : 645 B
  171. isla-sail/README.md : 643 B
  172. web/client/dist/riscv64/MP+fence.rw.rw+addr.toml : 642 B
  173. web/client/dist/riscv64/LB+fence.rw.rw+ctrl.toml : 640 B
  174. web/client/dist/riscv64/MP+fence.rw.rws.toml : 639 B
  175. web/client/dist/aarch64/RDWI.toml : 636 B
  176. web/client/dist/aarch64/LB+datas+WW.toml : 636 B
  177. web/client/dist/riscv64/LB+fence.rw.rw+data.toml : 635 B
  178. web/client/dist/aarch64/WRC+addrs.toml : 635 B
  179. web/client/dist/riscv64/MP+fence.rw.rw+ctrl.toml : 634 B
  180. test/linearize_ch.unsat.sail : 634 B
  181. web/client/dist/riscv64/2+2W+fence.rw.rw+po.toml : 633 B
  182. web/client/dist/ifetch/SM.F+ic.toml : 631 B
  183. web/client/dist/riscv64/SB+fence.rw.rws.toml : 630 B
  184. web/client/dist/riscv64/LB+fence.rw.rws.toml : 630 B
  185. vendor.sh : 630 B
  186. isla-litmus/output.ml : 629 B
  187. test/string_take_drop.unsat.sail : 627 B
  188. test_litmus_esop2020.sh : 626 B
  189. web/client/dist/aarch64/LB+addrs+RW.toml : 624 B
  190. web/client/dist/riscv64/S+po+fence.rw.rw.toml : 622 B
  191. web/client/dist/riscv64/S+fence.rw.rw+po.toml : 622 B
  192. test/ccheri_regression1.unsat.sail : 622 B
  193. web/client/dist/riscv64/LB+data+ctrl.toml : 619 B
  194. web/client/dist/aarch64/WRC.toml : 613 B
  195. web/client/dist/aarch64/RWC.toml : 613 B
  196. web/client/dist/riscv64/R+po+fence.rw.rw.toml : 612 B
  197. web/client/dist/riscv64/R+fence.rw.rw+po.toml : 612 B
  198. web/client/dist/riscv64/LB+ctrls.toml : 611 B
  199. web/client/dist/aarch64/RSW.toml : 609 B
  200. web/client/dist/riscv64/SB+fence.rw.rw+po.toml : 607 B
  201. web/client/dist/riscv64/LB+fence.rw.rw+po.toml : 607 B
  202. web/client/dist/riscv64/S+po+ctrl.toml : 606 B
  203. web/client/dist/riscv64/S+po+data.toml : 601 B
  204. web/client/dist/riscv64/MP+po+fence.rw.rw.toml : 601 B
  205. web/client/dist/riscv64/MP+fence.rw.rw+po.toml : 601 B
  206. web/client/dist/riscv64/LB+datas.toml : 601 B
  207. web/client/dist/aarch64/PPOAA.toml : 598 B
  208. web/client/dist/aarch64/PPOCA.toml : 596 B
  209. web/client/dist/riscv64/MP+po+addr.toml : 593 B
  210. web/client/dist/riscv64/LB+ctrl+po.toml : 591 B
  211. web/client/dist/aarch64/S+dmb.sy+data.toml : 589 B
  212. web/client/dist/riscv64/LB+data+po.toml : 586 B
  213. web/client/dist/riscv64/MP+po+ctrl.toml : 585 B
  214. web/client/dist/aarch64/2+2W+dmb.sys.toml : 581 B
  215. web/client/dist/aarch64/S+dmb.sys.toml : 579 B
  216. web/client/dist/aarch64/R+dmb.sys.toml : 579 B
  217. web/client/dist/riscv64/2+2W.toml : 572 B
  218. test/mono_cond_1.unsat.sail : 571 B
  219. web/client/dist/riscv64/S.toml : 567 B
  220. web/client/dist/aarch64/MP+dmb.sys.toml : 567 B
  221. web/client/dist/aarch64/LB+datas.toml : 564 B
  222. web/client/dist/aarch64/S+dmb.sy+po.toml : 561 B
  223. web/client/dist/riscv64/R.toml : 557 B
  224. web/client/dist/aarch64/SB+dmb.sys.toml : 553 B
  225. web/client/dist/aarch64/MP+dmb.sy+po.toml : 549 B
  226. web/client/dist/riscv64/SB.toml : 546 B
  227. web/client/dist/riscv64/MP.toml : 546 B
  228. web/client/dist/riscv64/LB.toml : 546 B
  229. web/client/dist/aarch64/S+dmb.sy+ctrl.toml : 545 B
  230. web/client/dist/aarch64/MP+dmb.sy+ctrl.toml : 544 B
  231. web/client/dist/aarch64/LB+addrs.toml : 541 B
  232. web/client/dist/aarch64/LB+ctrls.toml : 537 B
  233. web/client/dist/aarch64/2+2W.toml : 537 B
  234. web/client/dist/aarch64/S.toml : 531 B
  235. web/client/dist/aarch64/R.toml : 531 B
  236. test_litmus_riscv64.sh : 512 B
  237. web/client/dist/aarch64/LB+rs.toml : 510 B
  238. web/client/dist/aarch64/SB.toml : 509 B
  239. web/client/dist/aarch64/LB.toml : 509 B
  240. web/client/Makefile : 506 B
  241. web/client/tsconfig.json : 493 B
  242. web/client/dist/aarch64/MP+dmb.sy+rs.toml : 485 B
  243. web/client/dist/aarch64/MP+nondep+dmb.sy.toml : 477 B
  244. web/client/dist/ifetch/CoRF.toml : 473 B
  245. test_litmus_aarch64.sh : 470 B
  246. test/set_slice_int.unsat.sail : 470 B
  247. web/client/dist/ifetch/SM+cachesync-isb.toml : 457 B
  248. test/linearize_2.unsat.sail : 453 B
  249. isla-litmus/memfd_create.c : 426 B
  250. .gitignore : 402 B
  251. web/client/dist/aarch64/CoRR1.toml : 397 B
  252. web/client/dist/ifetch/SM.toml : 394 B
  253. test/mono_cond_0.unsat.sail : 392 B
  254. web/client/dist/aarch64/CoWR.toml : 386 B
  255. web/client/dist/aarch64/CoRW.toml : 386 B
  256. test/shift_bits_right.sail : 379 B
  257. test/shift_bits_left.sail : 375 B
  258. web/client/dist/aarch64/MP.toml : 369 B
  259. web/client/dist/aarch64/CoRW1.toml : 365 B
  260. test/slice.unsat.sail : 356 B
  261. isla-litmus/herd/pos_extra.ml : 356 B
  262. web/client/dist/aarch64/CoWW.toml : 347 B
  263. test/mono_cond_0.sat.sail : 344 B
  264. test/struct.unsat.sail : 342 B
  265. isla-litmus/herd/dune : 315 B
  266. test/vector_update_subrange_1.sat.sail : 303 B
  267. test/vector_update_subrange_0.sat.sail : 302 B
  268. test/vector_update_subrange.unsat.sail : 302 B
  269. test/and_bits_1.sat.sail : 302 B
  270. test/and_bits_0.sat.sail : 302 B
  271. test/and_bits.unsat.sail : 302 B
  272. test/or_bits.unsat.sail : 299 B
  273. test/nested_struct.unsat.sail : 294 B
  274. test/nested_struct.sat.sail : 294 B
  275. test/shift_or_concat4_2.unsat.sail : 290 B
  276. test/shift_or_concat128.unsat.sail : 287 B
  277. test/shift_or_concat.unsat.sail : 283 B
  278. test/shift_or_concat_2.sat.sail : 282 B
  279. test/shift_or_concat_1.sat.sail : 282 B
  280. test/shift_or_concat4.unsat.sail : 277 B
  281. test/undefined_enum.unsat.sail : 267 B
  282. test/sign_extend.unsat.sail : 266 B
  283. test/sign_extend_2.unsat.sail : 265 B
  284. test/linearize.unsat.sail : 261 B
  285. test/sub_nat.unsat.sail : 260 B
  286. test/linearize_off.unsat.sail : 257 B
  287. web/client/dist/esop2020.json : 254 B
  288. isla-litmus/dune : 251 B
  289. test/choice_1.sat.sail : 245 B
  290. test/reg_deref.unsat.sail : 244 B
  291. test/choice.unsat.sail : 244 B
  292. test/choice_0.sat.sail : 241 B
  293. test/undefined_enum.sat.sail : 231 B
  294. test/mono_1.sat.sail : 218 B
  295. test/mono_0.sat.sail : 218 B
  296. test/option.unsat.sail : 202 B
  297. test/abs_int.unsat.sail : 194 B
  298. test/list_literal.unsat.sail : 180 B
  299. test/shiftr_zero_1.unsat.sail : 177 B
  300. test/shiftr_zero_1.sat.sail : 177 B
  301. test/foreach_simple.unsat.sail : 173 B
  302. test/reg_write.unsat.sail : 172 B
  303. test/undefined_vector.unsat.sail : 158 B
  304. test/undefined_vector.sat.sail : 158 B
  305. test/undefined_range_2.unsat.sail : 156 B
  306. test/undefined_range_2.sat.sail : 152 B
  307. test/undefined_range.unsat.sail : 152 B
  308. test/undefined_range.sat.sail : 152 B
  309. test/lteq_int_trans.unsat.sail : 150 B
  310. test/zeros_3.sat.sail : 148 B
  311. test/lt_int_trans.unsat.sail : 147 B
  312. test/lteq_int_def.unsat.sail : 140 B
  313. test/lteq_int_antisym.unsat.sail : 140 B
  314. isla-litmus/Makefile : 140 B
  315. test/zeros_4.unsat.sail : 138 B
  316. test/zeros_3.unsat.sail : 138 B
  317. test/undefined_nat_zero_2.sat.sail : 138 B
  318. test/undefined_nat_zero.sat.sail : 138 B
  319. test/undefined_nat.unsat.sail : 138 B
  320. test/zeros_2.sat.sail : 136 B
  321. test/undefined_range_3.unsat.sail : 136 B
  322. test/trivial_funcall.sat.sail : 135 B
  323. isla-sail/Makefile : 132 B
  324. test/trivial_return.unsat.sail : 121 B
  325. test/zeros_1.unsat.sail : 118 B
  326. test/zeros_1.sat.sail : 118 B
  327. test/zeros_2.unsat.sail : 117 B
  328. test/trivial_return.sat.sail : 114 B
  329. .mailmap : 109 B
  330. test/lt_int_irrefl.unsat.sail : 107 B
  331. test/trivial.sat.sail : 99 B
  332. test/trivial.unsat.sail : 98 B
  333. test/lteq_int_refl.unsat.sail : 98 B
  334. isla-litmus/herd/pos_extra.mli : 93 B
  335. test/include/config.sail : 74 B
  336. rustfmt.toml : 62 B
  337. web/client/.gitignore : 54 B
  338. isla-sail/dune : 46 B
  339. isla-sail/dune-project : 16 B
  340. isla-litmus/dune-project : 16 B