about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-04-15fix error display for './miri run --dep'Ralf Jung-1/+2
2024-04-15Windows: add basic support for FormatMessageWRalf Jung-19/+79
2024-04-14Miri: run .CRT$XLB linker section on thread-endRalf Jung-208/+179
2024-04-14Run static initializersbjorn3-15/+102
2024-04-13Auto merge of #3429 - eduardosm:shift, r=RalfJungbors-159/+97
2024-04-12De-duplicate SSE2 sll/srl/sra codeEduardo Sánchez Muñoz-159/+97
2024-04-08readme updatesRalf Jung-20/+17
2024-04-08set --sysroot outside the driver rather than messing with the arguments passe...Ralf Jung-36/+36
2024-04-06MIRI_REPLACE_LIBRS_IF_NOT_TEST: also apply to crates.io cratesRalf Jung-7/+2
2024-04-06make 'missing extern static' error consistent with missing shimRalf Jung-15/+11
2024-04-06Merge from rustcRalf Jung-34/+128
2024-04-06Preparing for merge from rustcRalf Jung-1/+1
2024-04-06chore: fix some typosfindseat-7/+7
2024-04-05Rollup merge of #123500 - belovdv:remove-miri-jobserver-fixme, r=RalfJung,oli...Guillaume Gomez-0/+7
2024-04-05Revert "remove miri jobserver workaround"belovdv-0/+7
2024-04-05Auto merge of #123497 - GuillaumeGomez:rollup-usqb4q9, r=GuillaumeGomezbors-0/+38
2024-04-05Rollup merge of #123350 - compiler-errors:async-closure-by-move, r=oli-obkGuillaume Gomez-0/+38
2024-04-05Auto merge of #123317 - RalfJung:test-in-miri, r=m-ou-se,saethlin,onur-ozkanbors-34/+90
2024-04-05linux/foreign_items: reorder things to make more sense, remove duplicate sock...Ralf Jung-47/+32
2024-04-05miri: go look for the item in all crates of the right nameRalf Jung-17/+34
2024-04-04Force `move` async-closures that are `FnOnce` to make their inner coroutines ...Michael Goulet-31/+14
2024-04-04Actually use the inferred ClosureKind from signature inference in coroutine-c...Michael Goulet-10/+65
2024-04-04remove miri jobserver workaroundbelovdv-7/+0
2024-04-04adjust frame_in_std to recognize std testsRalf Jung-10/+8
2024-04-04Merge from rustcThe Miri Cronjob Bot-16/+117
2024-04-04Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-04-03add 'x.py miri', and make it work for 'library/{core,alloc,std}'Ralf Jung-7/+48
2024-04-03rename `expose_addr` to `expose_provenance`joboet-16/+16
2024-04-03epoll: note a FIXMERalf Jung-0/+2
2024-04-03eventfd: fix flag check and note a FIXMERalf Jung-7/+10
2024-04-03shims/linux: move epoll and eventfd into their own files, together with their...Ralf Jung-106/+105
2024-04-03Auto merge of #3441 - RalfJung:fds, r=RalfJungbors-633/+663
2024-04-03shims/unix: split general FD management from FS access; make a place for socketsRalf Jung-633/+663
2024-04-02Rollup merge of #123349 - compiler-errors:async-closure-captures, r=oli-obkJubilee-0/+101
2024-04-03Merge from rustcThe Miri Cronjob Bot-39/+43
2024-04-03Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-04-02Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=AmanieuJacob Pratt-33/+33
2024-04-02Comments, comments, commentsMichael Goulet-0/+2
2024-04-02Fix capture analysis for by-move closure bodiesMichael Goulet-0/+99
2024-04-01Auto merge of #123192 - RalfJung:bootstrap-test-miri, r=onur-ozkanbors-6/+10
2024-03-31cargo-miri: better debug output; reorder a comment to make it less confusingRalf Jung-6/+10
2024-03-31update josh version and guidanceRalf Jung-13/+9
2024-03-31reset the cachesRalf Jung-8/+10
2024-03-31experiment with macOS M1 runnersRalf Jung-4/+5
2024-03-31Auto merge of #3436 - RalfJung:win-ci, r=RalfJungbors-46/+61
2024-03-31move './miri check' for features to the style check jobRalf Jung-8/+7
2024-03-31python: fix regex backslash escapesRalf Jung-2/+2
2024-03-31show the time that the main CI steps takeRalf Jung-6/+6
2024-03-31also control the cargo-miri env var test separatelyRalf Jung-9/+12
2024-03-31windows ci: run many-seeds test less oftenRalf Jung-1/+2