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
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
librustc_mir
/
interpret
/
memory.rs
Age
Commit message (
Expand
)
Author
Lines
2018-10-23
fix typos in various places
Matthias Krüger
-3
/
+3
2018-10-21
Rename alloc_map_ref to alloc_map
bjorn3
-1
/
+1
2018-10-21
Add alloc_map accessor
bjorn3
-0
/
+5
2018-10-18
Forward entire ptr used for dealloaction to machine
Ralf Jung
-2
/
+2
2018-10-18
provide machine hooks for creating references and accessing memory
Ralf Jung
-8
/
+14
2018-10-18
give machine more control over what counts as memory leak
Ralf Jung
-8
/
+13
2018-10-18
add support for storing extra data in an allocation
Ralf Jung
-15
/
+9
2018-10-13
run-time validation: accept undef in int arrays, as we do for ints
Ralf Jung
-4
/
+4
2018-10-13
address nits
Ralf Jung
-0
/
+1
2018-10-13
validation: accept pointers in integer arrays
Ralf Jung
-1
/
+23
2018-10-10
tidy up
Ralf Jung
-1
/
+6
2018-10-10
vtables are not leaks
Ralf Jung
-4
/
+9
2018-10-10
more comments for these sublte games we are playing with allocations in the m...
Ralf Jung
-28
/
+36
2018-10-10
abstract mono_hash_map through a trait, only miri actually needs the fancy one
Ralf Jung
-35
/
+42
2018-10-10
typos and spaces
Ralf Jung
-1
/
+1
2018-10-10
clarify alloc_map description
Ralf Jung
-4
/
+6
2018-10-10
expand safety comment in memory.rs
Ralf Jung
-0
/
+4
2018-10-10
expand comment
Ralf Jung
-0
/
+2
2018-10-10
miri engine: basic support for pointer provenance tracking
Ralf Jung
-178
/
+237
2018-10-09
fix nits and handling of extern static
Ralf Jung
-14
/
+23
2018-10-09
check that entire ref is in-bounds before recursing; add macro for validation...
Ralf Jung
-5
/
+10
2018-10-02
Update a FIXME in memory.rs
Wesley Wiser
-1
/
+1
2018-09-30
move ScalarMaybeUndef into the miri engine
Ralf Jung
-2
/
+2
2018-09-20
make some things a bit more private
Ralf Jung
-1
/
+2
2018-09-20
move CTFE engine snapshot state out of miri engine into CTFE machine instance
Ralf Jung
-10
/
+29
2018-09-15
keep around some information for dead allocations so that we can use it to ma...
Ralf Jung
-5
/
+46
2018-09-08
Auto merge of #53903 - GabrielMajeri:opt-miri-array-slice, r=oli-obk
bors
-14
/
+8
2018-09-08
Optimize miri checking of integer array/slices
Gabriel Majeri
-14
/
+8
2018-09-03
Impl Eq and PartialEq for EvalSnapshot in terms of the Snapshot trait
Bruno Dutra
-21
/
+0
2018-09-03
Implement Hash in terms of HashStable for EvalSnapshot
Bruno Dutra
-33
/
+1
2018-09-01
bug! instead of panic!
csmoe
-1
/
+1
2018-09-01
improve panic message
csmoe
-1
/
+1
2018-08-31
extract allocation info from byref
csmoe
-4
/
+7
2018-08-30
assert sanity in memory
Ralf Jung
-5
/
+4
2018-08-29
audit the relocations code, and clean it up a little
Ralf Jung
-22
/
+42
2018-08-29
refactor memory access methods a bit
Ralf Jung
-40
/
+47
2018-08-29
memory: make getting the alloc for a static an associate function for easier ...
Ralf Jung
-42
/
+42
2018-08-29
move some Scalar helpers from miri here, and use them where appropriate
Ralf Jung
-19
/
+15
2018-08-27
use associated const for machine controlling mutable statics
Ralf Jung
-29
/
+24
2018-08-27
get rid of FinishStatic hack from stack clenaup; const_eval can do that itself
Ralf Jung
-16
/
+5
2018-08-27
allow Machine to hook into foreign statics; remove unused HasMemory trait
Ralf Jung
-61
/
+52
2018-08-27
Miri Memory Work
Ralf Jung
-154
/
+114
2018-08-23
Fixed multi-line function signatures
Bernardo Meurer
-2
/
+6
2018-08-23
Small style fixes
Bernardo Meurer
-3
/
+3
2018-08-23
Fixup long code lines
Bernardo Meurer
-12
/
+35
2018-08-23
Reflow and fixup comments
Bernardo Meurer
-11
/
+18
2018-08-23
Add license header to CTFE/MIRI
Bernardo Meurer
-0
/
+10
2018-08-22
avoid some redundant alignment checks
Ralf Jung
-7
/
+18
2018-08-22
optimize validation iterating over the elements of an array
Ralf Jung
-16
/
+11
2018-08-22
finally remove all traces of signs from memory
Ralf Jung
-11
/
+7
[next]