about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/stacked_borrows
AgeCommit message (Expand)AuthorLines
2025-06-16miri: bless testsDavid Wood-2/+2
2025-06-07make better use of label for data-race and some other errorsRalf Jung-138/+37
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-43/+43
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-4/+2
2025-04-29Added random schedulinggeetanshjuneja-2/+2
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-1/+0
2024-09-21fmt (with a huge diff for some reason)Ralf Jung-1/+1
2024-09-16Bump ui testOli Scherer-160/+160
2024-09-11make basic allocation functions track_caller in Miri for nicer backtracesRalf Jung-15/+8
2024-08-13remove the concept of a Call IDRalf Jung-6/+6
2024-04-18when reusing an address, most of the time only reuse from the current threadRalf Jung-2/+4
2024-04-03rename `expose_addr` to `expose_provenance`joboet-1/+1
2024-04-02Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=AmanieuJacob Pratt-1/+1
2024-03-23Report retags as distinct from real memory accesses for data racesJohn Kåre Alsaker-6/+12
2024-03-23rename ptr::from_exposed_addr -> ptr::with_exposed_provenanceRalf Jung-1/+1
2024-03-02print thread name in miri error backtracesRalf Jung-10/+10
2023-12-04use `assume(idx < self.len())` in `[T]::get_unchecked`bendn-16/+11
2023-11-30move exposed-provenance APIs into separate feature gate and explain the relat...Ralf Jung-1/+1
2023-11-24Manual find replace updatesNilstrieb-2/+2
2023-11-24Bless Miri testsNilstrieb-42/+42
2023-10-27data-race: preserve structured access information longer, and don't upper-cas...Ralf Jung-6/+6
2023-10-06Fix problems of Reserved -> FrozenNeven Villani-0/+50
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-1/+1
2023-08-05tree borrows: consider some retags as writes for the purpose of data racesRalf Jung-39/+34
2023-07-29Adjust some tests for invalid_reference_casting improvementsUrgau-0/+2
2023-07-21ask people to reach out if we declare too much UBRalf Jung-0/+2
2023-07-21SB: track whether a retag occurred nested inside a fieldRalf Jung-2/+2
2023-07-10Do not set up wrong span for adjustmentsMichael Goulet-4/+4
2023-06-18Merge from rustcRalf Jung-1/+1
2023-06-16remove box_free and replace with drop implDrMeepster-1/+1
2023-06-10box_exclusive_violationNeven Villani-71/+0
2023-06-03Select more TB fail testsNeven Villani-1164/+0
2023-05-31Adjust tests for newly uplifted cast_ref_to_mut lintUrgau-0/+2
2023-05-21Rename `drop_ref` lint to `dropping_references`Urgau-1/+1
2023-05-12Auto merge of #109732 - Urgau:uplift_drop_forget_ref_lints, r=davidtwcobors-0/+2
2023-05-10Adjust tests for new drop and forget lintsUrgau-0/+2
2023-05-09Update to latest ui_test crate version.Oli Scherer-8/+8
2023-04-14Fix spellingJosh Soref-1/+1
2023-03-16TB: select tests to run both TB and SBNeven Villani-1/+1
2023-02-06make &mut !Unpin not dereferenceableRalf Jung-54/+0
2023-01-02tweaks to retag diagnostic handlingRalf Jung-4/+4
2022-12-24fix warningsRalf Jung-2/+2
2022-12-24Merge from rustcRalf Jung-0/+101
2022-12-23Mention and number the components of a race in the order the interpreter sees...Ben Kimock-7/+7
2022-12-23attempt to clarify what the backtrace belongs to when there could be ambiguityRalf Jung-61/+61
2022-12-22Add a (1) and (2) to the data race errorsBen Kimock-8/+8
2022-12-21Fix phrasingBen Kimock-2/+2
2022-12-21Clean up implementation, deduplicate in errorsBen Kimock-16/+6
2022-12-21Don't run `Drop` terminators on types that do not have drop glue in const evalJakob Degen-2/+2
2022-12-21Bless testsJakob Degen-3/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 06:48:02 +0000