git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

rename some more types for consistency

Empowering everyone to build reliable and efficient software.

src/tools/miri/src/borrow_tracker/mod.rs		diff \| blob \| history
src/tools/miri/src/concurrency/data_race.rs		diff \| blob \| history
src/tools/miri/src/concurrency/thread.rs		diff \| blob \| history
src/tools/miri/src/concurrency/weak_memory.rs		diff \| blob \| history
src/tools/miri/src/helpers.rs		diff \| blob \| history
src/tools/miri/src/lib.rs		diff \| blob \| history
src/tools/miri/src/machine.rs		diff \| blob \| history
src/tools/miri/src/shims/panic.rs		diff \| blob \| history