about summary refs log tree commit diff
path: root/src/tools
AgeCommit message (Expand)AuthorLines
2025-09-12Merge pull request #4578 from Patrick-6/miri-genmc-casRalf Jung-54/+850
2025-09-12Implement more features for GenMC modePatrick-6-54/+850
2025-09-12make a basic hello world work on wasip2Ralf Jung-2/+70
2025-09-12move _Unwind_RaiseException out of the frame_in_std sectionRalf Jung-16/+16
2025-09-12Fix extra semicolon before else in let-stmtA4-Tacks-1/+51
2025-09-12disable broken parts of CI for nowRalf Jung-16/+17
2025-09-12Rollup merge of #146332 - lolbinarycat:tidy-extra-checks-regularize, r=KobzolStuart Cook-13/+45
2025-09-12Rollup merge of #145895 - RalfJung:unpark, r=joboetStuart Cook-0/+1
2025-09-12Merge ref '2a9bacf61876' from rust-lang/rustThe Miri Cronjob Bot-40/+33
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-11Auto merge of #146386 - weihanglo:update-cargo, r=weihanglobors-0/+0
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-11Minor refactoringIfeanyi Orizu-140/+170
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-11Update cargo submoduleWeihang Lo-0/+0
2025-09-11add release sequence testRalf Jung-4/+46
2025-09-11Merge pull request #20642 from ChayimFriedman2/wasm-safeShoyu Vanilla (Flint)-89/+257
2025-09-11Merge pull request #20653 from A4-Tacks/gen-function-empty-gen-paramLaurențiu Nicola-1/+30
2025-09-11Merge ref 'f4665ab8368a' from rust-lang/rustThe Miri Cronjob Bot-34/+64
2025-09-11Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
2025-09-11Fix empty generic param list for generate_functionA4-Tacks-1/+30
2025-09-11Revert "Rollup merge of #122661 - estebank:assert-macro-span, r=petrochenkov"Jieyou Xu-16/+9
2025-09-10add release sequence testRalf Jung-3/+39
2025-09-10tidy: check that error messages don't start with a capitalized letterSasha Pourcelot-0/+66
2025-09-10fixup no_{core,std} handling codeJana Dönszelmann-8/+2
2025-09-10Rollup merge of #146340 - fmease:frontmatter-containment, r=fee1-dead,UrgauMatthias Krüger-10/+20
2025-09-10tidy: Add specific line info for allowed dependenciesclubby789-9/+25
2025-09-10tidy: More accurate permitted dependencies locationclubby789-2/+15
2025-09-10tidy: Print crate name on dependency errorclubby789-1/+2
2025-09-10this apparently needs more test roundsRalf Jung-3/+11
2025-09-10tidy: Introduce `WorkspaceInfo` struct for deps informationclubby789-36/+73
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 #146378 - alexcrichton:update-wasm-component-ld, r=lqdMatthias Krüger-1/+1
2025-09-10Rollup merge of #146178 - folkertdev:static-align, r=jdonszelmann,ralfjung,tr...Matthias Krüger-0/+14
2025-09-10Rollup merge of #144765 - Qelxiros:range-inclusive-last, r=jhprattMatthias Krüger-1/+0
2025-09-10Merge pull request #20649 from ChayimFriedman2/cast-unknownShoyu Vanilla (Flint)-6/+25
2025-09-10Always coerce in a cast, even when there are unknown typesChayim Refael Friedman-6/+25
2025-09-10Merge pull request #20645 from ChayimFriedman2/update-rustcShoyu Vanilla (Flint)-330/+468
2025-09-10Merge pull request #20647 from ChayimFriedman2/ns-projectionsShoyu Vanilla (Flint)-199/+266
2025-09-10Properly handle normalizationChayim Refael Friedman-198/+235