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

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

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
2020-08-17	Ralf Jung	fix typo	commit \| commitdiff \| tree
2020-08-16	Ralf Jung	miri engine: add option to use force_int for alignment...	commit \| commitdiff \| tree
2020-08-14	Ralf Jung	add a FIXME concerning interning of promoteds	commit \| commitdiff \| tree
2020-08-14	Ralf Jung	answer an old question re: intern kinds	commit \| commitdiff \| tree
2020-08-14	Ralf Jung	mention 'lifetime extension' in promotion doc comments	commit \| commitdiff \| tree
2020-08-13	Ralf Jung	fn type: structure, and talk a bit more about ABIs...	commit \| commitdiff \| tree
2020-08-13	Ralf Jung	pin docs: add some forward references	commit \| commitdiff \| tree
2020-08-13	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-08-12	Ralf Jung	fix LocalInfo doc comment	commit \| commitdiff \| tree
2020-08-12	Ralf Jung	add regression test for #74739 (mir const-prop bug)	commit \| commitdiff \| tree
2020-08-12	Ralf Jung	fix span of stack size error	commit \| commitdiff \| tree
2020-08-12	Ralf Jung	fix typos	commit \| commitdiff \| tree
2020-08-12	Ralf Jung	more precise span for erroneous consts during CTFE...	commit \| commitdiff \| tree
2020-08-12	Ralf Jung	bless tests	commit \| commitdiff \| tree
2020-08-12	Ralf Jung	miri: fall back to whole-function span when loc==None	commit \| commitdiff \| tree
2020-08-12	Ralf Jung	only set frame location during push after preamble...	commit \| commitdiff \| tree
2020-08-11	Ralf Jung	move Deaggregate pass to post_borrowck_cleanup	commit \| commitdiff \| tree
2020-08-10	Ralf Jung	add test for unused erroneous const in CTFE	commit \| commitdiff \| tree
2020-08-10	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-08-09	Ralf Jung	bless MIR	commit \| commitdiff \| tree
2020-08-09	Ralf Jung	evaluate required_consts when pushing stack frame in...	commit \| commitdiff \| tree
2020-08-09	Ralf Jung	move stack size check to const_eval machine	commit \| commitdiff \| tree
2020-08-09	Ralf Jung	move const_eval error reporting logic into rustc_mir...	commit \| commitdiff \| tree
2020-08-08	Ralf Jung	make black_box a NOP in Miri	commit \| commitdiff \| tree
2020-08-07	Ralf Jung	clean up const-hacks in int endianess conversion functions	commit \| commitdiff \| tree
2020-08-07	Ralf Jung	fix feature gate and tracking issue	commit \| commitdiff \| tree
2020-08-07	Ralf Jung	make MaybeUninit::as_(mut_)ptr const	commit \| commitdiff \| tree
2020-08-06	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-07-31	Ralf Jung	Miri: fix ICE when unwinding past topmost stack frame	commit \| commitdiff \| tree
2020-07-31	Ralf Jung	expand comments	commit \| commitdiff \| tree
2020-07-31	Ralf Jung	also reduce some libcore test iteration counts	commit \| commitdiff \| tree
2020-07-31	Ralf Jung	reduce slice::panic_safe test size further in Miri	commit \| commitdiff \| tree
2020-07-31	Ralf Jung	make some vec_deque tests less exhaustive in Miri	commit \| commitdiff \| tree
2020-07-30	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-07-29	Ralf Jung	fence docs: fix example Mutex	commit \| commitdiff \| tree
2020-07-27	Ralf Jung	rename eval_const_to_op -> const_to_op	commit \| commitdiff \| tree
2020-07-26	Ralf Jung	typos + fmt	commit \| commitdiff \| tree
2020-07-26	Ralf Jung	move getting the initial value of a static into helper...	commit \| commitdiff \| tree
2020-07-26	Ralf Jung	check that even referencing a TLS static during CTFE...	commit \| commitdiff \| tree
2020-07-26	Ralf Jung	Miri: replace canonical_alloc_id mechanism by extern_static_...	commit \| commitdiff \| tree
2020-07-23	Ralf Jung	avoid implicitly returning ()	commit \| commitdiff \| tree
2020-07-23	Ralf Jung	on Windows, use miri_static_root for TLS dtors	commit \| commitdiff \| tree
2020-07-23	Ralf Jung	replace miri_start_panic intrinsic by 'extern fn'	commit \| commitdiff \| tree
2020-07-20	Ralf Jung	update backtrace-rs	commit \| commitdiff \| tree
2020-07-19	Ralf Jung	include backtrace folder in rust-src component	commit \| commitdiff \| tree
2020-07-17	Ralf Jung	warn about uninit multi-variant enums	commit \| commitdiff \| tree
2020-07-17	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-07-12	Ralf Jung	assign tracking issue	commit \| commitdiff \| tree
2020-07-12	Ralf Jung	adjust remaining targets	commit \| commitdiff \| tree
2020-07-12	Ralf Jung	rename fast_thread_local -> thread_local_dtor; thread_local...	commit \| commitdiff \| tree
2020-07-11	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-07-09	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-07-05	Ralf Jung	add (unchecked) indexing methods to raw pointers and...	commit \| commitdiff \| tree
2020-07-05	Ralf Jung	make unchecked slice indexing helper methods use raw...	commit \| commitdiff \| tree
2020-07-05	Ralf Jung	call the mut version as_mut_ptr and also add an as_ptr...	commit \| commitdiff \| tree
2020-07-05	Ralf Jung	add as_ptr method to raw slices	commit \| commitdiff \| tree
2020-07-05	Ralf Jung	variant_count: avoid incorrect dummy implementation	commit \| commitdiff \| tree
2020-07-05	Ralf Jung	fmt	commit \| commitdiff \| tree
2020-07-05	Ralf Jung	const validation: add test for uninit bool	commit \| commitdiff \| tree
2020-07-05	Ralf Jung	catch errors more locally around read_discriminant	commit \| commitdiff \| tree
2020-07-05	Ralf Jung	catch InvalidUninitBytes during validation	commit \| commitdiff \| tree
2020-07-03	Ralf Jung	adjust ub-enum test to be endianess-independent	commit \| commitdiff \| tree
2020-07-02	Ralf Jung	disable BTree min_max test in Miri for now	commit \| commitdiff \| tree
2020-06-30	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-06-24	Ralf Jung	reduce sanity check in debug mode	commit \| commitdiff \| tree
2020-06-22	Ralf Jung	make layout check a mere sanity check	commit \| commitdiff \| tree
2020-06-22	Ralf Jung	expand a comment	commit \| commitdiff \| tree
2020-06-22	Ralf Jung	also use relator in interpreter assignment sanity check	commit \| commitdiff \| tree
2020-06-22	Ralf Jung	fix typo	commit \| commitdiff \| tree
2020-06-22	Ralf Jung	use a TypeRelation to compare the types	commit \| commitdiff \| tree
2020-06-22	Ralf Jung	no need to normalize mutability any more	commit \| commitdiff \| tree
2020-06-22	Ralf Jung	reveal_all when sanity-checking MIR assignment types	commit \| commitdiff \| tree
2020-06-22	Ralf Jung	also normalize_erasing_regions	commit \| commitdiff \| tree
2020-06-22	Ralf Jung	also normalize constants when comparing types	commit \| commitdiff \| tree
2020-06-22	Ralf Jung	prepare visit_statement for checking more kinds of...	commit \| commitdiff \| tree
2020-06-22	Ralf Jung	MIR sanity check: validate types on assignment	commit \| commitdiff \| tree
2020-06-21	Ralf Jung	improve grammar	commit \| commitdiff \| tree
2020-06-21	Ralf Jung	fmt	commit \| commitdiff \| tree
2020-06-21	Ralf Jung	MIR validation: check switch_ty	commit \| commitdiff \| tree
2020-06-21	Ralf Jung	remove switch_ty reliance in codegen	commit \| commitdiff \| tree
2020-06-21	Ralf Jung	Miri: replace many bug! by span_bug!	commit \| commitdiff \| tree
2020-06-21	Ralf Jung	deprecate wrapping_offset_from	commit \| commitdiff \| tree
2020-06-21	Ralf Jung	tweak wording	commit \| commitdiff \| tree
2020-06-21	Ralf Jung	add missing doc links	commit \| commitdiff \| tree
2020-06-21	Ralf Jung	Make is_freeze and is_copy_modulo_regions take TyCtxtAt	commit \| commitdiff \| tree
2020-06-21	Ralf Jung	Make is_freeze and is_copy_modulo_regions take TyCtxtAt	commit \| commitdiff \| tree
2020-06-20	Ralf Jung	Rollup merge of #73543 - GuillaumeGomez:cleanup-e0695...	commit \| commitdiff \| tree
2020-06-20	Ralf Jung	Rollup merge of #73539 - LukasKalbertodt:deprecate...	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom