about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-07-31Uniform enter_trace_span! and add documentationStypox-16/+2
2025-07-30Stabilize strict_overflow_opsNurzhan Sakén-1/+1
2025-07-30const-eval: full support for pointer fragmentsRalf Jung-69/+104
2025-07-29Apply suggestions from code reviewJakub Beránek-1/+2
2025-07-29Use GH app for authenticating pull PRsJakub Beránek-4/+6
2025-07-28Merge pull request #4504 from RalfJung/link-section-arraysRalf Jung-10/+22
2025-07-28lookup_link_section: support arrays of function pointersRalf Jung-10/+22
2025-07-28Reduce required cc crate version.Patrick-6-4/+6
2025-07-28revert accidental changeRalf Jung-1/+5
2025-07-28Merge commit 'abd9cba5acbcc35fb4cc59ce25580fa1624b5571'Ralf Jung-22/+19
2025-07-28prepare for syncRalf Jung-1/+1
2025-07-27centralize clockid_t interpretationRalf Jung-114/+79
2025-07-27miri: for ABI mismatch errors, say which argument is the problemRalf Jung-22/+19
2025-07-27Merge pull request #4498 from RalfJung/genmc-buildRalf Jung-42/+1130
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 16:06:56 +0000