]> git.lizzy.rs Git - rust.git/commit
Implement weak memory emulation
authorAndy Wang <cbeuw.andy@gmail.com>
Mon, 27 Dec 2021 19:07:23 +0000 (19:07 +0000)
committerAndy Wang <cbeuw.andy@gmail.com>
Mon, 6 Jun 2022 18:15:20 +0000 (19:15 +0100)
commite7698f4f07dcec9cf42b3de133f9ca171d0677f0
tree2ea50a843bdb4e0162995bec46fe111c6986bda7
parent16315b1540959e4834ba461471e868868c68c4bc
Implement weak memory emulation
src/data_race.rs
src/lib.rs
src/machine.rs
src/weak_memory.rs [new file with mode: 0644]
tests/run-pass/concurrency/weak_memory.rs