about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)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
2025-05-08Update miri, cargo-miri and miri-cript to edition 2024est31-12/+11
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
2025-05-05Merge pull request #4309 from RalfJung/both-borrows-testsRalf Jung-532/+94
2025-05-05alloc_addresses: when we are running out of addresses, start reusing more agg...Ralf Jung-8/+17
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
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
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
2025-05-02Correctly handle interior mutable data in `Box`Xinglu Chen-1/+26
2025-05-02Implement skeleton code for adding GenMC support to Miri (not yet functional).Patrick-6-307/+1254
2025-05-02Merge pull request #4305 from RalfJung/squashRalf Jung-10/+84
2025-05-02add ./miri squashRalf Jung-10/+84
2025-05-01Rollup merge of #140034 - RalfJung:simd_select_bitmask-padding, r=workingjubileeGuillaume Gomez-42/+14
2025-05-01Merge pull request #4273 from yoctocell/new-cell-stateRalf Jung-72/+141
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 acce...Ralf Jung-106/+106
2025-04-30Rollup merge of #140439 - RalfJung:miri-algebraic-float-nondet, r=oli-obkMatthias Krüger-84/+98
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
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-02-28 14:40:25 +0000