| 2019-04-07 |
Ralf Jung | fix miri engine debug output for uninitialized locals
|
commit | commitdiff | tree |
| 2019-04-07 |
Ralf Jung | make StorageLive lazy as well
|
commit | commitdiff | tree |
| 2019-04-06 |
Ralf Jung | miri engine: lazily allocate memory for locals on first...
|
commit | commitdiff | tree |
| 2019-04-03 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-04-03 |
Ralf Jung | try to fix rand feature flags
|
commit | commitdiff | tree |
| 2019-04-03 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-03-30 |
Ralf Jung | update stdsimd
|
commit | commitdiff | tree |
| 2019-03-26 |
Ralf Jung | fix some uses I missed
|
commit | commitdiff | tree |
| 2019-03-26 |
Ralf Jung | adjust MaybeUninit API to discussions
|
commit | commitdiff | tree |
| 2019-03-14 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-03-12 |
Ralf Jung | expand
|
commit | commitdiff | tree |
| 2019-03-12 |
Ralf Jung | Note that NonNull does not launder shared references...
|
commit | commitdiff | tree |
| 2019-03-10 |
Ralf Jung | enabled too many tests
|
commit | commitdiff | tree |
| 2019-03-10 |
Ralf Jung | we can now skip should_panic tests with the libtest...
|
commit | commitdiff | tree |
| 2019-02-27 |
Ralf Jung | improve readability
|
commit | commitdiff | tree |
| 2019-02-27 |
Ralf Jung | ManuallyDrop != MaybeUninit
|
commit | commitdiff | tree |
| 2019-02-24 |
Ralf Jung | prefer into_initialized over read_initialited
|
commit | commitdiff | tree |
| 2019-02-24 |
Ralf Jung | show how to set with ptr::write
|
commit | commitdiff | tree |
| 2019-02-24 |
Ralf Jung | remark that the rules are unfinished
|
commit | commitdiff | tree |
| 2019-02-23 |
Ralf Jung | fix link
|
commit | commitdiff | tree |
| 2019-02-23 |
Ralf Jung | expand type name
|
commit | commitdiff | tree |
| 2019-02-22 |
Ralf Jung | make MaybeUninit Copy
|
commit | commitdiff | tree |
| 2019-02-22 |
Ralf Jung | avoid unnecessary use of MaybeUninit::get_ref, and...
|
commit | commitdiff | tree |
| 2019-02-22 |
Ralf Jung | examples for MaybeUninit::zeroed
|
commit | commitdiff | tree |
| 2019-02-22 |
Ralf Jung | examples for as[_mut]_ptr
|
commit | commitdiff | tree |
| 2019-02-22 |
Ralf Jung | misc tweaks
|
commit | commitdiff | tree |
| 2019-02-22 |
Ralf Jung | also add examples to MaybeUninit::into_initialized
|
commit | commitdiff | tree |
| 2019-02-22 |
Ralf Jung | Add MaybeUninit::read_uninitialized
|
commit | commitdiff | tree |
| 2019-02-21 |
Ralf Jung | take a bit more space for new_unchecked examples
|
commit | commitdiff | tree |
| 2019-02-21 |
Ralf Jung | fix link
|
commit | commitdiff | tree |
| 2019-02-21 |
Ralf Jung | remark about the one place where place computation...
|
commit | commitdiff | tree |
| 2019-02-21 |
Ralf Jung | this is for you, tidy
|
commit | commitdiff | tree |
| 2019-02-21 |
Ralf Jung | explain unsafe
|
commit | commitdiff | tree |
| 2019-02-21 |
Ralf Jung | we only list some examples of basic types
|
commit | commitdiff | tree |
| 2019-02-21 |
Ralf Jung | tweaks and fix weird space
|
commit | commitdiff | tree |
| 2019-02-21 |
Ralf Jung | explain why we use static alignment in ref-to-place...
|
commit | commitdiff | tree |
| 2019-02-21 |
Ralf Jung | final pin projections tweaking
|
commit | commitdiff | tree |
| 2019-02-21 |
Ralf Jung | more pin projections tweaking
|
commit | commitdiff | tree |
| 2019-02-20 |
Ralf Jung | expand pinning projections
|
commit | commitdiff | tree |
| 2019-02-20 |
Ralf Jung | tweak pinning projections
|
commit | commitdiff | tree |
| 2019-02-20 |
Ralf Jung | tweaks
|
commit | commitdiff | tree |
| 2019-02-19 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-02-19 |
Ralf Jung | update Cargo.lock and miri URL
|
commit | commitdiff | tree |
| 2019-02-19 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-02-19 |
Ralf Jung | expand Unpin example
|
commit | commitdiff | tree |
| 2019-02-19 |
Ralf Jung | improve wording
|
commit | commitdiff | tree |
| 2019-02-19 |
Ralf Jung | improve linked list -> drop transition
|
commit | commitdiff | tree |
| 2019-02-19 |
Ralf Jung | please the mericless tidy, oh tidy
|
commit | commitdiff | tree |
| 2019-02-19 |
Ralf Jung | mention interaction with Deref in intro
|
commit | commitdiff | tree |
| 2019-02-19 |
Ralf Jung | examples
|
commit | commitdiff | tree |
| 2019-02-19 |
Ralf Jung | rewrite pin module intro
|
commit | commitdiff | tree |
| 2019-02-19 |
Ralf Jung | more work on projections and RefCell example
|
commit | commitdiff | tree |
| 2019-02-19 |
Ralf Jung | separate section for doubly-linked list, reword projections...
|
commit | commitdiff | tree |
| 2019-02-19 |
Ralf Jung | apply some of the feedback
|
commit | commitdiff | tree |
| 2019-02-19 |
Ralf Jung | improve Pin documentation
|
commit | commitdiff | tree |
| 2019-02-17 |
Ralf Jung | update stdsimd
|
commit | commitdiff | tree |
| 2019-02-14 |
Ralf Jung | make Centril happy
|
commit | commitdiff | tree |
| 2019-02-14 |
Ralf Jung | split MaybeUninit into several features, expand docs...
|
commit | commitdiff | tree |
| 2019-02-14 |
Ralf Jung | remove MaybeUninit::into_inner
|
commit | commitdiff | tree |
| 2019-02-14 |
Ralf Jung | update stdsimd
|
commit | commitdiff | tree |
| 2019-02-14 |
Ralf Jung | fixed for libstd build
|
commit | commitdiff | tree |
| 2019-02-14 |
Ralf Jung | add missing feature flag
|
commit | commitdiff | tree |
| 2019-02-14 |
Ralf Jung | update stdsimd
|
commit | commitdiff | tree |
| 2019-02-13 |
Ralf Jung | miri: test with slightly larger BTrees
|
commit | commitdiff | tree |
| 2019-02-13 |
Ralf Jung | review failures in heap, slice, vec
|
commit | commitdiff | tree |
| 2019-02-13 |
Ralf Jung | review failures in btree, string
|
commit | commitdiff | tree |
| 2019-02-13 |
Ralf Jung | review failures in binary_heap, str, vec_deque
|
commit | commitdiff | tree |
| 2019-02-13 |
Ralf Jung | the formatting issue got fixed
|
commit | commitdiff | tree |
| 2019-02-13 |
Ralf Jung | review or fix remaining miri failures in libcore
|
commit | commitdiff | tree |
| 2019-02-13 |
Ralf Jung | review or fix miri failures in iter, slice, cell, time
|
commit | commitdiff | tree |
| 2019-02-13 |
Ralf Jung | mark failures expected due to panics
|
commit | commitdiff | tree |
| 2019-02-13 |
Ralf Jung | fix Box::into_unique effecitvely transmuting to a raw ptr
|
commit | commitdiff | tree |
| 2019-02-13 |
Ralf Jung | fix invalidating references in BTree iterators
|
commit | commitdiff | tree |
| 2019-02-13 |
Ralf Jung | fix overlapping mutable and shared references in BTreeMap...
|
commit | commitdiff | tree |
| 2019-02-13 |
Ralf Jung | fix rebase fallout
|
commit | commitdiff | tree |
| 2019-02-13 |
Ralf Jung | fix whitespace
|
commit | commitdiff | tree |
| 2019-02-13 |
Ralf Jung | make bin_op and unary_op APIs consistently work on...
|
commit | commitdiff | tree |
| 2019-02-13 |
Ralf Jung | make OpTy.op private, and ImmTy.imm public instead
|
commit | commitdiff | tree |
| 2019-02-10 |
Ralf Jung | fix SGX build failures
|
commit | commitdiff | tree |
| 2019-02-10 |
Ralf Jung | it is okay not to use into_inner
|
commit | commitdiff | tree |
| 2019-02-10 |
Ralf Jung | miri value visitor: use in macro
|
commit | commitdiff | tree |
| 2019-02-10 |
Ralf Jung | rpath computation: explain why we pop()
|
commit | commitdiff | tree |
| 2019-02-10 |
Ralf Jung | when there are multiple filenames, print what got interprete...
|
commit | commitdiff | tree |
| 2019-02-09 |
Ralf Jung | operand-to-place copies should never be overlapping
|
commit | commitdiff | tree |
| 2019-02-09 |
Ralf Jung | miri: give non-generic functions a stable address
|
commit | commitdiff | tree |
| 2019-02-09 |
Ralf Jung | fix rebase fallout
|
commit | commitdiff | tree |
| 2019-02-09 |
Ralf Jung | fix printing closures
|
commit | commitdiff | tree |
| 2019-02-09 |
Ralf Jung | fix node classification
|
commit | commitdiff | tree |
| 2019-02-09 |
Ralf Jung | fix --emit=mir: StructCtors are functions
|
commit | commitdiff | tree |
| 2019-02-09 |
Ralf Jung | disambiguate filenames of multiple drop shims being...
|
commit | commitdiff | tree |
| 2019-02-09 |
Ralf Jung | pass full InstanceDef to run_passes
|
commit | commitdiff | tree |
| 2019-02-09 |
Ralf Jung | fix rebase fallout: AnonConsts are Consts, and Methods...
|
commit | commitdiff | tree |
| 2019-02-09 |
Ralf Jung | fix dumping MIR from another crate
|
commit | commitdiff | tree |
| 2019-02-09 |
Ralf Jung | use pass infrastructure for mir shims, so that they...
|
commit | commitdiff | tree |
| 2019-02-08 |
Ralf Jung | std::sys::unix::stdio: explain why we do into_raw
|
commit | commitdiff | tree |
| 2019-02-07 |
Ralf Jung | disable tests in Miri
|
commit | commitdiff | tree |
| 2019-02-07 |
Ralf Jung | also fix bad use of shared ref in split_at_mut
|
commit | commitdiff | tree |
| 2019-02-06 |
Ralf Jung | add tracking issue
|
commit | commitdiff | tree |
| 2019-02-06 |
Ralf Jung | remove now-unneeded raw ptr casts
|
commit | commitdiff | tree |
| 2019-02-06 |
Ralf Jung | fix doctests
|
commit | commitdiff | tree |
| next |
projects / rust.git / search