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

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

2022-06-08	Ralf Jung	some clippy-induced cleanup	commit \| commitdiff \| tree
2022-06-08	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-06-07	Ralf Jung	linux-futex test: ensure we join all threads	commit \| commitdiff \| tree
2022-06-07	Ralf Jung	gate bors on clippy	commit \| commitdiff \| tree
2022-06-07	Ralf Jung	silence another clippy lint	commit \| commitdiff \| tree
2022-06-07	Ralf Jung	update and move cargo-miri operational description	commit \| commitdiff \| tree
2022-06-07	Ralf Jung	add stdlib test for TLS dtor order	commit \| commitdiff \| tree
2022-06-07	Ralf Jung	bless tests	commit \| commitdiff \| tree
2022-06-07	Ralf Jung	remove warning about thread support being experimental	commit \| commitdiff \| tree
2022-06-07	Ralf Jung	make scheduler preemptive, with configurable preemption...	commit \| commitdiff \| tree
2022-06-07	Ralf Jung	rename AllocationMap → RangeObjectMap	commit \| commitdiff \| tree
2022-06-06	Ralf Jung	bless Windows	commit \| commitdiff \| tree
2022-06-06	Ralf Jung	hotfix for incorrect only- logic	commit \| commitdiff \| tree
2022-06-06	Ralf Jung	make output bitwidth-independent	commit \| commitdiff \| tree
2022-06-06	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-06-06	Ralf Jung	port some tests away from flags we want to remove	commit \| commitdiff \| tree
2022-06-06	Ralf Jung	fix rustup-toolchain without arguments	commit \| commitdiff \| tree
2022-06-06	Ralf Jung	addr no longer exposes :)	commit \| commitdiff \| tree
2022-06-06	Ralf Jung	adjust for better provenance control	commit \| commitdiff \| tree
2022-06-06	Ralf Jung	argument parsing: make better use of strip_prefix	commit \| commitdiff \| tree
2022-06-05	Ralf Jung	more spin-loop-tests	commit \| commitdiff \| tree
2022-06-05	Ralf Jung	make Miri's scheduler proper round-robin	commit \| commitdiff \| tree
2022-06-05	Ralf Jung	add interesting data race test	commit \| commitdiff \| tree
2022-06-05	Ralf Jung	do not use int2ptr casts in strict provenance tests	commit \| commitdiff \| tree
2022-06-04	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-06-04	Ralf Jung	clippy: cargo-miri	commit \| commitdiff \| tree
2022-06-04	Ralf Jung	clippy: main crate	commit \| commitdiff \| tree
2022-06-04	Ralf Jung	run clippy on CI	commit \| commitdiff \| tree
2022-06-03	Ralf Jung	fix dangling reference in the README	commit \| commitdiff \| tree
2022-06-03	Ralf Jung	delete stale stderr files	commit \| commitdiff \| tree
2022-06-02	Ralf Jung	do not pass TyCtxt by reference	commit \| commitdiff \| tree
2022-06-01	Ralf Jung	rename test suite directories	commit \| commitdiff \| tree
2022-06-01	Ralf Jung	print list of failed tests in summary	commit \| commitdiff \| tree
2022-06-01	Ralf Jung	advanced GHA	commit \| commitdiff \| tree
2022-06-01	Ralf Jung	fmt	commit \| commitdiff \| tree
2022-06-01	Ralf Jung	also avoid rebuilding cached RTIM	commit \| commitdiff \| tree
2022-06-01	Ralf Jung	bump xargo version, and tweak xargo caching	commit \| commitdiff \| tree
2022-05-31	Ralf Jung	paper over platform differences	commit \| commitdiff \| tree
2022-05-31	Ralf Jung	different strategy for normalizing Rust stdlib path	commit \| commitdiff \| tree
2022-05-31	Ralf Jung	fix some lifetime names	commit \| commitdiff \| tree
2022-05-31	Ralf Jung	reduce some code duplication	commit \| commitdiff \| tree
2022-05-30	Ralf Jung	normalize away some more line numbers	commit \| commitdiff \| tree
2022-05-30	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-05-30	Ralf Jung	use is_power_of_two where appropriate	commit \| commitdiff \| tree
2022-05-30	Ralf Jung	make it possible to test more of ui_test	commit \| commitdiff \| tree
2022-05-30	Ralf Jung	fmt	commit \| commitdiff \| tree
2022-05-30	Ralf Jung	don't configure the same regex twice	commit \| commitdiff \| tree
2022-05-30	Ralf Jung	also 'check' the test suite	commit \| commitdiff \| tree
2022-05-30	Ralf Jung	print reason for ignoring	commit \| commitdiff \| tree
2022-05-30	Ralf Jung	ui_test: printing more consistent with compiletest	commit \| commitdiff \| tree
2022-05-30	Ralf Jung	test mir-opt-level=4 again on run tests	commit \| commitdiff \| tree
2022-05-30	Ralf Jung	ui_test: support multiple filters	commit \| commitdiff \| tree
2022-05-29	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-05-29	Ralf Jung	disable optimized tests for now	commit \| commitdiff \| tree
2022-05-28	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-05-25	Ralf Jung	tweak new test suite output	commit \| commitdiff \| tree
2022-05-25	Ralf Jung	enable number validity checking and ptr::invalid checking...	commit \| commitdiff \| tree
2022-05-24	Ralf Jung	with permissive-provenance set, we already treat ptr...	commit \| commitdiff \| tree
2022-05-24	Ralf Jung	rustp	commit \| commitdiff \| tree
2022-05-24	Jakob Degen	Adjust Miri to also require return places everywhere	commit \| commitdiff \| tree
2022-05-23	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-05-23	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-05-23	Ralf Jung	move some tests to more suitable locations	commit \| commitdiff \| tree
2022-05-23	Ralf Jung	move some compile-fail tests to a more appropriate...	commit \| commitdiff \| tree
2022-05-23	Ralf Jung	fix some old typos	commit \| commitdiff \| tree
2022-05-23	Ralf Jung	test that compare-exchange-weak-failure-rate=0.0 means...	commit \| commitdiff \| tree
2022-05-23	Ralf Jung	split flag section into common and advanced flags	commit \| commitdiff \| tree
2022-05-23	Ralf Jung	clean up int2ptr code a bit	commit \| commitdiff \| tree
2022-05-23	Ralf Jung	readme: document permissive-provenance flag	commit \| commitdiff \| tree
2022-05-23	carbotaniuman	Initial work on permissive provenance	commit \| commitdiff \| tree
2022-05-21	Ralf Jung	refresh our GHA caches	commit \| commitdiff \| tree
2022-05-20	Ralf Jung	explain which targets we support to what extent	commit \| commitdiff \| tree
2022-05-20	Ralf Jung	the Windows CI runner takes a lot longer than the others...	commit \| commitdiff \| tree
2022-05-20	Ralf Jung	explain what we mean by 'unsound'	commit \| commitdiff \| tree
2022-05-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-05-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-05-18	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-05-18	Ralf Jung	change one of the ref-to-uninhbaited tests to Box	commit \| commitdiff \| tree
2022-05-18	Ralf Jung	test for validity of references pointing to uninhabited...	commit \| commitdiff \| tree
2022-05-17	Ralf Jung	I cannot type	commit \| commitdiff \| tree
2022-05-17	Ralf Jung	rustup-toolchain: also prepare toolchain for vscode	commit \| commitdiff \| tree
2022-05-15	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-05-15	Ralf Jung	don't ICE when libcore is missing	commit \| commitdiff \| tree
2022-05-13	Ralf Jung	data_race: use glob import like most files	commit \| commitdiff \| tree
2022-05-12	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-05-11	Ralf Jung	when MIRI_LOG is set, set RUSTC_LOG_ENTRY_EXIT	commit \| commitdiff \| tree
2022-05-10	Ralf Jung	rustfmt	commit \| commitdiff \| tree
2022-05-10	Ralf Jung	stop relying on python being in the PATH	commit \| commitdiff \| tree
2022-05-09	Ralf Jung	rustfmt	commit \| commitdiff \| tree
2022-05-09	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-05-08	Ralf Jung	test for "erroneous constant used" post-monomorphization...	commit \| commitdiff \| tree
2022-05-06	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-05-05	Ralf Jung	tweak MIRI_SYSROOT docs	commit \| commitdiff \| tree
2022-05-01	Ralf Jung	mention some papers that use Miri	commit \| commitdiff \| tree
2022-04-30	Ralf Jung	gracefully handle type-too-large layout errors	commit \| commitdiff \| tree
2022-04-21	Ralf Jung	make sure 2-phase borows work even with raw ptr tagging	commit \| commitdiff \| tree
2022-04-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-04-20	Ralf Jung	add mut_below_shr test	commit \| commitdiff \| tree
2022-04-20	Ralf Jung	add another test for #2068	commit \| commitdiff \| tree
2022-04-20	Ralf Jung	add test for https://github.com/rust-lang/miri/issues...	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom