├── .gitattributes ├── .github └── workflows │ ├── ci-interpreter.yml │ ├── ci-spec.yml │ ├── ci-spectec.yml │ └── w3c-publish.yml ├── .gitignore ├── .gitmodules ├── Contributing.md ├── LICENSE ├── README.md ├── document ├── LICENSE ├── Makefile ├── README.md ├── core │ ├── .gitignore │ ├── LICENSE │ ├── Makefile │ ├── README.md │ ├── appendix │ │ ├── algorithm.rst │ │ ├── changes.rst │ │ ├── custom.rst │ │ ├── embedding.rst │ │ ├── implementation.rst │ │ ├── index-instructions.py │ │ ├── index-rules.rst │ │ ├── index-types.rst │ │ ├── index.rst │ │ ├── profiles.rst │ │ └── properties.rst │ ├── binary │ │ ├── conventions.rst │ │ ├── index.rst │ │ ├── instructions.rst │ │ ├── modules.rst │ │ ├── types.rst │ │ └── values.rst │ ├── conf.py │ ├── exec │ │ ├── conventions.rst │ │ ├── index.rst │ │ ├── instructions.rst │ │ ├── modules.rst │ │ ├── numerics.rst │ │ ├── runtime.rst │ │ ├── types.rst │ │ └── values.rst │ ├── index.bs │ ├── index.rst │ ├── intro │ │ ├── index.rst │ │ ├── introduction.rst │ │ └── overview.rst │ ├── make.bat │ ├── static │ │ ├── custom.css │ │ └── webassembly.png │ ├── syntax │ │ ├── conventions.rst │ │ ├── index.rst │ │ ├── instructions.rst │ │ ├── modules.rst │ │ ├── types.rst │ │ └── values.rst │ ├── text │ │ ├── conventions.rst │ │ ├── index.rst │ │ ├── instructions.rst │ │ ├── lexical.rst │ │ ├── modules.rst │ │ ├── types.rst │ │ └── values.rst │ ├── util │ │ ├── README.htmldiff.pl │ │ ├── bikeshed │ │ │ └── conf.py │ │ ├── bikeshed_fixup.py │ │ ├── check_macros.sh │ │ ├── katex_fix.patch │ │ ├── macros.def │ │ ├── mathdef.py │ │ ├── mathdefbs.py │ │ ├── mathjax2katex.py │ │ └── pseudo-lexer.py │ └── valid │ │ ├── conventions.rst │ │ ├── index.rst │ │ ├── instructions.rst │ │ ├── matching.rst │ │ ├── modules.rst │ │ └── types.rst ├── deploy.sh ├── index.html ├── js-api │ ├── Makefile │ └── index.bs ├── legacy │ └── exceptions │ │ ├── .gitignore │ │ ├── core │ │ ├── LICENSE │ │ ├── Makefile │ │ ├── README.md │ │ ├── appendix │ │ │ └── index-instructions.py │ │ ├── binary.rst │ │ ├── conf.py │ │ ├── exec.rst │ │ ├── index.rst │ │ ├── intro.rst │ │ ├── static │ │ │ ├── custom.css │ │ │ └── webassembly.png │ │ ├── syntax.rst │ │ ├── text.rst │ │ ├── util │ │ │ ├── macros.def │ │ │ ├── mathdef.py │ │ │ └── pseudo-lexer.py │ │ └── valid.rst │ │ └── js-api │ │ ├── Makefile │ │ └── index.bs ├── metadata │ └── code │ │ ├── .gitignore │ │ ├── LICENSE │ │ ├── Makefile │ │ ├── README.md │ │ ├── binary.rst │ │ ├── conf.py │ │ ├── index.rst │ │ ├── intro.rst │ │ ├── static │ │ ├── custom.css │ │ └── webassembly.png │ │ ├── text.rst │ │ └── util │ │ ├── macros.def │ │ └── mathdef.py ├── util │ ├── check-echidna-status.py │ └── htmldiff.pl ├── versions │ ├── Makefile │ └── core │ │ ├── WebAssembly-1.0.pdf │ │ ├── WebAssembly-2.0.pdf │ │ └── WebAssembly-3.0-draft.pdf └── web-api │ ├── Makefile │ └── index.bs ├── interpreter ├── .gitignore ├── LICENSE ├── Makefile ├── README.md ├── binary │ ├── decode.ml │ ├── decode.mli │ ├── encode.ml │ ├── encode.mli │ ├── utf8.ml │ └── utf8.mli ├── custom │ ├── custom.ml │ ├── handler_branch_hint.ml │ ├── handler_custom.ml │ ├── handler_custom.mli │ ├── handler_name.ml │ └── handler_name.mli ├── dune ├── dune-project ├── exec │ ├── convert.ml │ ├── convert.mli │ ├── eval.ml │ ├── eval.mli │ ├── eval_num.ml │ ├── eval_num.mli │ ├── eval_vec.ml │ ├── eval_vec.mli │ ├── f32.ml │ ├── f64.ml │ ├── fxx.ml │ ├── i16.ml │ ├── i32.ml │ ├── i64.ml │ ├── i8.ml │ ├── ixx.ml │ ├── v128.ml │ └── v128.mli ├── host │ ├── env.ml │ └── spectest.ml ├── jslib │ └── wast.ml ├── main │ ├── flags.ml │ └── main.ml ├── runtime │ ├── aggr.ml │ ├── aggr.mli │ ├── data.ml │ ├── data.mli │ ├── elem.ml │ ├── elem.mli │ ├── exn.ml │ ├── exn.mli │ ├── extern.ml │ ├── extern.mli │ ├── func.ml │ ├── func.mli │ ├── global.ml │ ├── global.mli │ ├── i31.ml │ ├── i31.mli │ ├── instance.ml │ ├── memory.ml │ ├── memory.mli │ ├── table.ml │ ├── table.mli │ ├── tag.ml │ ├── tag.mli │ └── value.ml ├── script │ ├── import.ml │ ├── import.mli │ ├── js.ml │ ├── js.mli │ ├── run.ml │ ├── run.mli │ └── script.ml ├── syntax │ ├── ast.ml │ ├── free.ml │ ├── free.mli │ ├── mnemonics.ml │ ├── pack.ml │ └── types.ml ├── text │ ├── annot.ml │ ├── annot.mli │ ├── arrange.ml │ ├── arrange.mli │ ├── lexer.mli │ ├── lexer.mll │ ├── parse.ml │ ├── parse.mli │ ├── parse_error.ml │ ├── parser.mly │ ├── print.ml │ └── print.mli ├── unittest │ └── smallint.ml ├── util │ ├── error.ml │ ├── error.mli │ ├── lib.ml │ ├── lib.mli │ ├── sexpr.ml │ ├── sexpr.mli │ ├── source.ml │ └── source.mli ├── valid │ ├── match.ml │ ├── match.mli │ ├── valid.ml │ └── valid.mli └── wasm.opam ├── papers ├── LICENSE ├── README.md ├── oopsla2019.pdf ├── pldi2017.pdf └── pldi2024.pdf ├── proposals ├── README.md ├── annotations │ └── Overview.md ├── branch-hinting │ ├── Motivation.md │ └── Overview.md ├── bulk-memory-operations │ └── Overview.md ├── exception-handling │ ├── Exceptions.md │ ├── legacy │ │ ├── Exceptions-formal-examples.md │ │ ├── Exceptions-formal-overview.md │ │ └── Exceptions.md │ └── pre-legacy │ │ ├── Exceptions-v1.md │ │ ├── Exceptions-v2-Level-1+N.md │ │ ├── Exceptions-v2-Level-1.md │ │ └── Exceptions-v2.md ├── extended-const │ └── Overview.md ├── function-references │ └── Overview.md ├── gc │ ├── Charter.md │ ├── MVP-JS.md │ ├── MVP.md │ ├── Overview.md │ └── Post-MVP.md ├── js-string-builtins │ └── Overview.md ├── memory64 │ └── Overview.md ├── multi-memory │ └── Overview.md ├── multi-value │ └── Overview.md ├── nontrapping-float-to-int-conversion │ └── Overview.md ├── reference-types │ └── Overview.md ├── relaxed-simd │ ├── Entropy.md │ └── Overview.md ├── sign-extension-ops │ └── Overview.md ├── simd │ ├── BinarySIMD.md │ ├── ImplementationStatus.md │ ├── NewOpcodes.md │ ├── SIMD.md │ ├── TextSIMD.md │ ├── W3CTAG-SIMDExplainer.md │ └── WebAssembly-SIMD-May-2017.pdf └── tail-call │ └── Overview.md ├── specification ├── wasm-1.0 │ ├── 0-aux.spectec │ ├── 1-syntax.spectec │ ├── 2-syntax-aux.spectec │ ├── 3-numerics.spectec │ ├── 4-runtime.spectec │ ├── 5-runtime-aux.spectec │ ├── 6-typing.spectec │ ├── 8-reduction.spectec │ ├── 9-module.spectec │ └── A-binary.spectec ├── wasm-2.0 │ ├── 0-aux.spectec │ ├── 1-syntax.spectec │ ├── 2-syntax-aux.spectec │ ├── 3-numerics.spectec │ ├── 4-runtime.spectec │ ├── 5-runtime-aux.spectec │ ├── 6-typing.spectec │ ├── 8-reduction.spectec │ ├── 9-module.spectec │ └── A-binary.spectec └── wasm-3.0 │ ├── 0.1-aux.vars.spectec │ ├── 0.2-aux.num.spectec │ ├── 0.3-aux.seq.spectec │ ├── 1.0-syntax.profiles.spectec │ ├── 1.1-syntax.values.spectec │ ├── 1.2-syntax.types.spectec │ ├── 1.3-syntax.instructions.spectec │ ├── 1.4-syntax.modules.spectec │ ├── 2.0-validation.contexts.spectec │ ├── 2.1-validation.types.spectec │ ├── 2.2-validation.subtyping.spectec │ ├── 2.3-validation.instructions.spectec │ ├── 2.4-validation.modules.spectec │ ├── 3.0-numerics.relaxed.spectec │ ├── 3.1-numerics.scalar.spectec │ ├── 3.2-numerics.vector.spectec │ ├── 4.0-execution.configurations.spectec │ ├── 4.1-execution.values.spectec │ ├── 4.2-execution.types.spectec │ ├── 4.3-execution.instructions.spectec │ ├── 4.4-execution.modules.spectec │ ├── 5.1-binary.values.spectec │ ├── 5.2-binary.types.spectec │ ├── 5.3-binary.instructions.spectec │ ├── 5.4-binary.modules.spectec │ ├── 6.0-text.lexical.spectec │ ├── 6.1-text.values.spectec │ ├── 6.2-text.types.spectec │ ├── 6.3-text.instructions.spectec │ ├── 6.3-text.modules.spectec │ ├── X.1-notation.syntax.spectec │ ├── X.2-notation.typing.spectec │ ├── X.3-notation.execution.spectec │ ├── X.4-notation.binary.spectec │ └── X.5-notation.text.spectec ├── spectec ├── .gitignore ├── Makefile ├── README.md ├── doc │ ├── Assumptions.md │ ├── EL.md │ ├── IL.md │ ├── Interpreter.md │ ├── Language.md │ ├── Latex.md │ ├── Overview.md │ ├── Prose.md │ ├── README.md │ ├── Splicing.md │ ├── Usage.md │ └── example │ │ ├── Makefile │ │ ├── NanoWasm.rst.in │ │ ├── NanoWasm.spectec │ │ ├── conf.py │ │ └── output │ │ ├── NanoWasm.html │ │ ├── NanoWasm.pdf │ │ ├── NanoWasm.rst │ │ └── _static │ │ ├── alabaster.css │ │ ├── basic.css │ │ ├── custom.css │ │ ├── doctools.js │ │ ├── documentation_options.js │ │ ├── file.png │ │ ├── github-banner.svg │ │ ├── language_data.js │ │ ├── minus.png │ │ ├── plus.png │ │ ├── pygments.css │ │ ├── searchtools.js │ │ └── sphinx_highlight.js ├── dune-project ├── spec │ └── README.md ├── src │ ├── Makefile │ ├── al │ │ ├── al_util.ml │ │ ├── ast.ml │ │ ├── dune │ │ ├── eq.ml │ │ ├── eq.mli │ │ ├── eval.ml │ │ ├── free.ml │ │ ├── free.mli │ │ ├── lang.ml │ │ ├── print.ml │ │ ├── print.mli │ │ ├── valid.ml │ │ ├── walk.ml │ │ └── walk.mli │ ├── backend-ast │ │ ├── config.ml │ │ ├── dune │ │ ├── print.ml │ │ └── print.mli │ ├── backend-interpreter │ │ ├── .gitignore │ │ ├── construct.ml │ │ ├── debugger.ml │ │ ├── ds.ml │ │ ├── ds.mli │ │ ├── dune │ │ ├── dune-ref-interp │ │ ├── exception.ml │ │ ├── host.ml │ │ ├── interpreter.ml │ │ ├── interpreter.mli │ │ ├── numerics.ml │ │ ├── numerics.mli │ │ ├── relation.ml │ │ ├── relation.mli │ │ ├── runner.ml │ │ └── runner.mli │ ├── backend-latex │ │ ├── config.ml │ │ ├── dune │ │ ├── gen.ml │ │ ├── gen.mli │ │ ├── render.ml │ │ └── render.mli │ ├── backend-prose │ │ ├── config.ml │ │ ├── dune │ │ ├── eq.ml │ │ ├── eq.mli │ │ ├── gen.ml │ │ ├── gen.mli │ │ ├── langs.ml │ │ ├── langs.mli │ │ ├── macro.ml │ │ ├── macro.mli │ │ ├── postprocess.ml │ │ ├── print.ml │ │ ├── print.mli │ │ ├── prose.ml │ │ ├── prose_util.ml │ │ ├── prose_util.mli │ │ ├── render.ml │ │ └── render.mli │ ├── backend-splice │ │ ├── config.ml │ │ ├── dune │ │ ├── splice.ml │ │ └── splice.mli │ ├── dune │ ├── el │ │ ├── ast.ml │ │ ├── convert.ml │ │ ├── convert.mli │ │ ├── debug.ml │ │ ├── dune │ │ ├── eq.ml │ │ ├── eq.mli │ │ ├── free.ml │ │ ├── free.mli │ │ ├── iter.ml │ │ ├── print.ml │ │ ├── print.mli │ │ ├── subst.ml │ │ └── subst.mli │ ├── exe-spectec │ │ ├── dune │ │ └── main.ml │ ├── frontend │ │ ├── dim.ml │ │ ├── dim.mli │ │ ├── dune │ │ ├── elab.ml │ │ ├── elab.mli │ │ ├── eval.ml │ │ ├── eval.mli │ │ ├── id.ml │ │ ├── id.mli │ │ ├── lexer.mli │ │ ├── lexer.mll │ │ ├── parse.ml │ │ ├── parse.mli │ │ └── parser.mly │ ├── il │ │ ├── ast.ml │ │ ├── debug.ml │ │ ├── dune │ │ ├── env.ml │ │ ├── eq.ml │ │ ├── eq.mli │ │ ├── eval.ml │ │ ├── eval.mli │ │ ├── free.ml │ │ ├── free.mli │ │ ├── iter.ml │ │ ├── print.ml │ │ ├── print.mli │ │ ├── subst.ml │ │ ├── subst.mli │ │ ├── valid.ml │ │ └── valid.mli │ ├── il2al │ │ ├── animate.ml │ │ ├── animate.mli │ │ ├── def.ml │ │ ├── dune │ │ ├── encode.ml │ │ ├── free.ml │ │ ├── il2al_util.ml │ │ ├── il_walk.ml │ │ ├── il_walk.mli │ │ ├── manual.ml │ │ ├── postprocess.ml │ │ ├── postprocess.mli │ │ ├── preprocess.ml │ │ ├── preprocess.mli │ │ ├── print.ml │ │ ├── print.mli │ │ ├── translate.ml │ │ ├── translate.mli │ │ ├── transpile.ml │ │ ├── transpile.mli │ │ ├── unify.ml │ │ └── unify.mli │ ├── middlend │ │ ├── aliasDemut.ml │ │ ├── aliasDemut.mli │ │ ├── dune │ │ ├── else.ml │ │ ├── else.mli │ │ ├── sideconditions.ml │ │ ├── sideconditions.mli │ │ ├── sub.ml │ │ ├── sub.mli │ │ ├── totalize.ml │ │ ├── totalize.mli │ │ ├── typefamilyremoval.ml │ │ ├── typefamilyremoval.mli │ │ ├── undep.ml │ │ ├── undep.mli │ │ ├── unthe.ml │ │ ├── unthe.mli │ │ └── utils.ml │ ├── util │ │ ├── debug_log.ml │ │ ├── dune │ │ ├── error.ml │ │ ├── error.mli │ │ ├── lib.ml │ │ ├── lib.mli │ │ ├── record.ml │ │ ├── scc.ml │ │ ├── scc.mli │ │ ├── sexpr.ml │ │ ├── sexpr.mli │ │ ├── source.ml │ │ ├── source.mli │ │ ├── utf8.ml │ │ └── utf8.mli │ └── xl │ │ ├── atom.ml │ │ ├── bool.ml │ │ ├── dune │ │ ├── mixop.ml │ │ └── num.ml ├── test-frontend │ ├── .gitignore │ ├── Makefile │ ├── TEST.md │ ├── dune │ └── test.spectec ├── test-interpreter │ ├── .gitignore │ ├── Makefile │ ├── TEST.md │ ├── dune │ ├── sample.wasm │ ├── sample.wast │ ├── sample.wat │ ├── spec-test-1 │ │ ├── .gitignore │ │ ├── README.md │ │ ├── address.wast │ │ ├── align.wast │ │ ├── binary-leb128.wast │ │ ├── binary.wast │ │ ├── block.wast │ │ ├── br.wast │ │ ├── br_if.wast │ │ ├── br_table.wast │ │ ├── break-drop.wast │ │ ├── call.wast │ │ ├── call_indirect.wast │ │ ├── comments.wast │ │ ├── const.wast │ │ ├── conversions.wast │ │ ├── custom.wast │ │ ├── data.wast │ │ ├── elem.wast │ │ ├── endianness.wast │ │ ├── exports.wast │ │ ├── f32.wast │ │ ├── f32_bitwise.wast │ │ ├── f32_cmp.wast │ │ ├── f64.wast │ │ ├── f64_bitwise.wast │ │ ├── f64_cmp.wast │ │ ├── fac.wast │ │ ├── float_exprs.wast │ │ ├── float_literals.wast │ │ ├── float_memory.wast │ │ ├── float_misc.wast │ │ ├── forward.wast │ │ ├── func.wast │ │ ├── func_ptrs.wast │ │ ├── globals.wast │ │ ├── i32.wast │ │ ├── i64.wast │ │ ├── if.wast │ │ ├── imports.wast │ │ ├── inline-module.wast │ │ ├── int_exprs.wast │ │ ├── int_literals.wast │ │ ├── labels.wast │ │ ├── left-to-right.wast │ │ ├── linking.wast │ │ ├── load.wast │ │ ├── local_get.wast │ │ ├── local_set.wast │ │ ├── local_tee.wast │ │ ├── loop.wast │ │ ├── memory.wast │ │ ├── memory_grow.wast │ │ ├── memory_redundancy.wast │ │ ├── memory_size.wast │ │ ├── memory_trap.wast │ │ ├── names.wast │ │ ├── nop.wast │ │ ├── return.wast │ │ ├── run.py │ │ ├── select.wast │ │ ├── skip-stack-guard-page.wast │ │ ├── stack.wast │ │ ├── start.wast │ │ ├── store.wast │ │ ├── switch.wast │ │ ├── token.wast │ │ ├── traps.wast │ │ ├── type.wast │ │ ├── unreachable.wast │ │ ├── unreached-invalid.wast │ │ ├── unwind.wast │ │ ├── utf8-custom-section-id.wast │ │ ├── utf8-import-field.wast │ │ ├── utf8-import-module.wast │ │ └── utf8-invalid-encoding.wast │ ├── spec-test-2 │ │ ├── address.wast │ │ ├── align.wast │ │ ├── binary-leb128.wast │ │ ├── binary.wast │ │ ├── block.wast │ │ ├── br.wast │ │ ├── br_if.wast │ │ ├── br_table.wast │ │ ├── bulk.wast │ │ ├── call.wast │ │ ├── call_indirect.wast │ │ ├── comments.wast │ │ ├── const.wast │ │ ├── conversions.wast │ │ ├── custom.wast │ │ ├── data.wast │ │ ├── elem.wast │ │ ├── endianness.wast │ │ ├── exports.wast │ │ ├── f32.wast │ │ ├── f32_bitwise.wast │ │ ├── f32_cmp.wast │ │ ├── f64.wast │ │ ├── f64_bitwise.wast │ │ ├── f64_cmp.wast │ │ ├── fac.wast │ │ ├── float_exprs.wast │ │ ├── float_literals.wast │ │ ├── float_memory.wast │ │ ├── float_misc.wast │ │ ├── forward.wast │ │ ├── func.wast │ │ ├── func_ptrs.wast │ │ ├── global.wast │ │ ├── i32.wast │ │ ├── i64.wast │ │ ├── if.wast │ │ ├── imports.wast │ │ ├── inline-module.wast │ │ ├── int_exprs.wast │ │ ├── int_literals.wast │ │ ├── labels.wast │ │ ├── left-to-right.wast │ │ ├── linking.wast │ │ ├── load.wast │ │ ├── local_get.wast │ │ ├── local_set.wast │ │ ├── local_tee.wast │ │ ├── loop.wast │ │ ├── memory.wast │ │ ├── memory_copy.wast │ │ ├── memory_fill.wast │ │ ├── memory_grow.wast │ │ ├── memory_init.wast │ │ ├── memory_redundancy.wast │ │ ├── memory_size.wast │ │ ├── memory_trap.wast │ │ ├── names.wast │ │ ├── nop.wast │ │ ├── ref_func.wast │ │ ├── ref_is_null.wast │ │ ├── ref_null.wast │ │ ├── return.wast │ │ ├── select.wast │ │ ├── simd │ │ │ ├── meta │ │ │ │ ├── README.md │ │ │ │ ├── gen_tests.py │ │ │ │ ├── simd.py │ │ │ │ ├── simd_arithmetic.py │ │ │ │ ├── simd_bitwise.py │ │ │ │ ├── simd_compare.py │ │ │ │ ├── simd_ext_mul.py │ │ │ │ ├── simd_extadd_pairwise.py │ │ │ │ ├── simd_f32x4.py │ │ │ │ ├── simd_f32x4_arith.py │ │ │ │ ├── simd_f32x4_cmp.py │ │ │ │ ├── simd_f32x4_pmin_pmax.py │ │ │ │ ├── simd_f32x4_rounding.py │ │ │ │ ├── simd_f64x2.py │ │ │ │ ├── simd_f64x2_arith.py │ │ │ │ ├── simd_f64x2_cmp.py │ │ │ │ ├── simd_f64x2_pmin_pmax.py │ │ │ │ ├── simd_f64x2_rounding.py │ │ │ │ ├── simd_float_op.py │ │ │ │ ├── simd_i16x8_arith.py │ │ │ │ ├── simd_i16x8_cmp.py │ │ │ │ ├── simd_i16x8_q15mulr_sat_s.py │ │ │ │ ├── simd_i32x4_arith.py │ │ │ │ ├── simd_i32x4_cmp.py │ │ │ │ ├── simd_i32x4_dot_i16x8.py │ │ │ │ ├── simd_i64x2_arith.py │ │ │ │ ├── simd_i64x2_cmp.py │ │ │ │ ├── simd_i8x16_arith.py │ │ │ │ ├── simd_i8x16_cmp.py │ │ │ │ ├── simd_int_arith2.py │ │ │ │ ├── simd_int_to_int_extend.py │ │ │ │ ├── simd_int_trunc_sat_float.py │ │ │ │ ├── simd_integer_op.py │ │ │ │ ├── simd_lane_value.py │ │ │ │ ├── simd_load_lane.py │ │ │ │ ├── simd_sat_arith.py │ │ │ │ ├── simd_store_lane.py │ │ │ │ └── test_assert.py │ │ │ ├── simd_address.wast │ │ │ ├── simd_align.wast │ │ │ ├── simd_bit_shift.wast │ │ │ ├── simd_bitwise.wast │ │ │ ├── simd_boolean.wast │ │ │ ├── simd_const.wast │ │ │ ├── simd_conversions.wast │ │ │ ├── simd_f32x4.wast │ │ │ ├── simd_f32x4_arith.wast │ │ │ ├── simd_f32x4_cmp.wast │ │ │ ├── simd_f32x4_pmin_pmax.wast │ │ │ ├── simd_f32x4_rounding.wast │ │ │ ├── simd_f64x2.wast │ │ │ ├── simd_f64x2_arith.wast │ │ │ ├── simd_f64x2_cmp.wast │ │ │ ├── simd_f64x2_pmin_pmax.wast │ │ │ ├── simd_f64x2_rounding.wast │ │ │ ├── simd_i16x8_arith.wast │ │ │ ├── simd_i16x8_arith2.wast │ │ │ ├── simd_i16x8_cmp.wast │ │ │ ├── simd_i16x8_extadd_pairwise_i8x16.wast │ │ │ ├── simd_i16x8_extmul_i8x16.wast │ │ │ ├── simd_i16x8_q15mulr_sat_s.wast │ │ │ ├── simd_i16x8_sat_arith.wast │ │ │ ├── simd_i32x4_arith.wast │ │ │ ├── simd_i32x4_arith2.wast │ │ │ ├── simd_i32x4_cmp.wast │ │ │ ├── simd_i32x4_dot_i16x8.wast │ │ │ ├── simd_i32x4_extadd_pairwise_i16x8.wast │ │ │ ├── simd_i32x4_extmul_i16x8.wast │ │ │ ├── simd_i32x4_trunc_sat_f32x4.wast │ │ │ ├── simd_i32x4_trunc_sat_f64x2.wast │ │ │ ├── simd_i64x2_arith.wast │ │ │ ├── simd_i64x2_arith2.wast │ │ │ ├── simd_i64x2_cmp.wast │ │ │ ├── simd_i64x2_extmul_i32x4.wast │ │ │ ├── simd_i8x16_arith.wast │ │ │ ├── simd_i8x16_arith2.wast │ │ │ ├── simd_i8x16_cmp.wast │ │ │ ├── simd_i8x16_sat_arith.wast │ │ │ ├── simd_int_to_int_extend.wast │ │ │ ├── simd_lane.wast │ │ │ ├── simd_linking.wast │ │ │ ├── simd_load.wast │ │ │ ├── simd_load16_lane.wast │ │ │ ├── simd_load32_lane.wast │ │ │ ├── simd_load64_lane.wast │ │ │ ├── simd_load8_lane.wast │ │ │ ├── simd_load_extend.wast │ │ │ ├── simd_load_splat.wast │ │ │ ├── simd_load_zero.wast │ │ │ ├── simd_splat.wast │ │ │ ├── simd_store.wast │ │ │ ├── simd_store16_lane.wast │ │ │ ├── simd_store32_lane.wast │ │ │ ├── simd_store64_lane.wast │ │ │ └── simd_store8_lane.wast │ │ ├── skip-stack-guard-page.wast │ │ ├── stack.wast │ │ ├── start.wast │ │ ├── store.wast │ │ ├── switch.wast │ │ ├── table-sub.wast │ │ ├── table.wast │ │ ├── table_copy.wast │ │ ├── table_fill.wast │ │ ├── table_get.wast │ │ ├── table_grow.wast │ │ ├── table_init.wast │ │ ├── table_set.wast │ │ ├── table_size.wast │ │ ├── token.wast │ │ ├── tokens.wast │ │ ├── traps.wast │ │ ├── type.wast │ │ ├── unreachable.wast │ │ ├── unreached-invalid.wast │ │ ├── unreached-valid.wast │ │ ├── unwind.wast │ │ ├── utf8-custom-section-id.wast │ │ ├── utf8-import-field.wast │ │ ├── utf8-import-module.wast │ │ └── utf8-invalid-encoding.wast │ └── spec-test-3 ├── test-latex │ ├── .gitignore │ ├── Makefile │ ├── TEST.md │ ├── dune │ ├── spec-gen-wasm-1.0.tex │ ├── spec-gen-wasm-2.0.tex │ ├── spec-gen-wasm-3.0.tex │ ├── spec-gen.tex │ └── test.spectec ├── test-middlend │ ├── .gitignore │ ├── Makefile │ ├── dune │ ├── specification.00-elab.exp │ ├── specification.01-typefamily-removal.exp │ ├── specification.02-remove-indexed-types.exp │ ├── specification.03-totalize.exp │ ├── specification.04-else.exp │ ├── specification.05-sideconditions.exp │ ├── specification.06-sub.exp │ ├── specification.07-alias-demut.exp │ ├── test.spectec │ └── test.spectec.exp ├── test-prose │ ├── .gitignore │ ├── Makefile │ ├── TEST.md │ ├── doc │ │ ├── conf.py │ │ ├── exec │ │ │ ├── conventions-in.rst │ │ │ ├── index.rst │ │ │ ├── instructions-in.rst │ │ │ ├── modules-in.rst │ │ │ ├── numerics-in.rst │ │ │ └── runtime-in.rst │ │ ├── index.rst │ │ ├── intro.rst │ │ ├── static │ │ │ └── webassembly.png │ │ ├── syntax │ │ │ ├── index.rst │ │ │ ├── instructions-in.rst │ │ │ ├── modules-in.rst │ │ │ ├── types-in.rst │ │ │ └── values-in.rst │ │ ├── util │ │ │ └── mathdef.py │ │ └── valid │ │ │ ├── conventions-in.rst │ │ │ ├── index.rst │ │ │ ├── instructions-in.rst │ │ │ ├── matching-in.rst │ │ │ ├── modules-in.rst │ │ │ └── types-in.rst │ └── dune └── test-splice │ ├── .gitignore │ ├── Makefile │ ├── TEST.md │ ├── conf.py │ ├── dune │ ├── spec-latex.in.tex │ └── spec-sphinx.in.rst ├── test ├── LICENSE ├── README.md ├── Todo.md ├── build.py ├── core │ ├── .gitignore │ ├── README.md │ ├── address.wast │ ├── align.wast │ ├── annotations.wast │ ├── binary-leb128.wast │ ├── binary.wast │ ├── block.wast │ ├── br.wast │ ├── br_if.wast │ ├── br_on_non_null.wast │ ├── br_on_null.wast │ ├── br_table.wast │ ├── bulk-memory │ │ ├── bulk.wast │ │ ├── memory_copy.wast │ │ ├── memory_fill.wast │ │ ├── memory_init.wast │ │ ├── table-sub.wast │ │ ├── table_copy.wast │ │ ├── table_fill.wast │ │ └── table_init.wast │ ├── call.wast │ ├── call_indirect.wast │ ├── call_ref.wast │ ├── comments.wast │ ├── const.wast │ ├── conversions.wast │ ├── custom.wast │ ├── data.wast │ ├── elem.wast │ ├── endianness.wast │ ├── exceptions │ │ ├── tag.wast │ │ ├── throw.wast │ │ ├── throw_ref.wast │ │ └── try_table.wast │ ├── exports.wast │ ├── f32.wast │ ├── f32_bitwise.wast │ ├── f32_cmp.wast │ ├── f64.wast │ ├── f64_bitwise.wast │ ├── f64_cmp.wast │ ├── fac.wast │ ├── float_exprs.wast │ ├── float_literals.wast │ ├── float_memory.wast │ ├── float_misc.wast │ ├── forward.wast │ ├── func.wast │ ├── func_ptrs.wast │ ├── gc │ │ ├── array.wast │ │ ├── array_copy.wast │ │ ├── array_fill.wast │ │ ├── array_init_data.wast │ │ ├── array_init_elem.wast │ │ ├── array_new_data.wast │ │ ├── array_new_elem.wast │ │ ├── binary-gc.wast │ │ ├── br_on_cast.wast │ │ ├── br_on_cast_fail.wast │ │ ├── extern.wast │ │ ├── i31.wast │ │ ├── ref_cast.wast │ │ ├── ref_eq.wast │ │ ├── ref_test.wast │ │ ├── struct.wast │ │ └── type-subtyping.wast │ ├── global.wast │ ├── i32.wast │ ├── i64.wast │ ├── id.wast │ ├── if.wast │ ├── imports.wast │ ├── inline-module.wast │ ├── instance.wast │ ├── int_exprs.wast │ ├── int_literals.wast │ ├── labels.wast │ ├── left-to-right.wast │ ├── linking.wast │ ├── load.wast │ ├── local_get.wast │ ├── local_init.wast │ ├── local_set.wast │ ├── local_tee.wast │ ├── loop.wast │ ├── memory.wast │ ├── memory64 │ │ ├── address64.wast │ │ ├── align64.wast │ │ ├── bulk64.wast │ │ ├── call_indirect64.wast │ │ ├── endianness64.wast │ │ ├── float_memory64.wast │ │ ├── load64.wast │ │ ├── memory64-imports.wast │ │ ├── memory64.wast │ │ ├── memory_copy64.wast │ │ ├── memory_fill64.wast │ │ ├── memory_grow64.wast │ │ ├── memory_init64.wast │ │ ├── memory_redundancy64.wast │ │ ├── memory_trap64.wast │ │ ├── table_copy64.wast │ │ ├── table_copy_mixed.wast │ │ ├── table_fill64.wast │ │ ├── table_get64.wast │ │ ├── table_init64.wast │ │ ├── table_set64.wast │ │ └── table_size64.wast │ ├── memory_grow.wast │ ├── memory_redundancy.wast │ ├── memory_size.wast │ ├── memory_trap.wast │ ├── multi-memory │ │ ├── address0.wast │ │ ├── address1.wast │ │ ├── align0.wast │ │ ├── binary0.wast │ │ ├── data0.wast │ │ ├── data1.wast │ │ ├── data_drop0.wast │ │ ├── exports0.wast │ │ ├── float_exprs0.wast │ │ ├── float_exprs1.wast │ │ ├── float_memory0.wast │ │ ├── imports0.wast │ │ ├── imports1.wast │ │ ├── imports2.wast │ │ ├── imports3.wast │ │ ├── imports4.wast │ │ ├── linking0.wast │ │ ├── linking1.wast │ │ ├── linking2.wast │ │ ├── linking3.wast │ │ ├── load0.wast │ │ ├── load1.wast │ │ ├── load2.wast │ │ ├── memory-multi.wast │ │ ├── memory_copy0.wast │ │ ├── memory_copy1.wast │ │ ├── memory_fill0.wast │ │ ├── memory_grow.wast │ │ ├── memory_init0.wast │ │ ├── memory_size0.wast │ │ ├── memory_size1.wast │ │ ├── memory_size2.wast │ │ ├── memory_size3.wast │ │ ├── memory_size_import.wast │ │ ├── memory_trap0.wast │ │ ├── memory_trap1.wast │ │ ├── start0.wast │ │ ├── store0.wast │ │ ├── store1.wast │ │ ├── store2.wast │ │ └── traps0.wast │ ├── names.wast │ ├── nop.wast │ ├── obsolete-keywords.wast │ ├── ref.wast │ ├── ref_as_non_null.wast │ ├── ref_func.wast │ ├── ref_is_null.wast │ ├── ref_null.wast │ ├── relaxed-simd │ │ ├── i16x8_relaxed_q15mulr_s.wast │ │ ├── i32x4_relaxed_trunc.wast │ │ ├── i8x16_relaxed_swizzle.wast │ │ ├── relaxed_dot_product.wast │ │ ├── relaxed_laneselect.wast │ │ ├── relaxed_madd_nmadd.wast │ │ └── relaxed_min_max.wast │ ├── return.wast │ ├── return_call.wast │ ├── return_call_indirect.wast │ ├── return_call_ref.wast │ ├── run.py │ ├── select.wast │ ├── simd │ │ ├── meta │ │ │ ├── README.md │ │ │ ├── gen_tests.py │ │ │ ├── simd.py │ │ │ ├── simd_arithmetic.py │ │ │ ├── simd_bitwise.py │ │ │ ├── simd_compare.py │ │ │ ├── simd_ext_mul.py │ │ │ ├── simd_extadd_pairwise.py │ │ │ ├── simd_f32x4.py │ │ │ ├── simd_f32x4_arith.py │ │ │ ├── simd_f32x4_cmp.py │ │ │ ├── simd_f32x4_pmin_pmax.py │ │ │ ├── simd_f32x4_rounding.py │ │ │ ├── simd_f64x2.py │ │ │ ├── simd_f64x2_arith.py │ │ │ ├── simd_f64x2_cmp.py │ │ │ ├── simd_f64x2_pmin_pmax.py │ │ │ ├── simd_f64x2_rounding.py │ │ │ ├── simd_float_op.py │ │ │ ├── simd_i16x8_arith.py │ │ │ ├── simd_i16x8_cmp.py │ │ │ ├── simd_i16x8_q15mulr_sat_s.py │ │ │ ├── simd_i32x4_arith.py │ │ │ ├── simd_i32x4_cmp.py │ │ │ ├── simd_i32x4_dot_i16x8.py │ │ │ ├── simd_i64x2_arith.py │ │ │ ├── simd_i64x2_cmp.py │ │ │ ├── simd_i8x16_arith.py │ │ │ ├── simd_i8x16_cmp.py │ │ │ ├── simd_int_arith2.py │ │ │ ├── simd_int_to_int_extend.py │ │ │ ├── simd_int_trunc_sat_float.py │ │ │ ├── simd_integer_op.py │ │ │ ├── simd_lane_value.py │ │ │ ├── simd_load_lane.py │ │ │ ├── simd_sat_arith.py │ │ │ ├── simd_store_lane.py │ │ │ └── test_assert.py │ │ ├── simd_address.wast │ │ ├── simd_align.wast │ │ ├── simd_bit_shift.wast │ │ ├── simd_bitwise.wast │ │ ├── simd_boolean.wast │ │ ├── simd_const.wast │ │ ├── simd_conversions.wast │ │ ├── simd_f32x4.wast │ │ ├── simd_f32x4_arith.wast │ │ ├── simd_f32x4_cmp.wast │ │ ├── simd_f32x4_pmin_pmax.wast │ │ ├── simd_f32x4_rounding.wast │ │ ├── simd_f64x2.wast │ │ ├── simd_f64x2_arith.wast │ │ ├── simd_f64x2_cmp.wast │ │ ├── simd_f64x2_pmin_pmax.wast │ │ ├── simd_f64x2_rounding.wast │ │ ├── simd_i16x8_arith.wast │ │ ├── simd_i16x8_arith2.wast │ │ ├── simd_i16x8_cmp.wast │ │ ├── simd_i16x8_extadd_pairwise_i8x16.wast │ │ ├── simd_i16x8_extmul_i8x16.wast │ │ ├── simd_i16x8_q15mulr_sat_s.wast │ │ ├── simd_i16x8_sat_arith.wast │ │ ├── simd_i32x4_arith.wast │ │ ├── simd_i32x4_arith2.wast │ │ ├── simd_i32x4_cmp.wast │ │ ├── simd_i32x4_dot_i16x8.wast │ │ ├── simd_i32x4_extadd_pairwise_i16x8.wast │ │ ├── simd_i32x4_extmul_i16x8.wast │ │ ├── simd_i32x4_trunc_sat_f32x4.wast │ │ ├── simd_i32x4_trunc_sat_f64x2.wast │ │ ├── simd_i64x2_arith.wast │ │ ├── simd_i64x2_arith2.wast │ │ ├── simd_i64x2_cmp.wast │ │ ├── simd_i64x2_extmul_i32x4.wast │ │ ├── simd_i8x16_arith.wast │ │ ├── simd_i8x16_arith2.wast │ │ ├── simd_i8x16_cmp.wast │ │ ├── simd_i8x16_sat_arith.wast │ │ ├── simd_int_to_int_extend.wast │ │ ├── simd_lane.wast │ │ ├── simd_linking.wast │ │ ├── simd_load.wast │ │ ├── simd_load16_lane.wast │ │ ├── simd_load32_lane.wast │ │ ├── simd_load64_lane.wast │ │ ├── simd_load8_lane.wast │ │ ├── simd_load_extend.wast │ │ ├── simd_load_splat.wast │ │ ├── simd_load_zero.wast │ │ ├── simd_memory-multi.wast │ │ ├── simd_select.wast │ │ ├── simd_splat.wast │ │ ├── simd_store.wast │ │ ├── simd_store16_lane.wast │ │ ├── simd_store32_lane.wast │ │ ├── simd_store64_lane.wast │ │ └── simd_store8_lane.wast │ ├── skip-stack-guard-page.wast │ ├── stack.wast │ ├── start.wast │ ├── store.wast │ ├── switch.wast │ ├── table.wast │ ├── table_get.wast │ ├── table_grow.wast │ ├── table_set.wast │ ├── table_size.wast │ ├── token.wast │ ├── traps.wast │ ├── type-canon.wast │ ├── type-equivalence.wast │ ├── type-rec.wast │ ├── type.wast │ ├── unreachable.wast │ ├── unreached-invalid.wast │ ├── unreached-valid.wast │ ├── unwind.wast │ ├── utf8-custom-section-id.wast │ ├── utf8-import-field.wast │ ├── utf8-import-module.wast │ └── utf8-invalid-encoding.wast ├── custom │ ├── custom │ │ └── custom_annot.wast │ ├── metadata.code.branch_hint │ │ └── branch_hint.wast │ └── name │ │ └── name_annot.wast ├── harness │ ├── async_index.js │ ├── sync_index.js │ ├── testharness.css │ ├── testharness.js │ └── testharnessreport.js ├── js-api │ ├── LICENSE.md │ ├── README.md │ ├── assertions.js │ ├── bad-imports.js │ ├── constructor │ ├── error-interfaces-no-symbol-tostringtag.js │ ├── exception │ │ ├── basic.tentative.any.js │ │ ├── constructor.tentative.any.js │ │ ├── getArg.tentative.any.js │ │ ├── identity.tentative.any.js │ │ ├── is.tentative.any.js │ │ ├── jsTag.tentative.any.js │ │ └── toString.tentative.any.js │ ├── functions │ │ └── helper.js │ ├── gc │ │ ├── casts.tentative.any.js │ │ ├── default-value.tentative.any.js │ │ ├── exported-object.tentative.any.js │ │ └── i31.tentative.any.js │ ├── global │ │ ├── constructor.any.js │ │ ├── toString.any.js │ │ ├── value-get-set.any.js │ │ └── valueOf.any.js │ ├── instance │ │ ├── constructor-bad-imports.any.js │ │ ├── constructor-caching.any.js │ │ ├── constructor.any.js │ │ ├── exports.any.js │ │ └── toString.any.js │ ├── instanceTestFactory.js │ ├── interface.any.js │ ├── js-string │ │ ├── basic.any.js │ │ ├── constants.any.js │ │ ├── imports.any.js │ │ └── polyfill.js │ ├── limits.any.js │ ├── memory │ │ ├── assertions.js │ │ ├── buffer.any.js │ │ ├── constructor.any.js │ │ ├── grow.any.js │ │ └── toString.any.js │ ├── module │ │ ├── constructor.any.js │ │ ├── customSections.any.js │ │ ├── exports.any.js │ │ ├── imports.any.js │ │ └── toString.any.js │ ├── prototypes.any.js │ ├── table │ │ ├── assertions.js │ │ ├── constructor.any.js │ │ ├── get-set.any.js │ │ ├── grow.any.js │ │ ├── length.any.js │ │ └── toString.any.js │ ├── tag │ │ ├── constructor.tentative.any.js │ │ └── toString.tentative.any.js │ └── wasm-module-builder.js ├── legacy │ └── exceptions │ │ ├── core │ │ ├── rethrow.wast │ │ ├── run.py │ │ ├── throw.wast │ │ ├── try_catch.wast │ │ └── try_delegate.wast │ │ └── js-api │ │ ├── basic.tentative.any.js │ │ └── identity.tentative.any.js ├── meta │ ├── Makefile │ ├── README.md │ ├── common.js │ ├── generate_memory_copy.js │ ├── generate_memory_fill.js │ ├── generate_memory_init.js │ ├── generate_table_copy.js │ ├── generate_table_init.js │ └── noderun.sh └── sync-js-api.py ├── w3c.json └── wasm-specs.bib /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/workflows/ci-interpreter.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/.github/workflows/ci-interpreter.yml -------------------------------------------------------------------------------- /.github/workflows/ci-spec.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/.github/workflows/ci-spec.yml -------------------------------------------------------------------------------- /.github/workflows/ci-spectec.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/.github/workflows/ci-spectec.yml -------------------------------------------------------------------------------- /.github/workflows/w3c-publish.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/.github/workflows/w3c-publish.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/.gitmodules -------------------------------------------------------------------------------- /Contributing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/Contributing.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/README.md -------------------------------------------------------------------------------- /document/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/LICENSE -------------------------------------------------------------------------------- /document/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/Makefile -------------------------------------------------------------------------------- /document/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/README.md -------------------------------------------------------------------------------- /document/core/.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | _static 3 | _spectec 4 | document/*.pyc 5 | -------------------------------------------------------------------------------- /document/core/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/LICENSE -------------------------------------------------------------------------------- /document/core/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/Makefile -------------------------------------------------------------------------------- /document/core/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/README.md -------------------------------------------------------------------------------- /document/core/appendix/algorithm.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/appendix/algorithm.rst -------------------------------------------------------------------------------- /document/core/appendix/changes.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/appendix/changes.rst -------------------------------------------------------------------------------- /document/core/appendix/custom.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/appendix/custom.rst -------------------------------------------------------------------------------- /document/core/appendix/embedding.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/appendix/embedding.rst -------------------------------------------------------------------------------- /document/core/appendix/implementation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/appendix/implementation.rst -------------------------------------------------------------------------------- /document/core/appendix/index-instructions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/appendix/index-instructions.py -------------------------------------------------------------------------------- /document/core/appendix/index-rules.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/appendix/index-rules.rst -------------------------------------------------------------------------------- /document/core/appendix/index-types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/appendix/index-types.rst -------------------------------------------------------------------------------- /document/core/appendix/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/appendix/index.rst -------------------------------------------------------------------------------- /document/core/appendix/profiles.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/appendix/profiles.rst -------------------------------------------------------------------------------- /document/core/appendix/properties.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/appendix/properties.rst -------------------------------------------------------------------------------- /document/core/binary/conventions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/binary/conventions.rst -------------------------------------------------------------------------------- /document/core/binary/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/binary/index.rst -------------------------------------------------------------------------------- /document/core/binary/instructions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/binary/instructions.rst -------------------------------------------------------------------------------- /document/core/binary/modules.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/binary/modules.rst -------------------------------------------------------------------------------- /document/core/binary/types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/binary/types.rst -------------------------------------------------------------------------------- /document/core/binary/values.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/binary/values.rst -------------------------------------------------------------------------------- /document/core/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/conf.py -------------------------------------------------------------------------------- /document/core/exec/conventions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/exec/conventions.rst -------------------------------------------------------------------------------- /document/core/exec/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/exec/index.rst -------------------------------------------------------------------------------- /document/core/exec/instructions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/exec/instructions.rst -------------------------------------------------------------------------------- /document/core/exec/modules.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/exec/modules.rst -------------------------------------------------------------------------------- /document/core/exec/numerics.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/exec/numerics.rst -------------------------------------------------------------------------------- /document/core/exec/runtime.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/exec/runtime.rst -------------------------------------------------------------------------------- /document/core/exec/types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/exec/types.rst -------------------------------------------------------------------------------- /document/core/exec/values.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/exec/values.rst -------------------------------------------------------------------------------- /document/core/index.bs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/index.bs -------------------------------------------------------------------------------- /document/core/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/index.rst -------------------------------------------------------------------------------- /document/core/intro/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/intro/index.rst -------------------------------------------------------------------------------- /document/core/intro/introduction.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/intro/introduction.rst -------------------------------------------------------------------------------- /document/core/intro/overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/intro/overview.rst -------------------------------------------------------------------------------- /document/core/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/make.bat -------------------------------------------------------------------------------- /document/core/static/custom.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/static/custom.css -------------------------------------------------------------------------------- /document/core/static/webassembly.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/static/webassembly.png -------------------------------------------------------------------------------- /document/core/syntax/conventions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/syntax/conventions.rst -------------------------------------------------------------------------------- /document/core/syntax/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/syntax/index.rst -------------------------------------------------------------------------------- /document/core/syntax/instructions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/syntax/instructions.rst -------------------------------------------------------------------------------- /document/core/syntax/modules.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/syntax/modules.rst -------------------------------------------------------------------------------- /document/core/syntax/types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/syntax/types.rst -------------------------------------------------------------------------------- /document/core/syntax/values.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/syntax/values.rst -------------------------------------------------------------------------------- /document/core/text/conventions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/text/conventions.rst -------------------------------------------------------------------------------- /document/core/text/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/text/index.rst -------------------------------------------------------------------------------- /document/core/text/instructions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/text/instructions.rst -------------------------------------------------------------------------------- /document/core/text/lexical.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/text/lexical.rst -------------------------------------------------------------------------------- /document/core/text/modules.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/text/modules.rst -------------------------------------------------------------------------------- /document/core/text/types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/text/types.rst -------------------------------------------------------------------------------- /document/core/text/values.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/text/values.rst -------------------------------------------------------------------------------- /document/core/util/README.htmldiff.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/util/README.htmldiff.pl -------------------------------------------------------------------------------- /document/core/util/bikeshed/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/util/bikeshed/conf.py -------------------------------------------------------------------------------- /document/core/util/bikeshed_fixup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/util/bikeshed_fixup.py -------------------------------------------------------------------------------- /document/core/util/check_macros.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/util/check_macros.sh -------------------------------------------------------------------------------- /document/core/util/katex_fix.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/util/katex_fix.patch -------------------------------------------------------------------------------- /document/core/util/macros.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/util/macros.def -------------------------------------------------------------------------------- /document/core/util/mathdef.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/util/mathdef.py -------------------------------------------------------------------------------- /document/core/util/mathdefbs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/util/mathdefbs.py -------------------------------------------------------------------------------- /document/core/util/mathjax2katex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/util/mathjax2katex.py -------------------------------------------------------------------------------- /document/core/util/pseudo-lexer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/util/pseudo-lexer.py -------------------------------------------------------------------------------- /document/core/valid/conventions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/valid/conventions.rst -------------------------------------------------------------------------------- /document/core/valid/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/valid/index.rst -------------------------------------------------------------------------------- /document/core/valid/instructions.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/valid/instructions.rst -------------------------------------------------------------------------------- /document/core/valid/matching.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/valid/matching.rst -------------------------------------------------------------------------------- /document/core/valid/modules.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/valid/modules.rst -------------------------------------------------------------------------------- /document/core/valid/types.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/core/valid/types.rst -------------------------------------------------------------------------------- /document/deploy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/deploy.sh -------------------------------------------------------------------------------- /document/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/index.html -------------------------------------------------------------------------------- /document/js-api/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/js-api/Makefile -------------------------------------------------------------------------------- /document/js-api/index.bs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/js-api/index.bs -------------------------------------------------------------------------------- /document/legacy/exceptions/.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | _static 3 | document/*.pyc 4 | -------------------------------------------------------------------------------- /document/legacy/exceptions/core/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/legacy/exceptions/core/LICENSE -------------------------------------------------------------------------------- /document/legacy/exceptions/core/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/legacy/exceptions/core/Makefile -------------------------------------------------------------------------------- /document/legacy/exceptions/core/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/legacy/exceptions/core/README.md -------------------------------------------------------------------------------- /document/legacy/exceptions/core/binary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/legacy/exceptions/core/binary.rst -------------------------------------------------------------------------------- /document/legacy/exceptions/core/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/legacy/exceptions/core/conf.py -------------------------------------------------------------------------------- /document/legacy/exceptions/core/exec.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/legacy/exceptions/core/exec.rst -------------------------------------------------------------------------------- /document/legacy/exceptions/core/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/legacy/exceptions/core/index.rst -------------------------------------------------------------------------------- /document/legacy/exceptions/core/intro.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/legacy/exceptions/core/intro.rst -------------------------------------------------------------------------------- /document/legacy/exceptions/core/syntax.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/legacy/exceptions/core/syntax.rst -------------------------------------------------------------------------------- /document/legacy/exceptions/core/text.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/legacy/exceptions/core/text.rst -------------------------------------------------------------------------------- /document/legacy/exceptions/core/valid.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/legacy/exceptions/core/valid.rst -------------------------------------------------------------------------------- /document/legacy/exceptions/js-api/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/legacy/exceptions/js-api/Makefile -------------------------------------------------------------------------------- /document/legacy/exceptions/js-api/index.bs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/legacy/exceptions/js-api/index.bs -------------------------------------------------------------------------------- /document/metadata/code/.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | _static 3 | document/*.pyc 4 | -------------------------------------------------------------------------------- /document/metadata/code/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/metadata/code/LICENSE -------------------------------------------------------------------------------- /document/metadata/code/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/metadata/code/Makefile -------------------------------------------------------------------------------- /document/metadata/code/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/metadata/code/README.md -------------------------------------------------------------------------------- /document/metadata/code/binary.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/metadata/code/binary.rst -------------------------------------------------------------------------------- /document/metadata/code/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/metadata/code/conf.py -------------------------------------------------------------------------------- /document/metadata/code/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/metadata/code/index.rst -------------------------------------------------------------------------------- /document/metadata/code/intro.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/metadata/code/intro.rst -------------------------------------------------------------------------------- /document/metadata/code/static/custom.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/metadata/code/static/custom.css -------------------------------------------------------------------------------- /document/metadata/code/static/webassembly.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/metadata/code/static/webassembly.png -------------------------------------------------------------------------------- /document/metadata/code/text.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/metadata/code/text.rst -------------------------------------------------------------------------------- /document/metadata/code/util/macros.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/metadata/code/util/macros.def -------------------------------------------------------------------------------- /document/metadata/code/util/mathdef.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/metadata/code/util/mathdef.py -------------------------------------------------------------------------------- /document/util/check-echidna-status.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/util/check-echidna-status.py -------------------------------------------------------------------------------- /document/util/htmldiff.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/util/htmldiff.pl -------------------------------------------------------------------------------- /document/versions/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/versions/Makefile -------------------------------------------------------------------------------- /document/versions/core/WebAssembly-1.0.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/versions/core/WebAssembly-1.0.pdf -------------------------------------------------------------------------------- /document/versions/core/WebAssembly-2.0.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/versions/core/WebAssembly-2.0.pdf -------------------------------------------------------------------------------- /document/web-api/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/web-api/Makefile -------------------------------------------------------------------------------- /document/web-api/index.bs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/document/web-api/index.bs -------------------------------------------------------------------------------- /interpreter/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/.gitignore -------------------------------------------------------------------------------- /interpreter/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/LICENSE -------------------------------------------------------------------------------- /interpreter/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/Makefile -------------------------------------------------------------------------------- /interpreter/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/README.md -------------------------------------------------------------------------------- /interpreter/binary/decode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/binary/decode.ml -------------------------------------------------------------------------------- /interpreter/binary/decode.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/binary/decode.mli -------------------------------------------------------------------------------- /interpreter/binary/encode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/binary/encode.ml -------------------------------------------------------------------------------- /interpreter/binary/encode.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/binary/encode.mli -------------------------------------------------------------------------------- /interpreter/binary/utf8.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/binary/utf8.ml -------------------------------------------------------------------------------- /interpreter/binary/utf8.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/binary/utf8.mli -------------------------------------------------------------------------------- /interpreter/custom/custom.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/custom/custom.ml -------------------------------------------------------------------------------- /interpreter/custom/handler_branch_hint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/custom/handler_branch_hint.ml -------------------------------------------------------------------------------- /interpreter/custom/handler_custom.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/custom/handler_custom.ml -------------------------------------------------------------------------------- /interpreter/custom/handler_custom.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/custom/handler_custom.mli -------------------------------------------------------------------------------- /interpreter/custom/handler_name.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/custom/handler_name.ml -------------------------------------------------------------------------------- /interpreter/custom/handler_name.mli: -------------------------------------------------------------------------------- 1 | include Custom.Handler 2 | -------------------------------------------------------------------------------- /interpreter/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/dune -------------------------------------------------------------------------------- /interpreter/dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/dune-project -------------------------------------------------------------------------------- /interpreter/exec/convert.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/convert.ml -------------------------------------------------------------------------------- /interpreter/exec/convert.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/convert.mli -------------------------------------------------------------------------------- /interpreter/exec/eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/eval.ml -------------------------------------------------------------------------------- /interpreter/exec/eval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/eval.mli -------------------------------------------------------------------------------- /interpreter/exec/eval_num.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/eval_num.ml -------------------------------------------------------------------------------- /interpreter/exec/eval_num.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/eval_num.mli -------------------------------------------------------------------------------- /interpreter/exec/eval_vec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/eval_vec.ml -------------------------------------------------------------------------------- /interpreter/exec/eval_vec.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/eval_vec.mli -------------------------------------------------------------------------------- /interpreter/exec/f32.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/f32.ml -------------------------------------------------------------------------------- /interpreter/exec/f64.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/f64.ml -------------------------------------------------------------------------------- /interpreter/exec/fxx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/fxx.ml -------------------------------------------------------------------------------- /interpreter/exec/i16.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/i16.ml -------------------------------------------------------------------------------- /interpreter/exec/i32.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/i32.ml -------------------------------------------------------------------------------- /interpreter/exec/i64.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/i64.ml -------------------------------------------------------------------------------- /interpreter/exec/i8.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/i8.ml -------------------------------------------------------------------------------- /interpreter/exec/ixx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/ixx.ml -------------------------------------------------------------------------------- /interpreter/exec/v128.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/v128.ml -------------------------------------------------------------------------------- /interpreter/exec/v128.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/exec/v128.mli -------------------------------------------------------------------------------- /interpreter/host/env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/host/env.ml -------------------------------------------------------------------------------- /interpreter/host/spectest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/host/spectest.ml -------------------------------------------------------------------------------- /interpreter/jslib/wast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/jslib/wast.ml -------------------------------------------------------------------------------- /interpreter/main/flags.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/main/flags.ml -------------------------------------------------------------------------------- /interpreter/main/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/main/main.ml -------------------------------------------------------------------------------- /interpreter/runtime/aggr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/aggr.ml -------------------------------------------------------------------------------- /interpreter/runtime/aggr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/aggr.mli -------------------------------------------------------------------------------- /interpreter/runtime/data.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/data.ml -------------------------------------------------------------------------------- /interpreter/runtime/data.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/data.mli -------------------------------------------------------------------------------- /interpreter/runtime/elem.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/elem.ml -------------------------------------------------------------------------------- /interpreter/runtime/elem.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/elem.mli -------------------------------------------------------------------------------- /interpreter/runtime/exn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/exn.ml -------------------------------------------------------------------------------- /interpreter/runtime/exn.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/exn.mli -------------------------------------------------------------------------------- /interpreter/runtime/extern.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/extern.ml -------------------------------------------------------------------------------- /interpreter/runtime/extern.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/extern.mli -------------------------------------------------------------------------------- /interpreter/runtime/func.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/func.ml -------------------------------------------------------------------------------- /interpreter/runtime/func.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/func.mli -------------------------------------------------------------------------------- /interpreter/runtime/global.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/global.ml -------------------------------------------------------------------------------- /interpreter/runtime/global.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/global.mli -------------------------------------------------------------------------------- /interpreter/runtime/i31.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/i31.ml -------------------------------------------------------------------------------- /interpreter/runtime/i31.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/i31.mli -------------------------------------------------------------------------------- /interpreter/runtime/instance.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/instance.ml -------------------------------------------------------------------------------- /interpreter/runtime/memory.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/memory.ml -------------------------------------------------------------------------------- /interpreter/runtime/memory.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/memory.mli -------------------------------------------------------------------------------- /interpreter/runtime/table.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/table.ml -------------------------------------------------------------------------------- /interpreter/runtime/table.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/table.mli -------------------------------------------------------------------------------- /interpreter/runtime/tag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/tag.ml -------------------------------------------------------------------------------- /interpreter/runtime/tag.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/tag.mli -------------------------------------------------------------------------------- /interpreter/runtime/value.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/runtime/value.ml -------------------------------------------------------------------------------- /interpreter/script/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/script/import.ml -------------------------------------------------------------------------------- /interpreter/script/import.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/script/import.mli -------------------------------------------------------------------------------- /interpreter/script/js.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/script/js.ml -------------------------------------------------------------------------------- /interpreter/script/js.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/script/js.mli -------------------------------------------------------------------------------- /interpreter/script/run.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/script/run.ml -------------------------------------------------------------------------------- /interpreter/script/run.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/script/run.mli -------------------------------------------------------------------------------- /interpreter/script/script.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/script/script.ml -------------------------------------------------------------------------------- /interpreter/syntax/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/syntax/ast.ml -------------------------------------------------------------------------------- /interpreter/syntax/free.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/syntax/free.ml -------------------------------------------------------------------------------- /interpreter/syntax/free.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/syntax/free.mli -------------------------------------------------------------------------------- /interpreter/syntax/mnemonics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/syntax/mnemonics.ml -------------------------------------------------------------------------------- /interpreter/syntax/pack.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/syntax/pack.ml -------------------------------------------------------------------------------- /interpreter/syntax/types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/syntax/types.ml -------------------------------------------------------------------------------- /interpreter/text/annot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/text/annot.ml -------------------------------------------------------------------------------- /interpreter/text/annot.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/text/annot.mli -------------------------------------------------------------------------------- /interpreter/text/arrange.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/text/arrange.ml -------------------------------------------------------------------------------- /interpreter/text/arrange.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/text/arrange.mli -------------------------------------------------------------------------------- /interpreter/text/lexer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/text/lexer.mli -------------------------------------------------------------------------------- /interpreter/text/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/text/lexer.mll -------------------------------------------------------------------------------- /interpreter/text/parse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/text/parse.ml -------------------------------------------------------------------------------- /interpreter/text/parse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/text/parse.mli -------------------------------------------------------------------------------- /interpreter/text/parse_error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/text/parse_error.ml -------------------------------------------------------------------------------- /interpreter/text/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/text/parser.mly -------------------------------------------------------------------------------- /interpreter/text/print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/text/print.ml -------------------------------------------------------------------------------- /interpreter/text/print.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/text/print.mli -------------------------------------------------------------------------------- /interpreter/unittest/smallint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/unittest/smallint.ml -------------------------------------------------------------------------------- /interpreter/util/error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/util/error.ml -------------------------------------------------------------------------------- /interpreter/util/error.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/util/error.mli -------------------------------------------------------------------------------- /interpreter/util/lib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/util/lib.ml -------------------------------------------------------------------------------- /interpreter/util/lib.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/util/lib.mli -------------------------------------------------------------------------------- /interpreter/util/sexpr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/util/sexpr.ml -------------------------------------------------------------------------------- /interpreter/util/sexpr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/util/sexpr.mli -------------------------------------------------------------------------------- /interpreter/util/source.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/util/source.ml -------------------------------------------------------------------------------- /interpreter/util/source.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/util/source.mli -------------------------------------------------------------------------------- /interpreter/valid/match.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/valid/match.ml -------------------------------------------------------------------------------- /interpreter/valid/match.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/valid/match.mli -------------------------------------------------------------------------------- /interpreter/valid/valid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/valid/valid.ml -------------------------------------------------------------------------------- /interpreter/valid/valid.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/valid/valid.mli -------------------------------------------------------------------------------- /interpreter/wasm.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/interpreter/wasm.opam -------------------------------------------------------------------------------- /papers/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/papers/LICENSE -------------------------------------------------------------------------------- /papers/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/papers/README.md -------------------------------------------------------------------------------- /papers/oopsla2019.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/papers/oopsla2019.pdf -------------------------------------------------------------------------------- /papers/pldi2017.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/papers/pldi2017.pdf -------------------------------------------------------------------------------- /papers/pldi2024.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/papers/pldi2024.pdf -------------------------------------------------------------------------------- /proposals/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/README.md -------------------------------------------------------------------------------- /proposals/annotations/Overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/annotations/Overview.md -------------------------------------------------------------------------------- /proposals/branch-hinting/Motivation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/branch-hinting/Motivation.md -------------------------------------------------------------------------------- /proposals/branch-hinting/Overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/branch-hinting/Overview.md -------------------------------------------------------------------------------- /proposals/bulk-memory-operations/Overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/bulk-memory-operations/Overview.md -------------------------------------------------------------------------------- /proposals/exception-handling/Exceptions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/exception-handling/Exceptions.md -------------------------------------------------------------------------------- /proposals/extended-const/Overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/extended-const/Overview.md -------------------------------------------------------------------------------- /proposals/function-references/Overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/function-references/Overview.md -------------------------------------------------------------------------------- /proposals/gc/Charter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/gc/Charter.md -------------------------------------------------------------------------------- /proposals/gc/MVP-JS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/gc/MVP-JS.md -------------------------------------------------------------------------------- /proposals/gc/MVP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/gc/MVP.md -------------------------------------------------------------------------------- /proposals/gc/Overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/gc/Overview.md -------------------------------------------------------------------------------- /proposals/gc/Post-MVP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/gc/Post-MVP.md -------------------------------------------------------------------------------- /proposals/js-string-builtins/Overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/js-string-builtins/Overview.md -------------------------------------------------------------------------------- /proposals/memory64/Overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/memory64/Overview.md -------------------------------------------------------------------------------- /proposals/multi-memory/Overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/multi-memory/Overview.md -------------------------------------------------------------------------------- /proposals/multi-value/Overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/multi-value/Overview.md -------------------------------------------------------------------------------- /proposals/reference-types/Overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/reference-types/Overview.md -------------------------------------------------------------------------------- /proposals/relaxed-simd/Entropy.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/relaxed-simd/Entropy.md -------------------------------------------------------------------------------- /proposals/relaxed-simd/Overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/relaxed-simd/Overview.md -------------------------------------------------------------------------------- /proposals/sign-extension-ops/Overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/sign-extension-ops/Overview.md -------------------------------------------------------------------------------- /proposals/simd/BinarySIMD.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/simd/BinarySIMD.md -------------------------------------------------------------------------------- /proposals/simd/ImplementationStatus.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/simd/ImplementationStatus.md -------------------------------------------------------------------------------- /proposals/simd/NewOpcodes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/simd/NewOpcodes.md -------------------------------------------------------------------------------- /proposals/simd/SIMD.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/simd/SIMD.md -------------------------------------------------------------------------------- /proposals/simd/TextSIMD.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/simd/TextSIMD.md -------------------------------------------------------------------------------- /proposals/simd/W3CTAG-SIMDExplainer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/simd/W3CTAG-SIMDExplainer.md -------------------------------------------------------------------------------- /proposals/tail-call/Overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/proposals/tail-call/Overview.md -------------------------------------------------------------------------------- /specification/wasm-1.0/0-aux.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-1.0/0-aux.spectec -------------------------------------------------------------------------------- /specification/wasm-1.0/1-syntax.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-1.0/1-syntax.spectec -------------------------------------------------------------------------------- /specification/wasm-1.0/2-syntax-aux.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-1.0/2-syntax-aux.spectec -------------------------------------------------------------------------------- /specification/wasm-1.0/3-numerics.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-1.0/3-numerics.spectec -------------------------------------------------------------------------------- /specification/wasm-1.0/4-runtime.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-1.0/4-runtime.spectec -------------------------------------------------------------------------------- /specification/wasm-1.0/6-typing.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-1.0/6-typing.spectec -------------------------------------------------------------------------------- /specification/wasm-1.0/8-reduction.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-1.0/8-reduction.spectec -------------------------------------------------------------------------------- /specification/wasm-1.0/9-module.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-1.0/9-module.spectec -------------------------------------------------------------------------------- /specification/wasm-1.0/A-binary.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-1.0/A-binary.spectec -------------------------------------------------------------------------------- /specification/wasm-2.0/0-aux.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-2.0/0-aux.spectec -------------------------------------------------------------------------------- /specification/wasm-2.0/1-syntax.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-2.0/1-syntax.spectec -------------------------------------------------------------------------------- /specification/wasm-2.0/2-syntax-aux.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-2.0/2-syntax-aux.spectec -------------------------------------------------------------------------------- /specification/wasm-2.0/3-numerics.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-2.0/3-numerics.spectec -------------------------------------------------------------------------------- /specification/wasm-2.0/4-runtime.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-2.0/4-runtime.spectec -------------------------------------------------------------------------------- /specification/wasm-2.0/6-typing.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-2.0/6-typing.spectec -------------------------------------------------------------------------------- /specification/wasm-2.0/8-reduction.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-2.0/8-reduction.spectec -------------------------------------------------------------------------------- /specification/wasm-2.0/9-module.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-2.0/9-module.spectec -------------------------------------------------------------------------------- /specification/wasm-2.0/A-binary.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-2.0/A-binary.spectec -------------------------------------------------------------------------------- /specification/wasm-3.0/0.1-aux.vars.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-3.0/0.1-aux.vars.spectec -------------------------------------------------------------------------------- /specification/wasm-3.0/0.2-aux.num.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-3.0/0.2-aux.num.spectec -------------------------------------------------------------------------------- /specification/wasm-3.0/0.3-aux.seq.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/specification/wasm-3.0/0.3-aux.seq.spectec -------------------------------------------------------------------------------- /spectec/.gitignore: -------------------------------------------------------------------------------- 1 | spectec 2 | _specification 3 | -------------------------------------------------------------------------------- /spectec/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/Makefile -------------------------------------------------------------------------------- /spectec/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/README.md -------------------------------------------------------------------------------- /spectec/doc/Assumptions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/Assumptions.md -------------------------------------------------------------------------------- /spectec/doc/EL.md: -------------------------------------------------------------------------------- 1 | # External Language 2 | 3 | TODO 4 | -------------------------------------------------------------------------------- /spectec/doc/IL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/IL.md -------------------------------------------------------------------------------- /spectec/doc/Interpreter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/Interpreter.md -------------------------------------------------------------------------------- /spectec/doc/Language.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/Language.md -------------------------------------------------------------------------------- /spectec/doc/Latex.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/Latex.md -------------------------------------------------------------------------------- /spectec/doc/Overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/Overview.md -------------------------------------------------------------------------------- /spectec/doc/Prose.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/Prose.md -------------------------------------------------------------------------------- /spectec/doc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/README.md -------------------------------------------------------------------------------- /spectec/doc/Splicing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/Splicing.md -------------------------------------------------------------------------------- /spectec/doc/Usage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/Usage.md -------------------------------------------------------------------------------- /spectec/doc/example/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/example/Makefile -------------------------------------------------------------------------------- /spectec/doc/example/NanoWasm.rst.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/example/NanoWasm.rst.in -------------------------------------------------------------------------------- /spectec/doc/example/NanoWasm.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/example/NanoWasm.spectec -------------------------------------------------------------------------------- /spectec/doc/example/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/example/conf.py -------------------------------------------------------------------------------- /spectec/doc/example/output/NanoWasm.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/example/output/NanoWasm.html -------------------------------------------------------------------------------- /spectec/doc/example/output/NanoWasm.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/example/output/NanoWasm.pdf -------------------------------------------------------------------------------- /spectec/doc/example/output/NanoWasm.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/example/output/NanoWasm.rst -------------------------------------------------------------------------------- /spectec/doc/example/output/_static/custom.css: -------------------------------------------------------------------------------- 1 | /* This file intentionally left blank. */ 2 | -------------------------------------------------------------------------------- /spectec/doc/example/output/_static/file.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/example/output/_static/file.png -------------------------------------------------------------------------------- /spectec/doc/example/output/_static/plus.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/doc/example/output/_static/plus.png -------------------------------------------------------------------------------- /spectec/dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/dune-project -------------------------------------------------------------------------------- /spectec/spec/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/spec/README.md -------------------------------------------------------------------------------- /spectec/src/Makefile: -------------------------------------------------------------------------------- 1 | default: exe 2 | 3 | %: 4 | (cd .. && make $@) 5 | -------------------------------------------------------------------------------- /spectec/src/al/al_util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/al/al_util.ml -------------------------------------------------------------------------------- /spectec/src/al/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/al/ast.ml -------------------------------------------------------------------------------- /spectec/src/al/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/al/dune -------------------------------------------------------------------------------- /spectec/src/al/eq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/al/eq.ml -------------------------------------------------------------------------------- /spectec/src/al/eq.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/al/eq.mli -------------------------------------------------------------------------------- /spectec/src/al/eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/al/eval.ml -------------------------------------------------------------------------------- /spectec/src/al/free.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/al/free.ml -------------------------------------------------------------------------------- /spectec/src/al/free.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/al/free.mli -------------------------------------------------------------------------------- /spectec/src/al/lang.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/al/lang.ml -------------------------------------------------------------------------------- /spectec/src/al/print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/al/print.ml -------------------------------------------------------------------------------- /spectec/src/al/print.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/al/print.mli -------------------------------------------------------------------------------- /spectec/src/al/valid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/al/valid.ml -------------------------------------------------------------------------------- /spectec/src/al/walk.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/al/walk.ml -------------------------------------------------------------------------------- /spectec/src/al/walk.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/al/walk.mli -------------------------------------------------------------------------------- /spectec/src/backend-ast/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-ast/config.ml -------------------------------------------------------------------------------- /spectec/src/backend-ast/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-ast/dune -------------------------------------------------------------------------------- /spectec/src/backend-ast/print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-ast/print.ml -------------------------------------------------------------------------------- /spectec/src/backend-ast/print.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-ast/print.mli -------------------------------------------------------------------------------- /spectec/src/backend-interpreter/.gitignore: -------------------------------------------------------------------------------- 1 | reference-interpreter 2 | -------------------------------------------------------------------------------- /spectec/src/backend-interpreter/debugger.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-interpreter/debugger.ml -------------------------------------------------------------------------------- /spectec/src/backend-interpreter/ds.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-interpreter/ds.ml -------------------------------------------------------------------------------- /spectec/src/backend-interpreter/ds.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-interpreter/ds.mli -------------------------------------------------------------------------------- /spectec/src/backend-interpreter/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-interpreter/dune -------------------------------------------------------------------------------- /spectec/src/backend-interpreter/host.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-interpreter/host.ml -------------------------------------------------------------------------------- /spectec/src/backend-interpreter/numerics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-interpreter/numerics.ml -------------------------------------------------------------------------------- /spectec/src/backend-interpreter/relation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-interpreter/relation.ml -------------------------------------------------------------------------------- /spectec/src/backend-interpreter/runner.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-interpreter/runner.ml -------------------------------------------------------------------------------- /spectec/src/backend-interpreter/runner.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-interpreter/runner.mli -------------------------------------------------------------------------------- /spectec/src/backend-latex/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-latex/config.ml -------------------------------------------------------------------------------- /spectec/src/backend-latex/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-latex/dune -------------------------------------------------------------------------------- /spectec/src/backend-latex/gen.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-latex/gen.ml -------------------------------------------------------------------------------- /spectec/src/backend-latex/gen.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-latex/gen.mli -------------------------------------------------------------------------------- /spectec/src/backend-latex/render.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-latex/render.ml -------------------------------------------------------------------------------- /spectec/src/backend-latex/render.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-latex/render.mli -------------------------------------------------------------------------------- /spectec/src/backend-prose/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/config.ml -------------------------------------------------------------------------------- /spectec/src/backend-prose/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/dune -------------------------------------------------------------------------------- /spectec/src/backend-prose/eq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/eq.ml -------------------------------------------------------------------------------- /spectec/src/backend-prose/eq.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/eq.mli -------------------------------------------------------------------------------- /spectec/src/backend-prose/gen.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/gen.ml -------------------------------------------------------------------------------- /spectec/src/backend-prose/gen.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/gen.mli -------------------------------------------------------------------------------- /spectec/src/backend-prose/langs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/langs.ml -------------------------------------------------------------------------------- /spectec/src/backend-prose/langs.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/langs.mli -------------------------------------------------------------------------------- /spectec/src/backend-prose/macro.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/macro.ml -------------------------------------------------------------------------------- /spectec/src/backend-prose/macro.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/macro.mli -------------------------------------------------------------------------------- /spectec/src/backend-prose/postprocess.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/postprocess.ml -------------------------------------------------------------------------------- /spectec/src/backend-prose/print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/print.ml -------------------------------------------------------------------------------- /spectec/src/backend-prose/print.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/print.mli -------------------------------------------------------------------------------- /spectec/src/backend-prose/prose.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/prose.ml -------------------------------------------------------------------------------- /spectec/src/backend-prose/prose_util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/prose_util.ml -------------------------------------------------------------------------------- /spectec/src/backend-prose/prose_util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/prose_util.mli -------------------------------------------------------------------------------- /spectec/src/backend-prose/render.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/render.ml -------------------------------------------------------------------------------- /spectec/src/backend-prose/render.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-prose/render.mli -------------------------------------------------------------------------------- /spectec/src/backend-splice/config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-splice/config.ml -------------------------------------------------------------------------------- /spectec/src/backend-splice/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-splice/dune -------------------------------------------------------------------------------- /spectec/src/backend-splice/splice.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-splice/splice.ml -------------------------------------------------------------------------------- /spectec/src/backend-splice/splice.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/backend-splice/splice.mli -------------------------------------------------------------------------------- /spectec/src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/dune -------------------------------------------------------------------------------- /spectec/src/el/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/el/ast.ml -------------------------------------------------------------------------------- /spectec/src/el/convert.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/el/convert.ml -------------------------------------------------------------------------------- /spectec/src/el/convert.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/el/convert.mli -------------------------------------------------------------------------------- /spectec/src/el/debug.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/el/debug.ml -------------------------------------------------------------------------------- /spectec/src/el/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/el/dune -------------------------------------------------------------------------------- /spectec/src/el/eq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/el/eq.ml -------------------------------------------------------------------------------- /spectec/src/el/eq.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/el/eq.mli -------------------------------------------------------------------------------- /spectec/src/el/free.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/el/free.ml -------------------------------------------------------------------------------- /spectec/src/el/free.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/el/free.mli -------------------------------------------------------------------------------- /spectec/src/el/iter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/el/iter.ml -------------------------------------------------------------------------------- /spectec/src/el/print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/el/print.ml -------------------------------------------------------------------------------- /spectec/src/el/print.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/el/print.mli -------------------------------------------------------------------------------- /spectec/src/el/subst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/el/subst.ml -------------------------------------------------------------------------------- /spectec/src/el/subst.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/el/subst.mli -------------------------------------------------------------------------------- /spectec/src/exe-spectec/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/exe-spectec/dune -------------------------------------------------------------------------------- /spectec/src/exe-spectec/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/exe-spectec/main.ml -------------------------------------------------------------------------------- /spectec/src/frontend/dim.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/frontend/dim.ml -------------------------------------------------------------------------------- /spectec/src/frontend/dim.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/frontend/dim.mli -------------------------------------------------------------------------------- /spectec/src/frontend/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/frontend/dune -------------------------------------------------------------------------------- /spectec/src/frontend/elab.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/frontend/elab.ml -------------------------------------------------------------------------------- /spectec/src/frontend/elab.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/frontend/elab.mli -------------------------------------------------------------------------------- /spectec/src/frontend/eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/frontend/eval.ml -------------------------------------------------------------------------------- /spectec/src/frontend/eval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/frontend/eval.mli -------------------------------------------------------------------------------- /spectec/src/frontend/id.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/frontend/id.ml -------------------------------------------------------------------------------- /spectec/src/frontend/id.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/frontend/id.mli -------------------------------------------------------------------------------- /spectec/src/frontend/lexer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/frontend/lexer.mli -------------------------------------------------------------------------------- /spectec/src/frontend/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/frontend/lexer.mll -------------------------------------------------------------------------------- /spectec/src/frontend/parse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/frontend/parse.ml -------------------------------------------------------------------------------- /spectec/src/frontend/parse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/frontend/parse.mli -------------------------------------------------------------------------------- /spectec/src/frontend/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/frontend/parser.mly -------------------------------------------------------------------------------- /spectec/src/il/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/ast.ml -------------------------------------------------------------------------------- /spectec/src/il/debug.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/debug.ml -------------------------------------------------------------------------------- /spectec/src/il/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/dune -------------------------------------------------------------------------------- /spectec/src/il/env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/env.ml -------------------------------------------------------------------------------- /spectec/src/il/eq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/eq.ml -------------------------------------------------------------------------------- /spectec/src/il/eq.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/eq.mli -------------------------------------------------------------------------------- /spectec/src/il/eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/eval.ml -------------------------------------------------------------------------------- /spectec/src/il/eval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/eval.mli -------------------------------------------------------------------------------- /spectec/src/il/free.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/free.ml -------------------------------------------------------------------------------- /spectec/src/il/free.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/free.mli -------------------------------------------------------------------------------- /spectec/src/il/iter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/iter.ml -------------------------------------------------------------------------------- /spectec/src/il/print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/print.ml -------------------------------------------------------------------------------- /spectec/src/il/print.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/print.mli -------------------------------------------------------------------------------- /spectec/src/il/subst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/subst.ml -------------------------------------------------------------------------------- /spectec/src/il/subst.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/subst.mli -------------------------------------------------------------------------------- /spectec/src/il/valid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/valid.ml -------------------------------------------------------------------------------- /spectec/src/il/valid.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il/valid.mli -------------------------------------------------------------------------------- /spectec/src/il2al/animate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/animate.ml -------------------------------------------------------------------------------- /spectec/src/il2al/animate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/animate.mli -------------------------------------------------------------------------------- /spectec/src/il2al/def.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/def.ml -------------------------------------------------------------------------------- /spectec/src/il2al/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/dune -------------------------------------------------------------------------------- /spectec/src/il2al/encode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/encode.ml -------------------------------------------------------------------------------- /spectec/src/il2al/free.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/free.ml -------------------------------------------------------------------------------- /spectec/src/il2al/il2al_util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/il2al_util.ml -------------------------------------------------------------------------------- /spectec/src/il2al/il_walk.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/il_walk.ml -------------------------------------------------------------------------------- /spectec/src/il2al/il_walk.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/il_walk.mli -------------------------------------------------------------------------------- /spectec/src/il2al/manual.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/manual.ml -------------------------------------------------------------------------------- /spectec/src/il2al/postprocess.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/postprocess.ml -------------------------------------------------------------------------------- /spectec/src/il2al/postprocess.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/postprocess.mli -------------------------------------------------------------------------------- /spectec/src/il2al/preprocess.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/preprocess.ml -------------------------------------------------------------------------------- /spectec/src/il2al/preprocess.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/preprocess.mli -------------------------------------------------------------------------------- /spectec/src/il2al/print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/print.ml -------------------------------------------------------------------------------- /spectec/src/il2al/print.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/print.mli -------------------------------------------------------------------------------- /spectec/src/il2al/translate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/translate.ml -------------------------------------------------------------------------------- /spectec/src/il2al/translate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/translate.mli -------------------------------------------------------------------------------- /spectec/src/il2al/transpile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/transpile.ml -------------------------------------------------------------------------------- /spectec/src/il2al/transpile.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/transpile.mli -------------------------------------------------------------------------------- /spectec/src/il2al/unify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/unify.ml -------------------------------------------------------------------------------- /spectec/src/il2al/unify.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/il2al/unify.mli -------------------------------------------------------------------------------- /spectec/src/middlend/aliasDemut.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/aliasDemut.ml -------------------------------------------------------------------------------- /spectec/src/middlend/aliasDemut.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/aliasDemut.mli -------------------------------------------------------------------------------- /spectec/src/middlend/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/dune -------------------------------------------------------------------------------- /spectec/src/middlend/else.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/else.ml -------------------------------------------------------------------------------- /spectec/src/middlend/else.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/else.mli -------------------------------------------------------------------------------- /spectec/src/middlend/sideconditions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/sideconditions.ml -------------------------------------------------------------------------------- /spectec/src/middlend/sideconditions.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/sideconditions.mli -------------------------------------------------------------------------------- /spectec/src/middlend/sub.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/sub.ml -------------------------------------------------------------------------------- /spectec/src/middlend/sub.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/sub.mli -------------------------------------------------------------------------------- /spectec/src/middlend/totalize.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/totalize.ml -------------------------------------------------------------------------------- /spectec/src/middlend/totalize.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/totalize.mli -------------------------------------------------------------------------------- /spectec/src/middlend/typefamilyremoval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/typefamilyremoval.ml -------------------------------------------------------------------------------- /spectec/src/middlend/typefamilyremoval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/typefamilyremoval.mli -------------------------------------------------------------------------------- /spectec/src/middlend/undep.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/undep.ml -------------------------------------------------------------------------------- /spectec/src/middlend/undep.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/undep.mli -------------------------------------------------------------------------------- /spectec/src/middlend/unthe.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/unthe.ml -------------------------------------------------------------------------------- /spectec/src/middlend/unthe.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/unthe.mli -------------------------------------------------------------------------------- /spectec/src/middlend/utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/middlend/utils.ml -------------------------------------------------------------------------------- /spectec/src/util/debug_log.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/util/debug_log.ml -------------------------------------------------------------------------------- /spectec/src/util/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/util/dune -------------------------------------------------------------------------------- /spectec/src/util/error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/util/error.ml -------------------------------------------------------------------------------- /spectec/src/util/error.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/util/error.mli -------------------------------------------------------------------------------- /spectec/src/util/lib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/util/lib.ml -------------------------------------------------------------------------------- /spectec/src/util/lib.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/util/lib.mli -------------------------------------------------------------------------------- /spectec/src/util/record.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/util/record.ml -------------------------------------------------------------------------------- /spectec/src/util/scc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/util/scc.ml -------------------------------------------------------------------------------- /spectec/src/util/scc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/util/scc.mli -------------------------------------------------------------------------------- /spectec/src/util/sexpr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/util/sexpr.ml -------------------------------------------------------------------------------- /spectec/src/util/sexpr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/util/sexpr.mli -------------------------------------------------------------------------------- /spectec/src/util/source.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/util/source.ml -------------------------------------------------------------------------------- /spectec/src/util/source.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/util/source.mli -------------------------------------------------------------------------------- /spectec/src/util/utf8.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/util/utf8.ml -------------------------------------------------------------------------------- /spectec/src/util/utf8.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/util/utf8.mli -------------------------------------------------------------------------------- /spectec/src/xl/atom.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/xl/atom.ml -------------------------------------------------------------------------------- /spectec/src/xl/bool.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/xl/bool.ml -------------------------------------------------------------------------------- /spectec/src/xl/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/xl/dune -------------------------------------------------------------------------------- /spectec/src/xl/mixop.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/xl/mixop.ml -------------------------------------------------------------------------------- /spectec/src/xl/num.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/src/xl/num.ml -------------------------------------------------------------------------------- /spectec/test-frontend/.gitignore: -------------------------------------------------------------------------------- 1 | _log 2 | -------------------------------------------------------------------------------- /spectec/test-frontend/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-frontend/Makefile -------------------------------------------------------------------------------- /spectec/test-frontend/TEST.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-frontend/TEST.md -------------------------------------------------------------------------------- /spectec/test-frontend/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-frontend/dune -------------------------------------------------------------------------------- /spectec/test-frontend/test.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-frontend/test.spectec -------------------------------------------------------------------------------- /spectec/test-interpreter/.gitignore: -------------------------------------------------------------------------------- 1 | _log 2 | -------------------------------------------------------------------------------- /spectec/test-interpreter/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-interpreter/Makefile -------------------------------------------------------------------------------- /spectec/test-interpreter/TEST.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-interpreter/TEST.md -------------------------------------------------------------------------------- /spectec/test-interpreter/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-interpreter/dune -------------------------------------------------------------------------------- /spectec/test-interpreter/sample.wasm: -------------------------------------------------------------------------------- 1 | asm` 2 | addTwo 3 |  j -------------------------------------------------------------------------------- /spectec/test-interpreter/sample.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-interpreter/sample.wast -------------------------------------------------------------------------------- /spectec/test-interpreter/sample.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-interpreter/sample.wat -------------------------------------------------------------------------------- /spectec/test-interpreter/spec-test-1/.gitignore: -------------------------------------------------------------------------------- 1 | output -------------------------------------------------------------------------------- /spectec/test-interpreter/spec-test-1/run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-interpreter/spec-test-1/run.py -------------------------------------------------------------------------------- /spectec/test-interpreter/spec-test-3: -------------------------------------------------------------------------------- 1 | ../../test/core -------------------------------------------------------------------------------- /spectec/test-latex/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-latex/.gitignore -------------------------------------------------------------------------------- /spectec/test-latex/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-latex/Makefile -------------------------------------------------------------------------------- /spectec/test-latex/TEST.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-latex/TEST.md -------------------------------------------------------------------------------- /spectec/test-latex/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-latex/dune -------------------------------------------------------------------------------- /spectec/test-latex/spec-gen-wasm-1.0.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-latex/spec-gen-wasm-1.0.tex -------------------------------------------------------------------------------- /spectec/test-latex/spec-gen-wasm-2.0.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-latex/spec-gen-wasm-2.0.tex -------------------------------------------------------------------------------- /spectec/test-latex/spec-gen-wasm-3.0.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-latex/spec-gen-wasm-3.0.tex -------------------------------------------------------------------------------- /spectec/test-latex/spec-gen.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-latex/spec-gen.tex -------------------------------------------------------------------------------- /spectec/test-latex/test.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-latex/test.spectec -------------------------------------------------------------------------------- /spectec/test-middlend/.gitignore: -------------------------------------------------------------------------------- 1 | _log 2 | -------------------------------------------------------------------------------- /spectec/test-middlend/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-middlend/Makefile -------------------------------------------------------------------------------- /spectec/test-middlend/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-middlend/dune -------------------------------------------------------------------------------- /spectec/test-middlend/test.spectec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-middlend/test.spectec -------------------------------------------------------------------------------- /spectec/test-middlend/test.spectec.exp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-middlend/test.spectec.exp -------------------------------------------------------------------------------- /spectec/test-prose/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/.gitignore -------------------------------------------------------------------------------- /spectec/test-prose/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/Makefile -------------------------------------------------------------------------------- /spectec/test-prose/TEST.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/TEST.md -------------------------------------------------------------------------------- /spectec/test-prose/doc/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/doc/conf.py -------------------------------------------------------------------------------- /spectec/test-prose/doc/exec/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/doc/exec/index.rst -------------------------------------------------------------------------------- /spectec/test-prose/doc/exec/modules-in.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/doc/exec/modules-in.rst -------------------------------------------------------------------------------- /spectec/test-prose/doc/exec/numerics-in.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/doc/exec/numerics-in.rst -------------------------------------------------------------------------------- /spectec/test-prose/doc/exec/runtime-in.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/doc/exec/runtime-in.rst -------------------------------------------------------------------------------- /spectec/test-prose/doc/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/doc/index.rst -------------------------------------------------------------------------------- /spectec/test-prose/doc/intro.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/doc/intro.rst -------------------------------------------------------------------------------- /spectec/test-prose/doc/syntax/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/doc/syntax/index.rst -------------------------------------------------------------------------------- /spectec/test-prose/doc/syntax/types-in.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/doc/syntax/types-in.rst -------------------------------------------------------------------------------- /spectec/test-prose/doc/syntax/values-in.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/doc/syntax/values-in.rst -------------------------------------------------------------------------------- /spectec/test-prose/doc/util/mathdef.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/doc/util/mathdef.py -------------------------------------------------------------------------------- /spectec/test-prose/doc/valid/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/doc/valid/index.rst -------------------------------------------------------------------------------- /spectec/test-prose/doc/valid/modules-in.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/doc/valid/modules-in.rst -------------------------------------------------------------------------------- /spectec/test-prose/doc/valid/types-in.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/doc/valid/types-in.rst -------------------------------------------------------------------------------- /spectec/test-prose/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-prose/dune -------------------------------------------------------------------------------- /spectec/test-splice/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-splice/.gitignore -------------------------------------------------------------------------------- /spectec/test-splice/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-splice/Makefile -------------------------------------------------------------------------------- /spectec/test-splice/TEST.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-splice/TEST.md -------------------------------------------------------------------------------- /spectec/test-splice/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-splice/conf.py -------------------------------------------------------------------------------- /spectec/test-splice/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-splice/dune -------------------------------------------------------------------------------- /spectec/test-splice/spec-latex.in.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-splice/spec-latex.in.tex -------------------------------------------------------------------------------- /spectec/test-splice/spec-sphinx.in.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/spectec/test-splice/spec-sphinx.in.rst -------------------------------------------------------------------------------- /test/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/LICENSE -------------------------------------------------------------------------------- /test/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/README.md -------------------------------------------------------------------------------- /test/Todo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/Todo.md -------------------------------------------------------------------------------- /test/build.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/build.py -------------------------------------------------------------------------------- /test/core/.gitignore: -------------------------------------------------------------------------------- 1 | output -------------------------------------------------------------------------------- /test/core/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/README.md -------------------------------------------------------------------------------- /test/core/address.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/address.wast -------------------------------------------------------------------------------- /test/core/align.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/align.wast -------------------------------------------------------------------------------- /test/core/annotations.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/annotations.wast -------------------------------------------------------------------------------- /test/core/binary-leb128.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/binary-leb128.wast -------------------------------------------------------------------------------- /test/core/binary.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/binary.wast -------------------------------------------------------------------------------- /test/core/block.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/block.wast -------------------------------------------------------------------------------- /test/core/br.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/br.wast -------------------------------------------------------------------------------- /test/core/br_if.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/br_if.wast -------------------------------------------------------------------------------- /test/core/br_on_non_null.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/br_on_non_null.wast -------------------------------------------------------------------------------- /test/core/br_on_null.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/br_on_null.wast -------------------------------------------------------------------------------- /test/core/br_table.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/br_table.wast -------------------------------------------------------------------------------- /test/core/bulk-memory/bulk.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/bulk-memory/bulk.wast -------------------------------------------------------------------------------- /test/core/bulk-memory/memory_copy.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/bulk-memory/memory_copy.wast -------------------------------------------------------------------------------- /test/core/bulk-memory/memory_fill.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/bulk-memory/memory_fill.wast -------------------------------------------------------------------------------- /test/core/bulk-memory/memory_init.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/bulk-memory/memory_init.wast -------------------------------------------------------------------------------- /test/core/bulk-memory/table-sub.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/bulk-memory/table-sub.wast -------------------------------------------------------------------------------- /test/core/bulk-memory/table_copy.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/bulk-memory/table_copy.wast -------------------------------------------------------------------------------- /test/core/bulk-memory/table_fill.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/bulk-memory/table_fill.wast -------------------------------------------------------------------------------- /test/core/bulk-memory/table_init.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/bulk-memory/table_init.wast -------------------------------------------------------------------------------- /test/core/call.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/call.wast -------------------------------------------------------------------------------- /test/core/call_indirect.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/call_indirect.wast -------------------------------------------------------------------------------- /test/core/call_ref.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/call_ref.wast -------------------------------------------------------------------------------- /test/core/comments.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/comments.wast -------------------------------------------------------------------------------- /test/core/const.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/const.wast -------------------------------------------------------------------------------- /test/core/conversions.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/conversions.wast -------------------------------------------------------------------------------- /test/core/custom.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/custom.wast -------------------------------------------------------------------------------- /test/core/data.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/data.wast -------------------------------------------------------------------------------- /test/core/elem.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/elem.wast -------------------------------------------------------------------------------- /test/core/endianness.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/endianness.wast -------------------------------------------------------------------------------- /test/core/exceptions/tag.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/exceptions/tag.wast -------------------------------------------------------------------------------- /test/core/exceptions/throw.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/exceptions/throw.wast -------------------------------------------------------------------------------- /test/core/exceptions/throw_ref.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/exceptions/throw_ref.wast -------------------------------------------------------------------------------- /test/core/exceptions/try_table.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/exceptions/try_table.wast -------------------------------------------------------------------------------- /test/core/exports.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/exports.wast -------------------------------------------------------------------------------- /test/core/f32.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/f32.wast -------------------------------------------------------------------------------- /test/core/f32_bitwise.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/f32_bitwise.wast -------------------------------------------------------------------------------- /test/core/f32_cmp.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/f32_cmp.wast -------------------------------------------------------------------------------- /test/core/f64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/f64.wast -------------------------------------------------------------------------------- /test/core/f64_bitwise.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/f64_bitwise.wast -------------------------------------------------------------------------------- /test/core/f64_cmp.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/f64_cmp.wast -------------------------------------------------------------------------------- /test/core/fac.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/fac.wast -------------------------------------------------------------------------------- /test/core/float_exprs.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/float_exprs.wast -------------------------------------------------------------------------------- /test/core/float_literals.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/float_literals.wast -------------------------------------------------------------------------------- /test/core/float_memory.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/float_memory.wast -------------------------------------------------------------------------------- /test/core/float_misc.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/float_misc.wast -------------------------------------------------------------------------------- /test/core/forward.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/forward.wast -------------------------------------------------------------------------------- /test/core/func.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/func.wast -------------------------------------------------------------------------------- /test/core/func_ptrs.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/func_ptrs.wast -------------------------------------------------------------------------------- /test/core/gc/array.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/array.wast -------------------------------------------------------------------------------- /test/core/gc/array_copy.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/array_copy.wast -------------------------------------------------------------------------------- /test/core/gc/array_fill.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/array_fill.wast -------------------------------------------------------------------------------- /test/core/gc/array_init_data.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/array_init_data.wast -------------------------------------------------------------------------------- /test/core/gc/array_init_elem.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/array_init_elem.wast -------------------------------------------------------------------------------- /test/core/gc/array_new_data.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/array_new_data.wast -------------------------------------------------------------------------------- /test/core/gc/array_new_elem.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/array_new_elem.wast -------------------------------------------------------------------------------- /test/core/gc/binary-gc.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/binary-gc.wast -------------------------------------------------------------------------------- /test/core/gc/br_on_cast.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/br_on_cast.wast -------------------------------------------------------------------------------- /test/core/gc/br_on_cast_fail.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/br_on_cast_fail.wast -------------------------------------------------------------------------------- /test/core/gc/extern.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/extern.wast -------------------------------------------------------------------------------- /test/core/gc/i31.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/i31.wast -------------------------------------------------------------------------------- /test/core/gc/ref_cast.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/ref_cast.wast -------------------------------------------------------------------------------- /test/core/gc/ref_eq.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/ref_eq.wast -------------------------------------------------------------------------------- /test/core/gc/ref_test.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/ref_test.wast -------------------------------------------------------------------------------- /test/core/gc/struct.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/struct.wast -------------------------------------------------------------------------------- /test/core/gc/type-subtyping.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/gc/type-subtyping.wast -------------------------------------------------------------------------------- /test/core/global.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/global.wast -------------------------------------------------------------------------------- /test/core/i32.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/i32.wast -------------------------------------------------------------------------------- /test/core/i64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/i64.wast -------------------------------------------------------------------------------- /test/core/id.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/id.wast -------------------------------------------------------------------------------- /test/core/if.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/if.wast -------------------------------------------------------------------------------- /test/core/imports.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/imports.wast -------------------------------------------------------------------------------- /test/core/inline-module.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/inline-module.wast -------------------------------------------------------------------------------- /test/core/instance.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/instance.wast -------------------------------------------------------------------------------- /test/core/int_exprs.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/int_exprs.wast -------------------------------------------------------------------------------- /test/core/int_literals.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/int_literals.wast -------------------------------------------------------------------------------- /test/core/labels.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/labels.wast -------------------------------------------------------------------------------- /test/core/left-to-right.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/left-to-right.wast -------------------------------------------------------------------------------- /test/core/linking.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/linking.wast -------------------------------------------------------------------------------- /test/core/load.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/load.wast -------------------------------------------------------------------------------- /test/core/local_get.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/local_get.wast -------------------------------------------------------------------------------- /test/core/local_init.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/local_init.wast -------------------------------------------------------------------------------- /test/core/local_set.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/local_set.wast -------------------------------------------------------------------------------- /test/core/local_tee.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/local_tee.wast -------------------------------------------------------------------------------- /test/core/loop.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/loop.wast -------------------------------------------------------------------------------- /test/core/memory.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory.wast -------------------------------------------------------------------------------- /test/core/memory64/address64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/address64.wast -------------------------------------------------------------------------------- /test/core/memory64/align64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/align64.wast -------------------------------------------------------------------------------- /test/core/memory64/bulk64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/bulk64.wast -------------------------------------------------------------------------------- /test/core/memory64/call_indirect64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/call_indirect64.wast -------------------------------------------------------------------------------- /test/core/memory64/endianness64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/endianness64.wast -------------------------------------------------------------------------------- /test/core/memory64/float_memory64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/float_memory64.wast -------------------------------------------------------------------------------- /test/core/memory64/load64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/load64.wast -------------------------------------------------------------------------------- /test/core/memory64/memory64-imports.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/memory64-imports.wast -------------------------------------------------------------------------------- /test/core/memory64/memory64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/memory64.wast -------------------------------------------------------------------------------- /test/core/memory64/memory_copy64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/memory_copy64.wast -------------------------------------------------------------------------------- /test/core/memory64/memory_fill64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/memory_fill64.wast -------------------------------------------------------------------------------- /test/core/memory64/memory_grow64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/memory_grow64.wast -------------------------------------------------------------------------------- /test/core/memory64/memory_init64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/memory_init64.wast -------------------------------------------------------------------------------- /test/core/memory64/memory_redundancy64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/memory_redundancy64.wast -------------------------------------------------------------------------------- /test/core/memory64/memory_trap64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/memory_trap64.wast -------------------------------------------------------------------------------- /test/core/memory64/table_copy64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/table_copy64.wast -------------------------------------------------------------------------------- /test/core/memory64/table_copy_mixed.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/table_copy_mixed.wast -------------------------------------------------------------------------------- /test/core/memory64/table_fill64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/table_fill64.wast -------------------------------------------------------------------------------- /test/core/memory64/table_get64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/table_get64.wast -------------------------------------------------------------------------------- /test/core/memory64/table_init64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/table_init64.wast -------------------------------------------------------------------------------- /test/core/memory64/table_set64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/table_set64.wast -------------------------------------------------------------------------------- /test/core/memory64/table_size64.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory64/table_size64.wast -------------------------------------------------------------------------------- /test/core/memory_grow.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory_grow.wast -------------------------------------------------------------------------------- /test/core/memory_redundancy.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory_redundancy.wast -------------------------------------------------------------------------------- /test/core/memory_size.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory_size.wast -------------------------------------------------------------------------------- /test/core/memory_trap.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/memory_trap.wast -------------------------------------------------------------------------------- /test/core/multi-memory/address0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/address0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/address1.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/address1.wast -------------------------------------------------------------------------------- /test/core/multi-memory/align0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/align0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/binary0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/binary0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/data0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/data0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/data1.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/data1.wast -------------------------------------------------------------------------------- /test/core/multi-memory/data_drop0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/data_drop0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/exports0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/exports0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/float_exprs0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/float_exprs0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/float_exprs1.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/float_exprs1.wast -------------------------------------------------------------------------------- /test/core/multi-memory/float_memory0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/float_memory0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/imports0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/imports0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/imports1.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/imports1.wast -------------------------------------------------------------------------------- /test/core/multi-memory/imports2.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/imports2.wast -------------------------------------------------------------------------------- /test/core/multi-memory/imports3.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/imports3.wast -------------------------------------------------------------------------------- /test/core/multi-memory/imports4.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/imports4.wast -------------------------------------------------------------------------------- /test/core/multi-memory/linking0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/linking0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/linking1.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/linking1.wast -------------------------------------------------------------------------------- /test/core/multi-memory/linking2.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/linking2.wast -------------------------------------------------------------------------------- /test/core/multi-memory/linking3.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/linking3.wast -------------------------------------------------------------------------------- /test/core/multi-memory/load0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/load0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/load1.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/load1.wast -------------------------------------------------------------------------------- /test/core/multi-memory/load2.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/load2.wast -------------------------------------------------------------------------------- /test/core/multi-memory/memory-multi.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/memory-multi.wast -------------------------------------------------------------------------------- /test/core/multi-memory/memory_copy0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/memory_copy0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/memory_copy1.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/memory_copy1.wast -------------------------------------------------------------------------------- /test/core/multi-memory/memory_fill0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/memory_fill0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/memory_grow.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/memory_grow.wast -------------------------------------------------------------------------------- /test/core/multi-memory/memory_init0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/memory_init0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/memory_size0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/memory_size0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/memory_size1.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/memory_size1.wast -------------------------------------------------------------------------------- /test/core/multi-memory/memory_size2.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/memory_size2.wast -------------------------------------------------------------------------------- /test/core/multi-memory/memory_size3.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/memory_size3.wast -------------------------------------------------------------------------------- /test/core/multi-memory/memory_trap0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/memory_trap0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/memory_trap1.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/memory_trap1.wast -------------------------------------------------------------------------------- /test/core/multi-memory/start0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/start0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/store0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/store0.wast -------------------------------------------------------------------------------- /test/core/multi-memory/store1.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/store1.wast -------------------------------------------------------------------------------- /test/core/multi-memory/store2.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/store2.wast -------------------------------------------------------------------------------- /test/core/multi-memory/traps0.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/multi-memory/traps0.wast -------------------------------------------------------------------------------- /test/core/names.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/names.wast -------------------------------------------------------------------------------- /test/core/nop.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/nop.wast -------------------------------------------------------------------------------- /test/core/obsolete-keywords.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/obsolete-keywords.wast -------------------------------------------------------------------------------- /test/core/ref.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/ref.wast -------------------------------------------------------------------------------- /test/core/ref_as_non_null.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/ref_as_non_null.wast -------------------------------------------------------------------------------- /test/core/ref_func.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/ref_func.wast -------------------------------------------------------------------------------- /test/core/ref_is_null.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/ref_is_null.wast -------------------------------------------------------------------------------- /test/core/ref_null.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/ref_null.wast -------------------------------------------------------------------------------- /test/core/relaxed-simd/relaxed_min_max.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/relaxed-simd/relaxed_min_max.wast -------------------------------------------------------------------------------- /test/core/return.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/return.wast -------------------------------------------------------------------------------- /test/core/return_call.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/return_call.wast -------------------------------------------------------------------------------- /test/core/return_call_indirect.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/return_call_indirect.wast -------------------------------------------------------------------------------- /test/core/return_call_ref.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/return_call_ref.wast -------------------------------------------------------------------------------- /test/core/run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/run.py -------------------------------------------------------------------------------- /test/core/select.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/select.wast -------------------------------------------------------------------------------- /test/core/simd/meta/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/README.md -------------------------------------------------------------------------------- /test/core/simd/meta/gen_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/gen_tests.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_arithmetic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_arithmetic.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_bitwise.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_bitwise.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_compare.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_compare.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_ext_mul.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_ext_mul.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_extadd_pairwise.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_extadd_pairwise.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_f32x4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_f32x4.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_f32x4_arith.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_f32x4_arith.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_f32x4_cmp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_f32x4_cmp.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_f32x4_pmin_pmax.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_f32x4_pmin_pmax.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_f32x4_rounding.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_f32x4_rounding.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_f64x2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_f64x2.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_f64x2_arith.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_f64x2_arith.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_f64x2_cmp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_f64x2_cmp.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_f64x2_pmin_pmax.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_f64x2_pmin_pmax.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_f64x2_rounding.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_f64x2_rounding.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_float_op.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_float_op.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_i16x8_arith.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_i16x8_arith.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_i16x8_cmp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_i16x8_cmp.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_i32x4_arith.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_i32x4_arith.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_i32x4_cmp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_i32x4_cmp.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_i32x4_dot_i16x8.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_i32x4_dot_i16x8.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_i64x2_arith.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_i64x2_arith.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_i64x2_cmp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_i64x2_cmp.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_i8x16_arith.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_i8x16_arith.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_i8x16_cmp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_i8x16_cmp.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_int_arith2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_int_arith2.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_integer_op.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_integer_op.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_lane_value.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_lane_value.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_load_lane.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_load_lane.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_sat_arith.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_sat_arith.py -------------------------------------------------------------------------------- /test/core/simd/meta/simd_store_lane.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/simd_store_lane.py -------------------------------------------------------------------------------- /test/core/simd/meta/test_assert.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/meta/test_assert.py -------------------------------------------------------------------------------- /test/core/simd/simd_address.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_address.wast -------------------------------------------------------------------------------- /test/core/simd/simd_align.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_align.wast -------------------------------------------------------------------------------- /test/core/simd/simd_bit_shift.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_bit_shift.wast -------------------------------------------------------------------------------- /test/core/simd/simd_bitwise.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_bitwise.wast -------------------------------------------------------------------------------- /test/core/simd/simd_boolean.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_boolean.wast -------------------------------------------------------------------------------- /test/core/simd/simd_const.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_const.wast -------------------------------------------------------------------------------- /test/core/simd/simd_conversions.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_conversions.wast -------------------------------------------------------------------------------- /test/core/simd/simd_f32x4.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_f32x4.wast -------------------------------------------------------------------------------- /test/core/simd/simd_f32x4_arith.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_f32x4_arith.wast -------------------------------------------------------------------------------- /test/core/simd/simd_f32x4_cmp.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_f32x4_cmp.wast -------------------------------------------------------------------------------- /test/core/simd/simd_f32x4_pmin_pmax.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_f32x4_pmin_pmax.wast -------------------------------------------------------------------------------- /test/core/simd/simd_f32x4_rounding.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_f32x4_rounding.wast -------------------------------------------------------------------------------- /test/core/simd/simd_f64x2.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_f64x2.wast -------------------------------------------------------------------------------- /test/core/simd/simd_f64x2_arith.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_f64x2_arith.wast -------------------------------------------------------------------------------- /test/core/simd/simd_f64x2_cmp.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_f64x2_cmp.wast -------------------------------------------------------------------------------- /test/core/simd/simd_f64x2_pmin_pmax.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_f64x2_pmin_pmax.wast -------------------------------------------------------------------------------- /test/core/simd/simd_f64x2_rounding.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_f64x2_rounding.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i16x8_arith.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i16x8_arith.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i16x8_arith2.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i16x8_arith2.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i16x8_cmp.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i16x8_cmp.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i16x8_extmul_i8x16.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i16x8_extmul_i8x16.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i16x8_sat_arith.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i16x8_sat_arith.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i32x4_arith.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i32x4_arith.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i32x4_arith2.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i32x4_arith2.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i32x4_cmp.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i32x4_cmp.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i32x4_dot_i16x8.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i32x4_dot_i16x8.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i32x4_extmul_i16x8.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i32x4_extmul_i16x8.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i64x2_arith.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i64x2_arith.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i64x2_arith2.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i64x2_arith2.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i64x2_cmp.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i64x2_cmp.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i64x2_extmul_i32x4.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i64x2_extmul_i32x4.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i8x16_arith.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i8x16_arith.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i8x16_arith2.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i8x16_arith2.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i8x16_cmp.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i8x16_cmp.wast -------------------------------------------------------------------------------- /test/core/simd/simd_i8x16_sat_arith.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_i8x16_sat_arith.wast -------------------------------------------------------------------------------- /test/core/simd/simd_int_to_int_extend.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_int_to_int_extend.wast -------------------------------------------------------------------------------- /test/core/simd/simd_lane.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_lane.wast -------------------------------------------------------------------------------- /test/core/simd/simd_linking.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_linking.wast -------------------------------------------------------------------------------- /test/core/simd/simd_load.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_load.wast -------------------------------------------------------------------------------- /test/core/simd/simd_load16_lane.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_load16_lane.wast -------------------------------------------------------------------------------- /test/core/simd/simd_load32_lane.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_load32_lane.wast -------------------------------------------------------------------------------- /test/core/simd/simd_load64_lane.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_load64_lane.wast -------------------------------------------------------------------------------- /test/core/simd/simd_load8_lane.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_load8_lane.wast -------------------------------------------------------------------------------- /test/core/simd/simd_load_extend.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_load_extend.wast -------------------------------------------------------------------------------- /test/core/simd/simd_load_splat.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_load_splat.wast -------------------------------------------------------------------------------- /test/core/simd/simd_load_zero.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_load_zero.wast -------------------------------------------------------------------------------- /test/core/simd/simd_memory-multi.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_memory-multi.wast -------------------------------------------------------------------------------- /test/core/simd/simd_select.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_select.wast -------------------------------------------------------------------------------- /test/core/simd/simd_splat.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_splat.wast -------------------------------------------------------------------------------- /test/core/simd/simd_store.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_store.wast -------------------------------------------------------------------------------- /test/core/simd/simd_store16_lane.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_store16_lane.wast -------------------------------------------------------------------------------- /test/core/simd/simd_store32_lane.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_store32_lane.wast -------------------------------------------------------------------------------- /test/core/simd/simd_store64_lane.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_store64_lane.wast -------------------------------------------------------------------------------- /test/core/simd/simd_store8_lane.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/simd/simd_store8_lane.wast -------------------------------------------------------------------------------- /test/core/skip-stack-guard-page.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/skip-stack-guard-page.wast -------------------------------------------------------------------------------- /test/core/stack.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/stack.wast -------------------------------------------------------------------------------- /test/core/start.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/start.wast -------------------------------------------------------------------------------- /test/core/store.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/store.wast -------------------------------------------------------------------------------- /test/core/switch.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/switch.wast -------------------------------------------------------------------------------- /test/core/table.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/table.wast -------------------------------------------------------------------------------- /test/core/table_get.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/table_get.wast -------------------------------------------------------------------------------- /test/core/table_grow.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/table_grow.wast -------------------------------------------------------------------------------- /test/core/table_set.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/table_set.wast -------------------------------------------------------------------------------- /test/core/table_size.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/table_size.wast -------------------------------------------------------------------------------- /test/core/token.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/token.wast -------------------------------------------------------------------------------- /test/core/traps.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/traps.wast -------------------------------------------------------------------------------- /test/core/type-canon.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/type-canon.wast -------------------------------------------------------------------------------- /test/core/type-equivalence.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/type-equivalence.wast -------------------------------------------------------------------------------- /test/core/type-rec.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/type-rec.wast -------------------------------------------------------------------------------- /test/core/type.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/type.wast -------------------------------------------------------------------------------- /test/core/unreachable.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/unreachable.wast -------------------------------------------------------------------------------- /test/core/unreached-invalid.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/unreached-invalid.wast -------------------------------------------------------------------------------- /test/core/unreached-valid.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/unreached-valid.wast -------------------------------------------------------------------------------- /test/core/unwind.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/unwind.wast -------------------------------------------------------------------------------- /test/core/utf8-custom-section-id.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/utf8-custom-section-id.wast -------------------------------------------------------------------------------- /test/core/utf8-import-field.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/utf8-import-field.wast -------------------------------------------------------------------------------- /test/core/utf8-import-module.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/utf8-import-module.wast -------------------------------------------------------------------------------- /test/core/utf8-invalid-encoding.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/core/utf8-invalid-encoding.wast -------------------------------------------------------------------------------- /test/custom/custom/custom_annot.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/custom/custom/custom_annot.wast -------------------------------------------------------------------------------- /test/custom/name/name_annot.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/custom/name/name_annot.wast -------------------------------------------------------------------------------- /test/harness/async_index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/harness/async_index.js -------------------------------------------------------------------------------- /test/harness/sync_index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/harness/sync_index.js -------------------------------------------------------------------------------- /test/harness/testharness.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/harness/testharness.css -------------------------------------------------------------------------------- /test/harness/testharness.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/harness/testharness.js -------------------------------------------------------------------------------- /test/harness/testharnessreport.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/harness/testharnessreport.js -------------------------------------------------------------------------------- /test/js-api/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/LICENSE.md -------------------------------------------------------------------------------- /test/js-api/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/README.md -------------------------------------------------------------------------------- /test/js-api/assertions.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/assertions.js -------------------------------------------------------------------------------- /test/js-api/bad-imports.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/bad-imports.js -------------------------------------------------------------------------------- /test/js-api/constructor/compile.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/constructor/compile.any.js -------------------------------------------------------------------------------- /test/js-api/constructor/instantiate.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/constructor/instantiate.any.js -------------------------------------------------------------------------------- /test/js-api/constructor/multi-value.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/constructor/multi-value.any.js -------------------------------------------------------------------------------- /test/js-api/constructor/toStringTag.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/constructor/toStringTag.any.js -------------------------------------------------------------------------------- /test/js-api/constructor/validate.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/constructor/validate.any.js -------------------------------------------------------------------------------- /test/js-api/exception/is.tentative.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/exception/is.tentative.any.js -------------------------------------------------------------------------------- /test/js-api/functions/helper.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/functions/helper.js -------------------------------------------------------------------------------- /test/js-api/gc/casts.tentative.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/gc/casts.tentative.any.js -------------------------------------------------------------------------------- /test/js-api/gc/i31.tentative.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/gc/i31.tentative.any.js -------------------------------------------------------------------------------- /test/js-api/global/constructor.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/global/constructor.any.js -------------------------------------------------------------------------------- /test/js-api/global/toString.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/global/toString.any.js -------------------------------------------------------------------------------- /test/js-api/global/value-get-set.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/global/value-get-set.any.js -------------------------------------------------------------------------------- /test/js-api/global/valueOf.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/global/valueOf.any.js -------------------------------------------------------------------------------- /test/js-api/instance/constructor.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/instance/constructor.any.js -------------------------------------------------------------------------------- /test/js-api/instance/exports.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/instance/exports.any.js -------------------------------------------------------------------------------- /test/js-api/instance/toString.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/instance/toString.any.js -------------------------------------------------------------------------------- /test/js-api/instanceTestFactory.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/instanceTestFactory.js -------------------------------------------------------------------------------- /test/js-api/interface.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/interface.any.js -------------------------------------------------------------------------------- /test/js-api/js-string/basic.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/js-string/basic.any.js -------------------------------------------------------------------------------- /test/js-api/js-string/constants.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/js-string/constants.any.js -------------------------------------------------------------------------------- /test/js-api/js-string/imports.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/js-string/imports.any.js -------------------------------------------------------------------------------- /test/js-api/js-string/polyfill.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/js-string/polyfill.js -------------------------------------------------------------------------------- /test/js-api/limits.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/limits.any.js -------------------------------------------------------------------------------- /test/js-api/memory/assertions.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/memory/assertions.js -------------------------------------------------------------------------------- /test/js-api/memory/buffer.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/memory/buffer.any.js -------------------------------------------------------------------------------- /test/js-api/memory/constructor.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/memory/constructor.any.js -------------------------------------------------------------------------------- /test/js-api/memory/grow.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/memory/grow.any.js -------------------------------------------------------------------------------- /test/js-api/memory/toString.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/memory/toString.any.js -------------------------------------------------------------------------------- /test/js-api/module/constructor.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/module/constructor.any.js -------------------------------------------------------------------------------- /test/js-api/module/customSections.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/module/customSections.any.js -------------------------------------------------------------------------------- /test/js-api/module/exports.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/module/exports.any.js -------------------------------------------------------------------------------- /test/js-api/module/imports.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/module/imports.any.js -------------------------------------------------------------------------------- /test/js-api/module/toString.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/module/toString.any.js -------------------------------------------------------------------------------- /test/js-api/prototypes.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/prototypes.any.js -------------------------------------------------------------------------------- /test/js-api/table/assertions.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/table/assertions.js -------------------------------------------------------------------------------- /test/js-api/table/constructor.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/table/constructor.any.js -------------------------------------------------------------------------------- /test/js-api/table/get-set.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/table/get-set.any.js -------------------------------------------------------------------------------- /test/js-api/table/grow.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/table/grow.any.js -------------------------------------------------------------------------------- /test/js-api/table/length.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/table/length.any.js -------------------------------------------------------------------------------- /test/js-api/table/toString.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/table/toString.any.js -------------------------------------------------------------------------------- /test/js-api/tag/toString.tentative.any.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/tag/toString.tentative.any.js -------------------------------------------------------------------------------- /test/js-api/wasm-module-builder.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/js-api/wasm-module-builder.js -------------------------------------------------------------------------------- /test/legacy/exceptions/core/rethrow.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/legacy/exceptions/core/rethrow.wast -------------------------------------------------------------------------------- /test/legacy/exceptions/core/run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/legacy/exceptions/core/run.py -------------------------------------------------------------------------------- /test/legacy/exceptions/core/throw.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/legacy/exceptions/core/throw.wast -------------------------------------------------------------------------------- /test/legacy/exceptions/core/try_catch.wast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/legacy/exceptions/core/try_catch.wast -------------------------------------------------------------------------------- /test/meta/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/meta/Makefile -------------------------------------------------------------------------------- /test/meta/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/meta/README.md -------------------------------------------------------------------------------- /test/meta/common.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/meta/common.js -------------------------------------------------------------------------------- /test/meta/generate_memory_copy.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/meta/generate_memory_copy.js -------------------------------------------------------------------------------- /test/meta/generate_memory_fill.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/meta/generate_memory_fill.js -------------------------------------------------------------------------------- /test/meta/generate_memory_init.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/meta/generate_memory_init.js -------------------------------------------------------------------------------- /test/meta/generate_table_copy.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/meta/generate_table_copy.js -------------------------------------------------------------------------------- /test/meta/generate_table_init.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/meta/generate_table_init.js -------------------------------------------------------------------------------- /test/meta/noderun.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/meta/noderun.sh -------------------------------------------------------------------------------- /test/sync-js-api.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/test/sync-js-api.py -------------------------------------------------------------------------------- /w3c.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/w3c.json -------------------------------------------------------------------------------- /wasm-specs.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Wasm-DSL/spectec/HEAD/wasm-specs.bib --------------------------------------------------------------------------------