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

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

2019-08-04	Ralf Jung	check that atomics are sufficiently aligned, and add...	commit \| commitdiff \| tree
2019-08-04	Ralf Jung	test AtomicU64	commit \| commitdiff \| tree
2019-08-04	Ralf Jung	consolidate atomic tests	commit \| commitdiff \| tree
2019-08-03	Ralf Jung	adjust error messages in tests	commit \| commitdiff \| tree
2019-08-03	Ralf Jung	test memalign contract (rustc is fixed)	commit \| commitdiff \| tree
2019-08-03	Ralf Jung	adjust for rustc changes	commit \| commitdiff \| tree
2019-08-03	Ralf Jung	set RUSTC_DEBUG_ASSERTIONS for when we are in bootstrap	commit \| commitdiff \| tree
2019-08-03	Ralf Jung	annotate some unwraps with better messages	commit \| commitdiff \| tree
2019-08-03	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-08-03	Ralf Jung	simplify code	commit \| commitdiff \| tree
2019-08-03	Ralf Jung	remove some compile-fail tests that now work	commit \| commitdiff \| tree
2019-08-03	Ralf Jung	implement all ptr comparisons through integer casts	commit \| commitdiff \| tree
2019-08-03	Ralf Jung	adjust for ptr_op now being called type-based	commit \| commitdiff \| tree
2019-08-03	Ralf Jung	also let bootstrap tell us where to find xargo	commit \| commitdiff \| tree
2019-08-03	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-08-03	Ralf Jung	fix for error refactoring	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	honor CARGO env var (for rustc bootstrap)	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	test dangling ZST deref	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	comment	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	test Ref/RefMut protector interactions	commit \| commitdiff \| tree
2019-08-02	Ralf Jung	make reborrow shallow, and fix tests for that	commit \| commitdiff \| tree
2019-07-31	Ralf Jung	bootstrap no longer carries a copy of these flags	commit \| commitdiff \| tree
2019-07-31	Ralf Jung	let the user skip the sysroot consistency check	commit \| commitdiff \| tree
2019-07-31	Ralf Jung	reorder for clarity	commit \| commitdiff \| tree
2019-07-31	Ralf Jung	dedup code a bit	commit \| commitdiff \| tree
2019-07-31	Ralf Jung	test suite: be fine with warnings when running on rustc CI	commit \| commitdiff \| tree
2019-07-30	Ralf Jung	AppVeyor: retry download	commit \| commitdiff \| tree
2019-07-30	Ralf Jung	move CI remark down to CI section	commit \| commitdiff \| tree
2019-07-30	Ralf Jung	call out more clearly what we do not test; update paragraph...	commit \| commitdiff \| tree
2019-07-29	Ralf Jung	adjust for slice pattern changes	commit \| commitdiff \| tree
2019-07-29	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-07-28	Ralf Jung	bump Rust (no changes needed)	commit \| commitdiff \| tree
2019-07-26	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-07-26	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-07-25	Ralf Jung	link to UB definition	commit \| commitdiff \| tree
2019-07-24	Ralf Jung	readme: move flags and env vars up above dev	commit \| commitdiff \| tree
2019-07-24	Ralf Jung	explain better what is non-deterministic here	commit \| commitdiff \| tree
2019-07-23	Ralf Jung	fix non-deterministic test	commit \| commitdiff \| tree
2019-07-23	Ralf Jung	use checked arithmetic in intrptrcast	commit \| commitdiff \| tree
2019-07-23	Ralf Jung	remove redundant tests / flags	commit \| commitdiff \| tree
2019-07-23	Ralf Jung	review failing compile-fail tests	commit \| commitdiff \| tree
2019-07-23	Ralf Jung	update miri-seed handling for run-pass test suite	commit \| commitdiff \| tree
2019-07-23	Ralf Jung	make sure we always have an RNG	commit \| commitdiff \| tree
2019-07-21	Ralf Jung	bump rust	commit \| commitdiff \| tree
2019-07-20	Ralf Jung	disable some compile-fail tests for rustc	commit \| commitdiff \| tree
2019-07-19	Ralf Jung	fix miri-rustc-tests	commit \| commitdiff \| tree
2019-07-19	Ralf Jung	fix for rustc_driver change	commit \| commitdiff \| tree
2019-07-16	Ralf Jung	fix compile-fail tests for latest rustc	commit \| commitdiff \| tree
2019-07-14	Ralf Jung	update README about what we do not support	commit \| commitdiff \| tree
2019-07-13	Ralf Jung	avoid unnecessary allocation	commit \| commitdiff \| tree
2019-07-13	Ralf Jung	test some const-generic-using methods	commit \| commitdiff \| tree
2019-07-11	Ralf Jung	thread creation error for Windows	commit \| commitdiff \| tree
2019-07-11	Ralf Jung	reenable all tests on Windows	commit \| commitdiff \| tree
2019-07-11	Ralf Jung	bump rust	commit \| commitdiff \| tree
2019-07-10	Ralf Jung	we do this these days	commit \| commitdiff \| tree
2019-07-10	Ralf Jung	bump rustc	commit \| commitdiff \| tree
2019-07-10	Ralf Jung	force pointers before reborrowing; fixes cargo miri...	commit \| commitdiff \| tree
2019-07-10	Ralf Jung	now we can also enable the ptr_int_cast test again	commit \| commitdiff \| tree
2019-07-10	Ralf Jung	adjust for rustc changes; normalize mplace before doing...	commit \| commitdiff \| tree
2019-07-10	Ralf Jung	ptr_offset works fine with intptrcast now	commit \| commitdiff \| tree
2019-07-10	Ralf Jung	bump rustc	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	use Memory::read_c_str, avoid a few to_ptr	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	bump rustc	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	fix for changd machine trait signatures	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	adjust for get_fn signature change	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	gen_random: use check_ptr_access	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	move gen_random to helpers	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	bump the version of getrandom that we test	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	better error message when the program tries to spawn...	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	update to FnVal changes; implement basic Dlsym support...	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	uninit intrinsic is gone	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	fix test using mem::uninitialized	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	fix unused variable warning	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	bump rustc	commit \| commitdiff \| tree
2019-07-06	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	dangling-ptr-to-int should work now; move to noseed	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	bump rustc	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	rename InterpretCx -> InterpCx	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	align small malloc-allocations even less, and test...	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	Merge remote-tracking branch 'origin/master'	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	temporarily disable validation on Windows	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	temporarily disable intptrcast advanced testing on...	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	temporarily disable validation for 'cargo miri test...	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	fix deallocating/reallocating with integer pointers	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	fix NULL in TLS dtors	commit \| commitdiff \| tree
2019-07-05	Ralf Jung	avoid Scalar::is_null_ptr, it is going away	commit \| commitdiff \| tree
2019-07-04	Ralf Jung	temporarily disable ptr_offset, maybe that helps	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	move tls.rs into shims module	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	avoid catching errors	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	make a test noseed for now that does not work with...	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	don't call Stacked Borrows hooks at all when validation...	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	support integers that can be cast to pointers in in...	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	we don't need zero-sized freeze-sensitive visiting	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	avoid integer overflow in ptr-to-int cast	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	allow dangling ptr-to-int casts; use force_bits for...	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	only treat integer operations as such	commit \| commitdiff \| tree
2019-07-03	Ralf Jung	dont add the -Zmiri-seed flag twice	commit \| commitdiff \| tree
2019-07-02	Ralf Jung	run all run-pass tests with intrptrcast. makes many...	commit \| commitdiff \| tree
2019-07-02	Ralf Jung	fix outdated test name: overalign -> align	commit \| commitdiff \| tree
2019-07-02	Ralf Jung	add another bug we found to the list	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom