├── .gitignore ├── .internal-reference ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── examples ├── 0000-if.wasm ├── 0001-loop.wasm ├── 0002-call_and_tables.wasm ├── 0003-locals_and_globals.wasm ├── basic.wasm └── hello-wasi.wasm ├── src ├── main.rs ├── parser.rs ├── printer.rs └── wasm.rs └── templates-for-generation ├── guest_mem_wrapper.rs ├── imports.rs ├── imports_no_std.rs ├── memory_accessors.rs └── tagged_value_definitions.rs /.gitignore: -------------------------------------------------------------------------------- 1 | *~ 2 | /generated 3 | /target 4 | -------------------------------------------------------------------------------- /.internal-reference: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/.internal-reference -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/README.md -------------------------------------------------------------------------------- /examples/0000-if.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/examples/0000-if.wasm -------------------------------------------------------------------------------- /examples/0001-loop.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/examples/0001-loop.wasm -------------------------------------------------------------------------------- /examples/0002-call_and_tables.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/examples/0002-call_and_tables.wasm -------------------------------------------------------------------------------- /examples/0003-locals_and_globals.wasm: -------------------------------------------------------------------------------- 1 | asm A A  myglobal -------------------------------------------------------------------------------- /examples/basic.wasm: -------------------------------------------------------------------------------- 1 | asm` 2 | A* -------------------------------------------------------------------------------- /examples/hello-wasi.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/examples/hello-wasi.wasm -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/src/parser.rs -------------------------------------------------------------------------------- /src/printer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/src/printer.rs -------------------------------------------------------------------------------- /src/wasm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/src/wasm.rs -------------------------------------------------------------------------------- /templates-for-generation/guest_mem_wrapper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/templates-for-generation/guest_mem_wrapper.rs -------------------------------------------------------------------------------- /templates-for-generation/imports.rs: -------------------------------------------------------------------------------- 1 | use std::convert::TryInto; 2 | -------------------------------------------------------------------------------- /templates-for-generation/imports_no_std.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/templates-for-generation/imports_no_std.rs -------------------------------------------------------------------------------- /templates-for-generation/memory_accessors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/templates-for-generation/memory_accessors.rs -------------------------------------------------------------------------------- /templates-for-generation/tagged_value_definitions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-foundations/rWasm/HEAD/templates-for-generation/tagged_value_definitions.rs --------------------------------------------------------------------------------