git.lizzy.rs Git - rust.git/search

]> git.lizzy.rs Git - rust.git/search

2019-02-07	Ralf Jung	disable tests in Miri	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
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-24	Ralf Jung	comment nit	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom