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

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

2020-03-14	Ralf Jung	adjust Miri interaction with panic runtime	commit \| commitdiff \| tree
2020-03-14	Ralf Jung	add Scalar::from methods for signed integers	commit \| commitdiff \| tree
2020-03-13	Ralf Jung	bless tests	commit \| commitdiff \| tree
2020-03-13	Ralf Jung	adjust enum naming	commit \| commitdiff \| tree
2020-03-12	Ralf Jung	miri engine: fix treatment of abort intrinsic	commit \| commitdiff \| tree
2020-03-12	Ralf Jung	rename panic_if_ intrinsics to assert_	commit \| commitdiff \| tree
2020-03-10	Ralf Jung	also make panic_fmt track_caller	commit \| commitdiff \| tree
2020-03-09	Ralf Jung	also handle abort intrinsic with new machine hook	commit \| commitdiff \| tree
2020-03-09	Ralf Jung	remove no-longer needed span from Miri Machine hook	commit \| commitdiff \| tree
2020-03-09	Ralf Jung	Improve readability	commit \| commitdiff \| tree
2020-03-09	Ralf Jung	panic_bounds_check: use caller_location, like PanicFnLangItem	commit \| commitdiff \| tree
2020-03-09	Ralf Jung	miri: add machine hook for Abort terminator	commit \| commitdiff \| tree
2020-03-08	Ralf Jung	use static strings instead of tcx	commit \| commitdiff \| tree
2020-03-08	Ralf Jung	Fix typo	commit \| commitdiff \| tree
2020-03-08	Ralf Jung	fix some cases of unexpected exceptions leaving validation	commit \| commitdiff \| tree
2020-03-08	Ralf Jung	miri validation: debug-complain about unexpected errors	commit \| commitdiff \| tree
2020-03-08	Ralf Jung	move error allocation test to error.rs	commit \| commitdiff \| tree
2020-03-08	Ralf Jung	miri: ICE on invalid terminators	commit \| commitdiff \| tree
2020-03-08	Ralf Jung	fix memory leak when vec::IntoIter panics during drop	commit \| commitdiff \| tree
2020-03-08	Ralf Jung	fix type size mismatch on 32bit	commit \| commitdiff \| tree
2020-03-06	Ralf Jung	bug on ty::GeneratorWitness	commit \| commitdiff \| tree
2020-03-06	Ralf Jung	rename visit_primitive -> try_visit_primitive, and...	commit \| commitdiff \| tree
2020-03-06	Ralf Jung	please tidy	commit \| commitdiff \| tree
2020-03-06	Ralf Jung	better error messages for invalid boxes (and a few...	commit \| commitdiff \| tree
2020-03-06	Ralf Jung	test some more kinds of enums with uninhabited variants	commit \| commitdiff \| tree
2020-03-06	Ralf Jung	test that we validate boxes	commit \| commitdiff \| tree
2020-03-06	Ralf Jung	const validation ub tests: use transmute instead of...	commit \| commitdiff \| tree
2020-03-06	Ralf Jung	miri value visitor: detect primitives by type, not...	commit \| commitdiff \| tree
2020-03-06	Ralf Jung	'fieldless enums' is not what I meant -- it's empty...	commit \| commitdiff \| tree
2020-03-05	Ralf Jung	reduce test size for Miri	commit \| commitdiff \| tree
2020-03-04	Ralf Jung	more toolstate comments	commit \| commitdiff \| tree
2020-03-04	Ralf Jung	cover some more nearby cases	commit \| commitdiff \| tree
2020-03-04	Ralf Jung	use integer assoc consts instead of methods	commit \| commitdiff \| tree
2020-03-04	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-03-04	Ralf Jung	point cargo-miri to the right xargo binary	commit \| commitdiff \| tree
2020-03-02	Ralf Jung	remove non-sysroot sources from rust-src component	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	Fix typo	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	fix aliasing violation in align_to_mut	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	clarify alignment requirements in Vec::from_raw_parts	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	transmute: improve Vec example	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	downgrade some assertions to debug_ again	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	move pattern to fn argument	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	move panic intrinsic codegen to helper function	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	clarify a comment in the test	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	we cannot short-circuit just becuase the Abi seems...	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	fmt	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	make it even more conservative, and note some FIXMEs	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	test some more things that should not panic	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	use valid_range_exclusive for correct overflow handling	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	reference tracking issue	commit \| commitdiff \| tree
2020-02-29	Ralf Jung	mem::zeroed/uninit: panic on types that do not permit...	commit \| commitdiff \| tree
2020-02-28	Ralf Jung	miri engine: turn some debug_assert into assert	commit \| commitdiff \| tree
2020-02-28	Ralf Jung	move ZST assertion up, for better errors	commit \| commitdiff \| tree
2020-02-28	Ralf Jung	remove ScalarMaybeUndef::to_bits and make Scalar::to_bits...	commit \| commitdiff \| tree
2020-02-28	Ralf Jung	remove check_raw after reducing it to one use only	commit \| commitdiff \| tree
2020-02-28	Ralf Jung	get rid of to_ptr	commit \| commitdiff \| tree
2020-02-28	Ralf Jung	add comment to check_data	commit \| commitdiff \| tree
2020-02-27	Ralf Jung	avoid a negation in is_nonoverlapping	commit \| commitdiff \| tree
2020-02-27	Ralf Jung	disable debug assertion in ptr::write for now	commit \| commitdiff \| tree
2020-02-26	Ralf Jung	miri: validity visitor comments and path printing improvements	commit \| commitdiff \| tree
2020-02-26	Ralf Jung	adjust LayoutDetails comments	commit \| commitdiff \| tree
2020-02-24	Ralf Jung	no more codegen for miri_start_panic	commit \| commitdiff \| tree
2020-02-24	Ralf Jung	bump Miri once more	commit \| commitdiff \| tree
2020-02-23	Ralf Jung	fmt	commit \| commitdiff \| tree
2020-02-23	Ralf Jung	canonicalize alloc ID before calling tag_static_base_pointer	commit \| commitdiff \| tree
2020-02-23	Ralf Jung	miri/machine: add canonical_alloc_id hook to replace...	commit \| commitdiff \| tree
2020-02-22	Ralf Jung	move const_eval.rs into the module folder	commit \| commitdiff \| tree
2020-02-21	Ralf Jung	fix miri and bootstrap interaction	commit \| commitdiff \| tree
2020-02-21	Ralf Jung	bump Miri	commit \| commitdiff \| tree
2020-02-19	Ralf Jung	fix 32bit-only test	commit \| commitdiff \| tree
2020-02-19	Ralf Jung	avoid excessive number of revisions	commit \| commitdiff \| tree
2020-02-18	Ralf Jung	better lint names	commit \| commitdiff \| tree
2020-02-18	Ralf Jung	more English grammar	commit \| commitdiff \| tree
2020-02-18	Ralf Jung	miri value visitor: fix some wrong assumptions about...	commit \| commitdiff \| tree
2020-02-18	Ralf Jung	doc comments for layout components	commit \| commitdiff \| tree
2020-02-16	Ralf Jung	debug_assert a few more raw pointer methods	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	fix incremental tests	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	fix codegen tests	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	remove no-longer-needed test	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	adjust run-fail tests	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	Tighter type bounds for messages	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	fix compile-fail	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	fix another test	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	expand assoc-const test a bit, just to be sure	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	fix exceeding_bitshift lint and test	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	add test for issue 69020	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	more revisions and use them for another test	commit \| commitdiff \| tree
2020-02-15	Ralf Jung	fix tests, and use variants to test debug and release...	commit \| commitdiff \| tree
2020-02-14	Ralf Jung	const-prop: use one helper method for all lints; consistentl...	commit \| commitdiff \| tree
2020-02-14	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	fix typo	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	miri: fix exact_div	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	rename PanicInfo -> AssertKind	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	improve comments:	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	small cleanup in ConstEvalErr::struct_generic	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	move PanicInfo to mir module	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	no need for hook_panic_fn to return a bool	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	remove PanicInfo::Panic variant that MIR does not use...	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	const-prop: handle overflow_check consistently for...	commit \| commitdiff \| tree
2020-02-13	Ralf Jung	remove Panic variant from InterpError	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom