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

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

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-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
2020-05-25	Ralf Jung	rename lint	commit \| commitdiff \| tree
2020-05-25	Ralf Jung	more test ref-to-packed tests	commit \| commitdiff \| tree
2020-05-25	Ralf Jung	remove some unused types from the tests	commit \| commitdiff \| tree
2020-05-25	Ralf Jung	add a lint against references to packed fields	commit \| commitdiff \| tree
2020-05-25	Ralf Jung	fix ICE when debug-printing MIR	commit \| commitdiff \| tree
2020-05-24	Ralf Jung	comment nit	commit \| commitdiff \| tree
2020-05-24	Ralf Jung	use helper method for determining size of int type	commit \| commitdiff \| tree
2020-05-24	Ralf Jung	bump Miri	commit \| commitdiff \| tree
2020-05-24	Ralf Jung	Fix unsizing casts	commit \| commitdiff \| tree
2020-05-24	Ralf Jung	bootstrap: propagate test-args to miri and clippy test...	commit \| commitdiff \| tree
2020-05-24	Ralf Jung	Miri casts: do not blindly rely on dest type	commit \| commitdiff \| tree
2020-05-23	Ralf Jung	make some cast helpers infallible	commit \| commitdiff \| tree
2020-05-23	Ralf Jung	bless mir-opt tests	commit \| commitdiff \| tree
2020-05-23	Ralf Jung	fix discriminant type in generator transform	commit \| commitdiff \| tree
2020-05-23	Ralf Jung	add warning sign to UB examples	commit \| commitdiff \| tree
2020-05-21	Ralf Jung	fix discriminant sign extension	commit \| commitdiff \| tree
2020-05-17	Ralf Jung	abort_internal is safe	commit \| commitdiff \| tree
2020-05-17	Ralf Jung	bootstrap: fix typo	commit \| commitdiff \| tree
2020-05-17	Ralf Jung	make abort intrinsic safe, and correct its documentation	commit \| commitdiff \| tree
2020-05-16	Ralf Jung	emphasize that ManuallyDrop is safe-to-access and unsafe...	commit \| commitdiff \| tree
2020-05-16	Ralf Jung	move borrow-of-packed-field unsafety check out of loop	commit \| commitdiff \| tree
2020-05-14	Ralf Jung	make sure even unleashed miri does not do pointer stuff	commit \| commitdiff \| tree
2020-05-12	Ralf Jung	Pointer printing: do not print 0 offset	commit \| commitdiff \| tree
2020-05-12	Ralf Jung	strings do not have to be valid UTF-8 any more	commit \| commitdiff \| tree
2020-05-11	Ralf Jung	fix test_weak_count_locked for Miri	commit \| commitdiff \| tree
2020-05-11	Ralf Jung	update miri some more	commit \| commitdiff \| tree
2020-05-10	Ralf Jung	rustc_driver::main: more informative return type	commit \| commitdiff \| tree
2020-05-10	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-05-10	Ralf Jung	rustc_driver: factor out computing the exit code	commit \| commitdiff \| tree
2020-05-10	Ralf Jung	rustc_driver: factor out computing the exit code	commit \| commitdiff \| tree
2020-05-10	Ralf Jung	remove lldb package from bootstrap, config and build...	commit \| commitdiff \| tree
2020-05-10	Ralf Jung	rebase fallout	commit \| commitdiff \| tree
2020-05-10	Ralf Jung	Typo	commit \| commitdiff \| tree
2020-05-10	Ralf Jung	fmt	commit \| commitdiff \| tree
2020-05-10	Ralf Jung	avoid raising interpreter errors from interning	commit \| commitdiff \| tree
2020-05-10	Ralf Jung	remove some dead code, and assert we do not swallow...	commit \| commitdiff \| tree
2020-05-10	Ralf Jung	Miri interning: replace ICEs by proper errors, make...	commit \| commitdiff \| tree
2020-05-10	Ralf Jung	use min_specialization for some rustc crates where...	commit \| commitdiff \| tree
2020-05-09	Ralf Jung	adjust tests	commit \| commitdiff \| tree
2020-05-09	Ralf Jung	expand "incomplete feature" message to include unsoundness...	commit \| commitdiff \| tree
2020-05-07	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-05-07	Ralf Jung	use hex for pointers in Miri error messages; refine...	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom