├── .config └── nextest.toml ├── .envrc ├── .github ├── labeler.yml ├── pull_request_template.md └── workflows │ ├── labeler.yaml │ ├── nix.yaml │ ├── no-nix-ci.yaml │ ├── pages_coverage_preview.yaml │ ├── pages_deploy_main.yaml │ ├── pages_requirement_preview.yaml │ ├── pages_whitepaper_preview.yaml │ └── testsuite_preview.yaml ├── .gitignore ├── .gitmodules ├── Cargo.lock ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── ci-tools ├── .gitignore ├── Dockerfile └── start_nix.sh ├── crates ├── benchmark │ ├── Cargo.toml │ ├── README.md │ └── benches │ │ ├── general_purpose.rs │ │ └── var_length_integer_reading.rs ├── compare-testsuite-rs │ ├── .gitignore │ ├── Cargo.lock │ ├── Cargo.toml │ └── src │ │ ├── ci_reports.rs │ │ ├── deltas.rs │ │ ├── main.rs │ │ └── summary.rs └── log_wrapper │ ├── Cargo.toml │ ├── README.md │ └── src │ └── lib.rs ├── examples └── stuff │ └── main.rs ├── flake.lock ├── flake.nix ├── overlay.nix ├── pkgs ├── benchmark.nix ├── coverage.nix ├── report │ ├── package.nix │ └── report_index.html ├── requirements.nix ├── typst-packages-cache.nix ├── wasm-interpreter.nix └── whitepaper │ ├── .gitignore │ ├── index.html │ ├── main.typ │ ├── package.nix │ ├── refs.yaml │ └── template.typ ├── requirements └── requirements.sdoc ├── src ├── core │ ├── error.rs │ ├── indices.rs │ ├── mod.rs │ ├── reader │ │ ├── mod.rs │ │ ├── section_header.rs │ │ └── types │ │ │ ├── data.rs │ │ │ ├── element.rs │ │ │ ├── export.rs │ │ │ ├── global.rs │ │ │ ├── import.rs │ │ │ ├── memarg.rs │ │ │ ├── mod.rs │ │ │ ├── opcode.rs │ │ │ └── values.rs │ ├── rw_spinlock.rs │ ├── sidetable.rs │ ├── slotmap.rs │ └── utils.rs ├── execution │ ├── assert_validated.rs │ ├── config.rs │ ├── const_interpreter_loop.rs │ ├── error.rs │ ├── interop.rs │ ├── interpreter_loop.rs │ ├── linker.rs │ ├── little_endian.rs │ ├── mod.rs │ ├── resumable.rs │ ├── store │ │ ├── addrs.rs │ │ ├── instances.rs │ │ ├── linear_memory.rs │ │ └── mod.rs │ ├── value.rs │ └── value_stack.rs ├── lib.rs └── validation │ ├── code.rs │ ├── data.rs │ ├── globals.rs │ ├── mod.rs │ ├── read_constant_expression.rs │ └── validation_stack.rs ├── tests ├── add_one.rs ├── arithmetic │ ├── bitwise.rs │ ├── division.rs │ ├── mod.rs │ ├── multiply.rs │ ├── remainder.rs │ └── subtraction.rs ├── basic_memory.rs ├── conversions.rs ├── dynamic.rs ├── errors.rs ├── f32.rs ├── f64.rs ├── fc_extensions.rs ├── fuel.rs ├── function_host.rs ├── function_recursion.rs ├── globals.rs ├── i32.rs ├── i64.rs ├── imports.rs ├── lib.rs ├── linker.rs ├── memory.rs ├── memory_copy.rs ├── memory_fill.rs ├── memory_grow.rs ├── memory_init.rs ├── memory_redundancy.rs ├── memory_size.rs ├── memory_trap.rs ├── module_instantiate.rs ├── return.rs ├── rw_spinlock.rs ├── same_type_fn.rs ├── select.rs ├── specification │ ├── README.md │ ├── ci_reports.rs │ ├── files.rs │ ├── mod.rs │ ├── reports.rs │ ├── run.rs │ └── test_errors.rs ├── start_function.rs ├── structured_control_flow │ ├── block.rs │ ├── if.rs │ ├── loop.rs │ └── mod.rs ├── table.rs ├── table_fill.rs ├── table_get.rs ├── table_grow.rs ├── table_init.rs ├── table_size.rs ├── user_data.rs └── wasm_spec_testsuite.rs └── treefmt.nix /.config/nextest.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/.config/nextest.toml -------------------------------------------------------------------------------- /.envrc: -------------------------------------------------------------------------------- 1 | use flake 2 | -------------------------------------------------------------------------------- /.github/labeler.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/.github/labeler.yml -------------------------------------------------------------------------------- /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.github/workflows/labeler.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/.github/workflows/labeler.yaml -------------------------------------------------------------------------------- /.github/workflows/nix.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/.github/workflows/nix.yaml -------------------------------------------------------------------------------- /.github/workflows/no-nix-ci.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/.github/workflows/no-nix-ci.yaml -------------------------------------------------------------------------------- /.github/workflows/pages_coverage_preview.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/.github/workflows/pages_coverage_preview.yaml -------------------------------------------------------------------------------- /.github/workflows/pages_deploy_main.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/.github/workflows/pages_deploy_main.yaml -------------------------------------------------------------------------------- /.github/workflows/pages_requirement_preview.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/.github/workflows/pages_requirement_preview.yaml -------------------------------------------------------------------------------- /.github/workflows/pages_whitepaper_preview.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/.github/workflows/pages_whitepaper_preview.yaml -------------------------------------------------------------------------------- /.github/workflows/testsuite_preview.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/.github/workflows/testsuite_preview.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/.gitmodules -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/README.md -------------------------------------------------------------------------------- /ci-tools/.gitignore: -------------------------------------------------------------------------------- 1 | nix-sharedfs 2 | -------------------------------------------------------------------------------- /ci-tools/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/ci-tools/Dockerfile -------------------------------------------------------------------------------- /ci-tools/start_nix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/ci-tools/start_nix.sh -------------------------------------------------------------------------------- /crates/benchmark/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/crates/benchmark/Cargo.toml -------------------------------------------------------------------------------- /crates/benchmark/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/crates/benchmark/README.md -------------------------------------------------------------------------------- /crates/benchmark/benches/general_purpose.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/crates/benchmark/benches/general_purpose.rs -------------------------------------------------------------------------------- /crates/benchmark/benches/var_length_integer_reading.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/crates/benchmark/benches/var_length_integer_reading.rs -------------------------------------------------------------------------------- /crates/compare-testsuite-rs/.gitignore: -------------------------------------------------------------------------------- 1 | target/ -------------------------------------------------------------------------------- /crates/compare-testsuite-rs/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/crates/compare-testsuite-rs/Cargo.lock -------------------------------------------------------------------------------- /crates/compare-testsuite-rs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/crates/compare-testsuite-rs/Cargo.toml -------------------------------------------------------------------------------- /crates/compare-testsuite-rs/src/ci_reports.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/crates/compare-testsuite-rs/src/ci_reports.rs -------------------------------------------------------------------------------- /crates/compare-testsuite-rs/src/deltas.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/crates/compare-testsuite-rs/src/deltas.rs -------------------------------------------------------------------------------- /crates/compare-testsuite-rs/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/crates/compare-testsuite-rs/src/main.rs -------------------------------------------------------------------------------- /crates/compare-testsuite-rs/src/summary.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/crates/compare-testsuite-rs/src/summary.rs -------------------------------------------------------------------------------- /crates/log_wrapper/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/crates/log_wrapper/Cargo.toml -------------------------------------------------------------------------------- /crates/log_wrapper/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/crates/log_wrapper/README.md -------------------------------------------------------------------------------- /crates/log_wrapper/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/crates/log_wrapper/src/lib.rs -------------------------------------------------------------------------------- /examples/stuff/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/examples/stuff/main.rs -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/flake.nix -------------------------------------------------------------------------------- /overlay.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/overlay.nix -------------------------------------------------------------------------------- /pkgs/benchmark.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/pkgs/benchmark.nix -------------------------------------------------------------------------------- /pkgs/coverage.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/pkgs/coverage.nix -------------------------------------------------------------------------------- /pkgs/report/package.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/pkgs/report/package.nix -------------------------------------------------------------------------------- /pkgs/report/report_index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/pkgs/report/report_index.html -------------------------------------------------------------------------------- /pkgs/requirements.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/pkgs/requirements.nix -------------------------------------------------------------------------------- /pkgs/typst-packages-cache.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/pkgs/typst-packages-cache.nix -------------------------------------------------------------------------------- /pkgs/wasm-interpreter.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/pkgs/wasm-interpreter.nix -------------------------------------------------------------------------------- /pkgs/whitepaper/.gitignore: -------------------------------------------------------------------------------- 1 | *.pdf 2 | -------------------------------------------------------------------------------- /pkgs/whitepaper/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/pkgs/whitepaper/index.html -------------------------------------------------------------------------------- /pkgs/whitepaper/main.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/pkgs/whitepaper/main.typ -------------------------------------------------------------------------------- /pkgs/whitepaper/package.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/pkgs/whitepaper/package.nix -------------------------------------------------------------------------------- /pkgs/whitepaper/refs.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/pkgs/whitepaper/refs.yaml -------------------------------------------------------------------------------- /pkgs/whitepaper/template.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/pkgs/whitepaper/template.typ -------------------------------------------------------------------------------- /requirements/requirements.sdoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/requirements/requirements.sdoc -------------------------------------------------------------------------------- /src/core/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/error.rs -------------------------------------------------------------------------------- /src/core/indices.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/indices.rs -------------------------------------------------------------------------------- /src/core/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/mod.rs -------------------------------------------------------------------------------- /src/core/reader/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/reader/mod.rs -------------------------------------------------------------------------------- /src/core/reader/section_header.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/reader/section_header.rs -------------------------------------------------------------------------------- /src/core/reader/types/data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/reader/types/data.rs -------------------------------------------------------------------------------- /src/core/reader/types/element.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/reader/types/element.rs -------------------------------------------------------------------------------- /src/core/reader/types/export.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/reader/types/export.rs -------------------------------------------------------------------------------- /src/core/reader/types/global.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/reader/types/global.rs -------------------------------------------------------------------------------- /src/core/reader/types/import.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/reader/types/import.rs -------------------------------------------------------------------------------- /src/core/reader/types/memarg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/reader/types/memarg.rs -------------------------------------------------------------------------------- /src/core/reader/types/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/reader/types/mod.rs -------------------------------------------------------------------------------- /src/core/reader/types/opcode.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/reader/types/opcode.rs -------------------------------------------------------------------------------- /src/core/reader/types/values.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/reader/types/values.rs -------------------------------------------------------------------------------- /src/core/rw_spinlock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/rw_spinlock.rs -------------------------------------------------------------------------------- /src/core/sidetable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/sidetable.rs -------------------------------------------------------------------------------- /src/core/slotmap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/slotmap.rs -------------------------------------------------------------------------------- /src/core/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/core/utils.rs -------------------------------------------------------------------------------- /src/execution/assert_validated.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/execution/assert_validated.rs -------------------------------------------------------------------------------- /src/execution/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/execution/config.rs -------------------------------------------------------------------------------- /src/execution/const_interpreter_loop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/execution/const_interpreter_loop.rs -------------------------------------------------------------------------------- /src/execution/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/execution/error.rs -------------------------------------------------------------------------------- /src/execution/interop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/execution/interop.rs -------------------------------------------------------------------------------- /src/execution/interpreter_loop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/execution/interpreter_loop.rs -------------------------------------------------------------------------------- /src/execution/linker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/execution/linker.rs -------------------------------------------------------------------------------- /src/execution/little_endian.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/execution/little_endian.rs -------------------------------------------------------------------------------- /src/execution/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/execution/mod.rs -------------------------------------------------------------------------------- /src/execution/resumable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/execution/resumable.rs -------------------------------------------------------------------------------- /src/execution/store/addrs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/execution/store/addrs.rs -------------------------------------------------------------------------------- /src/execution/store/instances.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/execution/store/instances.rs -------------------------------------------------------------------------------- /src/execution/store/linear_memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/execution/store/linear_memory.rs -------------------------------------------------------------------------------- /src/execution/store/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/execution/store/mod.rs -------------------------------------------------------------------------------- /src/execution/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/execution/value.rs -------------------------------------------------------------------------------- /src/execution/value_stack.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/execution/value_stack.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/validation/code.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/validation/code.rs -------------------------------------------------------------------------------- /src/validation/data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/validation/data.rs -------------------------------------------------------------------------------- /src/validation/globals.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/validation/globals.rs -------------------------------------------------------------------------------- /src/validation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/validation/mod.rs -------------------------------------------------------------------------------- /src/validation/read_constant_expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/validation/read_constant_expression.rs -------------------------------------------------------------------------------- /src/validation/validation_stack.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/src/validation/validation_stack.rs -------------------------------------------------------------------------------- /tests/add_one.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/add_one.rs -------------------------------------------------------------------------------- /tests/arithmetic/bitwise.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/arithmetic/bitwise.rs -------------------------------------------------------------------------------- /tests/arithmetic/division.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/arithmetic/division.rs -------------------------------------------------------------------------------- /tests/arithmetic/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/arithmetic/mod.rs -------------------------------------------------------------------------------- /tests/arithmetic/multiply.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/arithmetic/multiply.rs -------------------------------------------------------------------------------- /tests/arithmetic/remainder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/arithmetic/remainder.rs -------------------------------------------------------------------------------- /tests/arithmetic/subtraction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/arithmetic/subtraction.rs -------------------------------------------------------------------------------- /tests/basic_memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/basic_memory.rs -------------------------------------------------------------------------------- /tests/conversions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/conversions.rs -------------------------------------------------------------------------------- /tests/dynamic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/dynamic.rs -------------------------------------------------------------------------------- /tests/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/errors.rs -------------------------------------------------------------------------------- /tests/f32.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/f32.rs -------------------------------------------------------------------------------- /tests/f64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/f64.rs -------------------------------------------------------------------------------- /tests/fc_extensions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/fc_extensions.rs -------------------------------------------------------------------------------- /tests/fuel.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/fuel.rs -------------------------------------------------------------------------------- /tests/function_host.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/function_host.rs -------------------------------------------------------------------------------- /tests/function_recursion.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/function_recursion.rs -------------------------------------------------------------------------------- /tests/globals.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/globals.rs -------------------------------------------------------------------------------- /tests/i32.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/i32.rs -------------------------------------------------------------------------------- /tests/i64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/i64.rs -------------------------------------------------------------------------------- /tests/imports.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/imports.rs -------------------------------------------------------------------------------- /tests/lib.rs: -------------------------------------------------------------------------------- 1 | mod arithmetic; 2 | mod structured_control_flow; 3 | -------------------------------------------------------------------------------- /tests/linker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/linker.rs -------------------------------------------------------------------------------- /tests/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/memory.rs -------------------------------------------------------------------------------- /tests/memory_copy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/memory_copy.rs -------------------------------------------------------------------------------- /tests/memory_fill.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/memory_fill.rs -------------------------------------------------------------------------------- /tests/memory_grow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/memory_grow.rs -------------------------------------------------------------------------------- /tests/memory_init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/memory_init.rs -------------------------------------------------------------------------------- /tests/memory_redundancy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/memory_redundancy.rs -------------------------------------------------------------------------------- /tests/memory_size.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/memory_size.rs -------------------------------------------------------------------------------- /tests/memory_trap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/memory_trap.rs -------------------------------------------------------------------------------- /tests/module_instantiate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/module_instantiate.rs -------------------------------------------------------------------------------- /tests/return.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/return.rs -------------------------------------------------------------------------------- /tests/rw_spinlock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/rw_spinlock.rs -------------------------------------------------------------------------------- /tests/same_type_fn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/same_type_fn.rs -------------------------------------------------------------------------------- /tests/select.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/select.rs -------------------------------------------------------------------------------- /tests/specification/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/specification/README.md -------------------------------------------------------------------------------- /tests/specification/ci_reports.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/specification/ci_reports.rs -------------------------------------------------------------------------------- /tests/specification/files.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/specification/files.rs -------------------------------------------------------------------------------- /tests/specification/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/specification/mod.rs -------------------------------------------------------------------------------- /tests/specification/reports.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/specification/reports.rs -------------------------------------------------------------------------------- /tests/specification/run.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/specification/run.rs -------------------------------------------------------------------------------- /tests/specification/test_errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/specification/test_errors.rs -------------------------------------------------------------------------------- /tests/start_function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/start_function.rs -------------------------------------------------------------------------------- /tests/structured_control_flow/block.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/structured_control_flow/block.rs -------------------------------------------------------------------------------- /tests/structured_control_flow/if.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/structured_control_flow/if.rs -------------------------------------------------------------------------------- /tests/structured_control_flow/loop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/structured_control_flow/loop.rs -------------------------------------------------------------------------------- /tests/structured_control_flow/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/structured_control_flow/mod.rs -------------------------------------------------------------------------------- /tests/table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/table.rs -------------------------------------------------------------------------------- /tests/table_fill.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/table_fill.rs -------------------------------------------------------------------------------- /tests/table_get.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/table_get.rs -------------------------------------------------------------------------------- /tests/table_grow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/table_grow.rs -------------------------------------------------------------------------------- /tests/table_init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/table_init.rs -------------------------------------------------------------------------------- /tests/table_size.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/table_size.rs -------------------------------------------------------------------------------- /tests/user_data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/user_data.rs -------------------------------------------------------------------------------- /tests/wasm_spec_testsuite.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/tests/wasm_spec_testsuite.rs -------------------------------------------------------------------------------- /treefmt.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DLR-FT/wasm-interpreter/HEAD/treefmt.nix --------------------------------------------------------------------------------