about summary refs log tree commit diff
path: root/src/tools
AgeCommit message (Expand)AuthorLines
2025-09-25Rollup merge of #146735 - Qelxiros:const_mul_add, r=tgross35,RalfJungStuart Cook-41/+5
2025-09-25Rollup merge of #145973 - vexide:vex-std, r=tgross35Stuart Cook-0/+1
2025-09-25Auto merge of #146981 - weihanglo:update-cargo, r=weihanglobors-0/+0
2025-09-24unstably constify float mul_add methodsJeremy Smart-41/+5
2025-09-24Rollup merge of #146969 - RalfJung:maybe-null-errors, r=oli-obkMatthias Krüger-1/+1
2025-09-24Rollup merge of #146932 - ShoyuVanilla:ra-in-tree-hack, r=lcnrMatthias Krüger-40/+5
2025-09-24std: add support for armv7a-vex-v5 targetTropical-0/+1
2025-09-24Update cargo submoduleWeihang Lo-0/+0
2025-09-24Switch next-solver related rustc dependencies of r-a to crates.io onesShoyu Vanilla-40/+5
2025-09-24const validation: better error for maybe-null referencesRalf Jung-1/+1
2025-09-23Auto merge of #146931 - RalfJung:miri, r=RalfJungbors-444/+370
2025-09-23Rollup merge of #146784 - dpaoliello:findmsvc, r=wesleywiserMatthias Krüger-0/+1
2025-09-23Rollup merge of #146731 - Muscraft:svg-test-terminal-url, r=jdonszelmannMatthias Krüger-1/+1
2025-09-23Merge ref 'f6092f224d2b' from rust-lang/rustRalf Jung-9836/+39450
2025-09-23Prepare for merging from rust-lang/rustRalf Jung-1/+1
2025-09-23Auto merge of #146317 - saethlin:panic=immediate-abort, r=nnethercotebors-7/+35
2025-09-22Auto merge of #146892 - GuillaumeGomez:rollup-fa7lp0n, r=GuillaumeGomezbors-2/+4
2025-09-22fix SIFA logicRalf Jung-12/+23
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-22Fix modification check of `rustdoc-json-types`Jakub Beránek-2/+4
2025-09-22Merge pull request #4595 from RalfJung/tb-termsRalf Jung-197/+128
2025-09-22Tree::new_child: remove SIFA precondition and sync terminologyRalf Jung-70/+34
2025-09-22TB: rename Active → Unique to match paperRalf Jung-128/+95
2025-09-21Mark float intrinsics with no preconditions as safeltdk-4/+4
2025-09-21Rollup merge of #143857 - Periodic1911:macro-export, r=jdonszelmannMatthias Krüger-2/+5
2025-09-21Add panic=immediate-abortBen Kimock-7/+35
2025-09-21Port #[macro_export] to the new attribute parsing infrastructureJonathan Brouwer-2/+5
2025-09-21Implement output of colored messages with optional check contextJakub Beránek-55/+152
2025-09-21Migrate the remaining tidy checks to diagnosticsJakub Beránek-572/+560
2025-09-21Add `CheckId`, migrate the `alphabetical` check to diagnosticsJakub Beránek-45/+63
2025-09-21Add diagnostics context and migrate the `style` check to itJakub Beránek-89/+187
2025-09-20Rollup merge of #146762 - madsmtm:test-apple-sim, r=jieyouxuMatthias Krüger-4/+15
2025-09-20Auto merge of #146805 - lnicola:sync-from-ra, r=lnicolabors-9245/+38642
2025-09-20CI: test bootstrap buildRalf Jung-2/+37
2025-09-20clippyRalf Jung-4/+4
2025-09-20Bump rustc crates once moreLaurențiu Nicola-34/+32
2025-09-20Merge ref 'ec3867107526' from rust-lang/rustThe Miri Cronjob Bot-2481/+4509
2025-09-20Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
2025-09-19[win] Use find-msvc-tools instead of cc to find the linker and rc on WindowsDaniel Paoliello-0/+1
2025-09-19chore(compiletest): Use newest anstyle-svg versionScott Schafer-1/+1
2025-09-19Merge pull request #20701 from A4-Tacks/track-caller-assist-testChayim Refael Friedman-0/+1
2025-09-19Merge pull request #20697 from Oblarg/fix-negative-const-generic-literalsShoyu Vanilla (Flint)-1/+47
2025-09-19address review feedbackOblarg-0/+23
2025-09-19minor: Get rid of unused deps `chalk-solve` and `chalk-recursive`Shoyu Vanilla-88/+16
2025-09-19Rollup merge of #146740 - RalfJung:miri, r=RalfJungStuart Cook-1734/+7444
2025-09-19Rollup merge of #146738 - beepster4096:widnows, r=jieyouxuStuart Cook-1/+1
2025-09-19Allow running remote-test-server on Apple simulatorsMads Marquart-4/+15
2025-09-19fix clippy warningRalf Jung-2/+2