summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2024-03-04Improve wording of static_mut_refObei Sideg-6/+6
2024-02-08[Beta 1.77] Fix bootstrapping from 1.76Eric Huss-1/+1
2024-01-30Remove the lifetime from `DiagnosticArgValue`.Nicholas Nethercote-1/+1
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
2024-01-24refactor extern static handlingRalf Jung-73/+82
2024-01-24disable freeBSD tests for nowRalf Jung-2/+3
2024-01-24Merge from rustcThe Miri Conjob Bot-2/+6
2024-01-24Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-01-23Auto merge of #119044 - RalfJung:intern-without-types, r=oli-obkbors-2/+6
2024-01-23Merge from rustcThe Miri Conjob Bot-2/+9
2024-01-23Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-01-22Revert "Auto merge of #118133 - Urgau:stabilize_trait_upcasting, r=WaffleLapkin"Oli Scherer-2/+9
2024-01-22const-eval interner: from-scratch rewrite using mutability information from p...Ralf Jung-2/+6
2024-01-22update comment about CARGO_MAKEFLAGSRalf Jung-5/+4
2024-01-21update lockfileRalf Jung-2/+2
2024-01-21Merge from rustcThe Miri Conjob Bot-18/+10
2024-01-21Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-01-20Rollup merge of #120150 - Jules-Bertholet:stabilize-round-ties-even, r=cuviperMatthias Krüger-2/+0
2024-01-19Stabilize `round_ties_even`Jules Bertholet-2/+0
2024-01-19Add new intrinsic `is_constant` and optimize `pow`Catherine Flores-0/+27
2024-01-19Rollup merge of #119984 - kpreid:waker-noop, r=dtolnayMatthias Krüger-12/+6
2024-01-19Auto merge of #120121 - matthiaskrgr:rollup-razammh, r=matthiaskrgrbors-2/+2
2024-01-18Remove no-longer-needed `allow(dead_code)` from Miri testsJake Goulding-2/+2
2024-01-19Fix typo in munmap_partial.rsIkko Eltociear Ashimine-1/+1
2024-01-17Remove unnecessary `let`s and borrowing from `Waker::noop()` usage.Kevin Reid-12/+6
2024-01-17Auto merge of #119111 - michaelwoerister:measureme-11, r=Mark-Simulacrumbors-1/+1
2024-01-14fmtThe Miri Conjob Bot-2/+2
2024-01-14Merge from rustcThe Miri Conjob Bot-32/+32
2024-01-14Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-01-13Update measureme crate to version 11Michael Woerister-1/+1
2024-01-13Auto merge of #117285 - joboet:move_platforms_to_pal, r=ChrisDentonbors-32/+32
2024-01-13Merge from rustcThe Miri Conjob Bot-1/+0
2024-01-13Preparing for merge from rustcThe Miri Conjob Bot-1/+1
2024-01-12Revert "Auto merge of #118568 - DianQK:no-builtins-symbols, r=pnkfelix"DianQK-1/+0
2024-01-12update paths in commentsjoboet-2/+2
2024-01-11std: update miri testsjoboet-28/+28
2024-01-11miri: update reference to PAL module on Windowsjoboet-2/+2