about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2023-09-24Do not assume anything about repeated reification of generic functions.Camille GILLOT-1/+0
2023-09-23Merge from rustcThe Miri Conjob Bot-25/+25
2023-09-23Auto merge of #3072 - eduardosm:llvm.ctpop, r=saethlinbors-0/+257
2023-09-22Bump ui_test crateOli Scherer-29/+31
2023-09-22Allow limiting the number of threads running in parallelOli Scherer-1/+5
2023-09-22Move `fail` tests that need dependencies into their own folder, so that wasm ...Oli Scherer-0/+6
2023-09-22Bump ui test crateOli Scherer-43/+20
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-25/+25
2023-09-21Implement `llvm.ctpop.v*` intrinsicsEduardo Sánchez Muñoz-0/+257
2023-09-21deprecate -Zmiri-disable-abi-checkRalf Jung-0/+8
2023-09-19Auto merge of #3054 - Vanille-N:spurious-fail, r=RalfJungbors-2/+2
2023-09-19Issue of the current model: spurious reads are not possibleNeven Villani-2/+2
2023-09-14don't point at const usage site for resolution-time errorsRalf Jung-4/+4
2023-09-12Auto merge of #3055 - eduardosm:x86-sse2-intrinsics, r=RalfJungbors-2/+849
2023-09-12Implement some `llvm.x86.sse2.*` intrinsics and add testsEduardo Sánchez Muñoz-0/+828
2023-09-12Ignore all archs except x86 and x86_64 in SSE testsEduardo Sánchez Muñoz-2/+21
2023-09-12extra ABI tests, in particular for DispatchFromDynRalf Jung-6/+16
2023-09-12fmtThe Miri Conjob Bot-1/+3
2023-09-09implement and test ABI compatibility for transparent wrappers around NPO typesRalf Jung-5/+8
2023-09-09implement and test fn ptr ABI compatibility rulesRalf Jung-0/+5
2023-09-09give extra context to ABI mismatch errorsRalf Jung-0/+12
2023-09-09interpret: change ABI-compat test to be type-based, so the test is consistent...Ralf Jung-18/+21
2023-09-06miri: catch function calls where the argument is caller-invalid / the return ...Ralf Jung-4/+101
2023-09-02Rollup merge of #115443 - epage:os_str, r=cuviperMatthias Krüger-1/+1
2023-09-01fix(std): Rename os_str_bytes to encoded_bytesEd Page-1/+1
2023-08-31miri ABI check: fix handling of 1-ZST; don't accept sign differencesRalf Jung-11/+15
2023-08-31update abi_compat.rsRalf Jung-12/+3
2023-08-31more ABI compat testsRalf Jung-12/+48
2023-08-31fmtRalf Jung-1/+1
2023-08-31Merge from rustcRalf Jung-12/+117
2023-08-31Merge from rustcThe Miri Conjob Bot-2/+26
2023-08-30miri function ABI check: specifically look for repr(transparent)Ralf Jung-0/+35
2023-08-30organize failing ABI compat tests and add some moreRalf Jung-10/+58
2023-08-30interpret: make sure we accept transparent newtypes as ABI-compatibleRalf Jung-1/+23
2023-08-30storage_live: avoid computing the layout unless necessaryRalf Jung-4/+4
2023-08-30move marking-locals-live out of push_stack_frame, so it happens with argument...Ralf Jung-5/+5
2023-08-30interpret: fix projecting into an unsized field of a localRalf Jung-0/+24
2023-08-29fmtThe Miri Conjob Bot-4/+6
2023-08-29Merge from rustcThe Miri Conjob Bot-2/+28
2023-08-28Auto merge of #115182 - RalfJung:abi-compat-sign, r=b-naberbors-0/+27
2023-08-28add tests for track_caller in closures and generatorsRalf Jung-5/+148
2023-08-28move basic track_caller test into their own fnRalf Jung-36/+39
2023-08-28Auto merge of #3039 - RalfJung:catch_panic, r=RalfJungbors-17/+19
2023-08-28tests/catch_panic: make output easier to interpretRalf Jung-17/+19
2023-08-28Rollup merge of #115280 - RalfJung:panic-cleanup-triple-backtrace, r=AmanieuMatthias Krüger-2/+1
2023-08-27avoid triple-backtrace due to panic-during-cleanupRalf Jung-2/+1
2023-08-26Merge from rustcThe Miri Conjob Bot-7/+76
2023-08-25Auto merge of #115184 - saethlin:local-allocated-spans, r=RalfJungbors-5/+74
2023-08-25Record allocation spans inside force_allocationBen Kimock-5/+74
2023-08-24miri ABI compatibility check: accept u32 and i32Ralf Jung-0/+27
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 14:22:57 +0000