1 file changed
+1
-1
lines changed- CONTRIBUTING.md+10-5
- Cargo.toml+8-1
- README.md+13-10
- miri+15-10
- rust-version+1-1
- src/diagnostics.rs+1-1
- src/eval.rs+2-2
- src/helpers.rs+11-4
- src/lib.rs+2-2
- src/machine.rs+4-1
- src/shims/panic.rs+6-12
- src/shims/tls.rs+3-6
- src/shims/unix/thread.rs+1-1
- src/stacked_borrows.rs+36-106
- src/stacked_borrows/diagnostics.rs+6-5
- src/stacked_borrows/stack.rs+379
- tests/pass/0concurrency_arc_drop.rs-19
- tests/pass/0weak_memory_consistency.rs+1-1
- tests/pass/stacked-borrows/stacked-borrows.rs+14
- tex/final-presentation/latexmkrc-12
- tex/final-presentation/rust-logo-512x512.png
- tex/final-presentation/slides.tex-444
- tex/report/latexmkrc-12
- tex/report/miri-report.tex-663
- ui_test/Cargo.toml+5-2
- ui_test/src/comments.rs+1-1
- ui_test/src/rustc_stderr.rs+1-1
0 commit comments