| 2018-12-19 |
Ralf Jung | miri: allocation is infallible
|
commit | commitdiff | tree |
| 2018-12-11 |
Ralf Jung | bump backtrace version to get prettier pretty-printing
|
commit | commitdiff | tree |
| 2018-12-11 |
Ralf Jung | miri: use backtrace crate printing instead of rolling...
|
commit | commitdiff | tree |
| 2018-12-11 |
Ralf Jung | use an enum instead of bool
|
commit | commitdiff | tree |
| 2018-12-09 |
Ralf Jung | avoid as_leaf_mut asserting exclusive access
|
commit | commitdiff | tree |
| 2018-12-09 |
Ralf Jung | fix BTree creating shared references that are not entirely...
|
commit | commitdiff | tree |
| 2018-12-08 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2018-12-07 |
Ralf Jung | update vergen
|
commit | commitdiff | tree |
| 2018-12-07 |
Ralf Jung | Drain only needs a shared reference
|
commit | commitdiff | tree |
| 2018-12-07 |
Ralf Jung | VecDeque::drain: make sure the 'drain' raw pointer...
|
commit | commitdiff | tree |
| 2018-12-07 |
Ralf Jung | Unique/NonNull::from: make sure we convert to raw pointers...
|
commit | commitdiff | tree |
| 2018-12-03 |
Ralf Jung | improve wording
|
commit | commitdiff | tree |
| 2018-12-03 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2018-12-03 |
Ralf Jung | fix recently added Retag statement
|
commit | commitdiff | tree |
| 2018-12-03 |
Ralf Jung | provide a way to replace the tag in a Scalar/MemPlace
|
commit | commitdiff | tree |
| 2018-12-03 |
Ralf Jung | Retag needs to know whether this is a 2-phase-reborrow
|
commit | commitdiff | tree |
| 2018-12-03 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2018-12-03 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2018-12-02 |
Ralf Jung | make the C part of compiler-builtins opt-out
|
commit | commitdiff | tree |
| 2018-12-02 |
Ralf Jung | explicitly control compiler_builts/c feature from libstd
|
commit | commitdiff | tree |
| 2018-12-02 |
Ralf Jung | avoid MaybeUninit::get_mut where it is not needed
|
commit | commitdiff | tree |
| 2018-12-02 |
Ralf Jung | let FIXME refer to tracking issue
|
commit | commitdiff | tree |
| 2018-12-02 |
Ralf Jung | no reason to use mutable references here at all
|
commit | commitdiff | tree |
| 2018-11-28 |
Ralf Jung | fix futures aliasing mutable and shared ref
|
commit | commitdiff | tree |
| 2018-11-28 |
Ralf Jung | get_ref -> get_mut
|
commit | commitdiff | tree |
| 2018-11-28 |
Ralf Jung | fix build
|
commit | commitdiff | tree |
| 2018-11-28 |
Ralf Jung | put the MaybeUninit inside the UnsafeCell
|
commit | commitdiff | tree |
| 2018-11-27 |
Ralf Jung | add comments explaining our uses of get_ref/get_mut...
|
commit | commitdiff | tree |
| 2018-11-27 |
Ralf Jung | add missing feature
|
commit | commitdiff | tree |
| 2018-11-27 |
Ralf Jung | avoid features_untracked
|
commit | commitdiff | tree |
| 2018-11-27 |
Ralf Jung | fix run-make-fulldeps/libtest-json
|
commit | commitdiff | tree |
| 2018-11-27 |
Ralf Jung | fix libtest test suite
|
commit | commitdiff | tree |
| 2018-11-27 |
Ralf Jung | Do not spawn a thread if we do not use concurrency
|
commit | commitdiff | tree |
| 2018-11-27 |
Ralf Jung | use deterministic HashMap in libtest
|
commit | commitdiff | tree |
| 2018-11-27 |
Ralf Jung | fix build
|
commit | commitdiff | tree |
| 2018-11-27 |
Ralf Jung | use MaybeUninit instead of mem::uninitialized for Windows...
|
commit | commitdiff | tree |
| 2018-11-25 |
Ralf Jung | fix length of slice returned from read_c_str
|
commit | commitdiff | tree |
| 2018-11-25 |
Ralf Jung | yay for NLL
|
commit | commitdiff | tree |
| 2018-11-25 |
Ralf Jung | read_c_str should call the AllocationExtra hooks
|
commit | commitdiff | tree |
| 2018-11-25 |
Oliver S̶c̶h̶n̶e̶i̶d... | Typo
Co-Authored-By: RalfJung <post@ralfj.de>
|
commit | commitdiff | tree |
| 2018-11-25 |
Ralf Jung | accept undef in raw pointers, for consistency with...
|
commit | commitdiff | tree |
| 2018-11-25 |
Ralf Jung | machine hooks for stack push and pop, frame machine...
|
commit | commitdiff | tree |
| 2018-11-25 |
Ralf Jung | make memory allocation hook infallible
|
commit | commitdiff | tree |
| 2018-11-25 |
Ralf Jung | pass MemoryExtra to find_foreign_static and adjust_static_al...
|
commit | commitdiff | tree |
| 2018-11-25 |
Ralf Jung | bring back MemoryExtra
|
commit | commitdiff | tree |
| 2018-11-23 |
Ralf Jung | use more inlining, and force some of it
|
commit | commitdiff | tree |
| 2018-11-23 |
Ralf Jung | use MaybeUninit in core::ptr::swap_nonoverlapping_bytes
|
commit | commitdiff | tree |
| 2018-11-23 |
Ralf Jung | use MaybeUninit in core::ptr::swap
|
commit | commitdiff | tree |
| 2018-11-23 |
Ralf Jung | use MaybeUninit in core::ptr::{read,read_unaligned}
|
commit | commitdiff | tree |
| 2018-11-23 |
Ralf Jung | use MaybeUninit in core::slice::rotate
|
commit | commitdiff | tree |
| 2018-11-23 |
Ralf Jung | use MaybeUninit in core::slice::sort
|
commit | commitdiff | tree |
| 2018-11-23 |
Ralf Jung | use MaybeUninit in core::fmt
|
commit | commitdiff | tree |
| 2018-11-23 |
Ralf Jung | make park/unpark example more realistic
|
commit | commitdiff | tree |
| 2018-11-22 |
Ralf Jung | miri: restrict fn argument punning to Rust ABI
|
commit | commitdiff | tree |
| 2018-11-22 |
Ralf Jung | fix codegen-units tests
|
commit | commitdiff | tree |
| 2018-11-22 |
Ralf Jung | drop glue takes in mutable references, it should reflect...
|
commit | commitdiff | tree |
| 2018-11-22 |
Ralf Jung | expand thread::park explanation
|
commit | commitdiff | tree |
| 2018-11-20 |
Ralf Jung | treat generator fields like unions
|
commit | commitdiff | tree |
| 2018-11-20 |
Ralf Jung | fix comment
|
commit | commitdiff | tree |
| 2018-11-20 |
Ralf Jung | generator fields are not necessarily initialized
|
commit | commitdiff | tree |
| 2018-11-19 |
Ralf Jung | explain why we can use raw
|
commit | commitdiff | tree |
| 2018-11-19 |
Ralf Jung | we now do proper validation on scalars
|
commit | commitdiff | tree |
| 2018-11-19 |
Ralf Jung | use RawConst in miri
|
commit | commitdiff | tree |
| 2018-11-19 |
Ralf Jung | Make const_eval_raw query return just an AllocId
|
commit | commitdiff | tree |
| 2018-11-17 |
Ralf Jung | deallocate locals before validation, to catch dangling...
|
commit | commitdiff | tree |
| 2018-11-17 |
Ralf Jung | When popping in CTFE, perform validation before jumping...
|
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 |
| next |
projects / rust.git / search