rust/src/tools/miri/tests/fail/both_borrows, branch master https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=master 2025-09-22T09:49:45+00:00 TB: rename Active → Unique to match paper 2025-09-22T09:49:45+00:00 Ralf Jung post@ralfj.de 2025-09-19T10:24:22+00:00 urn:sha1:1c316023d65be6ae88ff938d272669bc286fd5b3 Merge ref '3f1552a273e4' from rust-lang/rust 2025-09-17T05:00:44+00:00 The Miri Cronjob Bot miri@cron.bot 2025-09-17T05:00:44+00:00 urn:sha1:1672251dad4ffe70c95dd233b2c044045acd2fd3 Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 3f1552a273e43e15f6ed240d00e1efdd6a53e65e Filtered ref: fbfa7b30a3ad5abd6a5db7e3ef15adc8da1ecc37 Upstream diff: https://github.com/rust-lang/rust/compare/9d82de19dfae60e55c291f5f28e28cfc2c1b9630...3f1552a273e43e15f6ed240d00e1efdd6a53e65e This merge was created using https://github.com/rust-lang/josh-sync. Fix miri issue 4579 by checking if the strong protector is actually "active". 2025-09-11T15:18:20+00:00 Johannes Hostert jhostert@ethz.ch 2025-09-11T15:00:59+00:00 urn:sha1:2b5b191965571142cff8fab04aad9f243041ca19 Where "active" means that the accessed bit is set. This also reverts miri PR 3831. interpret: fix overlapping aggregate initialization 2025-09-10T13:59:11+00:00 Ralf Jung post@ralfj.de 2025-09-10T10:05:53+00:00 urn:sha1:8ecda4b7f866d77d4a87c5b5bc601d4078841093 God bless the tests 2025-08-19T12:46:33+00:00 Johannes Hostert jhostert@ethz.ch 2025-08-19T12:46:33+00:00 urn:sha1:b734547022e9ad72c702398a1cd4574b185cf977 make better use of label for data-race and some other errors 2025-06-07T12:18:16+00:00 Ralf Jung post@ralfj.de 2025-06-07T10:08:23+00:00 urn:sha1:9439f33aa6c37fde6b8a465b08451fbbd5caecfd diagnostics: do not repeat the entire message in the span label 2025-06-07T12:18:12+00:00 Ralf Jung post@ralfj.de 2025-06-07T09:54:55+00:00 urn:sha1:bb53df1db6eb106a91762decac54141fc8276198 Merge from rustc 2025-05-03T05:00:21+00:00 The Miri Cronjob Bot miri@cron.bot 2025-05-03T05:00:21+00:00 urn:sha1:4d873493ad142da4380bba82f5742e336e5f44fd interpret: better error message for out-of-bounds pointer arithmetic and accesses 2025-04-30T16:45:41+00:00 Ralf Jung post@ralfj.de 2025-04-30T14:52:25+00:00 urn:sha1:00f25a8e1cf7d749946a6a9fb7327bf4710c931f add -Zmiri-deterministic-concurrency flag and use it for concurrency tests 2025-04-29T18:08:25+00:00 Ralf Jung post@ralfj.de 2025-04-29T17:02:11+00:00 urn:sha1:bbcc6a24cdd3c77927e159bf4cbc55eca4c62281