clvk-tools-rs 0.4.0__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (759) hide show
  1. clvk_tools_rs-0.4.0/.github/dependabot.yml +80 -0
  2. clvk_tools_rs-0.4.0/.github/workflows/audit-check.yml.bak +14 -0
  3. clvk_tools_rs-0.4.0/.github/workflows/build-arm64-wheels.yml +121 -0
  4. clvk_tools_rs-0.4.0/.github/workflows/build-crate.yml +66 -0
  5. clvk_tools_rs-0.4.0/.github/workflows/build-m1-wheel.yml +189 -0
  6. clvk_tools_rs-0.4.0/.github/workflows/build-riscv.yml +83 -0
  7. clvk_tools_rs-0.4.0/.github/workflows/build-test.yml +402 -0
  8. clvk_tools_rs-0.4.0/.github/workflows/npm-publish.yml +88 -0
  9. clvk_tools_rs-0.4.0/.gitignore +15 -0
  10. clvk_tools_rs-0.4.0/CHANGELOG.md +66 -0
  11. clvk_tools_rs-0.4.0/Cargo.lock +1523 -0
  12. clvk_tools_rs-0.4.0/Cargo.toml +101 -0
  13. clvk_tools_rs-0.4.0/HOW_CHIKLISP_IS_COMPILED.md +817 -0
  14. clvk_tools_rs-0.4.0/LICENSE +201 -0
  15. clvk_tools_rs-0.4.0/Makefile +6 -0
  16. clvk_tools_rs-0.4.0/PKG-INFO +207 -0
  17. clvk_tools_rs-0.4.0/README.md +194 -0
  18. clvk_tools_rs-0.4.0/pyproject.toml +19 -0
  19. clvk_tools_rs-0.4.0/python/clvk_tools_rs/__init__.py +1 -0
  20. clvk_tools_rs-0.4.0/python/clvk_tools_rs/cmds.py +16 -0
  21. clvk_tools_rs-0.4.0/resources/alpine/Dockerfile +7 -0
  22. clvk_tools_rs-0.4.0/resources/alpine/build-alpine.sh +8 -0
  23. clvk_tools_rs-0.4.0/resources/alpine/wheel.diff +24 -0
  24. clvk_tools_rs-0.4.0/resources/coverage/distill_coverage_results.py +46 -0
  25. clvk_tools_rs-0.4.0/resources/coverage/run_coverage.py +73 -0
  26. clvk_tools_rs-0.4.0/resources/tests/a-binary-file-called-hello.dat +1 -0
  27. clvk_tools_rs-0.4.0/resources/tests/all_operators-0_1_43.clvk +1 -0
  28. clvk_tools_rs-0.4.0/resources/tests/all_operators.clsp +68 -0
  29. clvk_tools_rs-0.4.0/resources/tests/all_operators_inputs.clvk +45 -0
  30. clvk_tools_rs-0.4.0/resources/tests/all_operators_result.clvk +1 -0
  31. clvk_tools_rs-0.4.0/resources/tests/assert.clvk +21 -0
  32. clvk_tools_rs-0.4.0/resources/tests/assert.clvk.out +1 -0
  33. clvk_tools_rs-0.4.0/resources/tests/big_assemble_out.txt +1 -0
  34. clvk_tools_rs-0.4.0/resources/tests/big_decode_in.txt +1 -0
  35. clvk_tools_rs-0.4.0/resources/tests/big_decode_out.txt +1 -0
  36. clvk_tools_rs-0.4.0/resources/tests/bin-quote.bin +1 -0
  37. clvk_tools_rs-0.4.0/resources/tests/bls/classic-bls-op-test-1.clsp +5 -0
  38. clvk_tools_rs-0.4.0/resources/tests/bls/classic-bls-verify-signature.clsp +8 -0
  39. clvk_tools_rs-0.4.0/resources/tests/bls/coinid-fail.clsp +5 -0
  40. clvk_tools_rs-0.4.0/resources/tests/bls/coinid-good.clsp +5 -0
  41. clvk_tools_rs-0.4.0/resources/tests/bls/modern-bls-op-test-1.clsp +6 -0
  42. clvk_tools_rs-0.4.0/resources/tests/bls/modern-bls-verify-signature.clsp +9 -0
  43. clvk_tools_rs-0.4.0/resources/tests/bridge-includes/__init__.py +0 -0
  44. clvk_tools_rs-0.4.0/resources/tests/bridge-includes/attribution.md +5 -0
  45. clvk_tools_rs-0.4.0/resources/tests/bridge-includes/condition_codes.clib +38 -0
  46. clvk_tools_rs-0.4.0/resources/tests/bridge-includes/curry.clib +137 -0
  47. clvk_tools_rs-0.4.0/resources/tests/bridge-includes/merkle_utils.clib +19 -0
  48. clvk_tools_rs-0.4.0/resources/tests/bridge-includes/sha256tree.clib +7 -0
  49. clvk_tools_rs-0.4.0/resources/tests/bridge-includes/utility_macros.clib +55 -0
  50. clvk_tools_rs-0.4.0/resources/tests/bridgeref/attribution.md +5 -0
  51. clvk_tools_rs-0.4.0/resources/tests/bridgeref/merkle_tree_a2c.clsp +17 -0
  52. clvk_tools_rs-0.4.0/resources/tests/bridgeref/merkle_tree_a2c.clvk.hex.reference +1 -0
  53. clvk_tools_rs-0.4.0/resources/tests/bridgeref/merkle_tree_a2c.sym.reference +1 -0
  54. clvk_tools_rs-0.4.0/resources/tests/bridgeref/validation_taproot.clsp +277 -0
  55. clvk_tools_rs-0.4.0/resources/tests/bridgeref/validation_taproot.clvk.hex.reference +1 -0
  56. clvk_tools_rs-0.4.0/resources/tests/bridgeref/validation_taproot.sym.reference +1 -0
  57. clvk_tools_rs-0.4.0/resources/tests/cat_truths.clib +31 -0
  58. clvk_tools_rs-0.4.0/resources/tests/check-recompiles.py +15 -0
  59. clvk_tools_rs-0.4.0/resources/tests/chik-gaming/last.clinc +39 -0
  60. clvk_tools_rs-0.4.0/resources/tests/chik-gaming/test-last.clsp +6 -0
  61. clvk_tools_rs-0.4.0/resources/tests/cldb_tree/hex.json +49 -0
  62. clvk_tools_rs-0.4.0/resources/tests/cldb_tree/pool_member_innerpuz.cl +70 -0
  63. clvk_tools_rs-0.4.0/resources/tests/cldb_tree/pool_member_innerpuz.hex +1 -0
  64. clvk_tools_rs-0.4.0/resources/tests/cldb_tree/pool_member_innerpuz_args.cl +26 -0
  65. clvk_tools_rs-0.4.0/resources/tests/cldb_tree/pool_member_innerpuz_args.hex +1 -0
  66. clvk_tools_rs-0.4.0/resources/tests/cldb_tree/pool_member_innerpuz_extra.sym +1 -0
  67. clvk_tools_rs-0.4.0/resources/tests/cldb_tree/pool_member_innerpuz_ref.sym +1 -0
  68. clvk_tools_rs-0.4.0/resources/tests/cldb_tree/pool_member_innerpuz_run.json +1 -0
  69. clvk_tools_rs-0.4.0/resources/tests/cldb_tree/pre_hex.json +49 -0
  70. clvk_tools_rs-0.4.0/resources/tests/cldb_tree/test.json +1 -0
  71. clvk_tools_rs-0.4.0/resources/tests/cldb_tree/test_rec_1.cl +7 -0
  72. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/__init__.py +0 -0
  73. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/if-1.txt +2 -0
  74. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/if-2.txt +2 -0
  75. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/if-3.txt +2 -0
  76. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/if-4.txt +2 -0
  77. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/if-5.txt +2 -0
  78. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/if-6.txt +2 -0
  79. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/if_1.txt +2 -0
  80. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/if_2.txt +2 -0
  81. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/if_3.txt +2 -0
  82. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/if_4.txt +2 -0
  83. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/if_5.txt +2 -0
  84. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/list-1.txt +2 -0
  85. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/list-2.txt +2 -0
  86. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/list-3.txt +2 -0
  87. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/list-4.txt +2 -0
  88. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/list-5.txt +2 -0
  89. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/map-1.txt +2 -0
  90. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/nested.txt +2 -0
  91. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/partial-bindings-1.txt +3 -0
  92. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/partial-bindings-2.txt +3 -0
  93. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/quote-1.txt +2 -0
  94. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/quote-2.txt +2 -0
  95. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/quote-3.txt +2 -0
  96. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/simple_add.txt +2 -0
  97. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/subtract-1.txt +2 -0
  98. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/subtract-2.txt +2 -0
  99. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/subtract-3.txt +2 -0
  100. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/var_binding1.txt +2 -0
  101. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/compiler_001/var_binding2.txt +2 -0
  102. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/mkp2taproot-1.txt +15 -0
  103. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/p2taproot-1.txt +16 -0
  104. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/p2taproot-2.txt +16 -0
  105. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/simple-1.txt +2 -0
  106. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/simple-2.txt +2 -0
  107. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/simple-3.txt +2 -0
  108. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/simple-4.txt +2 -0
  109. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/bool-1.txt +2 -0
  110. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/bool-2.txt +2 -0
  111. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/bool-3.txt +2 -0
  112. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/bool-4.txt +2 -0
  113. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/if-1.txt +2 -0
  114. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/if-2.txt +2 -0
  115. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/if-3.txt +2 -0
  116. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/if-4.txt +2 -0
  117. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/if-5.txt +2 -0
  118. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/if-6.txt +2 -0
  119. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/int-1.txt +2 -0
  120. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/list-1.txt +2 -0
  121. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/list-2.txt +2 -0
  122. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/list-3.txt +2 -0
  123. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/list-4.txt +2 -0
  124. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/map-1.txt +2 -0
  125. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/map-2.txt +2 -0
  126. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/map-3.txt +2 -0
  127. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/not-1.txt +2 -0
  128. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/not-2.txt +2 -0
  129. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/not-3.txt +2 -0
  130. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/not-4.txt +2 -0
  131. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/quasiquote-1.txt +2 -0
  132. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/quasiquote-2.txt +2 -0
  133. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/quasiquote-3.txt +2 -0
  134. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/quasiquote-4.txt +2 -0
  135. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/quasiquote-5.txt +2 -0
  136. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/quasiquote-6.txt +2 -0
  137. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/quasiquote-7.txt +2 -0
  138. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/var-1.txt +2 -0
  139. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/attic/v0_0_2/rewrite/var-2.txt +2 -0
  140. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvk_runtime/and-1.txt +2 -0
  141. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvk_runtime/and-2.txt +2 -0
  142. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvk_runtime/and-3.txt +2 -0
  143. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvk_runtime/and-4.txt +2 -0
  144. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvk_runtime/and-5.txt +2 -0
  145. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvk_runtime/and-6.txt +2 -0
  146. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvk_runtime/chik-constants.clvk +13 -0
  147. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvk_runtime/curry.clvk +56 -0
  148. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvk_runtime/macros.clvk +23 -0
  149. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvk_runtime/or-1.txt +2 -0
  150. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvk_runtime/or-2.txt +2 -0
  151. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvk_runtime/or-3.txt +2 -0
  152. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvk_runtime/or-4.txt +2 -0
  153. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvk_runtime/or-5.txt +2 -0
  154. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvk_runtime/sha256tree-1.txt +2 -0
  155. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvk_runtime/sha256tree.clvk +25 -0
  156. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/clvkc_test.py +42 -0
  157. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/cmd/disassemble.txt +2 -0
  158. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/cmd/hex1.txt +2 -0
  159. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/cmd/hex2.txt +2 -0
  160. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/cmd/hex3.txt +3 -0
  161. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/cmd/numerical.txt +2 -0
  162. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/cmd/sha256-5.txt +2 -0
  163. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/cmd/trace-table.txt +26 -0
  164. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/cmd/unknown-0.txt +2 -0
  165. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/cmd/unknown-2.txt +2 -0
  166. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/cmds_test.py +144 -0
  167. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/curry_test.py +28 -0
  168. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/ir_reader_test.py +27 -0
  169. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/ir_writer_test.py +33 -0
  170. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/node_path_test.py +65 -0
  171. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/opc/compile_unterminated_str.txt +2 -0
  172. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/opc/examples/equal.op +1 -0
  173. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/opc/hash.txt +2 -0
  174. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/opc/invalid-var-1.txt +2 -0
  175. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/opc/invalid-var-2.txt +2 -0
  176. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/opc/invalid-var-3.txt +2 -0
  177. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/opc/invalid_hex_1.txt +2 -0
  178. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/opc/invalid_hex_2.txt +2 -0
  179. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/opc/missing_close_paren.txt +2 -0
  180. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/opc/unexpected_close_paren.txt +2 -0
  181. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/opc/unparseable.txt +2 -0
  182. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/opd/hash.txt +2 -0
  183. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/pattern_match_test.py +59 -0
  184. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/reader_test.py +10 -0
  185. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/serialize_test.py +55 -0
  186. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/add-1.txt +2 -0
  187. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/brun-y-1.sym +1 -0
  188. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/brun-y-1.txt +24 -0
  189. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/com_macro-1.txt +2 -0
  190. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/com_macro-if-1.txt +2 -0
  191. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/curry-1.txt +2 -0
  192. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/curry-2.txt +2 -0
  193. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/curry-3.txt +2 -0
  194. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/curry-4.txt +2 -0
  195. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/curry-5.txt +2 -0
  196. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/curry-6.txt +2 -0
  197. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/curry-7.txt +2 -0
  198. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/defconstant-1.txt +2 -0
  199. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/defconstant-2.txt +2 -0
  200. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/defmacro-1.txt +2 -0
  201. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/defmacro-2.txt +2 -0
  202. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/defmacro-3.txt +2 -0
  203. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/defmacro-4.txt +2 -0
  204. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/defmacro-5.txt +2 -0
  205. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/defmacro-6.txt +2 -0
  206. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/defun-1.txt +2 -0
  207. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/defun-inline-1.txt +2 -0
  208. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/div-1.txt +2 -0
  209. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/div-2.txt +2 -0
  210. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/do_not_collapse_com-1.txt +2 -0
  211. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/dynamic-add-1.txt +2 -0
  212. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/equal-1.txt +2 -0
  213. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/equal-2.txt +2 -0
  214. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/equal-3.txt +2 -0
  215. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/equal-4.txt +2 -0
  216. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/exp-1.txt +2 -0
  217. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/factorial-1.txt +2 -0
  218. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/fib-fact-1.txt +8 -0
  219. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/function-1.txt +2 -0
  220. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/function-2.txt +2 -0
  221. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/if-1.txt +2 -0
  222. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/if-2.txt +2 -0
  223. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/include-1.txt +2 -0
  224. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/included-1.clvk +4 -0
  225. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/lambda-1.txt +2 -0
  226. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/lambda-2.txt +2 -0
  227. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/lambda-3.txt +2 -0
  228. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/lambda-op-1.txt +2 -0
  229. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/list-1.txt +2 -0
  230. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/list-2.txt +2 -0
  231. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/list-3.txt +2 -0
  232. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/list-4.txt +2 -0
  233. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/list-5.txt +2 -0
  234. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/macro-mod-1.txt +20 -0
  235. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/map-1.txt +2 -0
  236. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/map-2.txt +2 -0
  237. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/map-3.txt +2 -0
  238. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/map-4.txt +2 -0
  239. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/map-5.txt +2 -0
  240. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/map-6.txt +2 -0
  241. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/minimal-paths-1.txt +2 -0
  242. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/mod-1.txt +2 -0
  243. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/mod-2.txt +2 -0
  244. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/mod-defmacro-1.txt +10 -0
  245. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/mod-defun-add-1.txt +2 -0
  246. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/mod-no-defuns-1.txt +3 -0
  247. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/opt-cons-1.txt +2 -0
  248. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/opt-cons-2.txt +2 -0
  249. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/opt-cons-3.txt +2 -0
  250. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/opt-cons-4.txt +2 -0
  251. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/opt-cons_q_a-1.txt +2 -0
  252. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/opt-constant-1.txt +2 -0
  253. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/opt-path-1.txt +2 -0
  254. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/opt-q-nil-1.txt +2 -0
  255. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/opt-q-nil-2.txt +2 -0
  256. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/opt-q-nil-3.txt +2 -0
  257. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/opt-var_change_optimizer-cons-1.txt +2 -0
  258. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/opt-var_change_optimizer-cons-2.txt +2 -0
  259. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/qq-1.txt +2 -0
  260. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/qq-2.txt +2 -0
  261. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/qq-3.txt +2 -0
  262. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/qq-4.txt +2 -0
  263. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/qq-5.txt +2 -0
  264. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/qq-nested-1.txt +2 -0
  265. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/run-1.txt +2 -0
  266. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/sha-1.txt +2 -0
  267. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/sha256-1.txt +2 -0
  268. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/sha256-2.txt +2 -0
  269. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/sha256-3.txt +2 -0
  270. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/sha256-4.txt +2 -0
  271. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/symtab-1.txt +2 -0
  272. clvk_tools_rs-0.4.0/resources/tests/cmdline/tests/stage_2/symtab-2.txt +2 -0
  273. clvk_tools_rs-0.4.0/resources/tests/condition_codes.clvk +38 -0
  274. clvk_tools_rs-0.4.0/resources/tests/cse-bad-letstar.clsp +12 -0
  275. clvk_tools_rs-0.4.0/resources/tests/cse-bad.clsp +12 -0
  276. clvk_tools_rs-0.4.0/resources/tests/cse-complex-21.clsp +28 -0
  277. clvk_tools_rs-0.4.0/resources/tests/cse-overlap.clsp +15 -0
  278. clvk_tools_rs-0.4.0/resources/tests/cse-tricky-basic.clsp +25 -0
  279. clvk_tools_rs-0.4.0/resources/tests/curry-and-treehash.clinc +72 -0
  280. clvk_tools_rs-0.4.0/resources/tests/deinline/test-basic-deinline.clsp +15 -0
  281. clvk_tools_rs-0.4.0/resources/tests/did_innerpuz.clsp +135 -0
  282. clvk_tools_rs-0.4.0/resources/tests/embed.sexp +1 -0
  283. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/all-in-list.clinc +12 -0
  284. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/assert.clinc +8 -0
  285. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/busy.clinc +11 -0
  286. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/condition_codes.clinc +41 -0
  287. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/curry-and-treehash.clinc +92 -0
  288. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/curry.clinc +104 -0
  289. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/deep_compare.clinc +41 -0
  290. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/filtermap.clinc +14 -0
  291. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/flatten.clinc +12 -0
  292. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/handcalc.clinc +140 -0
  293. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/handcalc_a.clinc +256 -0
  294. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/last.clinc +39 -0
  295. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/len.clinc +3 -0
  296. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/map.clinc +17 -0
  297. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/match.clinc +12 -0
  298. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/max.clinc +13 -0
  299. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/permutations.clinc +21 -0
  300. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/prefix.clinc +16 -0
  301. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/prepend.clinc +8 -0
  302. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/print.clinc +3 -0
  303. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/range.clinc +11 -0
  304. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/reduce.clinc +10 -0
  305. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/reverse.clinc +11 -0
  306. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/shatree.clinc +11 -0
  307. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/slice.clinc +10 -0
  308. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/smoke_test_deep_compare.clsp +28 -0
  309. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/smoke_test_deep_compare.clvk.hex +1 -0
  310. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/smoke_test_deep_compare.sym +1 -0
  311. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/smoke_test_permutations.clsp +9 -0
  312. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/smoke_test_permutations.clvk.hex +1 -0
  313. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/smoke_test_permutations.sym +1 -0
  314. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/smoke_test_sort.clsp +11 -0
  315. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/smoke_test_sort.clvk.hex +1 -0
  316. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/smoke_test_sort.sym +1 -0
  317. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/sort.clinc +44 -0
  318. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/spacehandcalc.clinc +104 -0
  319. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_handcalc.clsp +379 -0
  320. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_handcalc.clvk.hex +1 -0
  321. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_handcalc.sym +1 -0
  322. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_handcalc_b.clsp +377 -0
  323. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_library_basics.py +165 -0
  324. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_permutations.clsp +63 -0
  325. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_permutations.clvk.hex +1 -0
  326. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_permutations.sym +1 -0
  327. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_prepend.clsp +5 -0
  328. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_prepend.clvk.hex +1 -0
  329. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_prepend.sym +1 -0
  330. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_range.clsp +6 -0
  331. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_range.clvk.hex +1 -0
  332. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_range.sym +1 -0
  333. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_reverse.clsp +6 -0
  334. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_reverse.clvk.hex +1 -0
  335. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_reverse.sym +1 -0
  336. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_sort.clsp +37 -0
  337. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_sort.clvk.hex +1 -0
  338. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/test_sort.sym +1 -0
  339. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/testnoncegame.py +33 -0
  340. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/testreferee.py +479 -0
  341. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/testrockpaperscissors.py +48 -0
  342. clvk_tools_rs-0.4.0/resources/tests/game-referee-after-cl21/utils.clinc +17 -0
  343. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/all-in-list.clinc +12 -0
  344. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/assert.clinc +8 -0
  345. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/busy.clinc +11 -0
  346. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/condition_codes.clinc +41 -0
  347. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/curry-and-treehash.clinc +92 -0
  348. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/curry.clinc +104 -0
  349. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/deep_compare.clinc +41 -0
  350. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/filtermap.clinc +14 -0
  351. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/flatten.clinc +12 -0
  352. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/handcalc.clinc +140 -0
  353. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/handcalc_a.clinc +256 -0
  354. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/last.clinc +39 -0
  355. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/len.clinc +3 -0
  356. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/map.clinc +17 -0
  357. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/match.clinc +12 -0
  358. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/max.clinc +13 -0
  359. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/permutations.clinc +21 -0
  360. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/prefix.clinc +16 -0
  361. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/prepend.clinc +8 -0
  362. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/print.clinc +3 -0
  363. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/range.clinc +11 -0
  364. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/reduce.clinc +10 -0
  365. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/reverse.clinc +11 -0
  366. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/shatree.clinc +11 -0
  367. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/slice.clinc +10 -0
  368. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/smoke_test_deep_compare.clsp +28 -0
  369. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/smoke_test_deep_compare.clvk.hex +1 -0
  370. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/smoke_test_deep_compare.clvk.hex.reference +1 -0
  371. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/smoke_test_deep_compare.sym +1 -0
  372. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/smoke_test_permutations.clsp +9 -0
  373. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/smoke_test_permutations.clvk.hex +1 -0
  374. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/smoke_test_permutations.clvk.hex.reference +1 -0
  375. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/smoke_test_permutations.sym +1 -0
  376. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/smoke_test_sort.clsp +11 -0
  377. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/smoke_test_sort.clvk.hex +1 -0
  378. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/smoke_test_sort.clvk.hex.reference +1 -0
  379. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/smoke_test_sort.sym +1 -0
  380. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/sort.clinc +44 -0
  381. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/spacehandcalc.clinc +104 -0
  382. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_handcalc.clsp +379 -0
  383. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_handcalc.clvk.hex +1 -0
  384. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_handcalc.clvk.hex.reference +1 -0
  385. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_handcalc.sym +1 -0
  386. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_handcalc_b.clsp +377 -0
  387. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_library_basics.py +165 -0
  388. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_permutations.clsp +63 -0
  389. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_permutations.clvk.hex +1 -0
  390. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_permutations.clvk.hex.reference +1 -0
  391. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_permutations.sym +1 -0
  392. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_prepend.clsp +5 -0
  393. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_prepend.clvk.hex +1 -0
  394. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_prepend.clvk.hex.reference +1 -0
  395. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_prepend.sym +1 -0
  396. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_range.clsp +6 -0
  397. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_range.clvk.hex +1 -0
  398. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_range.clvk.hex.reference +1 -0
  399. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_range.sym +1 -0
  400. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_reverse.clsp +6 -0
  401. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_reverse.clvk.hex +1 -0
  402. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_reverse.clvk.hex.reference +1 -0
  403. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_reverse.sym +1 -0
  404. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_sort.clsp +37 -0
  405. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_sort.clvk.hex +1 -0
  406. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_sort.clvk.hex.reference +1 -0
  407. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/test_sort.sym +1 -0
  408. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/testnoncegame.py +33 -0
  409. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/testreferee.py +479 -0
  410. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/testrockpaperscissors.py +48 -0
  411. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl21/utils.clinc +17 -0
  412. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/all-in-list.clinc +12 -0
  413. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/append.clinc +8 -0
  414. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/assert.clinc +10 -0
  415. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/busy.clinc +11 -0
  416. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/calpoker_generate.clinc +466 -0
  417. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/calpoker_include.clsp +1 -0
  418. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/condition_codes.clinc +41 -0
  419. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/curry-and-treehash.clinc +92 -0
  420. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/curry.clinc +104 -0
  421. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/deep_compare.clinc +41 -0
  422. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/deep_compare_t2.clsp +6 -0
  423. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/detectwrap.clinc +17 -0
  424. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/filtermap.clinc +21 -0
  425. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/flatten.clinc +12 -0
  426. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/handbitmap.clinc +66 -0
  427. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/handcalc.clinc +232 -0
  428. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/handcalc2.clinc +233 -0
  429. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/krunk_generate.clinc +404 -0
  430. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/krunk_include.clsp +1 -0
  431. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/krunk_make_clue.clinc +58 -0
  432. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/last.clinc +44 -0
  433. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/len.clinc +3 -0
  434. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/map.clinc +17 -0
  435. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/match.clinc +12 -0
  436. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/max.clinc +13 -0
  437. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/noncegame.clsp +17 -0
  438. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/onehandcalc.clinc +147 -0
  439. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/partition.clinc +15 -0
  440. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/permutations.clinc +21 -0
  441. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/prefix.clinc +15 -0
  442. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/prepend.clinc +8 -0
  443. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/print.clinc +3 -0
  444. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/range.clinc +11 -0
  445. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/reduce.clinc +10 -0
  446. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/referee.clsp +83 -0
  447. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/relops.clinc +5 -0
  448. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/reverse.clinc +11 -0
  449. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/rockpaperscissorsa.clsp +18 -0
  450. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/rockpaperscissorsb.clsp +20 -0
  451. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/rockpaperscissorsc.clsp +27 -0
  452. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/shatree.clinc +11 -0
  453. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/slice.clinc +10 -0
  454. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/slice_runner.clsp +6 -0
  455. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/smoke_test_deep_compare.clsp +28 -0
  456. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/smoke_test_deep_compare.clvk.hex +1 -0
  457. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/smoke_test_deep_compare.sym +1 -0
  458. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/smoke_test_permutations.clsp +9 -0
  459. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/smoke_test_permutations.clvk.hex +1 -0
  460. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/smoke_test_permutations.sym +1 -0
  461. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/smoke_test_sort.clsp +11 -0
  462. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/smoke_test_sort.clvk.hex +1 -0
  463. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/smoke_test_sort.sym +1 -0
  464. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/sort.clinc +44 -0
  465. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/space_poker.clinc +214 -0
  466. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/spacehandcalc.clinc +107 -0
  467. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/spacepoker_include.clsp +1 -0
  468. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/steprun.py +55 -0
  469. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_detectwrap.clsp +8 -0
  470. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_handbitmap.clsp +13 -0
  471. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_handcalc.clsp +444 -0
  472. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_library_basics.py +132 -0
  473. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_onehandcalc.clsp +37 -0
  474. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_permutations.clsp +63 -0
  475. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_permutations.clvk.hex +1 -0
  476. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_permutations.sym +1 -0
  477. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_prepend.clsp +5 -0
  478. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_prepend.clvk.hex +1 -0
  479. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_prepend.sym +1 -0
  480. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_range.clsp +6 -0
  481. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_range.clvk.hex +1 -0
  482. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_range.sym +1 -0
  483. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_reverse.clsp +6 -0
  484. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_reverse.clvk.hex +1 -0
  485. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_reverse.sym +1 -0
  486. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_slice.clsp +14 -0
  487. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_sort.clsp +37 -0
  488. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_sort.clvk.hex +1 -0
  489. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/test_sort.sym +1 -0
  490. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/testnoncegame.py +33 -0
  491. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/testreferee.py +479 -0
  492. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/testrockpaperscissors.py +47 -0
  493. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/truncate.clinc +8 -0
  494. clvk_tools_rs-0.4.0/resources/tests/game-referee-in-cl23/utils.clinc +2 -0
  495. clvk_tools_rs-0.4.0/resources/tests/gameref21/assert.clinc +8 -0
  496. clvk_tools_rs-0.4.0/resources/tests/gameref21/attribution.md +5 -0
  497. clvk_tools_rs-0.4.0/resources/tests/gameref21/condition_codes.clinc +41 -0
  498. clvk_tools_rs-0.4.0/resources/tests/gameref21/curry-and-treehash.clinc +92 -0
  499. clvk_tools_rs-0.4.0/resources/tests/gameref21/curry.clinc +104 -0
  500. clvk_tools_rs-0.4.0/resources/tests/gameref21/referee.clsp +190 -0
  501. clvk_tools_rs-0.4.0/resources/tests/gameref21/referee.clvk.hex.reference +1 -0
  502. clvk_tools_rs-0.4.0/resources/tests/gameref21/referee.sym.reference +1 -0
  503. clvk_tools_rs-0.4.0/resources/tests/gameref21/referee_accuse.clsp +47 -0
  504. clvk_tools_rs-0.4.0/resources/tests/gameref21/referee_accuse.clvk.hex.reference +1 -0
  505. clvk_tools_rs-0.4.0/resources/tests/gameref21/referee_accuse.sym.reference +1 -0
  506. clvk_tools_rs-0.4.0/resources/tests/gameref21/rockpaperscissorsa.clsp +15 -0
  507. clvk_tools_rs-0.4.0/resources/tests/gameref21/rockpaperscissorsa.clvk.hex.reference +1 -0
  508. clvk_tools_rs-0.4.0/resources/tests/gameref21/rockpaperscissorsa.sym.reference +1 -0
  509. clvk_tools_rs-0.4.0/resources/tests/gameref21/rockpaperscissorsb.clsp +15 -0
  510. clvk_tools_rs-0.4.0/resources/tests/gameref21/rockpaperscissorsb.clvk.hex.reference +1 -0
  511. clvk_tools_rs-0.4.0/resources/tests/gameref21/rockpaperscissorsb.sym.reference +1 -0
  512. clvk_tools_rs-0.4.0/resources/tests/gameref21/rockpaperscissorsc.clsp +16 -0
  513. clvk_tools_rs-0.4.0/resources/tests/gameref21/rockpaperscissorsc.clvk.hex.reference +1 -0
  514. clvk_tools_rs-0.4.0/resources/tests/gameref21/rockpaperscissorsc.sym.reference +1 -0
  515. clvk_tools_rs-0.4.0/resources/tests/gameref21/rockpaperscissorsd.clsp +22 -0
  516. clvk_tools_rs-0.4.0/resources/tests/gameref21/rockpaperscissorsd.clvk.hex.reference +1 -0
  517. clvk_tools_rs-0.4.0/resources/tests/gameref21/rockpaperscissorsd.sym.reference +1 -0
  518. clvk_tools_rs-0.4.0/resources/tests/gameref21/sha256tree.clinc +11 -0
  519. clvk_tools_rs-0.4.0/resources/tests/gameref21/shatree.clinc +11 -0
  520. clvk_tools_rs-0.4.0/resources/tests/gameref21/steprun.py +59 -0
  521. clvk_tools_rs-0.4.0/resources/tests/gameref21/testreferee.py +481 -0
  522. clvk_tools_rs-0.4.0/resources/tests/gameref21/testrockpaperscissors.py +48 -0
  523. clvk_tools_rs-0.4.0/resources/tests/gameref21/utils.clinc +17 -0
  524. clvk_tools_rs-0.4.0/resources/tests/hex-embed-01.hex +1 -0
  525. clvk_tools_rs-0.4.0/resources/tests/json.clib +25 -0
  526. clvk_tools_rs-0.4.0/resources/tests/lib/__init__.py +0 -0
  527. clvk_tools_rs-0.4.0/resources/tests/lib/load_clvk.py +168 -0
  528. clvk_tools_rs-0.4.0/resources/tests/lib/program.py +231 -0
  529. clvk_tools_rs-0.4.0/resources/tests/lib/smoke_test_deep_compare.clsp +28 -0
  530. clvk_tools_rs-0.4.0/resources/tests/lib/smoke_test_permutations.clsp +9 -0
  531. clvk_tools_rs-0.4.0/resources/tests/lib/smoke_test_sort.clsp +11 -0
  532. clvk_tools_rs-0.4.0/resources/tests/lib/steprun.py +69 -0
  533. clvk_tools_rs-0.4.0/resources/tests/lib/tree_hash.py +62 -0
  534. clvk_tools_rs-0.4.0/resources/tests/linux-install-node.sh +14 -0
  535. clvk_tools_rs-0.4.0/resources/tests/lz.bin +0 -0
  536. clvk_tools_rs-0.4.0/resources/tests/mandelbrot/mand_args.txt +1 -0
  537. clvk_tools_rs-0.4.0/resources/tests/mandelbrot/mand_test.txt +25 -0
  538. clvk_tools_rs-0.4.0/resources/tests/mandelbrot/mandelbrot.clsp +55 -0
  539. clvk_tools_rs-0.4.0/resources/tests/mandelbrot/mandelbrot.clvk.hex +1 -0
  540. clvk_tools_rs-0.4.0/resources/tests/mandelbrot/mandelbrot.sym +1 -0
  541. clvk_tools_rs-0.4.0/resources/tests/mandelbrot-cldb.py +37 -0
  542. clvk_tools_rs-0.4.0/resources/tests/more_exhaustive/lambda_cse_1.clsp +9 -0
  543. clvk_tools_rs-0.4.0/resources/tests/more_exhaustive/lambda_cse_1_desugared_form.clsp +8 -0
  544. clvk_tools_rs-0.4.0/resources/tests/more_exhaustive/lambda_cse_1_optimized_form.clsp +11 -0
  545. clvk_tools_rs-0.4.0/resources/tests/more_exhaustive/lambda_cse_desugar_2.clsp +10 -0
  546. clvk_tools_rs-0.4.0/resources/tests/more_exhaustive/lambda_cse_simple_desugar_1.clsp +6 -0
  547. clvk_tools_rs-0.4.0/resources/tests/more_exhaustive/lambda_cse_simple_desugar_2.clsp +8 -0
  548. clvk_tools_rs-0.4.0/resources/tests/optimization/attribution.md +5 -0
  549. clvk_tools_rs-0.4.0/resources/tests/optimization/merkle_tree_a2c.clsp +17 -0
  550. clvk_tools_rs-0.4.0/resources/tests/optimization/validation_taproot.clsp +277 -0
  551. clvk_tools_rs-0.4.0/resources/tests/rps-referee-uncaptured.clsp +29 -0
  552. clvk_tools_rs-0.4.0/resources/tests/rps-referee.clsp +29 -0
  553. clvk_tools_rs-0.4.0/resources/tests/sha256tree.clib +11 -0
  554. clvk_tools_rs-0.4.0/resources/tests/simple_deinline_case_23.clsp +8 -0
  555. clvk_tools_rs-0.4.0/resources/tests/singleton_top_layer.clvk +177 -0
  556. clvk_tools_rs-0.4.0/resources/tests/singleton_truths.clib +21 -0
  557. clvk_tools_rs-0.4.0/resources/tests/stage_2/brun-y-1.sym +1 -0
  558. clvk_tools_rs-0.4.0/resources/tests/stage_2/condition_codes.clvk +38 -0
  559. clvk_tools_rs-0.4.0/resources/tests/stage_2/p2_singleton.clvk +38 -0
  560. clvk_tools_rs-0.4.0/resources/tests/stage_2/p2_singleton.clvk.hex.orig +1 -0
  561. clvk_tools_rs-0.4.0/resources/tests/stage_2/singleton_truths.clib +21 -0
  562. clvk_tools_rs-0.4.0/resources/tests/steprun/fact.cl +6 -0
  563. clvk_tools_rs-0.4.0/resources/tests/steprun/fact.clvk.hex +1 -0
  564. clvk_tools_rs-0.4.0/resources/tests/steprun/fact.sym +1 -0
  565. clvk_tools_rs-0.4.0/resources/tests/steprun/twofun.cl +5 -0
  566. clvk_tools_rs-0.4.0/resources/tests/steprun/twofun.clvk.hex +1 -0
  567. clvk_tools_rs-0.4.0/resources/tests/steprun/twofun.sym +1 -0
  568. clvk_tools_rs-0.4.0/resources/tests/strict/append.clinc +8 -0
  569. clvk_tools_rs-0.4.0/resources/tests/strict/assert.clsp +11 -0
  570. clvk_tools_rs-0.4.0/resources/tests/strict/assert23.clsp +11 -0
  571. clvk_tools_rs-0.4.0/resources/tests/strict/atomsort.clinc +53 -0
  572. clvk_tools_rs-0.4.0/resources/tests/strict/big-maybe.clsp +9 -0
  573. clvk_tools_rs-0.4.0/resources/tests/strict/chiklisp-web-example.clsp +71 -0
  574. clvk_tools_rs-0.4.0/resources/tests/strict/cse-complex-1-lambda.clsp +33 -0
  575. clvk_tools_rs-0.4.0/resources/tests/strict/cse-complex-1.clsp +28 -0
  576. clvk_tools_rs-0.4.0/resources/tests/strict/cse-test-no-dom.clsp +23 -0
  577. clvk_tools_rs-0.4.0/resources/tests/strict/cse_doesnt_dominate.clsp +10 -0
  578. clvk_tools_rs-0.4.0/resources/tests/strict/cse_doesnt_dominate_superior_let.clsp +12 -0
  579. clvk_tools_rs-0.4.0/resources/tests/strict/cse_doesnt_dominate_superior_let_iodi.clsp +20 -0
  580. clvk_tools_rs-0.4.0/resources/tests/strict/cse_doesnt_dominate_superior_let_odi.clsp +18 -0
  581. clvk_tools_rs-0.4.0/resources/tests/strict/cse_doesnt_dominate_superior_let_outside.clsp +12 -0
  582. clvk_tools_rs-0.4.0/resources/tests/strict/cse_doesnt_dominate_superior_let_outside_in_defun.clsp +16 -0
  583. clvk_tools_rs-0.4.0/resources/tests/strict/cse_doesnt_dominate_superior_let_outside_in_inline.clsp +16 -0
  584. clvk_tools_rs-0.4.0/resources/tests/strict/cse_tricky_assign.clsp +57 -0
  585. clvk_tools_rs-0.4.0/resources/tests/strict/csecond.clsp +33 -0
  586. clvk_tools_rs-0.4.0/resources/tests/strict/defconst.clsp +16 -0
  587. clvk_tools_rs-0.4.0/resources/tests/strict/defmac_assert.clib +10 -0
  588. clvk_tools_rs-0.4.0/resources/tests/strict/defmac_if_smoke.clsp +8 -0
  589. clvk_tools_rs-0.4.0/resources/tests/strict/defmac_simple_if.clib +3 -0
  590. clvk_tools_rs-0.4.0/resources/tests/strict/double-constant-fail.clsp +24 -0
  591. clvk_tools_rs-0.4.0/resources/tests/strict/double-constant-pass-in-function.clsp +26 -0
  592. clvk_tools_rs-0.4.0/resources/tests/strict/double-constant-pass.clsp +24 -0
  593. clvk_tools_rs-0.4.0/resources/tests/strict/embed.clsp +8 -0
  594. clvk_tools_rs-0.4.0/resources/tests/strict/hello.txt +1 -0
  595. clvk_tools_rs-0.4.0/resources/tests/strict/includes/condition_codes.clib +38 -0
  596. clvk_tools_rs-0.4.0/resources/tests/strict/includes/curry-and-treehash.clib +72 -0
  597. clvk_tools_rs-0.4.0/resources/tests/strict/includes/singleton_truths.clib +21 -0
  598. clvk_tools_rs-0.4.0/resources/tests/strict/map-example.clsp +15 -0
  599. clvk_tools_rs-0.4.0/resources/tests/strict/partition.clinc +15 -0
  600. clvk_tools_rs-0.4.0/resources/tests/strict/rosetta_code_abc.clsp +76 -0
  601. clvk_tools_rs-0.4.0/resources/tests/strict/rosetta_code_abc_preprocessed.clsp +13 -0
  602. clvk_tools_rs-0.4.0/resources/tests/strict/rosetta_code_babbage_problem.clsp +61 -0
  603. clvk_tools_rs-0.4.0/resources/tests/strict/rps-referee-uncaptured.clsp +31 -0
  604. clvk_tools_rs-0.4.0/resources/tests/strict/singleton_top_layer.clsp +168 -0
  605. clvk_tools_rs-0.4.0/resources/tests/strict/strict-classify-expr-if.clsp +24 -0
  606. clvk_tools_rs-0.4.0/resources/tests/strict/strict-in-place-factorial.clsp +6 -0
  607. clvk_tools_rs-0.4.0/resources/tests/strict/strict-list-fail.clsp +4 -0
  608. clvk_tools_rs-0.4.0/resources/tests/strict/strict-list-pass.clsp +4 -0
  609. clvk_tools_rs-0.4.0/resources/tests/strict/strict-nested-list.clsp +4 -0
  610. clvk_tools_rs-0.4.0/resources/tests/strict/strict-test-fail.clsp +9 -0
  611. clvk_tools_rs-0.4.0/resources/tests/strict/strict-test-pass.clsp +7 -0
  612. clvk_tools_rs-0.4.0/resources/tests/strict/test-inner-include.clinc +3 -0
  613. clvk_tools_rs-0.4.0/resources/tests/strict/test-inner-include.clsp +7 -0
  614. clvk_tools_rs-0.4.0/resources/tests/strict/test_atomsort.clsp +5 -0
  615. clvk_tools_rs-0.4.0/resources/tests/strict/truncate.clinc +8 -0
  616. clvk_tools_rs-0.4.0/resources/tests/strict/use-w2.clsp +9 -0
  617. clvk_tools_rs-0.4.0/resources/tests/strict/use-w3.clsp +9 -0
  618. clvk_tools_rs-0.4.0/resources/tests/test-clvk-recompile-behavior.py +120 -0
  619. clvk_tools_rs-0.4.0/resources/tests/test-defconstant-tree.clib +9 -0
  620. clvk_tools_rs-0.4.0/resources/tests/test_assign_path_opt.clsp +8 -0
  621. clvk_tools_rs-0.4.0/resources/tests/test_binutils_api.py +86 -0
  622. clvk_tools_rs-0.4.0/resources/tests/test_clvk_step.py +117 -0
  623. clvk_tools_rs-0.4.0/resources/tests/test_compile_from_string.py +88 -0
  624. clvk_tools_rs-0.4.0/resources/tests/test_recursion_subexp.clsp +10 -0
  625. clvk_tools_rs-0.4.0/resources/tests/test_string_repr.clsp +20 -0
  626. clvk_tools_rs-0.4.0/resources/tests/test_user_path_opt_0.clsp +5 -0
  627. clvk_tools_rs-0.4.0/resources/tests/testbuild.py +55 -0
  628. clvk_tools_rs-0.4.0/resources/tests/usecheck-fail/singleton_truths.clib +29 -0
  629. clvk_tools_rs-0.4.0/src/classic/bins/brun.rs +7 -0
  630. clvk_tools_rs-0.4.0/src/classic/bins/cldb.rs +7 -0
  631. clvk_tools_rs-0.4.0/src/classic/bins/clisp_to_json.rs +36 -0
  632. clvk_tools_rs-0.4.0/src/classic/bins/opc.rs +7 -0
  633. clvk_tools_rs-0.4.0/src/classic/bins/opd.rs +7 -0
  634. clvk_tools_rs-0.4.0/src/classic/bins/repl.rs +44 -0
  635. clvk_tools_rs-0.4.0/src/classic/bins/run.rs +7 -0
  636. clvk_tools_rs-0.4.0/src/classic/bins/shrink.rs +49 -0
  637. clvk_tools_rs-0.4.0/src/classic/clvk/__type_compatibility__.rs +441 -0
  638. clvk_tools_rs-0.4.0/src/classic/clvk/as_rust.rs +72 -0
  639. clvk_tools_rs-0.4.0/src/classic/clvk/casts.rs +146 -0
  640. clvk_tools_rs-0.4.0/src/classic/clvk/costs.rs +71 -0
  641. clvk_tools_rs-0.4.0/src/classic/clvk/mod.rs +330 -0
  642. clvk_tools_rs-0.4.0/src/classic/clvk/serialize.rs +299 -0
  643. clvk_tools_rs-0.4.0/src/classic/clvk/sexp.rs +596 -0
  644. clvk_tools_rs-0.4.0/src/classic/clvk/syntax_error.rs +27 -0
  645. clvk_tools_rs-0.4.0/src/classic/clvk_tools/binutils.rs +163 -0
  646. clvk_tools_rs-0.4.0/src/classic/clvk_tools/clvkc.rs +229 -0
  647. clvk_tools_rs-0.4.0/src/classic/clvk_tools/cmds.rs +1544 -0
  648. clvk_tools_rs-0.4.0/src/classic/clvk_tools/comp_input.rs +226 -0
  649. clvk_tools_rs-0.4.0/src/classic/clvk_tools/curry.rs +58 -0
  650. clvk_tools_rs-0.4.0/src/classic/clvk_tools/debug.rs +355 -0
  651. clvk_tools_rs-0.4.0/src/classic/clvk_tools/ir/mod.rs +4 -0
  652. clvk_tools_rs-0.4.0/src/classic/clvk_tools/ir/reader.rs +266 -0
  653. clvk_tools_rs-0.4.0/src/classic/clvk_tools/ir/type.rs +13 -0
  654. clvk_tools_rs-0.4.0/src/classic/clvk_tools/ir/utils.rs +101 -0
  655. clvk_tools_rs-0.4.0/src/classic/clvk_tools/ir/writer.rs +115 -0
  656. clvk_tools_rs-0.4.0/src/classic/clvk_tools/mod.rs +11 -0
  657. clvk_tools_rs-0.4.0/src/classic/clvk_tools/node_path.rs +112 -0
  658. clvk_tools_rs-0.4.0/src/classic/clvk_tools/pattern_match.rs +131 -0
  659. clvk_tools_rs-0.4.0/src/classic/clvk_tools/sha256tree.rs +47 -0
  660. clvk_tools_rs-0.4.0/src/classic/clvk_tools/stages/mod.rs +14 -0
  661. clvk_tools_rs-0.4.0/src/classic/clvk_tools/stages/stage_0.rs +214 -0
  662. clvk_tools_rs-0.4.0/src/classic/clvk_tools/stages/stage_1.rs +46 -0
  663. clvk_tools_rs-0.4.0/src/classic/clvk_tools/stages/stage_2/compile.rs +854 -0
  664. clvk_tools_rs-0.4.0/src/classic/clvk_tools/stages/stage_2/defaults.rs +124 -0
  665. clvk_tools_rs-0.4.0/src/classic/clvk_tools/stages/stage_2/helpers.rs +59 -0
  666. clvk_tools_rs-0.4.0/src/classic/clvk_tools/stages/stage_2/inline.rs +276 -0
  667. clvk_tools_rs-0.4.0/src/classic/clvk_tools/stages/stage_2/mod.rs +8 -0
  668. clvk_tools_rs-0.4.0/src/classic/clvk_tools/stages/stage_2/module.rs +869 -0
  669. clvk_tools_rs-0.4.0/src/classic/clvk_tools/stages/stage_2/operators.rs +527 -0
  670. clvk_tools_rs-0.4.0/src/classic/clvk_tools/stages/stage_2/optimize.rs +758 -0
  671. clvk_tools_rs-0.4.0/src/classic/clvk_tools/stages/stage_2/reader.rs +152 -0
  672. clvk_tools_rs-0.4.0/src/classic/mod.rs +3 -0
  673. clvk_tools_rs-0.4.0/src/classic/platform/argparse.rs +543 -0
  674. clvk_tools_rs-0.4.0/src/classic/platform/distutils/dep_util.rs +15 -0
  675. clvk_tools_rs-0.4.0/src/classic/platform/distutils/mod.rs +1 -0
  676. clvk_tools_rs-0.4.0/src/classic/platform/mod.rs +19 -0
  677. clvk_tools_rs-0.4.0/src/compiler/cldb.rs +638 -0
  678. clvk_tools_rs-0.4.0/src/compiler/cldb_hierarchy.rs +413 -0
  679. clvk_tools_rs-0.4.0/src/compiler/clvk.rs +852 -0
  680. clvk_tools_rs-0.4.0/src/compiler/codegen.rs +1767 -0
  681. clvk_tools_rs-0.4.0/src/compiler/compiler.rs +496 -0
  682. clvk_tools_rs-0.4.0/src/compiler/comptypes.rs +1235 -0
  683. clvk_tools_rs-0.4.0/src/compiler/debug.rs +172 -0
  684. clvk_tools_rs-0.4.0/src/compiler/dialect.rs +184 -0
  685. clvk_tools_rs-0.4.0/src/compiler/evaluate.rs +1680 -0
  686. clvk_tools_rs-0.4.0/src/compiler/frontend.rs +1050 -0
  687. clvk_tools_rs-0.4.0/src/compiler/fuzz.rs +191 -0
  688. clvk_tools_rs-0.4.0/src/compiler/gensym.rs +16 -0
  689. clvk_tools_rs-0.4.0/src/compiler/inline.rs +548 -0
  690. clvk_tools_rs-0.4.0/src/compiler/lambda.rs +156 -0
  691. clvk_tools_rs-0.4.0/src/compiler/mod.rs +282 -0
  692. clvk_tools_rs-0.4.0/src/compiler/optimize/above22.rs +261 -0
  693. clvk_tools_rs-0.4.0/src/compiler/optimize/bodyform.rs +430 -0
  694. clvk_tools_rs-0.4.0/src/compiler/optimize/brief.rs +180 -0
  695. clvk_tools_rs-0.4.0/src/compiler/optimize/cse.rs +874 -0
  696. clvk_tools_rs-0.4.0/src/compiler/optimize/deinline.rs +225 -0
  697. clvk_tools_rs-0.4.0/src/compiler/optimize/depgraph.rs +212 -0
  698. clvk_tools_rs-0.4.0/src/compiler/optimize/double_apply.rs +158 -0
  699. clvk_tools_rs-0.4.0/src/compiler/optimize/mod.rs +743 -0
  700. clvk_tools_rs-0.4.0/src/compiler/optimize/strategy.rs +170 -0
  701. clvk_tools_rs-0.4.0/src/compiler/preprocessor/macros.rs +397 -0
  702. clvk_tools_rs-0.4.0/src/compiler/preprocessor/mod.rs +615 -0
  703. clvk_tools_rs-0.4.0/src/compiler/prims.rs +263 -0
  704. clvk_tools_rs-0.4.0/src/compiler/rename.rs +527 -0
  705. clvk_tools_rs-0.4.0/src/compiler/repl.rs +215 -0
  706. clvk_tools_rs-0.4.0/src/compiler/runtypes.rs +47 -0
  707. clvk_tools_rs-0.4.0/src/compiler/sexp.rs +1322 -0
  708. clvk_tools_rs-0.4.0/src/compiler/srcloc.rs +242 -0
  709. clvk_tools_rs-0.4.0/src/compiler/stackvisit.rs +77 -0
  710. clvk_tools_rs-0.4.0/src/compiler/usecheck.rs +117 -0
  711. clvk_tools_rs-0.4.0/src/lib.rs +28 -0
  712. clvk_tools_rs-0.4.0/src/py/api.rs +526 -0
  713. clvk_tools_rs-0.4.0/src/py/binutils.rs +113 -0
  714. clvk_tools_rs-0.4.0/src/py/cmds.rs +39 -0
  715. clvk_tools_rs-0.4.0/src/py/mod.rs +4 -0
  716. clvk_tools_rs-0.4.0/src/py/pyval.rs +123 -0
  717. clvk_tools_rs-0.4.0/src/tests/classic/bls.rs +119 -0
  718. clvk_tools_rs-0.4.0/src/tests/classic/clvkc.rs +108 -0
  719. clvk_tools_rs-0.4.0/src/tests/classic/cmdline/clvk_runtime/chik-constants.clvk +13 -0
  720. clvk_tools_rs-0.4.0/src/tests/classic/cmdline/clvk_runtime/curry.clvk +56 -0
  721. clvk_tools_rs-0.4.0/src/tests/classic/cmdline/clvk_runtime/macros.clvk +23 -0
  722. clvk_tools_rs-0.4.0/src/tests/classic/cmdline/clvk_runtime/sha256tree.clvk +25 -0
  723. clvk_tools_rs-0.4.0/src/tests/classic/embed.rs +114 -0
  724. clvk_tools_rs-0.4.0/src/tests/classic/mod.rs +8 -0
  725. clvk_tools_rs-0.4.0/src/tests/classic/optimize.rs +146 -0
  726. clvk_tools_rs-0.4.0/src/tests/classic/run.rs +2623 -0
  727. clvk_tools_rs-0.4.0/src/tests/classic/smoke.rs +867 -0
  728. clvk_tools_rs-0.4.0/src/tests/classic/stage_2.rs +412 -0
  729. clvk_tools_rs-0.4.0/src/tests/classic/zero_constant_generation.rs +77 -0
  730. clvk_tools_rs-0.4.0/src/tests/compiler/assign.rs +368 -0
  731. clvk_tools_rs-0.4.0/src/tests/compiler/cldb.rs +504 -0
  732. clvk_tools_rs-0.4.0/src/tests/compiler/clvk.rs +313 -0
  733. clvk_tools_rs-0.4.0/src/tests/compiler/compiler.rs +2539 -0
  734. clvk_tools_rs-0.4.0/src/tests/compiler/evaluate.rs +187 -0
  735. clvk_tools_rs-0.4.0/src/tests/compiler/fuzz.rs +665 -0
  736. clvk_tools_rs-0.4.0/src/tests/compiler/fuzz_assign.rs +499 -0
  737. clvk_tools_rs-0.4.0/src/tests/compiler/mod.rs +47 -0
  738. clvk_tools_rs-0.4.0/src/tests/compiler/optimizer/bodyform.rs +316 -0
  739. clvk_tools_rs-0.4.0/src/tests/compiler/optimizer/cse.rs +957 -0
  740. clvk_tools_rs-0.4.0/src/tests/compiler/optimizer/cse_fuzz.rs +299 -0
  741. clvk_tools_rs-0.4.0/src/tests/compiler/optimizer/cse_regression.rs +142 -0
  742. clvk_tools_rs-0.4.0/src/tests/compiler/optimizer/depgraph.rs +69 -0
  743. clvk_tools_rs-0.4.0/src/tests/compiler/optimizer/mod.rs +6 -0
  744. clvk_tools_rs-0.4.0/src/tests/compiler/optimizer/output.rs +396 -0
  745. clvk_tools_rs-0.4.0/src/tests/compiler/preprocessor.rs +612 -0
  746. clvk_tools_rs-0.4.0/src/tests/compiler/repl.rs +471 -0
  747. clvk_tools_rs-0.4.0/src/tests/compiler/restargs.rs +986 -0
  748. clvk_tools_rs-0.4.0/src/tests/compiler/runtypes.rs +21 -0
  749. clvk_tools_rs-0.4.0/src/tests/compiler/singleton.rs +314 -0
  750. clvk_tools_rs-0.4.0/src/tests/compiler/srcloc.rs +81 -0
  751. clvk_tools_rs-0.4.0/src/tests/compiler/usecheck.rs +173 -0
  752. clvk_tools_rs-0.4.0/src/tests/mod.rs +3 -0
  753. clvk_tools_rs-0.4.0/src/tests/util.rs +145 -0
  754. clvk_tools_rs-0.4.0/src/util/mod.rs +204 -0
  755. clvk_tools_rs-0.4.0/support/install_deps.sh +24 -0
  756. clvk_tools_rs-0.4.0/support/recompile_check.py +90 -0
  757. clvk_tools_rs-0.4.0/support/recompile_check.py.use-deployed-hash-list.diff +15 -0
  758. clvk_tools_rs-0.4.0/support/test-game-referee.sh +16 -0
  759. clvk_tools_rs-0.4.0/support/verify_compiler_version.sh +22 -0
