2018-10-14 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2018-10-13 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2018-10-13 |
Ralf Jung | run-time validation: accept undef in int arrays, as...
|
commit | commitdiff | tree |
2018-10-13 |
Ralf Jung | address nits
|
commit | commitdiff | tree |
2018-10-13 |
Ralf Jung | validation: accept pointers in integer arrays
|
commit | commitdiff | tree |
2018-10-13 |
Ralf Jung | Fix and test upvar name printing for validity
|
commit | commitdiff | tree |
2018-10-13 |
Ralf Jung | make ENFORCE_VALIDITY a function
|
commit | commitdiff | tree |
2018-10-13 |
Ralf Jung | foreign types: use size and align from layout
|
commit | commitdiff | tree |
2018-10-13 |
Ralf Jung | seems like for generators we cannot access the freevars
|
commit | commitdiff | tree |
2018-10-13 |
Ralf Jung | size_and_align_of can return no result for extern types
|
commit | commitdiff | tree |
2018-10-13 |
Ralf Jung | validate return value on stack pop
|
commit | commitdiff | tree |
2018-10-13 |
Ralf Jung | check return type even for uninhabited case
|
commit | commitdiff | tree |
2018-10-13 |
Ralf Jung | fix validation around transmuting copy_op
|
commit | commitdiff | tree |
2018-10-11 |
Ralf Jung | impl Eq+Hash for TyLayout
|
commit | commitdiff | tree |
2018-10-10 |
Ralf Jung | tidy up
|
commit | commitdiff | tree |
2018-10-10 |
Ralf Jung | add a macro for static assertions
|
commit | commitdiff | tree |
2018-10-10 |
Ralf Jung | vtables are not leaks
|
commit | commitdiff | tree |
2018-10-10 |
Ralf Jung | more comments for these sublte games we are playing...
|
commit | commitdiff | tree |
2018-10-10 |
Ralf Jung | abstract mono_hash_map through a trait, only miri actually...
|
commit | commitdiff | tree |
2018-10-10 |
Ralf Jung | typos and spaces
|
commit | commitdiff | tree |
2018-10-10 |
Ralf Jung | clarify alloc_map description
|
commit | commitdiff | tree |
2018-10-10 |
Ralf Jung | fix typos
|
commit | commitdiff | tree |
2018-10-10 |
Ralf Jung | expand safety comment in memory.rs
|
commit | commitdiff | tree |
2018-10-10 |
Ralf Jung | rename extra -> meta in place
|
commit | commitdiff | tree |
2018-10-10 |
Ralf Jung | expand comment
|
commit | commitdiff | tree |
2018-10-10 |
Ralf Jung | tidy, oh tidy
|
commit | commitdiff | tree |
2018-10-10 |
Ralf Jung | miri engine: basic support for pointer provenance tracking
|
commit | commitdiff | tree |
2018-10-10 |
Ralf Jung | remove a now outdated comment
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | validity: check dynamic size, not static
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | dont fail when validating non-local closures
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | box is also a primitive type
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | add fixme for potential perf optimization
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | fix nits and handling of extern static
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | unify handling of thin and fat pointers by moving primitive...
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | add some tests with constants that better be valid
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | For now, accept all data for integer types when not...
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | tidy up
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | do not look at refs to external statics at all
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | miri engine: also check return type before calling...
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | add machine option to validate things on every copy
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | move a test to a better place
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | also validate everything that has a Scalar layout,...
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | fix validating arrays of ZSTs
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | switch validation of scalars to be type-driven
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | check that entire ref is in-bounds before recursing...
|
commit | commitdiff | tree |
2018-10-09 |
Ralf Jung | miri validity: make recursive ref checking optional
|
commit | commitdiff | tree |
2018-10-08 |
Ralf Jung | it's auto traits that make for automatic implementations
|
commit | commitdiff | tree |
2018-10-02 |
Ralf Jung | move some more tests
|
commit | commitdiff | tree |
2018-09-30 |
Ralf Jung | also compile-fail test fn ptr comparison promotion
|
commit | commitdiff | tree |
2018-09-30 |
Ralf Jung | do not promote comparing function pointers
|
commit | commitdiff | tree |
2018-09-30 |
Ralf Jung | make run-pass tests with empty main just compile-pass...
|
commit | commitdiff | tree |
2018-09-30 |
Ralf Jung | move ScalarMaybeUndef into the miri engine
|
commit | commitdiff | tree |
2018-09-30 |
Ralf Jung | do not normalize non-scalar constants to a ConstValue...
|
commit | commitdiff | tree |
2018-09-29 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2018-09-29 |
Ralf Jung | Revert "Auto merge of #53508 - japaric:maybe-uninit...
|
commit | commitdiff | tree |
2018-09-21 |
Ralf Jung | fix comment
|
commit | commitdiff | tree |
2018-09-21 |
Ralf Jung | clarify write_bytes a bit
|
commit | commitdiff | tree |
2018-09-20 |
Ralf Jung | fix stage 0 compilation
|
commit | commitdiff | tree |
2018-09-20 |
Ralf Jung | unsurprisingly, miri needs tcx
|
commit | commitdiff | tree |
2018-09-20 |
Ralf Jung | move loop detector constants to the module that uses...
|
commit | commitdiff | tree |
2018-09-20 |
Ralf Jung | make some things a bit more private
|
commit | commitdiff | tree |
2018-09-20 |
Ralf Jung | rename evaluator -> interpreter to make eddyb happy
|
commit | commitdiff | tree |
2018-09-20 |
Ralf Jung | move CTFE engine snapshot state out of miri engine...
|
commit | commitdiff | tree |
2018-09-18 |
Ralf Jung | clarify swap
|
commit | commitdiff | tree |
2018-09-17 |
Ralf Jung | miri: correctly compute expected alignment for field
|
commit | commitdiff | tree |
2018-09-17 |
Ralf Jung | rearrange for clarity
|
commit | commitdiff | tree |
2018-09-17 |
Ralf Jung | tweaks
|
commit | commitdiff | tree |
2018-09-17 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2018-09-16 |
Ralf Jung | use mem::zeroed to make up ZST values
|
commit | commitdiff | tree |
2018-09-15 |
Ralf Jung | keep around some information for dead allocations so...
|
commit | commitdiff | tree |
2018-09-11 |
Ralf Jung | Merge pull request #1 from ubsan/ptr-docs
|
commit | commitdiff | tree |
2018-09-09 |
Ralf Jung | miri loop detector hashing: fix enum hashing to also...
|
commit | commitdiff | tree |
2018-09-01 |
Ralf Jung | remark on concurrency in validity section
|
commit | commitdiff | tree |
2018-09-01 |
Ralf Jung | Valid raw pointers
|
commit | commitdiff | tree |
2018-09-01 |
Ralf Jung | make sure we do not copy unsized data
|
commit | commitdiff | tree |
2018-08-31 |
Ralf Jung | fix doctests
|
commit | commitdiff | tree |
2018-08-31 |
Ralf Jung | (un)aligned
|
commit | commitdiff | tree |
2018-08-31 |
Ralf Jung | apply feedback
|
commit | commitdiff | tree |
2018-08-31 |
Ralf Jung | turn ptr type method docs into links to docs of free...
|
commit | commitdiff | tree |
2018-08-30 |
Ralf Jung | fix example
|
commit | commitdiff | tree |
2018-08-30 |
Ralf Jung | fix example
|
commit | commitdiff | tree |
2018-08-30 |
Ralf Jung | improve volatile comments
|
commit | commitdiff | tree |
2018-08-30 |
Ralf Jung | avoid shadowing; fix examples
|
commit | commitdiff | tree |
2018-08-30 |
Ralf Jung | address remaining remarks and add example for dropping...
|
commit | commitdiff | tree |
2018-08-30 |
Ralf Jung | apply comments
|
commit | commitdiff | tree |
2018-08-30 |
Ralf Jung | clarify ZST comment
|
commit | commitdiff | tree |
2018-08-30 |
Ralf Jung | assert sanity in memory
|
commit | commitdiff | tree |
2018-08-29 |
Ralf Jung | fix some uses of pointer intrinsics with invalid pointers
|
commit | commitdiff | tree |
2018-08-29 |
Ralf Jung | clarify that these are preliminary guarantees
|
commit | commitdiff | tree |
2018-08-29 |
Ralf Jung | edit docs a little
|
commit | commitdiff | tree |
2018-08-29 |
Ralf Jung | audit the relocations code, and clean it up a little
|
commit | commitdiff | tree |
2018-08-29 |
Ralf Jung | refactor memory access methods a bit
|
commit | commitdiff | tree |
2018-08-29 |
Ralf Jung | make ptr_op finally reponsible for all ops involving...
|
commit | commitdiff | tree |
2018-08-29 |
Ralf Jung | re-do argument passing one more time to finally be...
|
commit | commitdiff | tree |
2018-08-29 |
Ralf Jung | memory: make getting the alloc for a static an associate...
|
commit | commitdiff | tree |
2018-08-29 |
Ralf Jung | move some Scalar helpers from miri here, and use them...
|
commit | commitdiff | tree |
2018-08-28 |
Ralf Jung | move file-extension based .gitignore down to src/
|
commit | commitdiff | tree |
2018-08-28 |
Ralf Jung | first test const-ness, then hook fn call
|
commit | commitdiff | tree |
2018-08-28 |
Ralf Jung | fix const_prop detecting unary neg underflows
|
commit | commitdiff | tree |
next |