Commits

History for

Commits on Jun 7, 2024

Remove --stage entirely from contributing
Nilstrieb
committedJun 7, 2024
Fix stage in contributing
Nilstrieb
committedJun 7, 2024

Commits on May 28, 2024

move ./miri environment variables to CONTRIBUTING
RalfJung
committedMay 28, 2024

Commits on May 9, 2024

make RUSTC_BLESS entirely an internal thing
RalfJung
committedMay 9, 2024
make MIRI_TEST_TARGET entirely an internal thing
RalfJung
committedMay 9, 2024
minor tweaks
RalfJung
committedMay 9, 2024

Commits on May 8, 2024

Update documentation for miri-script test changes
RossSmyth
committedMay 8, 2024

Commits on Mar 31, 2024

update josh version and guidance
RalfJung
committedMar 31, 2024

Commits on Mar 25, 2024

CONTRIBUTING: vsocde settings: add --all-targets
RalfJung
committedMar 25, 2024

Commits on Mar 24, 2024

Add libc test for rename and ftruncate
tiif
committedMar 24, 2024

Commits on Jan 30, 2024

Switch over to rustc's tracing crate instead of using our own log crate
oli-obk
committedJan 30, 2024

Commits on Dec 3, 2023

Fix miri script target dir and update doc link
Jefffrey
committedDec 3, 2023

Commits on Oct 4, 2023

auto-detect no_std where possible
RalfJung
committedOct 4, 2023

Commits on Aug 22, 2023

miri-script: start and stop josh automatically
RalfJung
committedAug 22, 2023

Commits on Aug 21, 2023

update recommended RA config
RalfJung
committedAug 21, 2023

Commits on Jul 31, 2023

miri-script refactor
RalfJung
committedJul 31, 2023

Commits on Mar 14, 2023

Update docs to match

saethlin
and
RalfJung
committedMar 14, 2023

Commits on Jan 31, 2023

Update CONTRIBUTING.md

oli-obk
and
RalfJung
committedJan 31, 2023

Commits on Jan 30, 2023

Add a note for using ssh login with josh
oli-obk
committedJan 30, 2023

Commits on Dec 25, 2022

use cargo-install to install josh-proxy
RalfJung
committedDec 25, 2022

Commits on Dec 21, 2022

update josh onstructions
RalfJung
committedDec 21, 2022

Commits on Nov 28, 2022

Auto merge of #2698 - RalfJung:miri-in-rustc, r=oli-obk
bors
committedNov 28, 2022

Commits on Nov 27, 2022

advice on josh pushing
RalfJung
committedNov 27, 2022
replace 'locally built rustc' instructions by 'Miri in rustc'
RalfJung
committedNov 27, 2022

Commits on Nov 15, 2022

adjust josh pushing and remove ./miri toolchain updating the toolchain file
RalfJung
committedNov 15, 2022
update josh instructions
RalfJung
committedNov 15, 2022

Commits on Nov 6, 2022

README: Add macos cache deletion command
mkroening
committedNov 6, 2022

Commits on Oct 29, 2022

Auto merge of #2634 - RalfJung:miri-script, r=oli-obk
bors
committedOct 29, 2022
explain how to go back to rustup-managed Miri
RalfJung
committedOct 29, 2022
merge rustup-toolchain into ./miri
RalfJung
committedOct 29, 2022
teach ./miri how to do Josh syncs
RalfJung
committedOct 29, 2022

Commits on Oct 24, 2022

point to my fork of josh for now
RalfJung
committedOct 24, 2022

Commits on Oct 9, 2022

add josh instructions
RalfJung
committedOct 9, 2022

Commits on Sep 25, 2022

use rustc-build-sysroot instead of xargo
RalfJung
committedSep 25, 2022

Commits on Aug 20, 2022

add ./miri cargo for RA to invoke
RalfJung
committedAug 20, 2022