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

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

2020-04-23	Ralf Jung	miri-unleash tests: ensure they fire even with 'allow...	commit \| commitdiff \| tree
2020-04-22	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-04-22	Ralf Jung	comment explaining force_align usage	commit \| commitdiff \| tree
2020-04-19	Ralf Jung	Fix comment	commit \| commitdiff \| tree
2020-04-19	Ralf Jung	miri-unleash test for llvm_asm	commit \| commitdiff \| tree
2020-04-18	Ralf Jung	Miri: mplace_access_checked: offer option to force...	commit \| commitdiff \| tree
2020-04-18	Ralf Jung	miri-unleashed: test that we detect heap allocations	commit \| commitdiff \| tree
2020-04-18	Ralf Jung	check_consts: make ops module private	commit \| commitdiff \| tree
2020-04-17	Ralf Jung	Miri: fix typo	commit \| commitdiff \| tree
2020-04-16	Ralf Jung	bikeshed	commit \| commitdiff \| tree
2020-04-16	Ralf Jung	Miri error messages: avoid try terminology	commit \| commitdiff \| tree
2020-04-16	Ralf Jung	test fast path offset reporting	commit \| commitdiff \| tree
2020-04-16	Ralf Jung	switch back to 'bytes'	commit \| commitdiff \| tree
2020-04-15	Ralf Jung	bump Miri	commit \| commitdiff \| tree
2020-04-15	Ralf Jung	don't specify log base in big-O	commit \| commitdiff \| tree
2020-04-15	Ralf Jung	big-O notation: parenthesis, multiplication and backticks	commit \| commitdiff \| tree
2020-04-15	Ralf Jung	reword Miri validity errors: undefined -> uninitialized	commit \| commitdiff \| tree
2020-04-15	Ralf Jung	remove rustfmt-induced spurious trailing comma	commit \| commitdiff \| tree
2020-04-15	Ralf Jung	remove an impossible branch from check_consts	commit \| commitdiff \| tree
2020-04-13	Ralf Jung	fmt	commit \| commitdiff \| tree
2020-04-13	Ralf Jung	Miri: let machine hook dynamically decide about alignment...	commit \| commitdiff \| tree
2020-04-13	Ralf Jung	add after_stack_push hook; add public ImmTy::from_immediate...	commit \| commitdiff \| tree
2020-04-13	Ralf Jung	Miri: let push_frame hook also access and mutate the...	commit \| commitdiff \| tree
2020-04-10	Ralf Jung	assert that only statics can possibly be mutable	commit \| commitdiff \| tree
2020-04-10	Ralf Jung	compiletest: let config flags overwrite -A unused	commit \| commitdiff \| tree
2020-04-09	Ralf Jung	mark a temporary hack as such	commit \| commitdiff \| tree
2020-04-09	Ralf Jung	tighten CTFE safety net for accesses to globals	commit \| commitdiff \| tree
2020-04-07	Ralf Jung	bump Miri	commit \| commitdiff \| tree
2020-04-06	Ralf Jung	tweak rustc_layout debug output	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	make set_span public, as all the fields it touches...	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	set span more accurately during const_prop	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	Miri engine: use span_bug in a few places	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	add test	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	Miri terminator handling: only do progress sanity check...	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	also print type type	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	also print rustc_layout on impl trait type aliases	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	fix comment	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	clarify safety in RawVec::into_box	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	add test	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	miri assignment check: compare types after normalizing...	commit \| commitdiff \| tree
2020-04-05	Ralf Jung	tweak swap_remove	commit \| commitdiff \| tree
2020-04-04	Ralf Jung	Miri: remove an outdated FIXME	commit \| commitdiff \| tree
2020-04-04	Ralf Jung	indicate better which kind of memory got leaked	commit \| commitdiff \| tree
2020-04-04	Ralf Jung	share more alloc printing code between Miri and MIR...	commit \| commitdiff \| tree
2020-04-04	Ralf Jung	avoid printing allocations twice	commit \| commitdiff \| tree
2020-04-04	Ralf Jung	Miri leak_report: do not report leaks of allocations...	commit \| commitdiff \| tree
2020-04-03	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-04-02	Ralf Jung	switch assignment check back to testing layout equality	commit \| commitdiff \| tree
2020-04-02	Ralf Jung	also use mir_assign_valid_types in from_known_layout...	commit \| commitdiff \| tree
2020-04-02	Ralf Jung	also accept fn-ptr-type-changing assignments	commit \| commitdiff \| tree
2020-04-02	Ralf Jung	Miri engine: stronger type-based sanity check for assignments	commit \| commitdiff \| tree
2020-03-31	Ralf Jung	const backtrace: do not skip first frame	commit \| commitdiff \| tree
2020-03-31	Ralf Jung	avoid an unreachable fallback	commit \| commitdiff \| tree
2020-03-31	Ralf Jung	remove unnecessary relocation check in const_prop	commit \| commitdiff \| tree
2020-03-31	Ralf Jung	bump Miri	commit \| commitdiff \| tree
2020-03-30	Ralf Jung	remove a dead parameter that everyone sets to None	commit \| commitdiff \| tree
2020-03-30	Ralf Jung	stop unnecessarily passing around span argument for...	commit \| commitdiff \| tree
2020-03-30	Ralf Jung	remove caller span from Miri stack frame	commit \| commitdiff \| tree
2020-03-30	Ralf Jung	bless tests	commit \| commitdiff \| tree
2020-03-30	Ralf Jung	Miri stacktrace: record span inside frame, not call...	commit \| commitdiff \| tree
2020-03-30	Ralf Jung	fix and test aliasing in swap_remove	commit \| commitdiff \| tree
2020-03-30	Ralf Jung	fix aliasing in remove()	commit \| commitdiff \| tree
2020-03-30	Ralf Jung	also cover next() path of draining iterators	commit \| commitdiff \| tree
2020-03-30	Ralf Jung	test more mutating vector methods	commit \| commitdiff \| tree
2020-03-30	Ralf Jung	fix BTreeMap test compilation with Miri	commit \| commitdiff \| tree
2020-03-30	Ralf Jung	add some tests	commit \| commitdiff \| tree
2020-03-30	Ralf Jung	fix ptr invalidation in Vec::truncate	commit \| commitdiff \| tree
2020-03-30	Ralf Jung	fix pointer invalidation when extnding a vector from...	commit \| commitdiff \| tree
2020-03-30	Ralf Jung	fix Vec::extend invalidating unrelated pointers	commit \| commitdiff \| tree
2020-03-28	Ralf Jung	fix TryEnterCriticalSection return type	commit \| commitdiff \| tree
2020-03-28	Ralf Jung	refmt	commit \| commitdiff \| tree
2020-03-28	Ralf Jung	get rid of useless back-and-forth cast	commit \| commitdiff \| tree
2020-03-28	Ralf Jung	use more specialized Scalar::from_ constructors where...	commit \| commitdiff \| tree
2020-03-28	Ralf Jung	use machine_ prefix for target usize/isize	commit \| commitdiff \| tree
2020-03-28	Ralf Jung	rename Scalar::{ptr_null -> null_ptr}	commit \| commitdiff \| tree
2020-03-27	Ralf Jung	avoid creating unnecessary reference in Windows Env...	commit \| commitdiff \| tree
2020-03-26	Ralf Jung	Miri float->int casts: be explicit that this is saturating	commit \| commitdiff \| tree
2020-03-26	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-03-25	Ralf Jung	avoid catching InterpError	commit \| commitdiff \| tree
2020-03-25	Ralf Jung	add usize methods for Size getters	commit \| commitdiff \| tree
2020-03-25	Ralf Jung	go back to infix ops for Size	commit \| commitdiff \| tree
2020-03-25	Ralf Jung	add helper method for ptr ops on Scalar; reduce unnecessary...	commit \| commitdiff \| tree
2020-03-25	Ralf Jung	use Size addition instead of checked int addition	commit \| commitdiff \| tree
2020-03-25	Ralf Jung	make Size::from* methods generic in the integer type...	commit \| commitdiff \| tree
2020-03-25	Ralf Jung	remove unnecessary cast	commit \| commitdiff \| tree
2020-03-25	Ralf Jung	miri: avoid a bunch of casts by offering usized-based...	commit \| commitdiff \| tree
2020-03-25	Ralf Jung	avoid double-cast in mplace_field	commit \| commitdiff \| tree
2020-03-25	Ralf Jung	make bit_width return u64, consistently with other...	commit \| commitdiff \| tree
2020-03-25	Ralf Jung	use checked casts and arithmetic in Miri engine	commit \| commitdiff \| tree
2020-03-25	Ralf Jung	miri: simplify shift operator overflow checking	commit \| commitdiff \| tree
2020-03-25	Ralf Jung	rename def_id -> static_def_id	commit \| commitdiff \| tree
2020-03-25	Ralf Jung	better explain GLOBAL_KIND choice	commit \| commitdiff \| tree
2020-03-24	Ralf Jung	actually we can reject all reads from mutable allocs...	commit \| commitdiff \| tree
2020-03-24	Ralf Jung	fix const_prop ICE	commit \| commitdiff \| tree
2020-03-24	Ralf Jung	bless you	commit \| commitdiff \| tree
2020-03-24	Ralf Jung	get back the more precise error message	commit \| commitdiff \| tree
2020-03-24	Ralf Jung	bless; add test for mutating a static	commit \| commitdiff \| tree
2020-03-24	Ralf Jung	move ModifiedStatic error to ConstEval errors, and...	commit \| commitdiff \| tree
2020-03-23	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-03-23	Ralf Jung	make sure we are checking the size of the right thing	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom