about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-11-13Merge pull request #3939 from tiif/blockeventfdOli Scherer-109/+491
2024-11-13Implement blocking eventfdtiif-109/+491
2024-11-12Renamed this to ecxYoh Deadfall-34/+31
2024-11-11Renamed this arguments to ecxYoh Deadfall-383/+382
2024-11-11stacked borrows tests: add those that fail under TBRalf Jung-2/+38
2024-11-11typoRalf Jung-3/+3
2024-11-11sync support: dont implicitly clone inside the general sync machineryRalf Jung-38/+64
2024-11-11Merge pull request #4002 from tiif/leakythreadRalf Jung-86/+109
2024-11-11Remove MutexID listtiif-86/+111
2024-11-10Preparing for merge from rustcRalf Jung-1/+1
2024-11-10fix linux-futex test being accidentally disabledRalf Jung-3/+2
2024-11-10store futexes in per-allocation data rather than globallyRalf Jung-55/+122
2024-11-10Merge from rustcRalf Jung-22/+26
2024-11-10Preparing for merge from rustcRalf Jung-1/+1
2024-11-09Pass TyCtxt instead of Queries to the after_analysis callbacksbjorn3-44/+38
2024-11-09make return type of get_alloc_info a struct, and reduce some code duplication...Ralf Jung-20/+20
2024-11-09Merge pull request #4020 from RalfJung/thread-sopeRalf Jung-0/+24
2024-11-09interpret: get_alloc_info: also return mutabilityRalf Jung-7/+7
2024-11-09pthread-sync: avoid confusing error when running with preemptionRalf Jung-0/+24
2024-11-09Merge from rustcThe Miri Cronjob Bot-1/+25
2024-11-09Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-11-08Merge pull request #4004 from YohDeadfall/thread-name-ice-fixRalf Jung-109/+192
2024-11-08Get/set thread name shims return errors for invalid handlesYoh Deadfall-109/+192
2024-11-08remove support for rustc_safe_intrinsic attribute; use rustc_intrinsic functi...Ralf Jung-1/+1
2024-11-07Renamed ecx variales to thisYoh Deadfall-36/+36
2024-11-04miri: update ABI compat checks to accept Option-like typesRalf Jung-0/+24
2024-11-03Merge from rustcThe Miri Cronjob Bot-1/+1
2024-11-03Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-11-02Auto merge of #125579 - Noratrieb:print-host, r=davidtwcobors-1/+1
2024-11-02teach clippy about IeeeFloat, and make all 'allow' into 'expect'Ralf Jung-39/+28
2024-11-02Merge from rustcRalf Jung-486/+523
2024-11-02Preparing for merge from rustcRalf Jung-1/+1
2024-11-02Rename target triple to target tuple in many places in the compilerNoratrieb-1/+1
2024-11-02miri: Directly use rustc_abiJubilee Young-485/+526
2024-11-01Add benchmark showing effectivity of subtree skippingJohannes Hostert-0/+23
2024-10-31silence clippyRalf Jung-0/+2
2024-10-31fmtThe Miri Cronjob Bot-1/+1
2024-10-31Merge from rustcThe Miri Cronjob Bot-9/+20
2024-10-31Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-10-31Merge pull request #4003 from YohDeadfall/windows-shim-typoBen Kimock-1/+1
2024-10-31Fixed a typo in the GetThreadDescription shimYoh Deadfall-1/+1
2024-10-30Merge pull request #4000 from noahmbright/futexRalf Jung-4/+18
2024-10-30Change futex_wait errno from Scalar to IoErrorNoah Bright-4/+18
2024-10-30Merge from rustcThe Miri Cronjob Bot-1/+1
2024-10-30Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-10-29miri: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-9/+20
2024-10-29Rollup merge of #132233 - WaffleLapkin:box-module-split, r=workingjubileeJubilee-1/+1
2024-10-28Bless a miri testMaybe Lapkin-1/+1
2024-10-28Merge pull request #3998 from RalfJung/contribOli Scherer-8/+19
2024-10-28contributing guide: mention expectations around force pushes and squashingRalf Jung-8/+19