| 2019-04-25 |
Ralf Jung | when testing Miri, compile libstd for Miri
|
commit | commitdiff | tree |
| 2019-04-21 |
Ralf Jung | use SecRandomCopyBytes on macOS in Miri
|
commit | commitdiff | tree |
| 2019-04-20 |
Ralf Jung | improve docs
|
commit | commitdiff | tree |
| 2019-04-19 |
Ralf Jung | add Miri error variant for process exit
|
commit | commitdiff | tree |
| 2019-04-19 |
Ralf Jung | fix LinkedList invalidating mutable references
|
commit | commitdiff | tree |
| 2019-04-19 |
Ralf Jung | move variable down to where it is used
|
commit | commitdiff | tree |
| 2019-04-18 |
Ralf Jung | make liballoc internal test suite mostly pass in Miri
|
commit | commitdiff | tree |
| 2019-04-18 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-04-17 |
Ralf Jung | test sort_unstable in Miri
|
commit | commitdiff | tree |
| 2019-04-16 |
Ralf Jung | Miri: refactor new allocation tagging
|
commit | commitdiff | tree |
| 2019-04-16 |
Ralf Jung | Miri now supports entropy, but is still slow
|
commit | commitdiff | tree |
| 2019-04-16 |
Ralf Jung | this panic occurs not just on Windows, normalize it...
|
commit | commitdiff | tree |
| 2019-04-15 |
Ralf Jung | normalize away some Windows-only panic printing
|
commit | commitdiff | tree |
| 2019-04-15 |
Ralf Jung | warn(missing_docs) in liballoc, and add missing docs
|
commit | commitdiff | tree |
| 2019-04-14 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-04-14 |
Ralf Jung | huge-enum also exhibits this error
|
commit | commitdiff | tree |
| 2019-04-14 |
Ralf Jung | make lint levels more consistent
|
commit | commitdiff | tree |
| 2019-04-14 |
Ralf Jung | some more tests need normalization
|
commit | commitdiff | tree |
| 2019-04-14 |
Ralf Jung | normalize away spurious error
|
commit | commitdiff | tree |
| 2019-04-14 |
Ralf Jung | normalize flags and rustc version in ICE repro
|
commit | commitdiff | tree |
| 2019-04-14 |
Ralf Jung | fix output test for backtrace-debuginfo.rs
|
commit | commitdiff | tree |
| 2019-04-14 |
Ralf Jung | fix tests
|
commit | commitdiff | tree |
| 2019-04-14 |
Ralf Jung | compiletest normalization: preserve non-JSON lines...
|
commit | commitdiff | tree |
| 2019-04-14 |
Ralf Jung | bump stdsimd; make intra_doc_link_resolution_failure...
|
commit | commitdiff | tree |
| 2019-04-12 |
Ralf Jung | MaybeUninit: remove deprecated functions
|
commit | commitdiff | tree |
| 2019-04-08 |
Ralf Jung | avoid reading from ZST locals
|
commit | commitdiff | tree |
| 2019-04-08 |
Ralf Jung | Apply suggestions from code review
Co-Authored-By: RalfJung <post@ralfj.de>
|
commit | commitdiff | tree |
| 2019-04-07 |
Ralf Jung | implement by-value object safety
|
commit | commitdiff | tree |
| 2019-04-07 |
Ralf Jung | initialize unsized locals when copying to the for the...
|
commit | commitdiff | tree |
| 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-15 |
Ralf Jung | we can now print on entering/leaving the topmost frame...
|
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-03-06 |
Ralf Jung | Apply suggestions from code review
|
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 suggestions from code review
Co-Authored-By: RalfJung <post@ralfj.de>
|
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-16 |
Ralf Jung | Update src/librustc_mir/interpret/operand.rs
|
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 |
| next |
projects / rust.git / search