about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-09-12Merge ref '2a9bacf61876' from rust-lang/rustThe Miri Cronjob Bot-24/+24
2025-09-12Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
2025-09-11Auto merge of #145177 - joboet:move-pal-thread, r=ibraheemdevbors-24/+24
2025-09-11Merge pull request #4580 from JoJoDeveloping/fix-4579-protector-0sizedRalf Jung-65/+12
2025-09-11move zero-sized protector dealloc testJohannes Hostert-15/+10
2025-09-11Merge pull request #4577 from RalfJung/release-seqRalf Jung-44/+157
2025-09-11Fix miri issue 4579 by checking if the strong protector is actually "active".Johannes Hostert-52/+4
2025-09-11weak_memory: fix sync clock handling when loading from old store elementsRalf Jung-50/+121
2025-09-11add release sequence testRalf Jung-4/+46
2025-09-11Merge ref 'f4665ab8368a' from rust-lang/rustThe Miri Cronjob Bot-0/+14
2025-09-11Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
2025-09-10add release sequence testRalf Jung-3/+39
2025-09-10this apparently needs more test roundsRalf Jung-3/+11
2025-09-10move all weak memory tests into their folderRalf Jung-2/+2
2025-09-10also use nicer check_all_outcomes in float_nanRalf Jung-177/+142
2025-09-10refactor weak-mem test to list all expected executionsRalf Jung-103/+114
2025-09-10ensure we do not see the inconsistent execution from Figure 8Ralf Jung-1/+10
2025-09-10weak memory tests: add more info on where they come fromRalf Jung-11/+14
2025-09-10interpret: fix overlapping aggregate initializationRalf Jung-7/+63
2025-09-10bless miri testsjoboet-24/+24
2025-09-10Rollup merge of #146178 - folkertdev:static-align, r=jdonszelmann,ralfjung,tr...Matthias Krüger-0/+14
2025-09-09allow `#[rustc_align_static(N)]` on `static`sFolkert de Vries-0/+14
2025-09-08move math foreign_items into their own fileRalf Jung-232/+266
2025-09-08extract core operation name instead of listing all function name variantsRalf Jung-17/+26
2025-09-08move math intrinsics to their own fileRalf Jung-287/+315
2025-09-08clippyRalf Jung-1/+1
2025-09-08Merge ref 'a09fbe2c8372' from rust-lang/rustRalf Jung-278/+489
2025-09-08Prepare for merging from rust-lang/rustRalf Jung-1/+1
2025-09-08Merge pull request #4566 from Patrick-6/miri-genmc-rmwRalf Jung-207/+1478
2025-09-08print proper error when using unsupported synchronization primitive with GenMCRalf Jung-76/+52
2025-09-07Implement more features for GenMC modePatrick-6-136/+1431
2025-09-06Change stdlib float tests to account for miri nondet floats.LorrensP-2158466-4/+3
2025-09-06Implement nondet behaviour and change/add tests.LorrensP-2158466-169/+375
2025-09-05atomic rmw intrinsics: RHS must be an integerRalf Jung-1/+2
2025-09-05Merge pull request #4569 from RalfJung/atomic-rmwRalf Jung-127/+83
2025-09-05atomics: unify handling min/max and the other RMWsRalf Jung-127/+83
2025-09-05Merge pull request #4568 from RalfJung/duration-from-nanosRalf Jung-8/+2
2025-09-05make use of Duration::from_nanos_u128Ralf Jung-8/+2
2025-09-05Merge ref 'b3cfb8faf84c' from rust-lang/rustThe Miri Cronjob Bot-1/+51
2025-09-05Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
2025-09-04Move float non determinism helpers to math.rsLorrensP-2158466-134/+140
2025-09-04Rollup merge of #145690 - sayantn:integer-funnel-shift, r=tgross35Jacob Pratt-1/+51
2025-09-04Merge ref '9385c64c95d9' from rust-lang/rustThe Miri Cronjob Bot-0/+8
2025-09-04Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
2025-09-03fix applying an error to infinitiesRalf Jung-0/+8
2025-09-03Merge pull request #4506 from Patrick-6/miri-genmc-mvpRalf Jung-481/+3667
2025-09-03Implement basic support for running Miri with GenMC.Patrick-6-429/+3572
2025-09-03Extract address generator struct from memory allocator.Patrick-6-52/+95
2025-09-03Merge pull request #4562 from RalfJung/ciRalf Jung-10/+9
2025-09-03no need to run GC_STRESS more than once for each OSRalf Jung-6/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 22:40:32 +0000