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

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

2019-12-01	Ralf Jung	Miri core engine: use throw_ub instead of throw_panic	commit \| commitdiff \| tree
2019-11-30	Ralf Jung	pass Queries to compiler callbacks	commit \| commitdiff \| tree
2019-11-29	Ralf Jung	really_init cmdline args on Miri	commit \| commitdiff \| tree
2019-11-28	Ralf Jung	do not consider memory allocated by caller_location...	commit \| commitdiff \| tree
2019-11-28	Ralf Jung	update Miri	commit \| commitdiff \| tree
2019-11-28	Ralf Jung	const_prop: detect and avoid catching Miri errors that...	commit \| commitdiff \| tree
2019-11-26	Ralf Jung	rename update_count_then_panic -> rust_panic_without_hook	commit \| commitdiff \| tree
2019-11-26	Ralf Jung	explain why __rust_start_panic does not take a Box	commit \| commitdiff \| tree
2019-11-26	Ralf Jung	expand comment	commit \| commitdiff \| tree
2019-11-26	Ralf Jung	abort on BoxMeUp misuse	commit \| commitdiff \| tree
2019-11-26	Ralf Jung	panic_handler -> begin_panic_handler (and more comments)	commit \| commitdiff \| tree
2019-11-25	Ralf Jung	more panicking comments	commit \| commitdiff \| tree
2019-11-25	Ralf Jung	review feedback: comments and spacing	commit \| commitdiff \| tree
2019-11-25	Ralf Jung	make sure we handle all transmute invocations, including...	commit \| commitdiff \| tree
2019-11-25	Ralf Jung	miri: couple ret place and ret block together (they...	commit \| commitdiff \| tree
2019-11-25	Ralf Jung	move ABI check out to cover all calls	commit \| commitdiff \| tree
2019-11-25	Ralf Jung	unify call_intrinsic handling of intruction pointer...	commit \| commitdiff \| tree
2019-11-25	Ralf Jung	refactor goto_block and also add unwind_to_block	commit \| commitdiff \| tree
2019-11-25	Ralf Jung	better comment and rename BoxMeUp::box_me_up to take_box	commit \| commitdiff \| tree
2019-11-25	Ralf Jung	Rename continue_panic_fmt to panic_handler, and make...	commit \| commitdiff \| tree
2019-11-24	Ralf Jung	make comment compile	commit \| commitdiff \| tree
2019-11-24	Ralf Jung	expand type info on __rust_start_panic	commit \| commitdiff \| tree
2019-11-24	Ralf Jung	panicking comments	commit \| commitdiff \| tree
2019-11-23	Ralf Jung	only print LEAK REPORT if there is a leak	commit \| commitdiff \| tree
2019-11-23	Ralf Jung	Miri: print leak report even without tracing	commit \| commitdiff \| tree
2019-11-23	Ralf Jung	enable more panic-catching tests in Miri	commit \| commitdiff \| tree
2019-11-22	Ralf Jung	enable panic-catching tests in Miri	commit \| commitdiff \| tree
2019-11-22	Ralf Jung	use catch_panic instead of thread::spawn to catch panics	commit \| commitdiff \| tree
2019-11-22	Ralf Jung	enable panic-catching tests in Miri	commit \| commitdiff \| tree
2019-11-22	Ralf Jung	remove the 'dereferenceable' attribute from Box	commit \| commitdiff \| tree
2019-11-22	Ralf Jung	fix reoccuring typo: dereferencable -> dereferenceable	commit \| commitdiff \| tree
2019-11-17	Ralf Jung	update Miri	commit \| commitdiff \| tree
2019-11-16	Ralf Jung	avoid some casts	commit \| commitdiff \| tree
2019-11-16	Ralf Jung	ICE on invalid MIR	commit \| commitdiff \| tree
2019-11-16	Ralf Jung	make simd_size return a u64	commit \| commitdiff \| tree
2019-11-16	Ralf Jung	rename and move read_vector_ty	commit \| commitdiff \| tree
2019-11-16	Ralf Jung	re-add miri intrinsic ABI check	commit \| commitdiff \| tree
2019-11-16	Ralf Jung	avoid linking errors	commit \| commitdiff \| tree
2019-11-16	Ralf Jung	miri panic_unwind: fix hack for SEH platforms	commit \| commitdiff \| tree
2019-11-15	Ralf Jung	more comment	commit \| commitdiff \| tree
2019-11-15	Ralf Jung	libpanic_unwind for Miri: make sure we have the SEH...	commit \| commitdiff \| tree
2019-11-14	Ralf Jung	mem::forget docs: mention ManuallyDrop	commit \| commitdiff \| tree
2019-11-14	Ralf Jung	miri: helper methods for max values of machine's usize...	commit \| commitdiff \| tree
2019-11-13	Ralf Jung	make things ugly	commit \| commitdiff \| tree
2019-11-13	Ralf Jung	expand docs	commit \| commitdiff \| tree
2019-11-13	Ralf Jung	clarify why we can do the ptr cast	commit \| commitdiff \| tree
2019-11-09	Ralf Jung	add raw ptr variant of UnsafeCell::get	commit \| commitdiff \| tree
2019-11-09	Ralf Jung	partially port invalid_value lint to diagnostic items	commit \| commitdiff \| tree
2019-11-09	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-11-08	Ralf Jung	miri: Rename to_{u,i}size to to_machine_{u,i}size	commit \| commitdiff \| tree
2019-11-08	Ralf Jung	rename Memory::get methods to get_raw to indicate their...	commit \| commitdiff \| tree
2019-11-07	Ralf Jung	invalid_value lint: fix help text	commit \| commitdiff \| tree
2019-11-06	Ralf Jung	--bless	commit \| commitdiff \| tree
2019-11-06	Ralf Jung	improve a comment	commit \| commitdiff \| tree
2019-11-06	Ralf Jung	remvoe to_scalar_ptr and use ref_to_mplace everywhere	commit \| commitdiff \| tree
2019-11-06	Ralf Jung	miri cast: avoid unnecessary to_scalar_ptr	commit \| commitdiff \| tree
2019-11-05	Ralf Jung	fix link to ptr docs	commit \| commitdiff \| tree
2019-11-05	Ralf Jung	expand comment explaining integer exception	commit \| commitdiff \| tree
2019-11-05	Ralf Jung	also edit String::from_raw_parts while we are at it	commit \| commitdiff \| tree
2019-11-05	Ralf Jung	expand slice from_raw_part docs	commit \| commitdiff \| tree
2019-11-05	Ralf Jung	link from raw slice creation methods to safety requirements	commit \| commitdiff \| tree
2019-11-04	Ralf Jung	bump smallvec to 1.0	commit \| commitdiff \| tree
2019-11-04	Ralf Jung	also test different integers	commit \| commitdiff \| tree
2019-11-04	Ralf Jung	test offset_from with two integers	commit \| commitdiff \| tree
2019-11-04	Ralf Jung	Miri: ptr_offset_from: support offset_from with twice...	commit \| commitdiff \| tree
2019-11-04	Ralf Jung	Miri: offset_from: do int-to-ptr casts when needed	commit \| commitdiff \| tree
2019-11-04	Ralf Jung	let caller of check_ptr_access_align control the error...	commit \| commitdiff \| tree
2019-11-04	Ralf Jung	also explain how to resolve MethodCall	commit \| commitdiff \| tree
2019-11-04	Ralf Jung	more robust method checking through DefId and diagnostic_item	commit \| commitdiff \| tree
2019-11-04	Ralf Jung	more correct error msg	commit \| commitdiff \| tree
2019-11-04	Ralf Jung	avoid using nightly features	commit \| commitdiff \| tree
2019-11-04	Ralf Jung	QPath docs: mention how to resolve them	commit \| commitdiff \| tree
2019-11-03	Ralf Jung	don't fail manifest creation if the toolstate file...	commit \| commitdiff \| tree
2019-11-03	Ralf Jung	when Miri tests are not passing, do not add Miri component	commit \| commitdiff \| tree
2019-11-02	Ralf Jung	also adjust ignore in generated tests	commit \| commitdiff \| tree
2019-11-02	Ralf Jung	consistent handling of missing sysroot spans	commit \| commitdiff \| tree
2019-11-02	Ralf Jung	adjust for missing spans on x86 test runner	commit \| commitdiff \| tree
2019-11-02	Ralf Jung	also identiy MaybeUninit::uninit().assume_init() as...	commit \| commitdiff \| tree
2019-11-02	Ralf Jung	uninit/zeroed lint: warn against NULL vtables	commit \| commitdiff \| tree
2019-10-31	Ralf Jung	rebase and re-update lock file	commit \| commitdiff \| tree
2019-10-31	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-10-30	Ralf Jung	work around aggressive syntax feature gating	commit \| commitdiff \| tree
2019-10-26	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-10-26	Ralf Jung	use plain cargo to install xargo	commit \| commitdiff \| tree
2019-10-26	Ralf Jung	bootstrap now takes care of installing xargo	commit \| commitdiff \| tree
2019-10-26	Ralf Jung	update Miri	commit \| commitdiff \| tree
2019-10-22	Ralf Jung	relax ExactSizeIterator bound on write_bytes: too many...	commit \| commitdiff \| tree
2019-10-22	Ralf Jung	add comments	commit \| commitdiff \| tree
2019-10-22	Ralf Jung	bring back some Debug instances for Miri	commit \| commitdiff \| tree
2019-10-21	Ralf Jung	expand comment	commit \| commitdiff \| tree
2019-10-21	Ralf Jung	remove write_repeat; it is subsumed by the new write_bytes	commit \| commitdiff \| tree
2019-10-21	Ralf Jung	points the user away from the Allocation type and towards...	commit \| commitdiff \| tree
2019-10-21	Ralf Jung	keep the root dir clean from debugging	commit \| commitdiff \| tree
2019-10-20	Ralf Jung	also check the iterator is not too long	commit \| commitdiff \| tree
2019-10-20	Ralf Jung	miri add write_bytes method to Memory doing bounds...	commit \| commitdiff \| tree
2019-10-20	Ralf Jung	skip all refs-to-uninit-local, not just arguments	commit \| commitdiff \| tree
2019-10-19	Ralf Jung	adjust miri sysroot determination	commit \| commitdiff \| tree
2019-10-19	Ralf Jung	bump miri	commit \| commitdiff \| tree
2019-10-19	Ralf Jung	show the proper diagnostics	commit \| commitdiff \| tree
2019-10-19	Ralf Jung	add test for calling non-const fn	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom