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

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

2020-05-01	Ralf Jung	liballoc tests: Miri supports threads now	commit \| commitdiff \| tree
2020-04-29	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-04-29	Ralf Jung	expand comment in memory.rs with extra soundness concerns	commit \| commitdiff \| tree
2020-04-29	Ralf Jung	some more test cases	commit \| commitdiff \| tree
2020-04-29	Ralf Jung	also test reference into static field	commit \| commitdiff \| tree
2020-04-28	Ralf Jung	clarify comment	commit \| commitdiff \| tree
2020-04-28	Ralf Jung	add test for const-ref-to-cross-crate-mutable-static	commit \| commitdiff \| tree
2020-04-28	Ralf Jung	better document const-pattern dynamic soundness checks...	commit \| commitdiff \| tree
2020-04-28	Ralf Jung	also run some generator tests without MIR optimizations	commit \| commitdiff \| tree
2020-04-27	Ralf Jung	share some common code for compile-time miri instances	commit \| commitdiff \| tree
2020-04-27	Ralf Jung	keep 'pointer' terminology around	commit \| commitdiff \| tree
2020-04-27	Ralf Jung	make recursive-zst test unleashed	commit \| commitdiff \| tree
2020-04-26	Ralf Jung	fmt	commit \| commitdiff \| tree
2020-04-26	Ralf Jung	remove Unique::from for shared pointer types	commit \| commitdiff \| tree
2020-04-26	Ralf Jung	organize Debug/Display impls a bit more; avoid sign...	commit \| commitdiff \| tree
2020-04-26	Ralf Jung	print pointers more compactly when they are too big	commit \| commitdiff \| tree
2020-04-26	Ralf Jung	sync alloc dump and pointer printing	commit \| commitdiff \| tree
2020-04-23	Ralf Jung	explain what we are testing in mutable_const	commit \| commitdiff \| tree
2020-04-23	Ralf Jung	add back Scalar::null_ptr	commit \| commitdiff \| tree
2020-04-23	Ralf Jung	miri-unleash tests: ensure they fire even with 'allow...	commit \| commitdiff \| tree
2020-04-23	Ralf Jung	liballoc: more compact way to adjust test sizes for...	commit \| commitdiff \| tree
2020-04-23	Ralf Jung	libcore: more compact way to adjust test sizes for...	commit \| commitdiff \| tree
2020-04-23	Ralf Jung	Miri Frame: use mir::Location to represent position...	commit \| commitdiff \| tree
2020-04-22	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-04-22	Ralf Jung	smoke-test for async fn with mir-opt-level=0	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom