about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Collapse)AuthorLines
2025-05-17exlicitly pass -Zdoctest-xcompile to avoid cargo version behavior differencesRalf Jung-0/+2
2025-05-17fix for doctest-xcompile stabilizationRalf Jung-53/+40
2025-05-17fix clippy lintsRalf Jung-18/+13
2025-05-17Preparing for merge from rustcRalf Jung-1/+1
2025-05-16Fix fname for miri王宇逸-1/+6
2025-05-15normalize abort calls in miri testsjoboet-35/+43
2025-05-12Merge from rustcThe Miri Cronjob Bot-11/+38
2025-05-12Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-05-10test intrinsic fallback bodies with MiriRalf Jung-11/+38
2025-05-10Merge from rustcThe Miri Cronjob Bot-0/+1
2025-05-10Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-05-08Remove let_chains feature as it is stableest31-1/+0
2025-05-08add signed integers to unnecessary_lints to ensure feature parity with clippybendn-0/+1
2025-05-08Merge pull request #4311 from est31/edition_2024Ralf Jung-12/+11
Update to edition 2024
2025-05-08Update miri, cargo-miri and miri-cript to edition 2024est31-12/+11
Also update the format edition to 2024
2025-05-08remove commented-out test leftoverRalf Jung-1/+0
2025-05-08remove stray stderr fileRalf Jung-22/+0
2025-05-07test suite: use CARGO_TARGET_TMPDIR for temporary build artifactsRalf Jung-3/+2
2025-05-05Merge pull request #4310 from RalfJung/addr-space-conservationRalf Jung-8/+17
alloc_addresses: when we are running out of addresses, start reusing more aggressively
2025-05-05Merge pull request #4309 from RalfJung/both-borrows-testsRalf Jung-532/+94
move tests that are identical between SB and TB to shared files
2025-05-05alloc_addresses: when we are running out of addresses, start reusing more ↵Ralf Jung-8/+17
aggressively
2025-05-05consistent folder naming: stacked-borrows -> stacked_borrowsRalf Jung-6/+6
2025-05-05Merge pull request #4306 from yoctocell/fix-unsafecell-inside-boxRalf Jung-1/+43
Tree Borrows: Correctly handle interior mutable data in `Box`
2025-05-05move tests that are identical between SB and TB to shared filesRalf Jung-764/+326
2025-05-05Merge pull request #4307 from JoJoDeveloping/remove-unique-is-uniqueRalf Jung-451/+12
Remove -Zunique-is-unique
2025-05-04Remove -Zunique-is-uniqueJohannes Hostert-451/+12
2025-05-03Merge from rustcThe Miri Cronjob Bot-148/+120
2025-05-03Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-05-02Construct test so that it would fail for old codeXinglu Chen-5/+22
2025-05-02Rollup merge of #140521 - RalfJung:oob-error, r=saethlinMatthias Krüger-106/+106
interpret: better error message for out-of-bounds pointer arithmetic and accesses Fixes https://github.com/rust-lang/rust/issues/93881 r? `@saethlin`
2025-05-02Correctly handle interior mutable data in `Box`Xinglu Chen-1/+26
Previously, the pointee type would be behind a `*const` pointer, so `ty_is_freeze` would always be `true`, even if there was an `UnsafeCell` in `Box`.
2025-05-02Implement skeleton code for adding GenMC support to Miri (not yet functional).Patrick-6-307/+1254
- Add a cargo feature to enable GenMC support (off by default) - Add support for GenMC datastructures to MiriMachine - Adjust several functions where GenMC needs to be informed about relevant events (e.g., atomic accesses) - Add skeleton code for parsing GenMC command line arguments - Some cleanup - Finish sentences with a `.` - Fix some spelling errors/typos Co-authored-by: Ralf Jung <post@ralfj.de>
2025-05-02Merge pull request #4305 from RalfJung/squashRalf Jung-10/+84
add ./miri squash
2025-05-02add ./miri squashRalf Jung-10/+84
2025-05-01Rollup merge of #140034 - RalfJung:simd_select_bitmask-padding, r=workingjubileeGuillaume Gomez-42/+14
simd_select_bitmask: the 'padding' bits in the mask are just ignored Fixes https://github.com/rust-lang/rust/issues/137942: we documented simd_select_bitmask to require the 'padding' bits in the mask (the mask can sometimes be longer than the vector; I am referring to these extra bits as 'padding' here) to be zero, mostly because nobody felt like doing the research for what should be done when they are non-zero. However, codegen is already perfectly happy just ignoring them, so in practice they can have any value. Some of the intrinsic wrappers in stdarch have trouble ensuring that they are zero. So let's just adjust the docs and Miri to permit non-zero 'padding' bits. Cc ````@Amanieu```` ````@workingjubilee````
2025-05-01Merge pull request #4273 from yoctocell/new-cell-stateRalf Jung-72/+141
TB: add `Cell` state to support more fine-grained tracking of interior mutable data
2025-05-01Add `Cell` state to Tree BorrowsXinglu Chen-72/+141
2025-05-01fmtThe Miri Cronjob Bot-3/+1
2025-05-01Merge from rustcThe Miri Cronjob Bot-84/+98
2025-05-01Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-04-30interpret: better error message for out-of-bounds pointer arithmetic and ↵Ralf Jung-106/+106
accesses
2025-04-30Rollup merge of #140439 - RalfJung:miri-algebraic-float-nondet, r=oli-obkMatthias Krüger-84/+98
miri: algebraic intrinsics: bring back float non-determinism Fixes https://github.com/rust-lang/miri/issues/4289 Cc ```@bjoernager``` r? ```@oli-obk```
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-156/+129
2025-04-29Merge pull request #4272 from geetanshjuneja/schedulingRalf Jung-92/+111
Make thread scheduling fully random
2025-04-29fix comment typosRalf Jung-2/+2
2025-04-29move EnvVars::cleanup into the main-thread-exit handlerRalf Jung-10/+11
2025-04-29Added random schedulinggeetanshjuneja-92/+111
2025-04-29miri: algebraic intrinsics: bring back float non-determinismRalf Jung-84/+98
2025-04-29suppress dangerous_implicit_autorefs in TB testRalf Jung-0/+1
2025-04-29fmtThe Miri Cronjob Bot-7/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-09 01:17:56 +0000