]> git.lizzy.rs Git - rust.git/history - cargo-miri
projects / rust.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Auto merge of #1418 - divergentdave:file-sync, r=RalfJung
[rust.git] / cargo-miri /
2020-06-09 borsAuto merge of #1418 - divergentdave:file-sync, r=RalfJung tree | commitdiff
2020-05-28 borsAuto merge of #1422 - RalfJung:cargo-miri-workspace... tree | commitdiff
2020-05-28 Ralf Jungcargo-miri: allow overwriting miri command, and make... tree | commitdiff
2020-05-28 Ralf Jungno workspace as that is incompatible with the rustc... tree | commitdiff
2020-05-28 Ralf Jungre-add some fake dependencies to avoid rebuilds tree | commitdiff
2020-05-28 Ralf Jungfmt tree | commitdiff
2020-05-28 Ralf Jungmake cargo-miri a separate crate in a workspace tree | commitdiff
Empowering everyone to build reliable and efficient software.