├── Charter.md ├── Contributing.md ├── Proposals.md ├── README.md ├── WASI.png ├── WASIX-dependencies.png ├── dependencies.drawio ├── dependencies.drawio.png ├── legacy ├── README.md ├── application-abi.md └── optional-imports.md ├── phases ├── README.md └── snapshot │ ├── docs.html │ ├── docs.md │ └── witx │ ├── typenames.witx │ └── wasix_v1.witx └── tools ├── repo_docs.sh ├── witx-cli ├── Cargo.toml └── src │ └── main.rs ├── witx-docs.md └── witx ├── .gitignore ├── Cargo.toml ├── LICENSE ├── src ├── abi.rs ├── ast.rs ├── docs │ ├── ast.rs │ ├── md.rs │ └── mod.rs ├── io.rs ├── layout.rs ├── lib.rs ├── parser.rs ├── phases.rs ├── polyfill.rs ├── render.rs ├── representation.rs ├── toplevel.rs └── validate.rs └── tests ├── witxt.rs └── witxt ├── abi.witxt ├── anonymous.witxt ├── multimodule.witxt ├── multimodule ├── redefine_a.witx ├── type_a.witx ├── type_b.witx └── type_c.witx ├── representation.witxt ├── shorthand.witxt ├── simple.witxt ├── union.witxt └── wasi.witxt /Charter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/Charter.md -------------------------------------------------------------------------------- /Contributing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/Contributing.md -------------------------------------------------------------------------------- /Proposals.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/Proposals.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/README.md -------------------------------------------------------------------------------- /WASI.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/WASI.png -------------------------------------------------------------------------------- /WASIX-dependencies.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/WASIX-dependencies.png -------------------------------------------------------------------------------- /dependencies.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/dependencies.drawio -------------------------------------------------------------------------------- /dependencies.drawio.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/dependencies.drawio.png -------------------------------------------------------------------------------- /legacy/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/legacy/README.md -------------------------------------------------------------------------------- /legacy/application-abi.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/legacy/application-abi.md -------------------------------------------------------------------------------- /legacy/optional-imports.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/legacy/optional-imports.md -------------------------------------------------------------------------------- /phases/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/phases/README.md -------------------------------------------------------------------------------- /phases/snapshot/docs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/phases/snapshot/docs.html -------------------------------------------------------------------------------- /phases/snapshot/docs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/phases/snapshot/docs.md -------------------------------------------------------------------------------- /phases/snapshot/witx/typenames.witx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/phases/snapshot/witx/typenames.witx -------------------------------------------------------------------------------- /phases/snapshot/witx/wasix_v1.witx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/phases/snapshot/witx/wasix_v1.witx -------------------------------------------------------------------------------- /tools/repo_docs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/repo_docs.sh -------------------------------------------------------------------------------- /tools/witx-cli/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx-cli/Cargo.toml -------------------------------------------------------------------------------- /tools/witx-cli/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx-cli/src/main.rs -------------------------------------------------------------------------------- /tools/witx-docs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx-docs.md -------------------------------------------------------------------------------- /tools/witx/.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | Cargo.lock 3 | -------------------------------------------------------------------------------- /tools/witx/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/Cargo.toml -------------------------------------------------------------------------------- /tools/witx/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/LICENSE -------------------------------------------------------------------------------- /tools/witx/src/abi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/src/abi.rs -------------------------------------------------------------------------------- /tools/witx/src/ast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/src/ast.rs -------------------------------------------------------------------------------- /tools/witx/src/docs/ast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/src/docs/ast.rs -------------------------------------------------------------------------------- /tools/witx/src/docs/md.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/src/docs/md.rs -------------------------------------------------------------------------------- /tools/witx/src/docs/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/src/docs/mod.rs -------------------------------------------------------------------------------- /tools/witx/src/io.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/src/io.rs -------------------------------------------------------------------------------- /tools/witx/src/layout.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/src/layout.rs -------------------------------------------------------------------------------- /tools/witx/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/src/lib.rs -------------------------------------------------------------------------------- /tools/witx/src/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/src/parser.rs -------------------------------------------------------------------------------- /tools/witx/src/phases.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/src/phases.rs -------------------------------------------------------------------------------- /tools/witx/src/polyfill.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/src/polyfill.rs -------------------------------------------------------------------------------- /tools/witx/src/render.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/src/render.rs -------------------------------------------------------------------------------- /tools/witx/src/representation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/src/representation.rs -------------------------------------------------------------------------------- /tools/witx/src/toplevel.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/src/toplevel.rs -------------------------------------------------------------------------------- /tools/witx/src/validate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/src/validate.rs -------------------------------------------------------------------------------- /tools/witx/tests/witxt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/tests/witxt.rs -------------------------------------------------------------------------------- /tools/witx/tests/witxt/abi.witxt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/tests/witxt/abi.witxt -------------------------------------------------------------------------------- /tools/witx/tests/witxt/anonymous.witxt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/tests/witxt/anonymous.witxt -------------------------------------------------------------------------------- /tools/witx/tests/witxt/multimodule.witxt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/tests/witxt/multimodule.witxt -------------------------------------------------------------------------------- /tools/witx/tests/witxt/multimodule/redefine_a.witx: -------------------------------------------------------------------------------- 1 | (typename $a u8) 2 | -------------------------------------------------------------------------------- /tools/witx/tests/witxt/multimodule/type_a.witx: -------------------------------------------------------------------------------- 1 | (typename $a u32) 2 | -------------------------------------------------------------------------------- /tools/witx/tests/witxt/multimodule/type_b.witx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/tests/witxt/multimodule/type_b.witx -------------------------------------------------------------------------------- /tools/witx/tests/witxt/multimodule/type_c.witx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/tests/witxt/multimodule/type_c.witx -------------------------------------------------------------------------------- /tools/witx/tests/witxt/representation.witxt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/tests/witxt/representation.witxt -------------------------------------------------------------------------------- /tools/witx/tests/witxt/shorthand.witxt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/tests/witxt/shorthand.witxt -------------------------------------------------------------------------------- /tools/witx/tests/witxt/simple.witxt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/tests/witxt/simple.witxt -------------------------------------------------------------------------------- /tools/witx/tests/witxt/union.witxt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/tests/witxt/union.witxt -------------------------------------------------------------------------------- /tools/witx/tests/witxt/wasi.witxt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wasix-org/wasix-witx/HEAD/tools/witx/tests/witxt/wasi.witxt --------------------------------------------------------------------------------