about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-09-13Rollup merge of #145471 - rs-sac:extr, r=the8472Jacob Pratt-1/+0
2025-09-12Rollup merge of #145895 - RalfJung:unpark, r=joboetStuart Cook-0/+1
2025-09-11Auto merge of #145177 - joboet:move-pal-thread, r=ibraheemdevbors-24/+24
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-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-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-03fix applying an error to infinitiesRalf Jung-0/+8
2025-09-03Merge pull request #4561 from RalfJung/short-fd-opsRalf Jung-19/+50
2025-09-03add flag to not shorten FD reads/writes; don't shorten pipe operationsRalf Jung-19/+50
2025-09-03Add `funnel_sh{l,r}` functions and intrinsicssayantn-1/+51
2025-09-03Merge pull request #4558 from RalfJung/float-err-fixOli Scherer-69/+103
2025-09-03thread parking: fix docs and examplesRalf Jung-0/+1
2025-09-03Merge pull request #4559 from nia-e/zed-configRalf Jung-0/+47
2025-09-03fix mangitude of applied float errorRalf Jung-69/+103
2025-09-03Merge ref '51ff895062ba' from rust-lang/rustThe Miri Cronjob Bot-88/+49
2025-09-03Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
2025-09-03add zed editor configNia Espera-0/+47
2025-09-02account for aarch64 windows oversleepingRalf Jung-1/+2
2025-09-02add a flag to always apply the maximum float errorRalf Jung-9/+54
2025-09-02improve process::abort rendering in Miri backtracesRalf Jung-88/+49
2025-09-02move some configuration enums to a more logical placeRalf Jung-65/+63
2025-09-01Merge pull request #4554 from RalfJung/helpRalf Jung-12/+27
2025-09-01improve output for 'cargo miri test --help'Ralf Jung-12/+27
2025-09-01Merge ref '828e45ad11ce' from rust-lang/rustThe Miri Cronjob Bot-1/+1
2025-09-01Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
2025-08-31Merge pull request #4466 from nia-e/native-structsRalf Jung-133/+454
2025-08-31some refactoring and cleanupRalf Jung-145/+128
2025-08-31native-lib: pass structs to native codeNia Espera-129/+467
2025-08-31native-lib: more resilient grabbing of instruction bytesNia Espera-26/+26
2025-08-31Rollup merge of #144443 - WaffleLapkin:integer-target-pointer-width, r=NoratriebMatthias Krüger-1/+1
2025-08-30Merge pull request #4549 from RalfJung/mprotectRalf Jung-39/+21
2025-08-30reduce some code duplication and update some commentsRalf Jung-22/+8
2025-08-30native-lib mode: avoid unsoundness due to mrpotectRalf Jung-17/+13
2025-08-30Merge ref 'e004014d1bf4' from rust-lang/rustThe Miri Cronjob Bot-1/+0
2025-08-30Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
2025-08-29Rollup merge of #145467 - Kivooeo:stabilize-strict_provenance_atomic_ptr, r=s...Trevor Gross-1/+0
2025-08-29Bump tracing-subscriber from 0.3.19 to 0.3.20dependabot[bot]-2/+2
2025-08-29Merge pull request #4371 from CraftSpider/duplicate-handle-testRalf Jung-9/+46
2025-08-29Add duplicate handle test + make null lpTargetHandle an abort, not an unsuppo...Rune Tynan-9/+46
2025-08-29Merge pull request #4545 from RalfJung/zst-readwriteRalf Jung-9/+28
2025-08-29unix read/write: fix zero-size handlingRalf Jung-9/+28
2025-08-28Merge pull request #4539 from Stypox/tracing-docsRalf Jung-0/+292
2025-08-28Add documentation for tracingStypox-0/+292
2025-08-27fix target-pointer-width in testsWaffle Lapkin-1/+1
2025-08-27Stabilize BTree{Map,Set}::extract_ifSidney Cammeresi-1/+0
2025-08-27Merge ref '269d5b56bcfd' from rust-lang/rustThe Miri Cronjob Bot-3/+2