about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-02-11fmtThe Miri Conjob Bot-2/+8
2024-02-11Merge from rustcThe Miri Conjob Bot-3/+3
2024-02-11Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-02-11Rollup merge of #120882 - RalfJung:set-discriminant, r=compiler-errorsMatthias Krüger-0/+51
2024-02-10Factor out the redundancy between `test_mmap` and `test_mmap64`.Dan Gohman-127/+24
2024-02-10validation: descend from consts into staticsRalf Jung-3/+3
2024-02-10interpret/write_discriminant: when encoding niched variant, ensure the stored...Ralf Jung-0/+51
2024-02-10fmtThe Miri Conjob Bot-1/+1
2024-02-10Merge from rustcThe Miri Conjob Bot-3/+7
2024-02-10Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-02-09Auto merge of #120676 - Mark-Simulacrum:bootstrap-bump, r=clubby789bors-1/+1
2024-02-09Rollup merge of #120693 - nnethercote:invert-diagnostic-lints, r=davidtwcoMatthias Krüger-2/+6
2024-02-08Step all bootstrap cfgs forwardMark Rousskov-1/+1
2024-02-08fmtThe Miri Conjob Bot-3/+2
2024-02-08Merge from rustcThe Miri Conjob Bot-23/+87
2024-02-08Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-02-07Update testsr0cky-0/+12
2024-02-06Rollup merge of #120683 - RalfJung:symbolic-alignment-ice, r=oli-obkMatthias Krüger-23/+75
2024-02-06miri: fix ICE with symbolic alignment check on extern staticRalf Jung-23/+75
2024-02-06Merge from rustcThe Miri Conjob Bot-2/+22
2024-02-06Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-02-06Invert diagnostic lints.Nicholas Nethercote-2/+6
2024-02-05Auto merge of #117372 - Amanieu:stdarch_update, r=Mark-Simulacrumbors-2/+2
2024-02-04Stop recommending cargo clean in READMETommi Virtanen-5/+2
2024-02-03Auto merge of #2956 - oli-obk:atty, r=RalfJungbors-108/+27
2024-02-02miri: normalize struct tail in ABI compat checkLukas Markeffsky-0/+20
2024-01-31Auto merge of #3283 - devnexen:fbsd_affinity, r=oli-obkbors-13/+22
2024-01-31fmtThe Miri Conjob Bot-4/+1
2024-01-31Merge from rustcThe Miri Conjob Bot-1/+17
2024-01-31Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-01-30add num_cpus testDavid Carlier-2/+3
2024-01-30Implement the `mmap64` foreign item.Dan Gohman-2/+122
2024-01-30Switch over to rustc's `tracing` crate instead of using our own `log` crateOli Scherer-108/+27
2024-01-30Remove the lifetime from `DiagnosticArgValue`.Nicholas Nethercote-1/+1
2024-01-30Update feature names for new stdarchAmanieu d'Antras-2/+2
2024-01-29moving out sched_getaffinity interception from linux'shim, FreeBSD supporting...David Carlier-11/+19
2024-01-29Auto merge of #120451 - RalfJung:miri, r=RalfJungbors-172/+235
2024-01-28Auto merge of #3181 - devnexen:stat_calls_fbsd, r=RalfJungbors-41/+118
2024-01-28tweak commentsRalf Jung-2/+2
2024-01-27fix typo in operator.rsRalf Jung-1/+1
2024-01-26interpret: project_downcast: do not ICE for uninhabited variantsRalf Jung-0/+16
2024-01-26alidate the operand passed to is_val_statically_knownRalf Jung-1/+2
2024-01-26fmtThe Miri Conjob Bot-3/+5
2024-01-26Merge from rustcThe Miri Conjob Bot-2/+115
2024-01-26Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-01-25Auto merge of #3233 - RalfJung:trophy, r=RalfJungbors-0/+1
2024-01-25Auto merge of #119911 - NCGThompson:is-statically-known, r=oli-obkbors-0/+27
2024-01-24Auto merge of #118336 - saethlin:const-to-op-cache, r=RalfJungbors-2/+88
2024-01-24a bit of refactoring for find_mir_or_eval_fnRalf Jung-43/+15
2024-01-24add __cxa_thread_atexit_impl on freebsdRalf Jung-0/+1