about summary refs log tree commit diff
AgeCommit message (Expand)AuthorLines
2025-09-23Prepare for merging from rust-lang/rustRalf Jung-1/+1
2025-09-22Merge pull request #4600 from RalfJung/sifaRalf Jung-12/+23
2025-09-22fix SIFA logicRalf Jung-12/+23
2025-09-22Merge pull request #4599 from RalfJung/nondetRalf Jung-234/+183
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-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-20Merge pull request #4598 from rust-lang/rustup-2025-09-20Ralf Jung-17764/+15841
2025-09-20CI: test bootstrap buildRalf Jung-2/+37
2025-09-20clippyRalf Jung-4/+4
2025-09-20Merge ref 'ec3867107526' from rust-lang/rustThe Miri Cronjob Bot-17757/+15799
2025-09-22address review commentsIris Shi-2/+2
2025-09-22add exit code checkIris Shi-5/+11
2025-09-22Add regression testIris Shi-0/+23
2025-09-21fix a crash in rustdoc merge finalize without input fileIris Shi-2/+4
2025-09-20Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
2025-09-19Auto merge of #146797 - matthiaskrgr:rollup-xy0g8n7, r=matthiaskrgrbors-34/+37
2025-09-19Rollup merge of #146785 - hkBst:btree-1, r=joboetMatthias Krüger-1/+7
2025-09-19Rollup merge of #146781 - joshtriplett:mbe-derive-fix-feature-gate, r=wesleyw...Matthias Krüger-3/+3
2025-09-19Rollup merge of #146777 - RalfJung:x-cdpath, r=KobzolMatthias Krüger-1/+2
2025-09-19Rollup merge of #146776 - hkBst:clippy-fix-12, r=jdonszelmannMatthias Krüger-28/+22
2025-09-19Rollup merge of #146690 - npmccallum:convo, r=tgross35Matthias Krüger-1/+3
2025-09-19Auto merge of #146700 - Zalathar:quoted-args, r=nikicbors-49/+92
2025-09-19btree: safety comments for init and newMarijn Schouten-1/+7
2025-09-19Auto merge of #146765 - Zalathar:rollup-ewh4s9o, r=Zalatharbors-13056/+10337
2025-09-19mbe: Fix feature gate for `macro_derive`Josh Triplett-3/+3
2025-09-19fix ./x readdir logic when CDPATH is setRalf Jung-1/+2
2025-09-19fixes for numerous clippy warningsMarijn Schouten-28/+22
2025-09-19Rollup merge of #146740 - RalfJung:miri, r=RalfJungStuart Cook-1749/+7466
2025-09-19Rollup merge of #146738 - beepster4096:widnows, r=jieyouxuStuart Cook-1/+1
2025-09-19Rollup merge of #146709 - a4lg:stdarch-sync-20250917, r=KobzolStuart Cook-10367/+1891
2025-09-19Rollup merge of #146691 - alexcrichton:wasip1-remove-dir-all-buffer, r=juntyrStuart Cook-1/+8
2025-09-19Rollup merge of #146663 - erickt:win, r=wesleywiserStuart Cook-2/+22
2025-09-19Rollup merge of #146638 - lcnr:canonical-separate-module, r=BoxyUwUStuart Cook-556/+576
2025-09-19Rollup merge of #146615 - a4lg:codegen-llvm-feature-conversion-tidying, r=wor...Stuart Cook-22/+20
2025-09-19Rollup merge of #146541 - joboet:simplify-lookup-host, r=tgross35Stuart Cook-212/+51
2025-09-19Rollup merge of #146484 - notriddle:stringdex-js-opt, r=GuillaumeGomezStuart Cook-140/+290
2025-09-19Rollup merge of #146229 - Hayden602:issue-142796-fix, r=ZuseZ4Stuart Cook-6/+12
2025-09-19Auto merge of #145737 - cjgillot:gvn-valueset, r=saethlinbors-44/+180
2025-09-19std: simplify host lookupjoboet-212/+51
2025-09-19Merge pull request #4594 from RalfJung/clippyRalf Jung-2/+2
2025-09-19fix clippy warningRalf Jung-2/+2
2025-09-19fix miri bootstrap buildRalf Jung-2/+16
2025-09-18Auto merge of #137122 - yotamofek:pr/std/iter-eq-exact-size, r=the8472bors-4/+48
2025-09-18canonical: yeet `EvalCtxt`, mk `Canonicalizer` privatelcnr-211/+233
2025-09-18move `mod canonical` out of `eval_ctxt`lcnr-231/+229
2025-09-18update lockfileRalf Jung-15/+22
2025-09-18Merge pull request #4592 from RalfJung/sqrtRalf Jung-38/+54
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-28 08:20:49 +0000