about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2023-11-16actually all the 'env' tests work on FreeBSD, as well as posix_memalignRalf Jung-1/+1
2023-11-16move reallocarray test into libc-miscRalf Jung-17/+18
2023-11-16make libc-misc pass under FreeBSDRalf Jung-1/+8
2023-11-16split thread test into synchronization primitives and threadnameRalf Jung-61/+52
2023-11-16Auto merge of #3166 - devnexen:reallocarray, r=RalfJungbors-1/+48
2023-11-16reallocarray shim linux/freebsd support proposal.David Carlier-1/+48
2023-11-16Auto merge of #3168 - RalfJung:set_var, r=RalfJungbors-5/+5
2023-11-16get rid of our last uses of set_varRalf Jung-5/+5
2023-11-16Merge from rustcRalf Jung-29/+39
2023-11-16Preparing for merge from rustcRalf Jung-1/+1
2023-11-15Auto merge of #3164 - devnexen:fbsd_upd3, r=RalfJungbors-2/+20
2023-11-15freebsd adding getrandom interception.David Carlier-2/+20
2023-11-15Auto merge of #117814 - RalfJung:rustc-logger-without-set-var, r=TaKO8Kibors-29/+39
2023-11-15Merge from rustcThe Miri Conjob Bot-31/+31
2023-11-15Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-11-14Auto merge of #117330 - tmiasko:custom-mir-cleanup-blocks, r=cjgillotbors-31/+31
2023-11-14Custom MIR: Support cleanup blocksTomasz Miąsko-31/+31
2023-11-13don't expose all the borrow tracker stuff to the entire crateRalf Jung-41/+47
2023-11-13share getentropy shim across various unixesRalf Jung-36/+48
2023-11-13organize pass-dep tests more by the crate they testRalf Jung-14/+18
2023-11-13freebsd adding getentropy interception supportDavid Carlier-1/+29
2023-11-12Auto merge of #3159 - eduardosm:sse41-round, r=RalfJungbors-96/+372
2023-11-12Improve SSE4.1 rounding tests coverageEduardo Sánchez Muñoz-137/+305
2023-11-12more consistent naming for TLS testsRalf Jung-10/+13
2023-11-12Auto merge of #2931 - max-heller:issue-2881, r=RalfJungbors-10/+148
2023-11-12allow allocations referenced by main thread TLS to leakmax-heller-10/+148
2023-11-12Implement roundps and roundpd SSE4.1 intrinsicsEduardo Sánchez Muñoz-16/+124
2023-11-12better error when calling pthread shims on unsupported unixesRalf Jung-0/+70
2023-11-12tweak commentsRalf Jung-9/+5
2023-11-12interpret: simplify handling of shifts by no longer trying to handle signed a...Ralf Jung-0/+24
2023-11-12freebsd interceptions update proposalDavid Carlier-7/+45
2023-11-11Miri: use new init_logger function, avoid calling env::set_varRalf Jung-29/+39
2023-11-10data_race: link to docs for 'unusual' race conditionsRalf Jung-1/+8
2023-11-04Auto merge of #3145 - RalfJung:data-race-error, r=RalfJungbors-166/+233
2023-11-04fmtThe Miri Conjob Bot-7/+3
2023-11-04Merge from rustcThe Miri Conjob Bot-2/+2
2023-11-04Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-2/+2
2023-11-02Merge from rustcThe Miri Conjob Bot-231/+11
2023-11-02Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2023-11-01Rollup merge of #115626 - clarfonthey:unchecked-math, r=thomccMatthias Krüger-2/+2
2023-10-30make sure we catch UB with _ pattern in various syntactic positionsRalf Jung-16/+87
2023-10-29Auto merge of #116270 - cjgillot:gvn-aggregate, r=oli-obk,RalfJungbors-3/+2
2023-10-28Remove asmjs from miriJubilee Young-1/+1
2023-10-28Auto merge of #116609 - eduardosm:bump-stdarch, r=workingjubileebors-226/+7
2023-10-28Auto merge of #3149 - RalfJung:atomic-readonly-loads, r=RalfJungbors-62/+135
2023-10-28accept some atomic loads from read-only memoryRalf Jung-48/+121
2023-10-28add some tests specifically for validity checks arising from match bindersRalf Jung-0/+59
2023-10-28consolidate and extend testing for _ patterns discarding the placeRalf Jung-31/+76
2023-10-28atomic_op → atomic_rmw_opRalf Jung-14/+14
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 09:05:58 +0000