Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
76 commits
Select commit Hold shift + click to select a range
5b71113
re-balance CI
RalfJung Sep 3, 2025
a880c46
no need to run GC_STRESS more than once for each OS
RalfJung Sep 3, 2025
f0c9c38
Merge pull request #4562 from RalfJung/ci
RalfJung Sep 3, 2025
d366f26
Extract address generator struct from memory allocator.
Patrick-6 Apr 14, 2025
c1be740
Implement basic support for running Miri with GenMC.
Patrick-6 Apr 14, 2025
ddd0cef
Merge pull request #4506 from Patrick-6/miri-genmc-mvp
RalfJung Sep 3, 2025
d9619ed
Prepare for merging from rust-lang/rust
Sep 4, 2025
94e40cd
Merge ref '9385c64c95d9' from rust-lang/rust
Sep 4, 2025
a460ec7
Merge pull request #4564 from rust-lang/rustup-2025-09-04
RalfJung Sep 4, 2025
9a1eb85
Prepare for merging from rust-lang/rust
Sep 5, 2025
7c5fdb0
Merge ref 'b3cfb8faf84c' from rust-lang/rust
Sep 5, 2025
37f9c7d
Merge pull request #4567 from rust-lang/rustup-2025-09-05
RalfJung Sep 5, 2025
5cadd45
make use of Duration::from_nanos_u128
RalfJung Sep 5, 2025
3a16bbc
Merge pull request #4568 from RalfJung/duration-from-nanos
RalfJung Sep 5, 2025
1186db8
atomics: unify handling min/max and the other RMWs
RalfJung Sep 5, 2025
0dcc21b
Merge pull request #4569 from RalfJung/atomic-rmw
RalfJung Sep 5, 2025
69c7652
atomic rmw intrinsics: RHS must be an integer
RalfJung Sep 5, 2025
d5b4324
Merge pull request #4570 from RalfJung/atomic-rmw-int
RalfJung Sep 5, 2025
61af5da
Implement more features for GenMC mode
Patrick-6 Mar 14, 2025
344b4ac
print proper error when using unsupported synchronization primitive w…
RalfJung Sep 8, 2025
211461a
Merge pull request #4566 from Patrick-6/miri-genmc-rmw
RalfJung Sep 8, 2025
deca489
Prepare for merging from rust-lang/rust
RalfJung Sep 8, 2025
c4d1268
Merge ref 'a09fbe2c8372' from rust-lang/rust
RalfJung Sep 8, 2025
24ce839
clippy
RalfJung Sep 8, 2025
3430751
Merge pull request #4573 from RalfJung/rustup
RalfJung Sep 8, 2025
94ab2b9
move math intrinsics to their own file
RalfJung Jul 19, 2025
e000512
extract core operation name instead of listing all function name vari…
RalfJung Jul 19, 2025
84e1950
move math foreign_items into their own file
RalfJung Jul 19, 2025
943aa93
Merge pull request #4484 from RalfJung/math-shims
RalfJung Sep 8, 2025
edbc0a0
weak memory tests: add more info on where they come from
RalfJung Sep 10, 2025
0e0b254
ensure we do not see the inconsistent execution from Figure 8
RalfJung Sep 10, 2025
21e3111
refactor weak-mem test to list all expected executions
RalfJung Sep 10, 2025
655b847
also use nicer check_all_outcomes in float_nan
RalfJung Sep 10, 2025
827a654
move all weak memory tests into their folder
RalfJung Sep 10, 2025
7d5413b
this apparently needs more test rounds
RalfJung Sep 10, 2025
f8302a7
add release sequence test
RalfJung Sep 10, 2025
52fb371
Merge pull request #4575 from RalfJung/weakmem-origin
RalfJung Sep 10, 2025
68bff8c
Prepare for merging from rust-lang/rust
Sep 11, 2025
3790e37
Merge ref 'f4665ab8368a' from rust-lang/rust
Sep 11, 2025
906bfe9
Merge pull request #4576 from rust-lang/rustup-2025-09-11
RalfJung Sep 11, 2025
ad6004d
add release sequence test
RalfJung Sep 11, 2025
24d195b
weak_memory: fix sync clock handling when loading from old store elem…
RalfJung Sep 11, 2025
2b5b191
Fix miri issue 4579 by checking if the strong protector is actually "…
JoJoDeveloping Sep 11, 2025
166af83
Merge pull request #4577 from RalfJung/release-seq
RalfJung Sep 11, 2025
16b34c6
move zero-sized protector dealloc test
JoJoDeveloping Sep 11, 2025
36376bc
Merge pull request #4580 from JoJoDeveloping/fix-4579-protector-0sized
RalfJung Sep 11, 2025
44edbc6
Prepare for merging from rust-lang/rust
Sep 12, 2025
7bc4a3b
Merge ref '2a9bacf61876' from rust-lang/rust
Sep 12, 2025
8b5335c
disable broken parts of CI for now
RalfJung Sep 12, 2025
25b2a7d
Merge pull request #4581 from rust-lang/rustup-2025-09-12
RalfJung Sep 12, 2025
225e8ff
move _Unwind_RaiseException out of the frame_in_std section
RalfJung Sep 12, 2025
260dd6f
make a basic hello world work on wasip2
RalfJung Sep 12, 2025
a70d78a
Implement more features for GenMC mode
Patrick-6 Mar 14, 2025
af16b80
Merge pull request #4582 from RalfJung/wasip2-helloworld
RalfJung Sep 12, 2025
fc7eb3c
Merge pull request #4578 from Patrick-6/miri-genmc-cas
RalfJung Sep 12, 2025
ae57f08
Prepare for merging from rust-lang/rust
Sep 13, 2025
520e45a
Merge ref '4ba1cf9ade4c' from rust-lang/rust
Sep 13, 2025
8ade141
Merge pull request #4584 from rust-lang/rustup-2025-09-13
oli-obk Sep 13, 2025
3a784d9
Prepare for merging from rust-lang/rust
Sep 14, 2025
603341a
Merge ref 'a015919e54c6' from rust-lang/rust
Sep 14, 2025
0c1e9aa
Merge pull request #4585 from rust-lang/rustup-2025-09-14
oli-obk Sep 14, 2025
d23909d
rustup
RalfJung Sep 16, 2025
4b35fed
Merge pull request #4588 from RalfJung/rustup
RalfJung Sep 16, 2025
06e8810
Prepare for merging from rust-lang/rust
Sep 17, 2025
1672251
Merge ref '3f1552a273e4' from rust-lang/rust
Sep 17, 2025
9e8e4af
Merge pull request #4590 from rust-lang/rustup-2025-09-17
oli-obk Sep 17, 2025
9cdc09b
readdir for freebsd
LorrensP-2158466 Sep 16, 2025
19b9676
Merge pull request #4589 from LorrensP-2158466/freebsd-readdir
RalfJung Sep 17, 2025
2c1f1f0
Add GenMC estimation mode. Improve error handling and output printing.
Patrick-6 Sep 8, 2025
00bfe9c
tweak genmc error report note
RalfJung Sep 18, 2025
045e5e3
Merge pull request #4583 from Patrick-6/miri-genmc-estimation
RalfJung Sep 18, 2025
f19b560
implement sqrt for f16 and f128
RalfJung Sep 18, 2025
77f2d86
share sqrt implemention across float types
RalfJung Sep 18, 2025
11ffdb5
Merge pull request #4592 from RalfJung/sqrt
RalfJung Sep 18, 2025
7af6e59
update lockfile
RalfJung Sep 18, 2025
1db74d4
fix miri bootstrap build
RalfJung Sep 19, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
rustup
  • Loading branch information
RalfJung committed Sep 16, 2025
commit d23909d4d8aa2431df5ebc2fdeb2d967cd3c286d
2 changes: 1 addition & 1 deletion src/tools/miri/rust-version
Original file line number Diff line number Diff line change
@@ -1 +1 @@
a015919e54c60b1b2bec7a98dec478cfc4a48f4e
9d82de19dfae60e55c291f5f28e28cfc2c1b9630
3 changes: 2 additions & 1 deletion src/tools/miri/tests/pass/shims/fs.rs
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,8 @@ fn main() {
test_from_raw_os_error();
test_file_clone();
// Windows file handling is very incomplete.
if cfg!(not(windows)) {
// FIXME: read_dir broken on FreeBSD (https://github.com/rust-lang/miri/issues/4587)
if cfg!(not(windows)) && !cfg!(target_os = "freebsd") {
test_file_set_len();
test_file_sync();
test_rename();
Expand Down