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

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

2022-06-27	Ralf Jung	avoid unnecessary indirection in miri-track-raw-pointers...	commit \| commitdiff \| tree
2022-06-27	Ralf Jung	make macOS happy	commit \| commitdiff \| tree
2022-06-27	Ralf Jung	fmt	commit \| commitdiff \| tree
2022-06-27	Ralf Jung	readme: move some things around	commit \| commitdiff \| tree
2022-06-27	Ralf Jung	remove support for untagged pointers	commit \| commitdiff \| tree
2022-06-27	Ralf Jung	more int2ptr cast tests, and fix casting of addresses...	commit \| commitdiff \| tree
2022-06-27	Ralf Jung	make permissive provenance and raw-ptr tagging the...	commit \| commitdiff \| tree
2022-06-26	Ralf Jung	trophy case: add the data race in thread::scope	commit \| commitdiff \| tree
2022-06-26	Ralf Jung	add -Zmiri-report-progress to regularly print a stacktrace...	commit \| commitdiff \| tree
2022-06-26	Ralf Jung	test that futexes induce appropriate synchronization	commit \| commitdiff \| tree
2022-06-26	Ralf Jung	make a bunch of tests look more like how they did before...	commit \| commitdiff \| tree
2022-06-26	Ralf Jung	don't assert the same thing twice	commit \| commitdiff \| tree
2022-06-25	Ralf Jung	test that &mut !Unpin references are protected	commit \| commitdiff \| tree
2022-06-25	Ralf Jung	test for forgetting locked mutex	commit \| commitdiff \| tree
2022-06-25	Ralf Jung	join all the threads	commit \| commitdiff \| tree
2022-06-25	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-06-25	Ralf Jung	README: multi-seed loop: also test the 0 seed	commit \| commitdiff \| tree
2022-06-25	Ralf Jung	remove a FIXME that is not actually a bug	commit \| commitdiff \| tree
2022-06-25	Ralf Jung	tweaks and feedback	commit \| commitdiff \| tree
2022-06-25	Ralf Jung	implement 'delimited' expose tracking so we still detect...	commit \| commitdiff \| tree
2022-06-24	Ralf Jung	make the tests pass	commit \| commitdiff \| tree
2022-06-24	Ralf Jung	reorganize exposure code a bit	commit \| commitdiff \| tree
2022-06-24	Ralf Jung	add exposed_only_ro test	commit \| commitdiff \| tree
2022-06-24	Ralf Jung	only one Zulip cron job topic per month	commit \| commitdiff \| tree
2022-06-23	Ralf Jung	make rustfmt mandatory and used pinned toolchain	commit \| commitdiff \| tree
2022-06-22	Ralf Jung	avoid setting both RUSTC and RUSTC_WRAPPER	commit \| commitdiff \| tree
2022-06-22	Ralf Jung	fmt	commit \| commitdiff \| tree
2022-06-22	Ralf Jung	ui_test: fix behavior of only-Nbits comments	commit \| commitdiff \| tree
2022-06-22	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-06-22	Ralf Jung	fix ICE when const refers to extern static	commit \| commitdiff \| tree
2022-06-22	Ralf Jung	check that tag_alloc_base_pointer is not called on...	commit \| commitdiff \| tree
2022-06-21	Ralf Jung	do not protect SRW items	commit \| commitdiff \| tree
2022-06-21	Ralf Jung	add tests that fail due to SRW protectors	commit \| commitdiff \| tree
2022-06-21	Ralf Jung	move nopreempt sync tests to their own file	commit \| commitdiff \| tree
2022-06-19	Ralf Jung	readme	commit \| commitdiff \| tree
2022-06-18	Ralf Jung	tweak correctness comment	commit \| commitdiff \| tree
2022-06-18	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-06-16	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-06-16	Ralf Jung	add ICE error level	commit \| commitdiff \| tree
2022-06-13	Ralf Jung	organize more files into folders, and run the weak...	commit \| commitdiff \| tree
2022-06-13	Ralf Jung	test files in a deterministic order	commit \| commitdiff \| tree
2022-06-13	Ralf Jung	ensure all worker threads stay around	commit \| commitdiff \| tree
2022-06-12	Ralf Jung	bless	commit \| commitdiff \| tree
2022-06-12	Ralf Jung	tweak punctuation	commit \| commitdiff \| tree
2022-06-12	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-06-12	Ralf Jung	rename ExperimentalUb → StackedBorrowsUb	commit \| commitdiff \| tree
2022-06-12	Ralf Jung	test for Stacked Borrows error during vtable validation	commit \| commitdiff \| tree
2022-06-11	Ralf Jung	make some rustdoc comments more readable	commit \| commitdiff \| tree
2022-06-11	Ralf Jung	make frame_in_std check work with inlining	commit \| commitdiff \| tree
2022-06-08	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-06-08	Ralf Jung	document how to get a toolchain with clippy	commit \| commitdiff \| tree
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	deprecate -Zmiri-allow-uninit-numbers and -Zmiri-allow...	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-03	Ralf Jung	test ui output also in rustc test suite	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom