| 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-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 |
| 2019-02-05 |
Ralf Jung | extend box-maybe-uninit test
|
commit | commitdiff | tree |
| 2019-02-05 |
Ralf Jung | fix test case
|
commit | commitdiff | tree |
| 2019-02-05 |
Ralf Jung | fix str mutating through a ptr derived from &self
|
commit | commitdiff | tree |
| 2019-02-05 |
Ralf Jung | fix doctest
|
commit | commitdiff | tree |
| 2019-02-04 |
Ralf Jung | typos
|
commit | commitdiff | tree |
| 2019-02-03 |
Ralf Jung | make set return a mutable reference
|
commit | commitdiff | tree |
| 2019-02-03 |
Ralf Jung | expand as_[mut_]ptr docs a bit
|
commit | commitdiff | tree |
| 2019-02-03 |
Ralf Jung | some type-level docs for MaybeUninit; rename into_inner...
|
commit | commitdiff | tree |
| 2019-01-30 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-01-28 |
Ralf Jung | fix gdb debug printing
|
commit | commitdiff | tree |
| 2019-01-28 |
Ralf Jung | rename first_mut_ptr -> first_ptr_mut
|
commit | commitdiff | tree |
| 2019-01-28 |
Ralf Jung | fix typos, improve docs
|
commit | commitdiff | tree |
| 2019-01-28 |
Ralf Jung | Use warn() for extra diagnostics; with -D warnings...
|
commit | commitdiff | tree |
| 2019-01-28 |
Ralf Jung | add macro for creating uninitialized array
|
commit | commitdiff | tree |
| 2019-01-28 |
Ralf Jung | avoid some raw ptr casts in BTreeMap
|
commit | commitdiff | tree |
| 2019-01-28 |
Ralf Jung | avoid mem::uninitialized in BTreeMap
|
commit | commitdiff | tree |
| 2019-01-28 |
Ralf Jung | libcore: avoid mem::uninitialized and raw ptr casts
|
commit | commitdiff | tree |
| 2019-01-28 |
Ralf Jung | liballoc: remove unneeded allow(deprecated)
|
commit | commitdiff | tree |
| 2019-01-28 |
Ralf Jung | libcore: remove unneeded allow(deprecated)
|
commit | commitdiff | tree |
| 2019-01-21 |
Ralf Jung | un-deprecate mem::zeroed
|
commit | commitdiff | tree |
| 2019-01-21 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2019-01-21 |
Ralf Jung | fix validation range printing when encountering undef
|
commit | commitdiff | tree |
| 2019-01-09 |
Ralf Jung | update miri
|
commit | commitdiff | tree |
| 2018-12-27 |
Ralf Jung | use a better way to get at the type parameter
|
commit | commitdiff | tree |
| 2018-12-27 |
Ralf Jung | panic when calling MaybeUninhabited::into_inner on...
|
commit | commitdiff | tree |
| 2018-12-26 |
Ralf Jung | make Alloc::check_bounds_ptr private; you should use...
|
commit | commitdiff | tree |
| 2018-12-21 |
Ralf Jung | fix deprecation warnings in liballoc benches
|
commit | commitdiff | tree |
| 2018-12-19 |
Ralf Jung | miri: allocation is infallible
|
commit | commitdiff | tree |
| 2018-12-19 |
Ralf Jung | make basic CTFE tracing available on release builds
|
commit | commitdiff | tree |
| 2018-12-18 |
Ralf Jung | treat ref-to-raw cast like a reborrow: do a special...
|
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 |
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 |
| next |
projects / rust.git / search