| 2018-11-19 |
Ralf Jung | Make const_eval_raw query return just an AllocId
|
commit | commitdiff | tree |
| 2018-11-17 |
Ralf Jung | add comment explaining why what we do is legal
|
commit | commitdiff | tree |
| 2018-11-17 |
Ralf Jung | erase the tag on casts involving (raw) pointers
|
commit | commitdiff | tree |
| 2018-11-16 |
Ralf Jung | avoid shared ref in UnsafeCell::get
|
commit | commitdiff | tree |
| 2018-11-16 |
Ralf Jung | adjust remaining tests
|
commit | commitdiff | tree |
| 2018-11-16 |
Ralf Jung | CTFE: dynamically make sure we do not call non-const-fn
|
commit | commitdiff | tree |
| 2018-11-15 |
Ralf Jung | fix other affected tests
|
commit | commitdiff | tree |
| 2018-11-15 |
Ralf Jung | do not accept out-of-bounds pointers in enum discriminants...
|
commit | commitdiff | tree |
| 2018-11-15 |
Ralf Jung | validation: better error when the enum discriminant...
|
commit | commitdiff | tree |
| 2018-11-15 |
Ralf Jung | rename FrameInfo span field to call_site
|
commit | commitdiff | tree |
| 2018-11-15 |
Ralf Jung | miri value visitor: provide place when visiting a primitive
|
commit | commitdiff | tree |
| 2018-11-15 |
Ralf Jung | expose MutValueVisitor
|
commit | commitdiff | tree |
| 2018-11-14 |
Ralf Jung | put file and line into miri backtrace
|
commit | commitdiff | tree |
| 2018-11-14 |
Ralf Jung | prettier miri backtrace printing
|
commit | commitdiff | tree |
| 2018-11-14 |
Ralf Jung | miri: backtraces with instances
|
commit | commitdiff | tree |
| 2018-11-12 |
Ralf Jung | remove unused import
|
commit | commitdiff | tree |
| 2018-11-12 |
Ralf Jung | global allocators: add a few comments
|
commit | commitdiff | tree |
| 2018-11-12 |
Ralf Jung | for uniformity, also move memory_deallocated to AllocationExtra
|
commit | commitdiff | tree |
| 2018-11-11 |
Ralf Jung | do not skip return code check in release builds
|
commit | commitdiff | tree |
| 2018-11-11 |
Ralf Jung | do not panic just because cargo failed
|
commit | commitdiff | tree |
| 2018-11-11 |
Ralf Jung | Unix RwLock: avoid racy access to write_locked
|
commit | commitdiff | tree |
| 2018-11-07 |
Ralf Jung | comment
|
commit | commitdiff | tree |
| 2018-11-07 |
Ralf Jung | drop glue works with raw ptrs, it must EscapeToRaw
|
commit | commitdiff | tree |
| 2018-11-07 |
Ralf Jung | only count deref_operand as actual deref, but not all...
|
commit | commitdiff | tree |
| 2018-11-07 |
Ralf Jung | array index accesses are stable places
|
commit | commitdiff | tree |
| 2018-11-07 |
Ralf Jung | calling the ptr hooks no longer needs expensive preparation...
|
commit | commitdiff | tree |
| 2018-11-07 |
Ralf Jung | no more action on ref or cast, but add new MIR statement...
|
commit | commitdiff | tree |
| 2018-11-07 |
Ralf Jung | test diagnostics for more ranges
|
commit | commitdiff | tree |
| 2018-11-07 |
Ralf Jung | pretty-print scalar range that only has an upper bound
|
commit | commitdiff | tree |
| 2018-11-07 |
Ralf Jung | do not print wrapping ranges like normal ranges in...
|
commit | commitdiff | tree |
| 2018-11-06 |
Ralf Jung | impl_stable_hash_for: support enums and tuple structs...
|
commit | commitdiff | tree |
| 2018-11-06 |
Ralf Jung | make sure we only guess field alignment at offset 0
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | add method to obtain the ptr offset of a Scalar
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | walk_value: more tracing
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | note some FIXMEs
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | make it more obvious that the size is not relevant
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | proide ptr_wrapping_offset on Scalars
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | make ValueVisitor mut-polymorphic
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | machine hooks for ptr (de)ref also need layout, and...
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | FIXME
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | visit_aggregate with an iterator; fix some comment...
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | the visitor can already load the value for visit_primitive
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | all values can convert to operators
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | finally this actually looks like a visitor
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | use more traditional walk_array/visit_array instead...
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | converting a VisitorValue to a MemPlace must not mutate...
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | Also test for undef in enum discriminant
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | fix validation error on non-integer enum discriminants
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | let the Value handle enum projections, so the visitor...
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | provide some default implementations
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | add visit() hook to the trait
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | fix for pre-NLL rustc
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | also allow visiting places and mplaces
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | reduce the amount of traversal/projection code that...
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | generalize the traversal part of validation to a ValueVisitor
|
commit | commitdiff | tree |
| 2018-11-05 |
Ralf Jung | miri: binary_op_val -> binary_op_imm
|
commit | commitdiff | tree |
| 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-11-02 |
Ralf Jung | Rename `Value` to `Immediate` in docs
|
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 | preserve const eval error information through trait...
|
commit | commitdiff | tree |
| 2018-10-25 |
Ralf Jung | add the lint back to the list, and fix tests
|
commit | commitdiff | tree |
| 2018-10-25 |
Ralf Jung | fix ui tests (rebase fallout)
|
commit | commitdiff | tree |
| 2018-10-25 |
Ralf Jung | for now, just use NULL ptr for unsized locals
|
commit | commitdiff | tree |
| 2018-10-25 |
Ralf Jung | fix a test comment
|
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 |
| next |
projects / rust.git / search