├── .circleci └── config.yml ├── .gitignore ├── .gitmodules ├── LICENSE ├── Makefile ├── README.md ├── bin-template ├── wasi_ar ├── wasi_cc ├── wasi_ld ├── wasi_nm ├── wasi_objdump ├── wasi_ranlib ├── wasi_run └── wasi_strip ├── ci ├── ensure-gcloud-creds ├── install-gcloud ├── script_lib └── upload_web ├── configure ├── include └── wasicaml.h ├── install_wabt ├── install_wasi-sdk ├── install_wasmtime ├── js ├── main.js └── package.json ├── releases.txt ├── src ├── initruntime.c ├── initwasi.c ├── initwasi_eh_helpers.s └── wasicaml │ ├── .merlin │ ├── Makefile │ ├── main.ml │ ├── toploop.ml │ ├── wc_control.ml │ ├── wc_control.mli │ ├── wc_driver.ml │ ├── wc_emit.ml │ ├── wc_instruct.ml │ ├── wc_number.ml │ ├── wc_prims.ml │ ├── wc_reader.ml │ ├── wc_reader.mli │ ├── wc_sexp.ml │ ├── wc_sexp2s.ml │ ├── wc_tracefuncs.ml │ ├── wc_traceglobals.ml │ ├── wc_traceinstr.ml │ ├── wc_tracestack.ml │ ├── wc_types.ml │ ├── wc_unstack.ml │ └── wc_util.ml ├── test ├── .merlin ├── Makefile ├── run ├── t000_hello.ml ├── t001_vector.ml ├── t010_funcall1.ml ├── t010_funcall2.ml ├── t010_funcall3.ml ├── t010_funcall4.ml ├── t010_funcall5.ml ├── t020_currying1.ml ├── t020_currying2.ml ├── t020_currying3.ml ├── t020_currying4.ml ├── t030_tailcall1.ml ├── t030_tailcall2.ml ├── t030_tailcall3.ml ├── t030_tailcall4.ml ├── t030_tailcall5.ml ├── t040_exc1.ml ├── t040_exc2.ml ├── t040_exc3.ml ├── t040_exc4.ml ├── t040_exc5.ml ├── t040_exc6.ml ├── t040_exc7.ml ├── t050_loop1.ml ├── t051_switch1.ml ├── t051_switch2.ml ├── t060_arith1.ml ├── t060_arith2.ml ├── t060_arith3.ml ├── t061_cmp1.ml ├── t062_fields1.ml ├── t062_fields2.ml ├── t062_fields3.ml ├── t062_fields4.ml ├── t062_fields5.ml ├── t062_fields6.ml ├── t062_fields7.ml ├── t062_fields8.ml ├── t062_fields9.ml ├── t063_array1.ml ├── t063_array2.ml ├── t063_array3.ml ├── t064_bytes1.ml ├── t070_obj1.ml ├── t080_map1.ml ├── t080_map2.ml ├── t100_bdd.ml ├── t100_parse_warnings.ml ├── t100_revstring.ml ├── t100_sieve.ml ├── t100_sort_numbers.ml ├── t110_boyer.ml └── testprint │ ├── testprint.ml │ └── testprint_c.c └── wasi_preamble.c /.circleci/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/.circleci/config.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/README.md -------------------------------------------------------------------------------- /bin-template/wasi_ar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/bin-template/wasi_ar -------------------------------------------------------------------------------- /bin-template/wasi_cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/bin-template/wasi_cc -------------------------------------------------------------------------------- /bin-template/wasi_ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/bin-template/wasi_ld -------------------------------------------------------------------------------- /bin-template/wasi_nm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/bin-template/wasi_nm -------------------------------------------------------------------------------- /bin-template/wasi_objdump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/bin-template/wasi_objdump -------------------------------------------------------------------------------- /bin-template/wasi_ranlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/bin-template/wasi_ranlib -------------------------------------------------------------------------------- /bin-template/wasi_run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/bin-template/wasi_run -------------------------------------------------------------------------------- /bin-template/wasi_strip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/bin-template/wasi_strip -------------------------------------------------------------------------------- /ci/ensure-gcloud-creds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/ci/ensure-gcloud-creds -------------------------------------------------------------------------------- /ci/install-gcloud: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/ci/install-gcloud -------------------------------------------------------------------------------- /ci/script_lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/ci/script_lib -------------------------------------------------------------------------------- /ci/upload_web: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/ci/upload_web -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/configure -------------------------------------------------------------------------------- /include/wasicaml.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/include/wasicaml.h -------------------------------------------------------------------------------- /install_wabt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/install_wabt -------------------------------------------------------------------------------- /install_wasi-sdk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/install_wasi-sdk -------------------------------------------------------------------------------- /install_wasmtime: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/install_wasmtime -------------------------------------------------------------------------------- /js/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/js/main.js -------------------------------------------------------------------------------- /js/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/js/package.json -------------------------------------------------------------------------------- /releases.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/releases.txt -------------------------------------------------------------------------------- /src/initruntime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/initruntime.c -------------------------------------------------------------------------------- /src/initwasi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/initwasi.c -------------------------------------------------------------------------------- /src/initwasi_eh_helpers.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/initwasi_eh_helpers.s -------------------------------------------------------------------------------- /src/wasicaml/.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/.merlin -------------------------------------------------------------------------------- /src/wasicaml/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/Makefile -------------------------------------------------------------------------------- /src/wasicaml/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/main.ml -------------------------------------------------------------------------------- /src/wasicaml/toploop.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/toploop.ml -------------------------------------------------------------------------------- /src/wasicaml/wc_control.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_control.ml -------------------------------------------------------------------------------- /src/wasicaml/wc_control.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_control.mli -------------------------------------------------------------------------------- /src/wasicaml/wc_driver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_driver.ml -------------------------------------------------------------------------------- /src/wasicaml/wc_emit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_emit.ml -------------------------------------------------------------------------------- /src/wasicaml/wc_instruct.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_instruct.ml -------------------------------------------------------------------------------- /src/wasicaml/wc_number.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_number.ml -------------------------------------------------------------------------------- /src/wasicaml/wc_prims.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_prims.ml -------------------------------------------------------------------------------- /src/wasicaml/wc_reader.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_reader.ml -------------------------------------------------------------------------------- /src/wasicaml/wc_reader.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_reader.mli -------------------------------------------------------------------------------- /src/wasicaml/wc_sexp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_sexp.ml -------------------------------------------------------------------------------- /src/wasicaml/wc_sexp2s.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_sexp2s.ml -------------------------------------------------------------------------------- /src/wasicaml/wc_tracefuncs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_tracefuncs.ml -------------------------------------------------------------------------------- /src/wasicaml/wc_traceglobals.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_traceglobals.ml -------------------------------------------------------------------------------- /src/wasicaml/wc_traceinstr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_traceinstr.ml -------------------------------------------------------------------------------- /src/wasicaml/wc_tracestack.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_tracestack.ml -------------------------------------------------------------------------------- /src/wasicaml/wc_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_types.ml -------------------------------------------------------------------------------- /src/wasicaml/wc_unstack.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_unstack.ml -------------------------------------------------------------------------------- /src/wasicaml/wc_util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/src/wasicaml/wc_util.ml -------------------------------------------------------------------------------- /test/.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/.merlin -------------------------------------------------------------------------------- /test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/Makefile -------------------------------------------------------------------------------- /test/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/run -------------------------------------------------------------------------------- /test/t000_hello.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t000_hello.ml -------------------------------------------------------------------------------- /test/t001_vector.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t001_vector.ml -------------------------------------------------------------------------------- /test/t010_funcall1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t010_funcall1.ml -------------------------------------------------------------------------------- /test/t010_funcall2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t010_funcall2.ml -------------------------------------------------------------------------------- /test/t010_funcall3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t010_funcall3.ml -------------------------------------------------------------------------------- /test/t010_funcall4.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t010_funcall4.ml -------------------------------------------------------------------------------- /test/t010_funcall5.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t010_funcall5.ml -------------------------------------------------------------------------------- /test/t020_currying1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t020_currying1.ml -------------------------------------------------------------------------------- /test/t020_currying2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t020_currying2.ml -------------------------------------------------------------------------------- /test/t020_currying3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t020_currying3.ml -------------------------------------------------------------------------------- /test/t020_currying4.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t020_currying4.ml -------------------------------------------------------------------------------- /test/t030_tailcall1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t030_tailcall1.ml -------------------------------------------------------------------------------- /test/t030_tailcall2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t030_tailcall2.ml -------------------------------------------------------------------------------- /test/t030_tailcall3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t030_tailcall3.ml -------------------------------------------------------------------------------- /test/t030_tailcall4.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t030_tailcall4.ml -------------------------------------------------------------------------------- /test/t030_tailcall5.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t030_tailcall5.ml -------------------------------------------------------------------------------- /test/t040_exc1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t040_exc1.ml -------------------------------------------------------------------------------- /test/t040_exc2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t040_exc2.ml -------------------------------------------------------------------------------- /test/t040_exc3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t040_exc3.ml -------------------------------------------------------------------------------- /test/t040_exc4.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t040_exc4.ml -------------------------------------------------------------------------------- /test/t040_exc5.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t040_exc5.ml -------------------------------------------------------------------------------- /test/t040_exc6.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t040_exc6.ml -------------------------------------------------------------------------------- /test/t040_exc7.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t040_exc7.ml -------------------------------------------------------------------------------- /test/t050_loop1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t050_loop1.ml -------------------------------------------------------------------------------- /test/t051_switch1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t051_switch1.ml -------------------------------------------------------------------------------- /test/t051_switch2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t051_switch2.ml -------------------------------------------------------------------------------- /test/t060_arith1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t060_arith1.ml -------------------------------------------------------------------------------- /test/t060_arith2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t060_arith2.ml -------------------------------------------------------------------------------- /test/t060_arith3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t060_arith3.ml -------------------------------------------------------------------------------- /test/t061_cmp1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t061_cmp1.ml -------------------------------------------------------------------------------- /test/t062_fields1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t062_fields1.ml -------------------------------------------------------------------------------- /test/t062_fields2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t062_fields2.ml -------------------------------------------------------------------------------- /test/t062_fields3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t062_fields3.ml -------------------------------------------------------------------------------- /test/t062_fields4.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t062_fields4.ml -------------------------------------------------------------------------------- /test/t062_fields5.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t062_fields5.ml -------------------------------------------------------------------------------- /test/t062_fields6.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t062_fields6.ml -------------------------------------------------------------------------------- /test/t062_fields7.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t062_fields7.ml -------------------------------------------------------------------------------- /test/t062_fields8.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t062_fields8.ml -------------------------------------------------------------------------------- /test/t062_fields9.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t062_fields9.ml -------------------------------------------------------------------------------- /test/t063_array1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t063_array1.ml -------------------------------------------------------------------------------- /test/t063_array2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t063_array2.ml -------------------------------------------------------------------------------- /test/t063_array3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t063_array3.ml -------------------------------------------------------------------------------- /test/t064_bytes1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t064_bytes1.ml -------------------------------------------------------------------------------- /test/t070_obj1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t070_obj1.ml -------------------------------------------------------------------------------- /test/t080_map1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t080_map1.ml -------------------------------------------------------------------------------- /test/t080_map2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t080_map2.ml -------------------------------------------------------------------------------- /test/t100_bdd.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t100_bdd.ml -------------------------------------------------------------------------------- /test/t100_parse_warnings.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t100_parse_warnings.ml -------------------------------------------------------------------------------- /test/t100_revstring.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t100_revstring.ml -------------------------------------------------------------------------------- /test/t100_sieve.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t100_sieve.ml -------------------------------------------------------------------------------- /test/t100_sort_numbers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t100_sort_numbers.ml -------------------------------------------------------------------------------- /test/t110_boyer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/t110_boyer.ml -------------------------------------------------------------------------------- /test/testprint/testprint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/testprint/testprint.ml -------------------------------------------------------------------------------- /test/testprint/testprint_c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/test/testprint/testprint_c.c -------------------------------------------------------------------------------- /wasi_preamble.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/remixlabs/wasicaml/HEAD/wasi_preamble.c --------------------------------------------------------------------------------