about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2025-10-02Rollup merge of #146281 - Jules-Bertholet:static-align-thread-local, r=Mark-S...Matthias Krüger-0/+73
2025-10-01Fix memory leak in `os` implJules Bertholet-0/+13
2025-09-28Rollup merge of #141469 - Kivooeo:remove-usnsafegate, r=compiler-errorsMatthias Krüger-1/+1
2025-09-26Apply cfg(bootstrap) replacementMark Rousskov-5/+0
2025-09-26Support `#[rustc_align_static]` inside `thread_local!`Jules Bertholet-0/+60
2025-09-25Rollup merge of #141032 - petrosagg:extract-if-ub, r=joboetMatthias Krüger-0/+10
2025-09-23Merge ref 'f6092f224d2b' from rust-lang/rustRalf Jung-4/+4
2025-09-22Auto merge of #146683 - clarfonthey:safe-intrinsics, r=RalfJung,Amanieubors-4/+4
2025-09-22share the check_nondet helper as wellRalf Jung-174/+138
2025-09-22share check_all_outcomes impl, and increase max iteration countsRalf Jung-60/+45
2025-09-22TB: rename Active → Unique to match paperRalf Jung-64/+31
2025-09-22avoid violating `slice::from_raw_parts` safety contract in `Vec::extract_if`Petros Angelatos-0/+10
2025-09-21Mark float intrinsics with no preconditions as safeltdk-4/+4
2025-09-18Merge pull request #4592 from RalfJung/sqrtRalf Jung-15/+29
2025-09-18implement sqrt for f16 and f128Ralf Jung-15/+29
2025-09-18Merge pull request #4583 from Patrick-6/miri-genmc-estimationRalf Jung-87/+120
2025-09-18tweak genmc error report noteRalf Jung-9/+18
2025-09-18Add GenMC estimation mode. Improve error handling and output printing.Patrick-6-87/+111
2025-09-17Merge pull request #4589 from LorrensP-2158466/freebsd-readdirRalf Jung-2/+1
2025-09-17readdir for freebsdLorrensP-2158466-2/+1
2025-09-17Merge ref '3f1552a273e4' from rust-lang/rustThe Miri Cronjob Bot-7/+63
2025-09-16rustupRalf Jung-1/+2
2025-09-16Rollup merge of #146402 - RalfJung:aggregate-init, r=saethlinStuart Cook-7/+63
2025-09-14Merge ref 'a015919e54c6' from rust-lang/rustThe Miri Cronjob Bot-1/+0
2025-09-13Rollup merge of #145471 - rs-sac:extr, r=the8472Jacob Pratt-1/+0
2025-09-12Implement more features for GenMC modePatrick-6-8/+495
2025-09-12Merge ref '2a9bacf61876' from rust-lang/rustThe Miri Cronjob Bot-24/+24
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/+10
2025-09-11move zero-sized protector dealloc testJohannes Hostert-15/+10
2025-09-11Merge pull request #4577 from RalfJung/release-seqRalf Jung-1/+56
2025-09-11Fix miri issue 4579 by checking if the strong protector is actually "active".Johannes Hostert-52/+2
2025-09-11weak_memory: fix sync clock handling when loading from old store elementsRalf Jung-11/+33
2025-09-11add release sequence testRalf Jung-0/+33
2025-09-11Merge ref 'f4665ab8368a' from rust-lang/rustThe Miri Cronjob Bot-0/+14
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-08Merge ref 'a09fbe2c8372' from rust-lang/rustRalf Jung-45/+110
2025-09-07Implement more features for GenMC modePatrick-6-21/+956
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-44/+110
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 05:18:08 +0000