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

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

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	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-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	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom