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

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

2020-11-21	Ralf Jung	add function to iterate through all sub-places, and...	commit \| commitdiff \| tree
2020-11-20	Ralf Jung	needs -> might need	commit \| commitdiff \| tree
2020-11-20	Ralf Jung	improve formatting	commit \| commitdiff \| tree
2020-11-20	Ralf Jung	adjust union access unsafety check logic to take into...	commit \| commitdiff \| tree
2020-11-20	Ralf Jung	consider assignments of union field of ManuallyDrop...	commit \| commitdiff \| tree
2020-11-19	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-11-15	Ralf Jung	document that __rust_alloc is also magic to our LLVM...	commit \| commitdiff \| tree
2020-11-12	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-11-06	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-10-31	Ralf Jung	fix aliasing issues in SipHasher	commit \| commitdiff \| tree
2020-10-31	Ralf Jung	fix aliasing issue in binary_heap	commit \| commitdiff \| tree
2020-10-31	Ralf Jung	fix aliasing issue in unix sleep function	commit \| commitdiff \| tree
2020-10-31	Ralf Jung	fix aliasing issues in u128 formatting code	commit \| commitdiff \| tree
2020-10-31	Ralf Jung	Retagging: do not retag 'raw reborrows'	commit \| commitdiff \| tree
2020-10-29	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-10-28	Ralf Jung	fix some incorrect aliasing in the BTree	commit \| commitdiff \| tree
2020-10-28	Ralf Jung	fix a comment in validity check	commit \| commitdiff \| tree
2020-10-27	Ralf Jung	fix Box::into_unique	commit \| commitdiff \| tree
2020-10-26	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-10-26	Ralf Jung	explain why interning is not as trivial as it might...	commit \| commitdiff \| tree
2020-10-26	Ralf Jung	interning cleanup: we no longer need to distinguish...	commit \| commitdiff \| tree
2020-10-26	Ralf Jung	move &mut-in-const check from interning to validation	commit \| commitdiff \| tree
2020-10-26	Ralf Jung	move UnsafeCell-in-const check from interning to validation	commit \| commitdiff \| tree
2020-10-26	Ralf Jung	ensure we intern all promoteds as InternKind::Promoted	commit \| commitdiff \| tree
2020-10-25	Ralf Jung	also test non-extern uninhabited statics	commit \| commitdiff \| tree
2020-10-24	Ralf Jung	ensure that statics are inhabited	commit \| commitdiff \| tree
2020-10-21	Ralf Jung	Miri engine interning: improve comments, and entirely...	commit \| commitdiff \| tree
2020-10-21	Ralf Jung	Miri engine validity check: simplify code with 'matches!'	commit \| commitdiff \| tree
2020-10-19	Ralf Jung	fix Rvalue::ty for ThreadLocalRef	commit \| commitdiff \| tree
2020-10-19	Ralf Jung	fix static_ptr_ty for foreign statics, and more comments...	commit \| commitdiff \| tree
2020-10-19	Ralf Jung	remove what seems to be an outdated comment	commit \| commitdiff \| tree
2020-10-18	Ralf Jung	we can test std and core panic macros together	commit \| commitdiff \| tree
2020-10-16	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-10-16	Ralf Jung	stop relying on feature(untagged_unions) in stdlib	commit \| commitdiff \| tree
2020-10-16	Ralf Jung	stabilize union with 'ManuallyDrop' fields and 'impl...	commit \| commitdiff \| tree
2020-10-12	Ralf Jung	fix markdown reference	commit \| commitdiff \| tree
2020-10-11	Ralf Jung	const keyword: brief paragraph on 'const fn'	commit \| commitdiff \| tree
2020-10-11	Ralf Jung	transmute_copy: explain that alignment is handled correctly	commit \| commitdiff \| tree
2020-10-09	Ralf Jung	rename __default_lib_allocator -> __default_alloc_error_handler	commit \| commitdiff \| tree
2020-10-09	Ralf Jung	also extend global allocator comment	commit \| commitdiff \| tree
2020-10-09	Ralf Jung	fix __rust_alloc_error_handler comment	commit \| commitdiff \| tree
2020-10-06	Ralf Jung	avoid unnecessary intermediate reference and improve...	commit \| commitdiff \| tree
2020-10-05	Ralf Jung	make IterMut Send/Sync again	commit \| commitdiff \| tree
2020-10-05	Ralf Jung	VecDeque: avoid more aliasing issues by working with...	commit \| commitdiff \| tree
2020-10-05	Ralf Jung	VecDeque: fix incorrect &mut aliasing in IterMut::next...	commit \| commitdiff \| tree
2020-10-04	Ralf Jung	stop promoting union field accesses in 'const'	commit \| commitdiff \| tree
2020-10-03	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-09-30	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-09-28	Ralf Jung	fix building libstd for Miri on macOS	commit \| commitdiff \| tree
2020-09-27	Ralf Jung	update tokei and ripgrep in cargotest	commit \| commitdiff \| tree
2020-09-26	Ralf Jung	might_permit_raw_init: also check aggregate fields	commit \| commitdiff \| tree
2020-09-24	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-09-22	Ralf Jung	Miri: more informative deallocation error messages	commit \| commitdiff \| tree
2020-09-21	Ralf Jung	update Miri for another bugfix	commit \| commitdiff \| tree
2020-09-21	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-09-20	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-09-19	Ralf Jung	fix some comments	commit \| commitdiff \| tree
2020-09-19	Ralf Jung	never promote non-const operations; revert STATIC promotion...	commit \| commitdiff \| tree
2020-09-19	Ralf Jung	fix doc comment	commit \| commitdiff \| tree
2020-09-19	Ralf Jung	cleanup promotion const_kind checks	commit \| commitdiff \| tree
2020-09-18	Ralf Jung	support panic=abort in Miri	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	black_box: silence unused_mut warning when building...	commit \| commitdiff \| tree
2020-09-15	Ralf Jung	hopefully fix rustdoc links	commit \| commitdiff \| tree
2020-09-15	Ralf Jung	fix slice::check_range aliasing problems	commit \| commitdiff \| tree
2020-09-15	Ralf Jung	reduce size of test_from_iter_specialization_with_iterator_a...	commit \| commitdiff \| tree
2020-09-13	Ralf Jung	note that test_stable_pointers does not reflect a stable...	commit \| commitdiff \| tree
2020-09-13	Ralf Jung	rebase fallout	commit \| commitdiff \| tree
2020-09-13	Ralf Jung	make union-drop mem::forget test meaningful	commit \| commitdiff \| tree
2020-09-13	Ralf Jung	please tidy	commit \| commitdiff \| tree
2020-09-13	Ralf Jung	unions: test move behavior of non-Copy fields	commit \| commitdiff \| tree
2020-09-13	Ralf Jung	slice::from_raw_parts: explicitly mention that data...	commit \| commitdiff \| tree
2020-09-12	Ralf Jung	also assert ScalarMaybeUninit size	commit \| commitdiff \| tree
2020-09-12	Ralf Jung	move guaranteed{ne,eq} implementation to compile-time...	commit \| commitdiff \| tree
2020-09-08	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-09-07	Ralf Jung	add missing feature flag	commit \| commitdiff \| tree
2020-09-07	Ralf Jung	use black_box instead of local optimziation barriers...	commit \| commitdiff \| tree
2020-09-07	Ralf Jung	do not inline black_box when building for Miri	commit \| commitdiff \| tree
2020-09-06	Ralf Jung	add compile-fail test for &mut promotion	commit \| commitdiff \| tree
2020-09-06	Ralf Jung	do not premote non-ZST mutable references ever	commit \| commitdiff \| tree
2020-09-05	Ralf Jung	document remaining unsafety in maybe_uninit.rs	commit \| commitdiff \| tree
2020-09-05	Ralf Jung	rename MaybeUninit slice methods	commit \| commitdiff \| tree
2020-09-03	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-09-02	Ralf Jung	flt2dec: properly handle uninitialized memory	commit \| commitdiff \| tree
2020-09-02	Ralf Jung	Read: adjust a FIXME reference	commit \| commitdiff \| tree
2020-08-31	Ralf Jung	test more ways of mutably accessing a place	commit \| commitdiff \| tree
2020-08-31	Ralf Jung	only emit error for ManuallyDrop derefs	commit \| commitdiff \| tree
2020-08-31	Ralf Jung	also detect DerefMut in nested union fields	commit \| commitdiff \| tree
2020-08-31	Ralf Jung	do not apply DerefMut on union field	commit \| commitdiff \| tree
2020-08-29	Ralf Jung	bump Miri	commit \| commitdiff \| tree
2020-08-23	Ralf Jung	bump stable version	commit \| commitdiff \| tree
2020-08-23	Ralf Jung	remove an unused feature flag	commit \| commitdiff \| tree
2020-08-22	Ralf Jung	fix dead links to wrapping_offset_from	commit \| commitdiff \| tree
2020-08-22	Ralf Jung	remove feature gate from tests	commit \| commitdiff \| tree
2020-08-22	Ralf Jung	stabilize ptr_offset_from	commit \| commitdiff \| tree
2020-08-22	Ralf Jung	remove deprecated wrapping_offset_from	commit \| commitdiff \| tree
2020-08-22	Ralf Jung	offset_from: also document same-provenance requirement	commit \| commitdiff \| tree
2020-08-19	Ralf Jung	enable align_to tests in Miri	commit \| commitdiff \| tree
2020-08-18	Ralf Jung	mir building: fix some comments	commit \| commitdiff \| tree
2020-08-18	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-08-17	Ralf Jung	attempt to improve span_label docs	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom