about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-05-21don't inhibit random field reordering on repr(packed(1))Ralf Jung-2/+2
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-90/+88
2024-05-21Auto merge of #125358 - matthiaskrgr:rollup-mx841tg, r=matthiaskrgrbors-0/+17
2024-05-21Rollup merge of #125266 - workingjubilee:stream-plastic-love, r=RalfJung,nikicMatthias Krüger-0/+17
2024-05-20Fix miri tooMichael Goulet-3/+3
2024-05-20Use `throw_unsup_format` instead of returning `ENOTSUP` in the mmap shimmarc0246-42/+15
2024-05-19miri: support simd_ctpopJubilee Young-0/+17
2024-05-19Rollup merge of #125286 - RalfJung:miri-sync, r=RalfJungMatthias Krüger-604/+1296
2024-05-19Auto merge of #3319 - bjorn3:some_more_shims, r=RalfJungbors-48/+168
2024-05-19various small nitsRalf Jung-69/+72
2024-05-19Directly implement native exception raise methods in miribjorn3-1/+118
2024-05-19use a little arg-parsing helper for miri-scriptRalf Jung-147/+262
2024-05-19test wasm32-wasip2 instead of the deprecated wasm32-wasi targetRalf Jung-2/+2
2024-05-19properly print error in 'cargo miri setup --print-sysroot'Ralf Jung-58/+36
2024-05-19Auto merge of #3616 - RalfJung:android, r=RalfJungbors-37/+79
2024-05-19Auto merge of #3585 - devnexen:aligned_alloc, r=RalfJungbors-44/+171
2024-05-19make basic things work on AndroidRalf Jung-37/+79
2024-05-19a bit of refactoring and tweak the aligned-allocation testsRalf Jung-62/+61
2024-05-19Preparing for merge from rustcRalf Jung-1/+1
2024-05-18Fix typos (taking into account review comments)blyxyas-18/+18
2024-05-18support aligned_alloc for unixes support.David Carlier-0/+128
2024-05-17Ignore the Helix configuration directorymarc0246-0/+1
2024-05-17Auto merge of #3603 - Luv-Ray:issue-3572, r=RalfJungbors-19/+28
2024-05-17Auto merge of #3526 - Strophox:miri-memory, r=RalfJungbors-6/+119
2024-05-16start implementing MiriAllocBytesStrophox-6/+119
2024-05-16alloc now works on wasi (and some formatting)Ralf Jung-41/+97
2024-05-16Preparing for merge from rustcRalf Jung-1/+1
2024-05-13Give `FileDescription::{read, write}` access to the `InterpCx`Luv-Ray-19/+28
2024-05-13Auto merge of #3604 - RalfJung:intrinsics, r=RalfJungbors-36/+36
2024-05-13intrinsics: just panic when they get used incorrectlyRalf Jung-36/+36
2024-05-13offset, offset_from: allow zero-byte offset on arbitrary pointersRalf Jung-327/+64
2024-05-12Auto merge of #3575 - devnexen:illumos_part3, r=RalfJungbors-4/+14
2024-05-12further illumos/solaris support.David Carlier-4/+14
2024-05-12Auto merge of #3599 - saethlin:quiet-when-no-change, r=RalfJungbors-21/+35
2024-05-12Don't print unnecessary sysroot messagesBen Kimock-21/+35
2024-05-12Preparing for merge from rustcRalf Jung-1/+1
2024-05-12merge two integer testsRalf Jung-58/+61
2024-05-12merge float tests into oneRalf Jung-66/+67
2024-05-12organize float intrinsic implementations a bitRalf Jung-102/+92
2024-05-12Add non-null pointer for posix_memaligntiif-14/+73
2024-05-11Auto merge of #3596 - bend-n:support_fstar_algebraic, r=RalfJungbors-0/+54
2024-05-11support `f*_algebraic`bendn-0/+54
2024-05-11Auto merge of #3598 - RalfJung:heap, r=RalfJungbors-38/+74
2024-05-11separate windows heap functions from C heap shimsRalf Jung-33/+56
2024-05-11alloc: update comments around malloc() alignmentRalf Jung-8/+21
2024-05-11Merge from rustcThe Miri Cronjob Bot-35/+70
2024-05-11Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-05-10rename 'extern-so' to 'native-lib'Ralf Jung-333/+283
2024-05-10Rollup merge of #124957 - compiler-errors:builtin-deref, r=michaelwoeristerMatthias Krüger-6/+5
2024-05-09Make builtin_deref just return a TyMichael Goulet-6/+5