├── .editorconfig ├── .gitignore ├── .gitmodules ├── .travis.yml ├── Cargo.lock ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── fact.js ├── rt └── rustrt.js ├── rust-examples ├── cmp.rs ├── enum.rs ├── fact.rs ├── fibonacci.rs ├── iterator.rs ├── nocore-hello-world.rs ├── operators.rs └── struct.rs ├── src ├── bin │ └── mir2wasm.rs ├── binaryen │ ├── builder.rs │ ├── mod.rs │ └── sys.rs ├── error.rs ├── lib.rs ├── monomorphize.rs ├── traits.rs └── trans.rs ├── tests ├── compile-fail │ ├── bugs │ │ └── struct_wrapped_nullable_pointer.rs │ ├── cmp.rs │ └── errors.rs ├── compile-pass │ ├── README.md │ ├── cenum.rs │ ├── enum.rs │ ├── fibonacci-iterative.rs │ ├── fibonacci-recursive.rs │ ├── fibonacci.rs │ ├── iterator.rs │ ├── nocore-hello-world.rs │ ├── operators.rs │ ├── promoted.rs │ ├── small-operator.rs │ ├── struct-derive.rs │ ├── switch-int.rs │ └── trivial.rs ├── compiletest.rs ├── run-fail │ └── inception.rs └── run-pass │ ├── arrays.rs │ ├── bools.rs │ ├── c_enums.rs │ ├── calls.rs │ ├── closures.rs │ ├── heap.rs │ ├── hello-world-tinycore.rs │ ├── intrinsics.rs │ ├── ints.rs │ ├── loops.rs │ ├── nocore-hello-world.rs │ ├── option_box_transmute_ptr.rs │ ├── pointers.rs │ ├── products.rs │ ├── specialization.rs │ ├── std.rs │ ├── strings.rs │ ├── sums.rs │ ├── tinycore │ └── mod.rs │ ├── trivial.rs │ └── vecs.rs └── tex ├── final-presentation ├── latexmkrc ├── rust-logo-512x512.png └── slides.tex └── report ├── latexmkrc └── miri-report.tex /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/.editorconfig -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/.gitmodules -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/.travis.yml -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/README.md -------------------------------------------------------------------------------- /fact.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/fact.js -------------------------------------------------------------------------------- /rt/rustrt.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/rt/rustrt.js -------------------------------------------------------------------------------- /rust-examples/cmp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/rust-examples/cmp.rs -------------------------------------------------------------------------------- /rust-examples/enum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/rust-examples/enum.rs -------------------------------------------------------------------------------- /rust-examples/fact.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/rust-examples/fact.rs -------------------------------------------------------------------------------- /rust-examples/fibonacci.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/rust-examples/fibonacci.rs -------------------------------------------------------------------------------- /rust-examples/iterator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/rust-examples/iterator.rs -------------------------------------------------------------------------------- /rust-examples/nocore-hello-world.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/rust-examples/nocore-hello-world.rs -------------------------------------------------------------------------------- /rust-examples/operators.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/rust-examples/operators.rs -------------------------------------------------------------------------------- /rust-examples/struct.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/rust-examples/struct.rs -------------------------------------------------------------------------------- /src/bin/mir2wasm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/src/bin/mir2wasm.rs -------------------------------------------------------------------------------- /src/binaryen/builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/src/binaryen/builder.rs -------------------------------------------------------------------------------- /src/binaryen/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/src/binaryen/mod.rs -------------------------------------------------------------------------------- /src/binaryen/sys.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/src/binaryen/sys.rs -------------------------------------------------------------------------------- /src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/src/error.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/monomorphize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/src/monomorphize.rs -------------------------------------------------------------------------------- /src/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/src/traits.rs -------------------------------------------------------------------------------- /src/trans.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/src/trans.rs -------------------------------------------------------------------------------- /tests/compile-fail/bugs/struct_wrapped_nullable_pointer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-fail/bugs/struct_wrapped_nullable_pointer.rs -------------------------------------------------------------------------------- /tests/compile-fail/cmp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-fail/cmp.rs -------------------------------------------------------------------------------- /tests/compile-fail/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-fail/errors.rs -------------------------------------------------------------------------------- /tests/compile-pass/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-pass/README.md -------------------------------------------------------------------------------- /tests/compile-pass/cenum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-pass/cenum.rs -------------------------------------------------------------------------------- /tests/compile-pass/enum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-pass/enum.rs -------------------------------------------------------------------------------- /tests/compile-pass/fibonacci-iterative.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-pass/fibonacci-iterative.rs -------------------------------------------------------------------------------- /tests/compile-pass/fibonacci-recursive.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-pass/fibonacci-recursive.rs -------------------------------------------------------------------------------- /tests/compile-pass/fibonacci.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-pass/fibonacci.rs -------------------------------------------------------------------------------- /tests/compile-pass/iterator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-pass/iterator.rs -------------------------------------------------------------------------------- /tests/compile-pass/nocore-hello-world.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-pass/nocore-hello-world.rs -------------------------------------------------------------------------------- /tests/compile-pass/operators.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-pass/operators.rs -------------------------------------------------------------------------------- /tests/compile-pass/promoted.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-pass/promoted.rs -------------------------------------------------------------------------------- /tests/compile-pass/small-operator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-pass/small-operator.rs -------------------------------------------------------------------------------- /tests/compile-pass/struct-derive.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-pass/struct-derive.rs -------------------------------------------------------------------------------- /tests/compile-pass/switch-int.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-pass/switch-int.rs -------------------------------------------------------------------------------- /tests/compile-pass/trivial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compile-pass/trivial.rs -------------------------------------------------------------------------------- /tests/compiletest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/compiletest.rs -------------------------------------------------------------------------------- /tests/run-fail/inception.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-fail/inception.rs -------------------------------------------------------------------------------- /tests/run-pass/arrays.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/arrays.rs -------------------------------------------------------------------------------- /tests/run-pass/bools.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/bools.rs -------------------------------------------------------------------------------- /tests/run-pass/c_enums.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/c_enums.rs -------------------------------------------------------------------------------- /tests/run-pass/calls.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/calls.rs -------------------------------------------------------------------------------- /tests/run-pass/closures.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/closures.rs -------------------------------------------------------------------------------- /tests/run-pass/heap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/heap.rs -------------------------------------------------------------------------------- /tests/run-pass/hello-world-tinycore.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/hello-world-tinycore.rs -------------------------------------------------------------------------------- /tests/run-pass/intrinsics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/intrinsics.rs -------------------------------------------------------------------------------- /tests/run-pass/ints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/ints.rs -------------------------------------------------------------------------------- /tests/run-pass/loops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/loops.rs -------------------------------------------------------------------------------- /tests/run-pass/nocore-hello-world.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/nocore-hello-world.rs -------------------------------------------------------------------------------- /tests/run-pass/option_box_transmute_ptr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/option_box_transmute_ptr.rs -------------------------------------------------------------------------------- /tests/run-pass/pointers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/pointers.rs -------------------------------------------------------------------------------- /tests/run-pass/products.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/products.rs -------------------------------------------------------------------------------- /tests/run-pass/specialization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/specialization.rs -------------------------------------------------------------------------------- /tests/run-pass/std.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/std.rs -------------------------------------------------------------------------------- /tests/run-pass/strings.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/strings.rs -------------------------------------------------------------------------------- /tests/run-pass/sums.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/sums.rs -------------------------------------------------------------------------------- /tests/run-pass/tinycore/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/tinycore/mod.rs -------------------------------------------------------------------------------- /tests/run-pass/trivial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/trivial.rs -------------------------------------------------------------------------------- /tests/run-pass/vecs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tests/run-pass/vecs.rs -------------------------------------------------------------------------------- /tex/final-presentation/latexmkrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tex/final-presentation/latexmkrc -------------------------------------------------------------------------------- /tex/final-presentation/rust-logo-512x512.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tex/final-presentation/rust-logo-512x512.png -------------------------------------------------------------------------------- /tex/final-presentation/slides.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tex/final-presentation/slides.tex -------------------------------------------------------------------------------- /tex/report/latexmkrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tex/report/latexmkrc -------------------------------------------------------------------------------- /tex/report/miri-report.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/brson/miri/HEAD/tex/report/miri-report.tex --------------------------------------------------------------------------------