├── .gitignore ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── litmus_tests ├── compare_dangling_pointers.md ├── extra_load.md ├── f_mut_bad.md ├── f_mut_pedantic.md ├── f_mut_should_work.md ├── f_mut_unsure.md ├── ffi_ref_mut_to_star_mut.md ├── overlapping_ref_mut_star_mut.md ├── ptr-copy.md ├── refcell_ref.md ├── shared_ref_to_star_mut.md ├── split_at_mut_transmute_copy.md ├── usize_transfer.md └── volatile_wrapper.md ├── optimizations ├── move_in_place.md ├── new_load.md ├── nocapture_by_safe_fn.md └── up-propagation.md ├── specification └── terms.md ├── template.md └── template.py /.gitignore: -------------------------------------------------------------------------------- 1 | *~ -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/README.md -------------------------------------------------------------------------------- /litmus_tests/compare_dangling_pointers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/litmus_tests/compare_dangling_pointers.md -------------------------------------------------------------------------------- /litmus_tests/extra_load.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/litmus_tests/extra_load.md -------------------------------------------------------------------------------- /litmus_tests/f_mut_bad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/litmus_tests/f_mut_bad.md -------------------------------------------------------------------------------- /litmus_tests/f_mut_pedantic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/litmus_tests/f_mut_pedantic.md -------------------------------------------------------------------------------- /litmus_tests/f_mut_should_work.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/litmus_tests/f_mut_should_work.md -------------------------------------------------------------------------------- /litmus_tests/f_mut_unsure.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/litmus_tests/f_mut_unsure.md -------------------------------------------------------------------------------- /litmus_tests/ffi_ref_mut_to_star_mut.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/litmus_tests/ffi_ref_mut_to_star_mut.md -------------------------------------------------------------------------------- /litmus_tests/overlapping_ref_mut_star_mut.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/litmus_tests/overlapping_ref_mut_star_mut.md -------------------------------------------------------------------------------- /litmus_tests/ptr-copy.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/litmus_tests/ptr-copy.md -------------------------------------------------------------------------------- /litmus_tests/refcell_ref.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/litmus_tests/refcell_ref.md -------------------------------------------------------------------------------- /litmus_tests/shared_ref_to_star_mut.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/litmus_tests/shared_ref_to_star_mut.md -------------------------------------------------------------------------------- /litmus_tests/split_at_mut_transmute_copy.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/litmus_tests/split_at_mut_transmute_copy.md -------------------------------------------------------------------------------- /litmus_tests/usize_transfer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/litmus_tests/usize_transfer.md -------------------------------------------------------------------------------- /litmus_tests/volatile_wrapper.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/litmus_tests/volatile_wrapper.md -------------------------------------------------------------------------------- /optimizations/move_in_place.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/optimizations/move_in_place.md -------------------------------------------------------------------------------- /optimizations/new_load.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/optimizations/new_load.md -------------------------------------------------------------------------------- /optimizations/nocapture_by_safe_fn.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/optimizations/nocapture_by_safe_fn.md -------------------------------------------------------------------------------- /optimizations/up-propagation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/optimizations/up-propagation.md -------------------------------------------------------------------------------- /specification/terms.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/specification/terms.md -------------------------------------------------------------------------------- /template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/template.md -------------------------------------------------------------------------------- /template.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/rust-memory-model/HEAD/template.py --------------------------------------------------------------------------------