├── .gitignore ├── .gitlab-ci.yml ├── CITATION.cff ├── Cargo.lock ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── abi ├── Cargo.toml └── src │ ├── align.rs │ ├── lib.rs │ └── size.rs ├── config.toml.example ├── config ├── Cargo.toml └── src │ └── lib.rs ├── difftest ├── Cargo.toml ├── src │ ├── backends.rs │ ├── lib.rs │ └── main.rs └── tests │ ├── config.toml │ ├── inputs │ ├── invalid_mir.rs │ ├── simple.rs │ └── ub.rs │ └── test.rs ├── fuzz-one.sh ├── fuzz10.sh ├── generate ├── Cargo.toml └── src │ ├── generation │ ├── intrinsics.rs │ └── mod.rs │ ├── literal.rs │ ├── main.rs │ ├── mem │ └── mod.rs │ ├── pgraph.rs │ ├── place_select.rs │ └── ty.rs ├── minimise.py ├── mir ├── Cargo.toml └── src │ ├── lib.rs │ ├── serialize.rs │ ├── syntax.rs │ └── tyctxt.rs └── rangemap ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT └── src └── lib.rs /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /config.toml -------------------------------------------------------------------------------- /.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/.gitlab-ci.yml -------------------------------------------------------------------------------- /CITATION.cff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/CITATION.cff -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/README.md -------------------------------------------------------------------------------- /abi/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/abi/Cargo.toml -------------------------------------------------------------------------------- /abi/src/align.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/abi/src/align.rs -------------------------------------------------------------------------------- /abi/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/abi/src/lib.rs -------------------------------------------------------------------------------- /abi/src/size.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/abi/src/size.rs -------------------------------------------------------------------------------- /config.toml.example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/config.toml.example -------------------------------------------------------------------------------- /config/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/config/Cargo.toml -------------------------------------------------------------------------------- /config/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/config/src/lib.rs -------------------------------------------------------------------------------- /difftest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/difftest/Cargo.toml -------------------------------------------------------------------------------- /difftest/src/backends.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/difftest/src/backends.rs -------------------------------------------------------------------------------- /difftest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/difftest/src/lib.rs -------------------------------------------------------------------------------- /difftest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/difftest/src/main.rs -------------------------------------------------------------------------------- /difftest/tests/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/difftest/tests/config.toml -------------------------------------------------------------------------------- /difftest/tests/inputs/invalid_mir.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/difftest/tests/inputs/invalid_mir.rs -------------------------------------------------------------------------------- /difftest/tests/inputs/simple.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/difftest/tests/inputs/simple.rs -------------------------------------------------------------------------------- /difftest/tests/inputs/ub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/difftest/tests/inputs/ub.rs -------------------------------------------------------------------------------- /difftest/tests/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/difftest/tests/test.rs -------------------------------------------------------------------------------- /fuzz-one.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/fuzz-one.sh -------------------------------------------------------------------------------- /fuzz10.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/fuzz10.sh -------------------------------------------------------------------------------- /generate/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/generate/Cargo.toml -------------------------------------------------------------------------------- /generate/src/generation/intrinsics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/generate/src/generation/intrinsics.rs -------------------------------------------------------------------------------- /generate/src/generation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/generate/src/generation/mod.rs -------------------------------------------------------------------------------- /generate/src/literal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/generate/src/literal.rs -------------------------------------------------------------------------------- /generate/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/generate/src/main.rs -------------------------------------------------------------------------------- /generate/src/mem/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/generate/src/mem/mod.rs -------------------------------------------------------------------------------- /generate/src/pgraph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/generate/src/pgraph.rs -------------------------------------------------------------------------------- /generate/src/place_select.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/generate/src/place_select.rs -------------------------------------------------------------------------------- /generate/src/ty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/generate/src/ty.rs -------------------------------------------------------------------------------- /minimise.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/minimise.py -------------------------------------------------------------------------------- /mir/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/mir/Cargo.toml -------------------------------------------------------------------------------- /mir/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/mir/src/lib.rs -------------------------------------------------------------------------------- /mir/src/serialize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/mir/src/serialize.rs -------------------------------------------------------------------------------- /mir/src/syntax.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/mir/src/syntax.rs -------------------------------------------------------------------------------- /mir/src/tyctxt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/mir/src/tyctxt.rs -------------------------------------------------------------------------------- /rangemap/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/rangemap/Cargo.toml -------------------------------------------------------------------------------- /rangemap/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/rangemap/LICENSE-APACHE -------------------------------------------------------------------------------- /rangemap/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/rangemap/LICENSE-MIT -------------------------------------------------------------------------------- /rangemap/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cbeuw/rustlantis/HEAD/rangemap/src/lib.rs --------------------------------------------------------------------------------