about summary refs log tree commit diff
path: root/src/tools/miri/cargo-miri
AgeCommit message (Expand)AuthorLines
2023-12-05remove unnecesary `-Zunstable-options`Weihang Lo-3/+0
2023-11-29jobserver: check file descriptorsbelovdv-0/+8
2023-11-18cargo-miri: when verbose, print where the sysroot is being builtRalf Jung-5/+14
2023-10-18Bump rustix from 0.38.17 to 0.38.19 in /cargo-miridependabot[bot]-2/+2
2023-10-05Auto merge of #3107 - eduardosm:update-deps, r=RalfJungbors-201/+99
2023-10-05Update cargo-miri dependenciesEduardo Sánchez Muñoz-201/+99
2023-10-04auto-detect no_std where possibleRalf Jung-1/+11
2023-09-27clippyRalf Jung-2/+2
2023-08-22bump serdeRalf Jung-12/+12
2023-08-20pin a version of serde without intransparent unreproducible binary blobsRalf Jung-1/+2
2023-08-03A bit of spell-checkingBen Kimock-3/+3
2023-08-02cargo-miri: avoid set_envRalf Jung-7/+18
2023-08-02Command debug printing prints the environment these days, we can kill some cu...Ralf Jung-39/+1
2023-07-31miri-script refactorRalf Jung-2/+6
2023-07-03Silence clippy on FIXME'd code and fix the new lints otherwiseOli Scherer-2/+2
2023-07-02cargo-miri: better error message when RUSTC is not setRobin Appelman-1/+5
2023-06-29Merge from rustcRalf Jung-2/+2
2023-06-20Delete use of proc_macro_span_shrink from proc-macro2David Tolnay-2/+2
2023-06-04Remove rustc-workspace-hackEric Huss-12/+0
2023-05-13cargo-miri: fix forwarding arguments to cargoRalf Jung-29/+31
2023-05-05update dependenciesRalf Jung-54/+249
2023-04-14Fix spellingJosh Soref-1/+1
2023-02-24use setup_version_info!klensy-8/+1
2023-02-24bump rustc_tools_utilklensy-3/+3
2023-01-03clippyRalf Jung-1/+1
2022-12-28bump dependenciesRalf Jung-35/+36
2022-12-28print sysroot build failure errorRalf Jung-3/+5
2022-12-28simplify path joining code a bitRalf Jung-9/+1
2022-12-27cargo-miri: use rustc to determine the output filenameRalf Jung-40/+66
2022-12-03clippyRalf Jung-2/+1
2022-12-02forward verbosity to cargo setupRalf Jung-3/+6
2022-11-28make ./miri run a bit more silent; add option to control seeds tested by many...Ralf Jung-7/+9
2022-11-27Use `.wasm` extension when building for wasm in cargo-mirinils-1/+2
2022-11-15Merge from rustcRalf Jung-8/+11
2022-11-11Rollup merge of #104051 - RalfJung:miri, r=RalfJungManish Goregaokar-1/+1
2022-11-06bump rustc-build-sysrootRalf Jung-14/+22
2022-11-06bootstrap: put Miri sysroot into local build dirRalf Jung-8/+11
2022-10-31followup for pr 2640Rageking8-1/+1
2022-10-31fix dupe word typosRageking8-1/+1
2022-10-25bless clippyRalf Jung-11/+11
2022-10-09remove cfg(bootstrap) from MiriRalf Jung-1/+0
2022-10-06Auto merge of #102573 - RalfJung:mirisync, r=oli-obkbors-548/+196
2022-10-02bump rustc_tools_utilRalf Jung-2/+2
2022-10-02use rustc_tools_util instead of vergenRalf Jung-266/+23
2022-10-02relax vergen dependencyRalf Jung-1/+1
2022-10-02bump rustc-build-sysrootRalf Jung-3/+3
2022-10-02cargo updateRalf Jung-178/+121
2022-09-25use rustc-build-sysroot instead of xargoRalf Jung-214/+162
2022-09-22make Miri build in stage 0Ralf Jung-0/+1
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+1994
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 19:01:34 +0000