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
/
const_eval.rs
Age
Commit message (
Expand
)
Author
Lines
2018-11-07
calling the ptr hooks no longer needs expensive preparation, remove the opt-out
Ralf Jung
-1
/
+0
2018-11-05
make ValueVisitor mut-polymorphic
Ralf Jung
-1
/
+1
2018-11-05
generalize the traversal part of validation to a ValueVisitor
Ralf Jung
-3
/
+3
2018-11-02
Rename `Value` to `Immediate` for miri
Oliver Scherer
-4
/
+4
2018-10-29
Assert that promoteds don't fail to be evaluated for being too generic
Oliver Scherer
-1
/
+5
2018-10-29
Auto merge of #55270 - RalfJung:stacked-borrows-ng, r=oli-obk
bors
-20
/
+9
2018-10-28
Auto merge of #54487 - RalfJung:ctfe-backtrace, r=oli-obk
bors
-7
/
+13
2018-10-28
don't tag new memory inside memory.rs; add machine hook to tag new memory
Ralf Jung
-2
/
+11
2018-10-28
rename env var to control ctfe backtraces, and make it usually show the backt...
Ralf Jung
-7
/
+13
2018-10-28
validity in non-const mode relies on ref_to_mplace checking bounds; (de)refer...
Ralf Jung
-25
/
+3
2018-10-28
make (de)reference hooks more consistent
Ralf Jung
-2
/
+4
2018-10-26
Impl items have generics
Oliver Scherer
-0
/
+7
2018-10-26
Auto merge of #53821 - oli-obk:sanity_query, r=RalfJung
bors
-45
/
+141
2018-10-25
Explain how unused constants may still cause a hard error
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
-0
/
+4
2018-10-25
Rebase fallout
Oliver Schneider
-8
/
+5
2018-10-25
Addressed minor issues brought up in review.
Alexander Regueiro
-6
/
+9
2018-10-25
Document error/lint cases in const eval
Oliver Schneider
-1
/
+9
2018-10-25
Explain the `Reveal::UserFacing` deduplication trick
Oliver Schneider
-0
/
+7
2018-10-25
Deduplicate all the ~~things~~ errors
Oliver Schneider
-0
/
+21
2018-10-25
Report const eval error inside the query
Oliver Schneider
-44
/
+100
2018-10-23
fix typos in various places
Matthias Krüger
-1
/
+1
2018-10-18
don't do any work towards ptr provenance in const mode
Ralf Jung
-0
/
+1
2018-10-18
add 'raw reference' to the machine hook, and use that in ptr-to-raw casts
Ralf Jung
-1
/
+1
2018-10-18
also hook dereferencing
Ralf Jung
-9
/
+17
2018-10-18
provide machine hooks for creating references and accessing memory
Ralf Jung
-1
/
+10
2018-10-18
give machine more control over what counts as memory leak
Ralf Jung
-0
/
+8
2018-10-18
add support for storing extra data in an allocation
Ralf Jung
-5
/
+5
2018-10-13
make ENFORCE_VALIDITY a function
Ralf Jung
-1
/
+5
2018-10-13
validate return value on stack pop
Ralf Jung
-4
/
+5
2018-10-10
abstract mono_hash_map through a trait, only miri actually needs the fancy one
Ralf Jung
-2
/
+68
2018-10-10
fix typos
Ralf Jung
-1
/
+1
2018-10-10
rename extra -> meta in place
Ralf Jung
-2
/
+2
2018-10-10
miri engine: basic support for pointer provenance tracking
Ralf Jung
-2
/
+12
2018-10-09
add machine option to validate things on every copy
Ralf Jung
-0
/
+1
2018-10-03
Only promote calls to `#[rustc_promotable]` const fns
Oliver Schneider
-6
/
+0
2018-09-30
do not normalize non-scalar constants to a ConstValue::ScalarPair
Ralf Jung
-3
/
+13
2018-09-20
fix stage 0 compilation
Ralf Jung
-1
/
+2
2018-09-20
move loop detector constants to the module that uses them; make lifetime orde...
Ralf Jung
-10
/
+10
2018-09-20
make some things a bit more private
Ralf Jung
-1
/
+1
2018-09-20
rename evaluator -> interpreter to make eddyb happy
Ralf Jung
-8
/
+8
2018-09-20
move CTFE engine snapshot state out of miri engine into CTFE machine instance
Ralf Jung
-26
/
+76
2018-09-09
miri loop detector hashing: fix enum hashing to also consider discriminant; d...
Ralf Jung
-0
/
+1
2018-09-07
make field always private, add `From` impls
Niko Matsakis
-1
/
+1
2018-09-03
Implement Hash in terms of HashStable for EvalSnapshot
Bruno Dutra
-0
/
+2
2018-08-29
make ptr_op finally reponsible for all ops involving pointers; make ValTy con...
Ralf Jung
-11
/
+7
2018-08-28
first test const-ness, then hook fn call
Ralf Jung
-4
/
+6
2018-08-27
use associated const for machine controlling mutable statics
Ralf Jung
-22
/
+4
2018-08-27
fix handling of unsized types in validation; validate str to be UTF-8
Ralf Jung
-2
/
+2
2018-08-27
validate enum discriminant whenever it is read
Ralf Jung
-1
/
+1
2018-08-27
get rid of FinishStatic hack from stack clenaup; const_eval can do that itself
Ralf Jung
-9
/
+11
[prev]
[next]