]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 631d5fa) | patch
change flag name: enable-communication -> disable-isolation
authorRalf Jung <post@ralfj.de>
Fri, 23 Aug 2019 21:29:11 +0000 (23:29 +0200)
committerRalf Jung <post@ralfj.de>
Fri, 23 Aug 2019 21:29:11 +0000 (23:29 +0200)
commit97f9fb1284c526f62286d3334b42481a2efe43a7
tree2b1268827bb361c0a42081cf2ca952f026c6203ftree | snapshot
parent631d5facba9ce75afafbc229c4e2a81e2058fedecommit | diff
change flag name: enable-communication -> disable-isolation
README.md diff | blob | history
src/bin/miri.rs diff | blob | history
tests/run-pass/communication.rs diff | blob | history
Empowering everyone to build reliable and efficient software.