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

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

2020-07-31	Ralf Jung	Miri: fix ICE when unwinding past topmost stack frame	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	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	update Miri	commit \| commitdiff \| tree
2020-06-16	Ralf Jung	libcore tests: use min_specialization	commit \| commitdiff \| tree
2020-06-16	Ralf Jung	bless all	commit \| commitdiff \| tree
2020-06-16	Ralf Jung	add probably accidentally missing super_* calls	commit \| commitdiff \| tree
2020-06-16	Ralf Jung	fmt; make visit_terminator arg names consistent with...	commit \| commitdiff \| tree
2020-06-16	Ralf Jung	rename location field of Drop terminators to place	commit \| commitdiff \| tree
2020-06-16	Ralf Jung	get rid of an unused 'span' field	commit \| commitdiff \| tree
2020-06-16	Ralf Jung	remove visit_terminator_kind from MIR visitor	commit \| commitdiff \| tree
2020-06-16	Ralf Jung	warn against 'specialization' feature	commit \| commitdiff \| tree
2020-06-16	Ralf Jung	add tracking issue	commit \| commitdiff \| tree
2020-06-15	Ralf Jung	add FIXME to EnumTagInfo	commit \| commitdiff \| tree
2020-06-14	Ralf Jung	keep root_span and tcx together	commit \| commitdiff \| tree
2020-06-13	Ralf Jung	run const_eval_raw with root_span	commit \| commitdiff \| tree
2020-06-13	Ralf Jung	avoid computing precise span for const_eval query	commit \| commitdiff \| tree
2020-06-12	Ralf Jung	add raw_ref macros	commit \| commitdiff \| tree
2020-06-12	Ralf Jung	fix caller_location intrinsic for Miri	commit \| commitdiff \| tree
2020-06-12	Ralf Jung	avoid computing cur_span all the time	commit \| commitdiff \| tree
2020-06-12	Ralf Jung	fix const_prop spans and re-bless tests	commit \| commitdiff \| tree
2020-06-12	Ralf Jung	make miri InterpCx TyCtxtAt a TyCtxt, and separately...	commit \| commitdiff \| tree
2020-06-12	Ralf Jung	x.py: do not build Miri by default	commit \| commitdiff \| tree
2020-06-12	Ralf Jung	make miri memory TyCtxtAt a TyCtxt	commit \| commitdiff \| tree
2020-06-10	Ralf Jung	x.py: with --json-output, forward cargo's JSON	commit \| commitdiff \| tree
2020-06-07	Ralf Jung	rename FalseEdges -> FalseEdge	commit \| commitdiff \| tree
2020-06-01	Ralf Jung	test miri-unleash TLS accesses	commit \| commitdiff \| tree
2020-06-01	Ralf Jung	bump Miri, update for cargo-miri being a separate project	commit \| commitdiff \| tree
2020-05-31	Ralf Jung	always print MIR Location when validator finds a problem	commit \| commitdiff \| tree
2020-05-31	Ralf Jung	more checks for SwitchInt	commit \| commitdiff \| tree
2020-05-31	Ralf Jung	replace DUMMY_SP by proper span	commit \| commitdiff \| tree
2020-05-31	Ralf Jung	Miri tests: skip parts of test_char_range	commit \| commitdiff \| tree
2020-05-31	Ralf Jung	validate basic sanity for TerminatorKind	commit \| commitdiff \| tree
2020-05-30	Ralf Jung	encode_utf8_raw is not always valid UTF-8; clarify...	commit \| commitdiff \| tree
2020-05-30	Ralf Jung	miri errors: rename InvalidDiscriminant -> InvalidTag	commit \| commitdiff \| tree
2020-05-30	Ralf Jung	tag/niche terminology cleanup	commit \| commitdiff \| tree
2020-05-30	Ralf Jung	also expose and use encode_utf16_raw for wtf8	commit \| commitdiff \| tree
2020-05-30	Ralf Jung	wtf8: use encode_utf8_raw	commit \| commitdiff \| tree
2020-05-30	Ralf Jung	expose char::encode_utf8_raw for libstd	commit \| commitdiff \| tree
2020-05-30	Ralf Jung	multiple Return terminators are possible	commit \| commitdiff \| tree
2020-05-30	Ralf Jung	miri validation: clarify valid values of 'char'	commit \| commitdiff \| tree
2020-05-29	Ralf Jung	more type sanity checks in Miri	commit \| commitdiff \| tree
2020-05-28	Ralf Jung	from_u32_unchecked: check validity when debug assertions...	commit \| commitdiff \| tree
2020-05-27	Ralf Jung	expand unaligned_references test	commit \| commitdiff \| tree
2020-05-25	Ralf Jung	fix discriminant_ty for non-enums	commit \| commitdiff \| tree
2020-05-25	Ralf Jung	Add helper method for determining the type of a discriminant	commit \| commitdiff \| tree
2020-05-25	Ralf Jung	Format and more tracing	commit \| commitdiff \| tree
2020-05-25	Ralf Jung	assert that types without discriminant use variant...	commit \| commitdiff \| tree
2020-05-25	Ralf Jung	comments and refactor variable names	commit \| commitdiff \| tree
2020-05-25	Ralf Jung	Miri: refactor read_discriminant and make it return...	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom