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
/
src
/
librustc
/
mir
/
interpret
/
value.rs
Age
Commit message (
Expand
)
Author
Lines
2019-04-16
Miri: refactor new allocation tagging
Ralf Jung
-16
/
+18
2019-03-16
Revert the `LazyConst` PR
Oliver Scherer
-1
/
+7
2019-03-13
Use derive macro for HashStable
John Kåre Alsaker
-3
/
+6
2019-03-05
Add ConstValue::Param and ConstValue::Infer
varkor
-1
/
+9
2019-02-16
Reintroduce the invariant comment for clarity
Oliver Scherer
-0
/
+1
2019-02-16
Reuse the `Pointer` type instead of passing reassembling it at many use sites
Oliver Scherer
-3
/
+2
2019-02-10
rustc: doc comments
Alexander Regueiro
-7
/
+8
2019-02-05
move librustc to 2018
Mark Mansi
-1
/
+1
2019-01-30
Swap the names of `LocalValue` and `LocalState`
Oliver Scherer
-1
/
+1
2019-01-27
`ConstValue::ScalarPair` only needs to represent slices
Oliver Scherer
-15
/
+9
2019-01-27
Add some size assertions for const eval types
Oliver Scherer
-0
/
+6
2019-01-05
Rollup merge of #57314 - wiktorkuchta:master, r=Centril
kennytm
-1
/
+1
2019-01-03
Fix repeated word typos
Wiktor Kuchta
-1
/
+1
2019-01-01
Move the `Unevaluated` constant arm upwards in the type structure
Oliver Scherer
-9
/
+1
2018-12-25
Remove licenses
Mark Rousskov
-10
/
+0
2018-12-13
Auto merge of #56461 - oli-obk:alloc_ids, r=RalfJung
bors
-1
/
+1
2018-12-03
s/AllocType/AllocKind/
Oliver Scherer
-1
/
+1
2018-12-03
provide a way to replace the tag in a Scalar/MemPlace
Ralf Jung
-0
/
+8
2018-11-19
Make const_eval_raw query return just an AllocId
Ralf Jung
-3
/
+12
2018-11-08
Move ScalarMaybeUndef into `value.rs`
Oliver Scherer
-0
/
+128
2018-11-05
add method to obtain the ptr offset of a Scalar
Ralf Jung
-0
/
+13
2018-11-05
proide ptr_wrapping_offset on Scalars
Ralf Jung
-7
/
+22
2018-11-05
fix validation error on non-integer enum discriminants
Ralf Jung
-1
/
+10
2018-11-04
rustc_target: pass contexts by reference, not value.
Eduard-Mihai Burtescu
-20
/
+20
2018-10-25
Remove is_null
Ralf Jung
-9
/
+1
2018-10-10
typos and spaces
Ralf Jung
-2
/
+2
2018-10-10
miri engine: basic support for pointer provenance tracking
Ralf Jung
-24
/
+44
2018-10-03
A handful of cleanups for rustc/mir
ljedrz
-2
/
+2
2018-09-30
move ScalarMaybeUndef into the miri engine
Ralf Jung
-93
/
+0
2018-09-30
do not normalize non-scalar constants to a ConstValue::ScalarPair
Ralf Jung
-6
/
+9
2018-09-08
Auto merge of #53903 - GabrielMajeri:opt-miri-array-slice, r=oli-obk
bors
-1
/
+1
2018-09-08
Optimize miri checking of integer array/slices
Gabriel Majeri
-1
/
+1
2018-09-03
Make vaious allocation related types generic on the allocation id
Bruno Dutra
-4
/
+4
2018-08-29
move some Scalar helpers from miri here, and use them where appropriate
Ralf Jung
-1
/
+96
2018-08-27
dedicated handling for binops on bool and char (UB if they are not valid)
Ralf Jung
-6
/
+19
2018-08-27
Miri Memory Work
Ralf Jung
-3
/
+81
2018-08-23
Add license header to CTFE/MIRI
Bernardo Meurer
-0
/
+10
2018-08-22
optimize creating a stack frame
Ralf Jung
-0
/
+2
2018-08-22
better error message when using NULL in to_ptr
Ralf Jung
-1
/
+2
2018-08-22
finally remove all traces of signs from memory
Ralf Jung
-1
/
+1
2018-08-22
miri/CTFE refactor
Ralf Jung
-123
/
+77
2018-08-19
Fix typos found by codespell.
Matthias Krüger
-1
/
+1
2018-08-03
Unify API of `Scalar` and `ScalarMaybeUndef`
Oliver Schneider
-2
/
+6
2018-08-02
Second field of ScalarPair can be undef in some cases
Oliver Schneider
-6
/
+5
2018-08-01
Address behaviour changing review comments
Oliver Schneider
-18
/
+0
2018-08-01
Address stylistic review comments and rebase fallout
Oliver Schneider
-3
/
+6
2018-08-01
Reintroduce `Undef` and properly check constant value sizes
Oliver Schneider
-85
/
+115
2018-07-03
Update outdated comment: ByVal -> Scalar.
Zach Wolfe
-2
/
+2
2018-06-28
Merge `ConstVal` and `ConstValue`
Oliver Schneider
-2
/
+10
2018-06-28
Fixup
Oliver Schneider
-8
/
+0
[next]