index
:
rust
this commit
auto
automation/bors/try
automation/bors/try-merge
beta
cargo_update
lcnr/rustc-dev-guide
master
perf-tmp
stable
try
try-perf
https://github.com/rust-lang/rust
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
compiler
/
rustc_const_eval
/
src
/
interpret
/
terminator.rs
Age
Commit message (
Expand
)
Author
Lines
2023-03-29
Support TLS access into dylibs on Windows
John Kåre Alsaker
-0
/
+1
2023-03-27
Add a builtin `FnPtr` trait
lcnr
-0
/
+1
2023-03-24
miri: fix raw pointer dyn receivers
Ralf Jung
-1
/
+9
2023-03-16
Tweak implementation of overflow checking assertions
Tomasz Miąsko
-6
/
+2
2023-03-07
Remove DropAndReplace terminator
Giacomo Pasini
-5
/
+1
2023-02-24
Rename many interner functions.
Nicholas Nethercote
-1
/
+2
2023-02-21
Auto merge of #107728 - RalfJung:miri-dyn-star, r=RalfJung,oli-obk
bors
-38
/
+69
2023-02-20
Revert most of the custom place computation, it was unnecessary.
Oli Scherer
-15
/
+10
2023-02-20
Remove commented out code
Oli Scherer
-2
/
+0
2023-02-20
Deduplicate some logic between dyn* and dyn
Oli Scherer
-46
/
+37
2023-02-20
basic dyn* support for Miri
Ralf Jung
-40
/
+87
2023-02-18
Rename checked_binop_checks_overflow.
Camille GILLOT
-1
/
+1
2023-02-18
Adapt interpreter.
Camille GILLOT
-1
/
+1
2023-02-18
Fix CTFE interpreter.
Camille GILLOT
-1
/
+1
2023-02-18
Adapt interpreter.
Camille GILLOT
-1
/
+7
2023-01-17
Remove double spaces after dots in comments
Maybe Waffle
-4
/
+4
2022-12-21
Don't run `Drop` terminators on types that do not have drop glue in const eval
Jakob Degen
-3
/
+12
2022-12-09
Remove unneeded field from `SwitchTargets`
Jakob Degen
-2
/
+1
2022-10-20
interpret: remove an incorrect assertion
Ralf Jung
-1
/
+0
2022-09-03
Add a Machine hook for inline assembly
Ben Kimock
-2
/
+11
2022-08-31
Fix a bunch of typo
Dezhi Wu
-2
/
+2
2022-08-27
Auto merge of #100999 - nnethercote:shrink-FnAbi, r=bjorn3
bors
-6
/
+4
2022-08-26
make read_immediate error immediately on uninit, so ImmTy can carry initializ...
Ralf Jung
-2
/
+1
2022-08-26
Move `ArgAbi::pad_i32` into `PassMode::Cast`.
Nicholas Nethercote
-4
/
+2
2022-08-26
Turn `ArgAbi::pad` into a `bool`.
Nicholas Nethercote
-1
/
+1
2022-08-26
Box `CastTarget` within `PassMode`.
Nicholas Nethercote
-2
/
+2
2022-07-30
interpret: only consider 1-ZST when searching for receiver
Ralf Jung
-1
/
+3
2022-07-26
Rollup merge of #99673 - RalfJung:interpret-invalid-dyn, r=oli-obk
Yuki Okushi
-2
/
+2
2022-07-24
don't ICE on invalid dyn calls
Ralf Jung
-2
/
+2
2022-07-23
now we can make scalar_to_ptr a method on Scalar
Ralf Jung
-1
/
+1
2022-07-22
interpret: fix vtable check debug assertion
Ralf Jung
-2
/
+1
2022-07-20
detect bad vptrs on dyn calls
Ralf Jung
-15
/
+46
2022-07-20
consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable)
Ralf Jung
-1
/
+1
2022-07-20
make use of symbolic vtables in interpreter
Ralf Jung
-5
/
+11
2022-07-19
interpret: rename Tag/PointerTag to Prov/Provenance
Ralf Jung
-7
/
+7
2022-07-18
interpret: make some large types not Copy
Ralf Jung
-2
/
+2
2022-07-14
rename MPlaceTy::dangling to fake_alloc_zst
Ralf Jung
-1
/
+1
2022-07-13
get rid of MemPlaceMeta::Poison
Ralf Jung
-4
/
+2
2022-07-11
interpret: refactor projection handling code
Ralf Jung
-1
/
+1
2022-07-06
deduplicate some copy_op code
Ralf Jung
-1
/
+1
2022-07-06
support passing unsized fn arguments
Ralf Jung
-3
/
+33
2022-06-05
interpret: do not claim UB until we looked more into variadic functions
Ralf Jung
-6
/
+1
2022-05-25
Miri call ABI check: ensure type size+align stay the same
Ralf Jung
-1
/
+8
2022-05-23
Refactor call terminator to always hold a destination place
Jakob Degen
-18
/
+31
2022-05-16
Add a query for checking whether a function is an intrinsic.
Oli Scherer
-2
/
+2
2022-04-07
interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internal
Ralf Jung
-1
/
+1
2022-04-05
Auto merge of #94527 - oli-obk:undef_scalars, r=nagisa,erikdesjardin
bors
-2
/
+5
2022-04-05
Mark scalar layout unions so that backends that do not support partially init...
Oli Scherer
-2
/
+5
2022-04-03
interpret: remove MemoryExtra in favor of giving access to the Machine
Ralf Jung
-1
/
+1
2022-03-30
Spellchecking some comments
Yuri Astrakhan
-1
/
+1
[next]