]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90118a1) | patch
slight simplifications for borrow tracking
authorRalf Jung <post@ralfj.de>
Fri, 2 Dec 2022 13:43:05 +0000 (14:43 +0100)
committerRalf Jung <post@ralfj.de>
Fri, 2 Dec 2022 13:43:05 +0000 (14:43 +0100)
commit595490e8dd13e84a9c7f44f22489a723772fbf70
tree9092f9ca97cf17f221bebf3a053b55c02d3e727ctree | snapshot
parent90118a197ba91c248376e1ff72bdf7dc370776f6commit | diff
slight simplifications for borrow tracking
src/tools/miri/src/borrow_tracker/mod.rs diff | blob | history
src/tools/miri/src/borrow_tracker/stacked_borrows/mod.rs diff | blob | history
src/tools/miri/src/machine.rs diff | blob | history
Empowering everyone to build reliable and efficient software.