summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2022-12-06Bless after rebaseOli Scherer-4/+4
2022-12-06Reintroduce the span printing in miri (plus point to spans where possible)Oli Scherer-419/+419
2022-12-06Remove now-redundant file/line info from const backtracesOli Scherer-492/+492
2022-12-03for now, do not do fake reads on non-Unpin mutable referencesRalf Jung-45/+0
2022-12-03add test for self-referential futureRalf Jung-0/+102
2022-12-01Bump ui_test crateOli Scherer-6/+6
2022-11-28add many-seeds capabilities to CIRalf Jung-0/+8
2022-11-28add scoped thread testRalf Jung-0/+24
2022-11-27Auto merge of #2694 - RalfJung:retag-deref-check, r=saethlinbors-42/+233
2022-11-27make Stacked Borrows retags act like data racesRalf Jung-42/+144
2022-11-27!Unpin retags must still be reads, to check dereferenceableRalf Jung-0/+89
2022-11-26support no_std on WindowsRalf Jung-4/+0
2022-11-22update test_dependenciesRalf Jung-2/+2
2022-11-22ensure current getrandom works with strict provenanceRalf Jung-5/+11
2022-11-20add a weak form of protection that justifies Box noaliasRalf Jung-27/+71
2022-11-20make align_offset always work on no-provenance pointersRalf Jung-0/+6
2022-11-20fix unused warning in a testRalf Jung-1/+1
2022-11-20Merge from rustcRalf Jung-24/+0
2022-11-19implement clock_gettime on macosRalf Jung-6/+14
2022-11-18Delete miri testMichael Goulet-24/+0
2022-11-16Auto merge of #104456 - RalfJung:miri, r=RalfJungbors-14/+32
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-13/+4
2022-11-15Auto merge of #104054 - RalfJung:byte-provenance, r=oli-obkbors-42/+207
2022-11-13Auto merge of #2657 - mkroening:miri-alloc, r=RalfJungbors-0/+29
2022-11-13final tweaksRalf Jung-1/+1
2022-11-11Rollup merge of #104051 - RalfJung:miri, r=RalfJungManish Goregaokar-56/+400
2022-11-10Merge from rustcRalf Jung-1/+0
2022-11-09Rollup merge of #103570 - lukas-code:stabilize-ilog, r=scottmcmDylan DPC-1/+0
2022-11-08Bump ui testOli Scherer-3/+3
2022-11-07Add miri_alloc, miri_deallocMartin Kröning-0/+29
2022-11-06add test for printing per-byte provenanceRalf Jung-0/+64
2022-11-06interpret: support for per-byte provenanceRalf Jung-42/+143
2022-11-06remove a stray stderr fileRalf Jung-11/+0
2022-11-05fix shared behavior and add testsDrMeepster-0/+287
2022-11-05impl condvars for windowsDrMeepster-18/+4
2022-11-03clarify no_data_race_after_complete testDrMeepster-2/+2
2022-10-30add acquire when init once is already completeDrMeepster-0/+38
2022-10-29Stacked Borrows: make scalar field retagging the defaultRalf Jung-38/+71
2022-10-28relative futex and condvar timeouts can work with isolationRalf Jung-0/+94
2022-10-28cleanup some test cfgRalf Jung-13/+11
2022-10-28test most sync primitives on WindowsRalf Jung-5/+16
2022-10-28threadleak_ignored should now pass with preemption (the issue has been fixed ...Ralf Jung-2/+1
2022-10-28implement thread parking on WindowsRalf Jung-3/+0
2022-10-28update ignore-windows commentsRalf Jung-7/+5
2022-10-28Auto merge of #2626 - RalfJung:pthread_setname_np, r=RalfJungbors-3/+15
2022-10-28pthread_setname_np returns an int on macOSRalf Jung-3/+15
2022-10-27Implement `ptr_mask` intrinsicMaybe Waffle-0/+18
2022-10-26stabilize `int_log`Lukas Markeffsky-1/+0
2022-10-26Auto merge of #2620 - RalfJung:getname, r=RalfJungbors-0/+25
2022-10-26add pthread_getname_npRalf Jung-0/+25