about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-07-07add miri tests and a fixmeMaybe Waffle-0/+108
2024-07-07Stacked Borrows: fix PartialEq for StackRalf Jung-2/+10
2024-07-06offset_from intrinsic: always allow pointers to point to the same addressRalf Jung-3/+0
2024-07-06Auto merge of #3698 - folkertdev:sched-setaffinity, r=RalfJungbors-37/+507
2024-07-06Mark format! with must_use hintlukas-8/+8
2024-07-06`sched_setaffinity`: adjust test on BE systemsFolkert-2/+7
2024-07-06`sched_setaffinity`: test `cpusetsize == 0`Folkert-1/+22
2024-07-06lookup c_ulong instead of hard-coding the chunk sizeRalf Jung-57/+58
2024-07-06Merge from rustcThe Miri Cronjob Bot-0/+16
2024-07-06Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-07-05implement `libc::sched_getaffinity` and `libc::sched_setaffinity`Folkert-14/+457
2024-07-05Rollup merge of #127214 - bjorn3:miri_native_unwind, r=oli-obkGuillaume Gomez-0/+16
2024-07-05Merge from rustcThe Miri Cronjob Bot-2/+4
2024-07-05Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-07-04Auto merge of #123781 - RalfJung:miri-fn-identity, r=oli-obkbors-2/+4
2024-07-04Auto merge of #3702 - Mandragorian:multiple_targets, r=RalfJungbors-11/+61
2024-07-04Add casting tests for `f16` and `f128`Trevor Gross-2/+68
2024-07-04Refactor float casting testsTrevor Gross-186/+390
2024-07-04Run tests for all specified targetsKonstantinos Andrikopoulos-11/+61
2024-07-04Auto merge of #3732 - JoJoDeveloping:tree-borrows-protector-end-write, r=Ralf...bors-36/+100
2024-07-04TB: protector end semantics never causes immediate UBJohannes Hostert-2/+5
2024-07-04Add UI test for protector end write semanticsJohannes Hostert-0/+62
2024-07-04TB: Make FnEntry access on protected locations be a write under certain circu...Johannes Hostert-36/+35
2024-07-04Merge from rustcThe Miri Cronjob Bot-10/+19
2024-07-04Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-07-03Auto merge of #125507 - compiler-errors:type-length-limit, r=lcnrbors-1/+1
2024-07-03Auto merge of #3726 - TDecking:vzero, r=RalfJungbors-0/+16
2024-07-03Implement the `_mm256_zeroupper` and `_mm256_zeroall` intrinsicsTobias Decking-0/+16
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-1/+1
2024-07-02Miri function identity hack: account for possible inliningRalf Jung-2/+4
2024-07-02Auto merge of #3707 - adwinwhite:dup, r=RalfJungbors-8/+72
2024-07-02use let-else to avoid rightwards driftRalf Jung-24/+21
2024-07-02Auto merge of #3724 - bjorn3:use_symbol_name_query, r=RalfJungbors-26/+3
2024-07-02Allow _Unwind_RaiseException with MinGWbjorn3-0/+16
2024-07-02Preparing for merge from rustcRalf Jung-1/+1
2024-07-01Use the symbol_name query instead of trying to infer from the link_name attri...bjorn3-26/+3
2024-07-01add syscall `dup()`Adwin White-0/+67
2024-06-29Fix FnMut/Fn shim for coroutine-closures that capture referencesMichael Goulet-9/+18
2024-06-29iter_exported_symbols: also walk used statics in local crateRalf Jung-8/+43
2024-06-29Merge from rustcThe Miri Cronjob Bot-17/+0
2024-06-29Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-06-28Revert "Rollup merge of #126938 - RalfJung:link_section, r=compiler-errors"Rémy Rakic-17/+0
2024-06-28Auto merge of #3718 - RalfJung:readme, r=oli-obkbors-4/+6
2024-06-28readme: tweak wording around soundnessRalf Jung-4/+6
2024-06-28Auto merge of #3717 - rust-lang:rustup-2024-06-28, r=oli-obkbors-7/+4
2024-06-28Bless clippyOli Scherer-6/+3
2024-06-28Auto merge of #3715 - cgettys-microsoft:dev/cgettys/process_id_fixup-01, r=Ra...bors-1/+1
2024-06-28Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2024-06-27Switch to the explicit parens versionCharlie Gettys-1/+1
2024-06-27Relocate GetCurrentProcessId to Environment Related shims, remove unnecessary...Charlie Gettys-5/+5