@@ -0,0 +1,80 @@
1
+ # This file is managed by the repo-content-updater project. Manual changes here will result in a PR to bring back
2
+ # inline with the upstream template, unless you remove the dependabot managed file property from the repo
3
+
4
+ version: 2
5
+ updates:
6
+ - package-ecosystem: "gomod"
7
+ directory: /
8
+ schedule:
9
+ interval: "weekly"
10
+ day: "tuesday"
11
+ open-pull-requests-limit: 10
12
+ rebase-strategy: auto
13
+ labels:
14
+ - dependencies
15
+ - go
16
+ - "Changed"
17
+ reviewers: ["cmmarslender", "Starttoaster"]
18
+ groups:
19
+ global:
20
+ patterns:
21
+ - "*"
22
+
23
+ - package-ecosystem: "pip"
24
+ directory: /
25
+ schedule:
26
+ interval: "weekly"
27
+ day: "tuesday"
28
+ open-pull-requests-limit: 10
29
+ rebase-strategy: auto
30
+ labels:
31
+ - dependencies
32
+ - python
33
+ - "Changed"
34
+ reviewers: ["emlowe", "altendky"]
35
+
36
+ - package-ecosystem: "github-actions"
37
+ directories: ["/", ".github/actions/*"]
38
+ schedule:
39
+ interval: "weekly"
40
+ day: "tuesday"
41
+ open-pull-requests-limit: 10
42
+ rebase-strategy: auto
43
+ labels:
44
+ - dependencies
45
+ - github_actions
46
+ - "Changed"
47
+ reviewers: ["cmmarslender", "Starttoaster", "pmaslana"]
48
+
49
+ - package-ecosystem: "npm"
50
+ directory: /
51
+ schedule:
52
+ interval: "weekly"
53
+ day: "tuesday"
54
+ open-pull-requests-limit: 10
55
+ rebase-strategy: auto
56
+ labels:
57
+ - dependencies
58
+ - javascript
59
+ - "Changed"
60
+ reviewers: ["cmmarslender", "ChikMineJP"]
61
+
62
+ - package-ecosystem: cargo
63
+ directory: /
64
+ schedule:
65
+ interval: "weekly"
66
+ day: "tuesday"
67
+ open-pull-requests-limit: 10
68
+ rebase-strategy: auto
69
+ labels:
70
+ - dependencies
71
+ - rust
72
+ - "Changed"
73
+
74
+ - package-ecosystem: swift
75
+ directory: /
76
+ schedule:
77
+ interval: "weekly"
78
+ day: "tuesday"
79
+ open-pull-requests-limit: 10
80
+ rebase-strategy: auto
@@ -0,0 +1,14 @@
1
+ name: Security audit
2
+ on:
3
+ push:
4
+ paths:
5
+ - '**/Cargo.toml'
6
+ - '**/Cargo.lock'
7
+ jobs:
8
+ security_audit:
9
+ runs-on: ubuntu-latest
10
+ steps:
11
+ - uses: actions/checkout@v3
12
+ - uses: actions-rs/audit-check@v1
13
+ with:
14
+ token: ${{ secrets.GITHUB_TOKEN }}
@@ -0,0 +1,121 @@
1
+ name: Build ARM64 wheels on ubuntu-latest
2
+
3
+ on:
4
+ push:
5
+ branches:
6
+ - main1
7
+ - dev
8
+ release:
9
+ types: [published]
10
+ pull_request:
11
+ branches:
12
+ - '**'
13
+
14
+ permissions:
15
+ id-token: write
16
+ contents: read
17
+
18
+ jobs:
19
+ build_wheels:
20
+ name: Build ARM64 Python Wheels
21
+ runs-on: ubuntu-24.04-arm
22
+ container:
23
+ image: ghcr.io/chik-network/build-images/centos-pypa-rust-aarch64:latest
24
+
25
+ steps:
26
+ - name: Checkout repository
27
+ uses: actions/checkout@v4
28
+ with:
29
+ fetch-depth: 1
30
+
31
+ - name: Set up
32
+ run: |
33
+ echo "${PATH}"
34
+ yum -y install openssl-devel
35
+ source /root/.cargo/env
36
+ rustup default stable
37
+ rustup target add aarch64-unknown-linux-musl
38
+ rm -rf venv
39
+ export PATH="${PATH}:/opt/python/cp39-cp39/bin/:/opt/python/cp38-cp38/bin/:/opt/python/cp37-cp37m/bin/"
40
+ - name: Build Python wheels
41
+ run: |
42
+ /opt/python/cp38-cp38/bin/python -m venv venv
43
+ if [ ! -f "activate" ]; then ln -s venv/bin/activate; fi
44
+ . ./activate
45
+ pip install maturin==1.7.0
46
+ CC=gcc maturin build --release --strip --manylinux 2_28
47
+ - name: Upload artifacts
48
+ uses: actions/upload-artifact@v4
49
+ with:
50
+ name: wheels
51
+ path: target/wheels/
52
+
53
+ - name: Clean up AMR64
54
+ run: |
55
+ rm -rf venv
56
+ rm -rf dist
57
+ publish_wheels:
58
+ name: Publish ARM64 Python Wheels
59
+ runs-on: ubuntu-latest
60
+ needs: build_wheels
61
+ steps:
62
+ - name: Fetch wheels from previous job
63
+ uses: actions/download-artifact@v4
64
+ with:
65
+ name: wheels
66
+ path: target/wheels/
67
+
68
+ - name: Install job deps
69
+ run: |
70
+ if [ ! -f "venv" ]; then rm -rf venv; fi
71
+ sudo apt install python3 python3-pip -y
72
+ python3 -m venv venv
73
+ if [ ! -f "activate" ]; then ln -s venv/bin/activate; fi
74
+ . ./activate
75
+ pip3 install setuptools_rust
76
+ - name: Test for secrets access
77
+ id: check_secrets
78
+ shell: bash
79
+ run: |
80
+ unset HAS_AWS_SECRET
81
+
82
+ if [ -n "$AWS_SECRET" ]; then HAS_AWS_SECRET='true' ; fi
83
+ echo HAS_AWS_SECRET=${HAS_AWS_SECRET} >>$GITHUB_OUTPUT
84
+ env:
85
+ AWS_SECRET: "${{ secrets.CHIK_AWS_ACCOUNT_ID }}"
86
+
87
+ - name: Set Env
88
+ uses: Chik-Network/actions/setjobenv@main
89
+ env:
90
+ GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
91
+
92
+ - name: publish (PyPi)
93
+ if: env.RELEASE == 'true'
94
+ uses: pypa/gh-action-pypi-publish@release/v1
95
+ with:
96
+ packages-dir: target/wheels/
97
+ skip-existing: true
98
+
99
+ - name: publish (Test PyPi)
100
+ if: env.PRE_RELEASE == 'true'
101
+ uses: pypa/gh-action-pypi-publish@release/v1
102
+ with:
103
+ repository-url: https://test.pypi.org/legacy/
104
+ packages-dir: target/wheels/
105
+ skip-existing: true
106
+
107
+ - name: Configure AWS credentials
108
+ if: steps.check_secrets.outputs.HAS_AWS_SECRET
109
+ uses: aws-actions/configure-aws-credentials@v4
110
+ with:
111
+ role-to-assume: arn:aws:iam::${{ secrets.CHIK_AWS_ACCOUNT_ID }}:role/installer-upload
112
+ aws-region: us-west-2
113
+
114
+ - name: Publish Dev
115
+ if: steps.check_secrets.outputs.HAS_AWS_SECRET && github.ref == 'refs/heads/dev'
116
+ run: |
117
+ FILES=$(find ${{ github.workspace }}/target/wheels -type f -name '*.whl')
118
+ while IFS= read -r file; do
119
+ filename=$(basename $file)
120
+ aws --no-progress s3 cp "$file" "s3://download.chiknetwork.com/simple-dev/clvk-tools-rs/$filename"
121
+ done <<< "$FILES"
@@ -0,0 +1,66 @@
1
+ # Taken from clvk_rs' version.
2
+ name: Build crate
3
+
4
+ on:
5
+ push:
6
+ branches:
7
+ - main1
8
+ - dev
9
+ tags:
10
+ - '**'
11
+ pull_request:
12
+ branches:
13
+ - '**'
14
+
15
+ jobs:
16
+ build_crate:
17
+ name: Crate
18
+ runs-on: ubuntu-latest
19
+ strategy:
20
+ fail-fast: false
21
+
22
+ steps:
23
+ - uses: actions/checkout@v4
24
+ with:
25
+ fetch-depth: 0
26
+
27
+ - name: Set up rusts
28
+ uses: actions-rs/toolchain@v1
29
+ with:
30
+ toolchain: stable
31
+ components: rustfmt, clippy
32
+
33
+ - name: Set up rust (stable)
34
+ uses: actions-rs/toolchain@v1
35
+ with:
36
+ toolchain: stable
37
+ components: rustfmt, clippy
38
+
39
+ - name: fmt (stable)
40
+ run: cargo +stable fmt -- --files-with-diff --check
41
+ - name: clippy (stable)
42
+ run: cargo +stable clippy && cargo +stable clippy --manifest-path wasm/Cargo.toml
43
+ - name: tests
44
+ run: cargo test && cargo test --release
45
+ # The design of 'run' causes it to drop main.sym unannounced when compiling.
46
+ # ensure that it gets removed before cargo runs.
47
+ - name: remove stray main.sym
48
+ run: rm -f main.sym
49
+ - name: build
50
+ run: cargo build --release
51
+
52
+ - name: dry-run of `cargo publish`
53
+ run: cargo publish --dry-run
54
+
55
+ - name: Upload crate artifacts
56
+ uses: actions/upload-artifact@v4
57
+ with:
58
+ name: crate
59
+ path: ./target/package/clvk_tools_rs-*.crate
60
+
61
+ # this has not been tested, so probably needs to be debugged next time a tag is created
62
+ - name: publish to crates.io if tagged
63
+ if: startsWith(github.event.ref, 'refs/tags')
64
+ env:
65
+ CARGO_REGISTRY_TOKEN: ${{ secrets.cargo_registry_token }}
66
+ run: cargo publish
@@ -0,0 +1,189 @@
1
+ name: Build M1 Wheels
2
+
3
+ on:
4
+ push:
5
+ branches:
6
+ - main1
7
+ - dev
8
+ release:
9
+ types: [published]
10
+ pull_request:
11
+ branches:
12
+ - '**'
13
+
14
+ concurrency:
15
+ group: ${{ github.ref }}-${{ github.workflow }}-${{ github.event_name }}--${{ (github.ref == 'refs/heads/main' || startsWith(github.ref, 'refs/heads/release/') || startsWith(github.ref, 'refs/heads/long_lived/')) && github.sha || '' }}
16
+ cancel-in-progress: true
17
+
18
+ permissions:
19
+ id-token: write
20
+ contents: read
21
+
22
+ jobs:
23
+ build_wheels:
24
+ name: Build wheel on Mac M1
25
+ runs-on: macos-14
26
+ strategy:
27
+ fail-fast: false
28
+
29
+ steps:
30
+ - uses: Chik-Network/actions/clean-workspace@main
31
+
32
+ - name: Checkout code
33
+ uses: actions/checkout@v4
34
+ with:
35
+ fetch-depth: 0
36
+
37
+ - name: Install python
38
+ uses: Chik-Network/actions/setup-python@main
39
+ with:
40
+ python-version: "3.10"
41
+
42
+ - name: Set up rust
43
+ run: |
44
+ curl https://static.rust-lang.org/rustup/dist/aarch64-apple-darwin/rustup-init.sha256 | awk '{print $1 " *rustup-init"}' > checksum.txt
45
+ curl -O https://static.rust-lang.org/rustup/dist/aarch64-apple-darwin/rustup-init
46
+ cat checksum.txt
47
+ shasum -a 256 -c checksum.txt
48
+
49
+ - name: Install rust
50
+ run: |
51
+ chmod +x rustup-init
52
+ ./rustup-init -y || (echo "Rust is already installed. Exiting..." && exit 2)
53
+ rm rustup-init checksum.txt
54
+
55
+ - name: Build m1 wheels
56
+ env:
57
+ MACOSX_DEPLOYMENT_TARGET: '13.0'
58
+ run: |
59
+ python3 -m venv venv
60
+ . ./venv/bin/activate
61
+ export PATH=~/.cargo/bin:$PATH
62
+ pip install maturin==1.7.0
63
+ maturin build -i python --release --strip
64
+ cargo test
65
+
66
+ - name: Install clvk_tools_rs wheel
67
+ run: |
68
+ . ./venv/bin/activate
69
+ ls target/wheels/
70
+ pip install ./target/wheels/clvk_tools_rs*.whl
71
+
72
+ - name: Install other wheels
73
+ run: |
74
+ . ./venv/bin/activate
75
+ python -m pip install pytest
76
+ python -m pip install blspy
77
+
78
+ - name: install clvk & clvk_tools
79
+ run: |
80
+ . ./venv/bin/activate
81
+ git clone https://github.com/Chik-Network/clvk.git --branch=main --single-branch
82
+ python -m pip install ./clvk
83
+ python -m pip install clvk_rs
84
+
85
+ git clone https://github.com/Chik-Network/clvk_tools.git --branch=main --single-branch
86
+ python -m pip install ./clvk_tools
87
+
88
+ - name: Ensure clvk, clvk_rs, clvk_tools are installed
89
+ run: |
90
+ . ./venv/bin/activate
91
+ python -c 'import clvk'
92
+ python -c 'import clvk; print(clvk.__file__)'
93
+ python -c 'import clvk_rs; print(clvk_rs.__file__)'
94
+ python -c 'import clvk_tools; print(clvk_tools.__file__)'
95
+ python -c 'import clvk_tools_rs; print(clvk_tools_rs.__file__)'
96
+
97
+ - name: Install pytest
98
+ run: |
99
+ . ./venv/bin/activate
100
+ pip install pytest pytest-asyncio
101
+
102
+ # Cost tests are currently failing.
103
+ # - name: Run tests from clvk
104
+ # run: |
105
+ # . ./venv/bin/activate
106
+ # cd clvk
107
+ # python -m py.test tests
108
+
109
+ - name: Run tests from clvk_tools
110
+ run: |
111
+ . ./venv/bin/activate
112
+ cd clvk_tools
113
+ pytest
114
+
115
+ - name: Upload wheels
116
+ uses: actions/upload-artifact@v4
117
+ with:
118
+ name: wheels
119
+ path: ./target/wheels
120
+
121
+ upload:
122
+ name: Upload to PyPI
123
+ runs-on: ubuntu-latest
124
+ needs: build_wheels
125
+ steps:
126
+ - name: Checkout code
127
+ uses: actions/checkout@v4
128
+ with:
129
+ fetch-depth: 0
130
+
131
+ - name: Set Env
132
+ uses: Chik-Network/actions/setjobenv@main
133
+ env:
134
+ GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
135
+
136
+ - name: Install python
137
+ uses: Chik-Network/actions/setup-python@main
138
+ with:
139
+ python-version: "3.10"
140
+
141
+ - name: Download artifacts
142
+ uses: actions/download-artifact@v4
143
+ with:
144
+ name: wheels
145
+ path: ./target/wheels/
146
+
147
+ - name: publish (PyPi)
148
+ if: env.RELEASE == 'true'
149
+ uses: pypa/gh-action-pypi-publish@release/v1
150
+ with:
151
+ packages-dir: target/wheels/
152
+ skip-existing: true
153
+
154
+ - name: publish (Test PyPi)
155
+ if: env.PRE_RELEASE == 'true'
156
+ uses: pypa/gh-action-pypi-publish@release/v1
157
+ with:
158
+ repository-url: https://test.pypi.org/legacy/
159
+ packages-dir: target/wheels/
160
+ skip-existing: true
161
+
162
+ - name: Test for secrets access
163
+ id: check_secrets
164
+ shell: bash
165
+ run: |
166
+ unset HAS_AWS_SECRET
167
+
168
+ if [ -n "$AWS_SECRET" ]; then HAS_AWS_SECRET='true' ; fi
169
+ echo HAS_AWS_SECRET=${HAS_AWS_SECRET} >>$GITHUB_OUTPUT
170
+ env:
171
+ AWS_SECRET: "${{ secrets.CHIK_AWS_ACCOUNT_ID }}"
172
+
173
+ - name: Configure AWS credentials
174
+ if: steps.check_secrets.outputs.HAS_AWS_SECRET
175
+ uses: aws-actions/configure-aws-credentials@v4
176
+ with:
177
+ role-to-assume: arn:aws:iam::${{ secrets.CHIK_AWS_ACCOUNT_ID }}:role/installer-upload
178
+ aws-region: us-west-2
179
+
180
+ - name: Publish Dev
181
+ if: steps.check_secrets.outputs.HAS_AWS_SECRET && github.ref == 'refs/heads/dev'
182
+ shell: bash
183
+ working-directory: ./target/wheels
184
+ run: |
185
+ FILES=$(find . -type f -name '*.whl')
186
+ while IFS= read -r file; do
187
+ filename=$(basename $file)
188
+ aws --no-progress s3 cp "$file" "s3://download.chiknetwork.com/simple-dev/clvk-tools-rs/$filename"
189
+ done <<< "$FILES"
@@ -0,0 +1,83 @@
1
+ name: QEMU Build and test riscv64 crate
2
+
3
+ on:
4
+ push:
5
+ branches:
6
+ - main1
7
+ - dev
8
+ tags:
9
+ - '**'
10
+ release:
11
+ types: [published]
12
+ pull_request:
13
+ branches:
14
+ - '**'
15
+
16
+ jobs:
17
+ build_crate:
18
+ name: Build riscv64 crate and run tests
19
+ runs-on: ${{ matrix.os }}
20
+ strategy:
21
+ matrix:
22
+ os: [ ubuntu-latest ]
23
+
24
+ steps:
25
+ - name: Checkout repository
26
+ uses: actions/checkout@v4
27
+ with:
28
+ fetch-depth: 1
29
+
30
+ - name: Set up QEMU on x86_64
31
+ id: qemu
32
+ uses: docker/setup-qemu-action@v3
33
+ with:
34
+ platforms: riscv64
35
+
36
+ - name: Build and Test
37
+ run: |
38
+ docker run --rm --platform linux/riscv64 \
39
+ -v ${{ github.workspace }}:/ws --workdir=/ws \
40
+ chiknetwork/ubuntu-22.04-risc-builder:latest \
41
+ bash -exc '\
42
+ cargo test --release
43
+ '
44
+
45
+ build_wheels:
46
+ name: QEMU riscv64 wheel
47
+ runs-on: ${{ matrix.os }}
48
+ strategy:
49
+ matrix:
50
+ os: [ ubuntu-latest ]
51
+
52
+ steps:
53
+ - name: Checkout repository
54
+ uses: actions/checkout@v4
55
+ with:
56
+ fetch-depth: 1
57
+
58
+ - name: Set up QEMU on x86_64
59
+ id: qemu
60
+ uses: docker/setup-qemu-action@v3
61
+ with:
62
+ platforms: riscv64
63
+
64
+ - name: Build
65
+ run: |
66
+ docker run --rm --platform linux/riscv64 \
67
+ -v ${{ github.workspace }}:/ws --workdir=/ws \
68
+ chiknetwork/ubuntu-22.04-risc-builder:latest \
69
+ bash -exc '\
70
+ pyenv global 3.10
71
+ python -m venv venv && \
72
+ source ./venv/bin/activate && \
73
+ pip install --upgrade pip && \
74
+ pip install --extra-index-url https://pypi.chiknetwork.com/simple/ maturin==1.5.0 && \
75
+ maturin build -i python --release --strip \
76
+ '
77
+
78
+ - name: Upload artifacts
79
+ uses: actions/upload-artifact@v4
80
+ with:
81
+ name: packages
82
+ path: ./target/wheels/
83
+