about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-08-16FD: remove big surrounding RefCell, simplify socketpairRalf Jung-187/+169
2024-08-15add 'project' process guidlines for larger contributionsRalf Jung-1/+34
2024-08-14Auto merge of #3712 - tiif:feat/epoll, r=oli-obkbors-75/+1134
2024-08-14Implement epoll shimtiif-75/+1134
2024-08-14stabilize `is_none_or`Slanterns-1/+0
2024-08-14CI: need nightly toolchain for auto-rustup PRRalf Jung-0/+2
2024-08-14fmtRalf Jung-1/+1
2024-08-14Merge from rustcRalf Jung-7/+63
2024-08-14Preparing for merge from rustcRalf Jung-1/+1
2024-08-13Auto merge of #3802 - RalfJung:no-more-call-id, r=RalfJungbors-102/+46
2024-08-13remove the concept of a Call IDRalf Jung-98/+40
2024-08-13borrow_tracker: update comments regarding protectorsRalf Jung-4/+6
2024-08-13Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlinbors-7/+63
2024-08-12Auto merge of #3798 - RalfJung:miri-script-remap-path-prefix, r=saethlinbors-115/+135
2024-08-12miri weak memory emulation: initialize store buffer only on atomic writes; pr...Ralf Jung-108/+152
2024-08-12fix tree borrows Unique testRalf Jung-11/+7
2024-08-12clippy fixRalf Jung-6/+2
2024-08-12Merge from rustcRalf Jung-5/+11
2024-08-12Preparing for merge from rustcRalf Jung-1/+1
2024-08-12josh-proxy: fix wait-for-josh logicRalf Jung-9/+14
2024-08-12Auto merge of #126793 - saethlin:mono-rawvec, r=scottmcmbors-3/+7
2024-08-11Rollup merge of #128592 - evelynharthbrooke:master, r=Mark-SimulacrumMatthias Krüger-2/+1
2024-08-10Auto merge of #3799 - RalfJung:josh-wait, r=RalfJungbors-19/+20
2024-08-10josh: wait until the socket is readyRalf Jung-19/+20
2024-08-10CI: we now need the nightly toolchain as wellRalf Jung-0/+4
2024-08-10miri-script: pass around the relative crate dir, not the absolute path to the...Ralf Jung-34/+28
2024-08-10add './miri doc' commandRalf Jung-1/+21
2024-08-10update suggested RA config; the './miri cargo' command is not needed any moreRalf Jung-21/+6
2024-08-10miri-script: use --remap-path-prefix to print errors relative to the right rootRalf Jung-75/+92
2024-08-10Fixes in various placesNadrieril-0/+3
2024-08-10Auto merge of #3795 - tiif:ice-layout-limit, r=RalfJungbors-3/+68
2024-08-09Add a FIXME to the changed Miri testBen Kimock-0/+2
2024-08-09Bless MiriBen Kimock-3/+5
2024-08-09do not make function addresses unique with cross_crate_inline_threshold=alway...Ralf Jung-14/+20
2024-08-09miri_print_borrow_state: show error when AllocId is invalidRalf Jung-2/+6
2024-08-09throw_unsup_format for alignment greater than 2^29 and refactor non-power-of-...tiif-3/+68
2024-08-08Don't panic on `miri_print_borrow_state()` under `-Zmiri-disable-stacked-borr...Zachary S-1/+5
2024-08-07allow all code to call getuid()Ralf Jung-9/+11
2024-08-07Auto merge of #3747 - RalfJung:sse-cleanup, r=RalfJungbors-77/+11
2024-08-07remove some SSE/SSE2 intrinsics that are no longer used by stdarchRalf Jung-77/+11
2024-08-07Merge from rustcThe Miri Cronjob Bot-100/+85
2024-08-07Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-08-06miri: make vtable addresses not globally uniqueRalf Jung-7/+57
2024-08-06make some Frame fields more privateRalf Jung-17/+13
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-83/+72
2024-08-06Auto merge of #3792 - RalfJung:test-typo, r=RalfJungbors-39/+157
2024-08-06add return-place-protection tail-call test, and fix previous testRalf Jung-39/+157
2024-08-06Merge from rustcThe Miri Cronjob Bot-1/+1
2024-08-06Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-08-05Auto merge of #128707 - matthiaskrgr:rollup-63klywk, r=matthiaskrgrbors-1/+1