about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-07-27various minor adjustmentsRalf Jung-79/+49
2025-07-27Add support for building and linking against genmcPatrick-6-42/+1160
2025-07-27Merge pull request #4497 from RalfJung/check-shimRalf Jung-793/+897
2025-07-27introduce a macro for shim signature checkingRalf Jung-795/+900
2025-07-27call_function helper: dont ICE on return type mismatchesRalf Jung-2/+54
2025-07-26CI: run apt update before installing anythingRalf Jung-0/+4
2025-07-25Merge pull request #4489 from Stypox/misc-tracing-fixesRalf Jung-6/+11
2025-07-25Merge pull request #4492 from rust-lang/rustup-2025-07-25Ralf Jung-67/+11
2025-07-25fix target jsonRalf Jung-1/+1
2025-07-25Fix double "fatal error: " in messageStypox-1/+1
2025-07-25Fix missing $ in enter_trace_span!Stypox-1/+1
2025-07-25Use i64 for tracing chrome "id"Stypox-4/+9
2025-07-25Fix cronjob Zulip messageJakub Beránek-1/+1
2025-07-25fmtThe Miri Cronjob Bot-7/+2
2025-07-25Merge ref 'b56aaec52bc0' from rust-lang/rustThe Miri Cronjob Bot-58/+7
2025-07-25Prepare for merging from rust-lang/rustThe Miri Cronjob Bot-1/+1
2025-07-24make the missing-MIR message more clearRalf Jung-2/+2
2025-07-23Remove const deduplication from the interpreter.Camille GILLOT-58/+7
2025-07-23Merge pull request #4490 from Kobzol/use-josh-syncRalf Jung-354/+41
2025-07-23Remove Zulip API keys and use `set -x`Jakub Beránek-5/+5
2025-07-23Update CI workflowJakub Beránek-10/+23
2025-07-23Update `CONTRIBUTING.md`Jakub Beránek-6/+8
2025-07-23Remove Josh code from `miri-script`Jakub Beránek-336/+6
2025-07-23Init josh-sync config fileJakub Beránek-0/+2
2025-07-23atomicrmw on pointers: move integer-pointer cast hacks into backendRalf Jung-16/+11
2025-07-23CI: add windows-arm runnerRalf Jung-8/+20
2025-07-22Merge from rustcThe Miri Cronjob Bot-38/+58
2025-07-22Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-07-21Implement nondet behaviour and change/add tests.LorrensP-2158466-174/+394
2025-07-22Rollup merge of #144187 - RalfJung:type-id-base-addr, r=oli-obk许杰友 Jieyou Xu (Joe)-27/+37
2025-07-22Rollup merge of #144080 - jieyouxu:realign, r=BoxyUwU许杰友 Jieyou Xu (Joe)-3/+7
2025-07-21Merge pull request #4481 from RalfJung/read-write-truncateOli Scherer-123/+326
2025-07-21Auto merge of #144238 - jhpratt:rollup-xb8aida, r=jhprattbors-684/+1349
2025-07-21Merge from rustcThe Miri Cronjob Bot-8/+33
2025-07-21Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-07-20Rollup merge of #144229 - RalfJung:miri-sync, r=RalfJungJacob Pratt-684/+1349
2025-07-20fix handling of base address for TypeId allocationsRalf Jung-27/+37
2025-07-20Update Miri TestsScott McMurray-8/+14
2025-07-20Rollup merge of #144190 - scottmcm:spanned-errors-in-mir-validation, r=RalfJungGuillaume Gomez-4/+10
2025-07-20Rollup merge of #144169 - RalfJung:type-id-fix, r=oli-obkMatthias Krüger-4/+23
2025-07-20Merge from rustcThe Miri Cronjob Bot-34/+155
2025-07-20Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-07-19Give a message with a span on validation errorScott McMurray-4/+10
2025-07-19non-deterministically truncate reads/writesRalf Jung-122/+312
2025-07-19Merge pull request #4482 from RalfJung/depsRalf Jung-538/+1160
2025-07-19don't halt execution when we write to a read-only fileRalf Jung-1/+14
2025-07-19move and update test dependenciesRalf Jung-76/+169
2025-07-19Move float non determinism helpers to math.rsLorrensP-2158466-164/+145
2025-07-19ditch which dependencyRalf Jung-30/+3
2025-07-19bump cargo-metadataRalf Jung-5/+371
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 23:00:47 +0000