2018-11-04 |
Ralf Jung | also test with PhantomData
|
commit | commitdiff | tree |
2018-11-04 |
Ralf Jung | test for offset and alignment of the sized part, instead...
|
commit | commitdiff | tree |
2018-11-04 |
Ralf Jung | miri: accept extern types in structs if they are the...
|
commit | commitdiff | tree |
2018-10-29 |
Ralf Jung | the memory_deallocated hook can make good use of knowing...
|
commit | commitdiff | tree |
2018-10-29 |
Ralf Jung | provide mutable borrows when hooking memory write access
|
commit | commitdiff | tree |
2018-10-29 |
Ralf Jung | let create_ref take a mutability, and leave it to step...
|
commit | commitdiff | tree |
2018-10-29 |
Ralf Jung | fix nits
|
commit | commitdiff | tree |
2018-10-29 |
Ralf Jung | all hail tidy
|
commit | commitdiff | tree |
2018-10-29 |
Ralf Jung | don't forget to sync these flags with miri
|
commit | commitdiff | tree |
2018-10-29 |
Ralf Jung | make inliner remove the fn_entry flag on Retag statements
|
commit | commitdiff | tree |
2018-10-29 |
Ralf Jung | Remove validation test cases; add retagging test case
|
commit | commitdiff | tree |
2018-10-29 |
Ralf Jung | Emit Retag statements, kill Validate statements
|
commit | commitdiff | tree |
2018-10-28 |
Ralf Jung | don't be too perf-greedy
|
commit | commitdiff | tree |
2018-10-28 |
Ralf Jung | don't tag new memory inside memory.rs; add machine...
|
commit | commitdiff | tree |
2018-10-28 |
Ralf Jung | always print backtrace when CTFE_BACKTRACE is set
|
commit | commitdiff | tree |
2018-10-28 |
Ralf Jung | remove some unused CTFE error variants
|
commit | commitdiff | tree |
2018-10-28 |
Ralf Jung | rename env var to control ctfe backtraces, and make...
|
commit | commitdiff | tree |
2018-10-28 |
Ralf Jung | make memory private; that's what we have `memory_mut...
|
commit | commitdiff | tree |
2018-10-28 |
Ralf Jung | validity in non-const mode relies on ref_to_mplace...
|
commit | commitdiff | tree |
2018-10-28 |
Ralf Jung | make (de)reference hooks more consistent
|
commit | commitdiff | tree |
2018-10-26 |
Ralf Jung | validity: assert that unions are non-empty
|
commit | commitdiff | tree |
2018-10-25 |
Ralf Jung | Remove is_null
|
commit | commitdiff | tree |
2018-10-25 |
Ralf Jung | Operands no longer appear in places
|
commit | commitdiff | tree |
2018-10-20 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
2018-10-18 |
Ralf Jung | turn casts-to-raw into a proper raw-reborrow; that...
|
commit | commitdiff | tree |
2018-10-18 |
Ralf Jung | don't do any work towards ptr provenance in const mode
|
commit | commitdiff | tree |
2018-10-18 |
Ralf Jung | the tidy strikes again
|
commit | commitdiff | tree |
2018-10-18 |
Ralf Jung | add 'raw reference' to the machine hook, and use that...
|
commit | commitdiff | tree |
2018-10-18 |
Ralf Jung | miri: debug! print when we are leaving/entering a function
|
commit | commitdiff | tree |
2018-10-18 |
Ralf Jung | Forward entire ptr used for dealloaction to machine
|
commit | commitdiff | tree |
2018-10-18 |
Ralf Jung | repeat after me: Clone, Copy, Debug
|
commit | commitdiff | tree |
2018-10-18 |
Ralf Jung | also hook dereferencing
|
commit | commitdiff | tree |
2018-10-18 |
Ralf Jung | eval_context: move getters together and add one for...
|
commit | commitdiff | tree |
2018-10-18 |
Ralf Jung | provide machine hooks for creating references and accessing...
|
commit | commitdiff | tree |
2018-10-18 |
Ralf Jung | give machine more control over what counts as memory...
|
commit | commitdiff | tree |
2018-10-18 |
Ralf Jung | add support for storing extra data in an allocation
|
commit | commitdiff | tree |
2018-10-18 |
Ralf Jung | comment on keeping validity in sync
|
commit | commitdiff | tree |
2018-10-17 |
Ralf Jung | layout should not affect CTFE checks (outside of validation)
|
commit | commitdiff | tree |
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-09 |
Jorge Aparicio | fix tidy
|
commit | commitdiff | tree |
2018-10-09 |
Jorge Aparicio | gdb_rust_pretty_printing: adapt to the changes in the...
|
commit | commitdiff | tree |
2018-10-09 |
Jorge Aparicio | address RalfJung's comment
|
commit | commitdiff | tree |
2018-10-09 |
Jorge Aparicio | alloc: fix deprecated warnings
|
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 |
Jorge Aparicio | the test requires unwinding so we don't run it on the...
|
commit | commitdiff | tree |
2018-09-30 |
Jorge Aparicio | add codegen test
|
commit | commitdiff | tree |
2018-09-30 |
Jorge Aparicio | make the nil-enum test work again
|
commit | commitdiff | tree |
2018-09-30 |
Jorge Aparicio | adapt to change in Session API
|
commit | commitdiff | tree |
2018-09-30 |
Jorge Aparicio | allow dead_code
|
commit | commitdiff | tree |
2018-09-30 |
Jorge Aparicio | add empty enum to the test cases
|
commit | commitdiff | tree |
2018-09-30 |
Jorge Aparicio | improve the run-pass test
|
commit | commitdiff | tree |
next |