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

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

2020-12-05	Ralf Jung	readme: mention data races, and mention cross-interpretation...	commit \| commitdiff \| tree
2020-11-29	Ralf Jung	remove miri-rustc-tests	commit \| commitdiff \| tree
2020-11-29	Ralf Jung	update README	commit \| commitdiff \| tree
2020-11-29	Ralf Jung	fix some typos	commit \| commitdiff \| tree
2020-11-22	Ralf Jung	rustup; test sorting for provenance-correctness	commit \| commitdiff \| tree
2020-11-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-11-19	Ralf Jung	avoid fallback logic (and we do not need the flag value...	commit \| commitdiff \| tree
2020-11-19	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-11-12	Ralf Jung	rustup; less strict timing tests	commit \| commitdiff \| tree
2020-11-11	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-11-10	Ralf Jung	test btreemap with raw ptr tracking	commit \| commitdiff \| tree
2020-11-10	Ralf Jung	remove some unnecessary feature flags	commit \| commitdiff \| tree
2020-11-10	Ralf Jung	rustup and update test	commit \| commitdiff \| tree
2020-11-07	Ralf Jung	enable overflow checks in the standard library	commit \| commitdiff \| tree
2020-11-05	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-11-03	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-10-31	Ralf Jung	fix trophy case URL	commit \| commitdiff \| tree
2020-10-31	Ralf Jung	test Rc with raw pointer tracking	commit \| commitdiff \| tree
2020-10-31	Ralf Jung	fix writing to read-only raw pointer in thread-local...	commit \| commitdiff \| tree
2020-10-31	Ralf Jung	Stacked Borrows: test raw-ref-to-field with raw ptr...	commit \| commitdiff \| tree
2020-10-31	Ralf Jung	backtrace tests: support more ways of checking out...	commit \| commitdiff \| tree
2020-10-30	Ralf Jung	increase timeout to avoid spurious test failures	commit \| commitdiff \| tree
2020-10-29	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-10-28	Ralf Jung	update trophy case	commit \| commitdiff \| tree
2020-10-28	Ralf Jung	test raw pointer tracking; we cannot track raw pointers...	commit \| commitdiff \| tree
2020-10-28	Ralf Jung	expand flag docs	commit \| commitdiff \| tree
2020-10-28	Ralf Jung	remove outdated CI badges	commit \| commitdiff \| tree
2020-10-28	Ralf Jung	disable debug assertions in the standard library	commit \| commitdiff \| tree
2020-10-28	Ralf Jung	run some tests with raw pointer tracking	commit \| commitdiff \| tree
2020-10-28	Ralf Jung	add an option to track raw pointer tags in Stacked...	commit \| commitdiff \| tree
2020-10-28	Ralf Jung	Stacked Borrows: print affected memory location on...	commit \| commitdiff \| tree
2020-10-27	Ralf Jung	test Box::into_raw aliasing	commit \| commitdiff \| tree
2020-10-27	Ralf Jung	pointer tag tracking: also show when tag is being created	commit \| commitdiff \| tree
2020-10-27	Ralf Jung	Use bash to make sure &> works	commit \| commitdiff \| tree
2020-10-25	Ralf Jung	rustup; make panic output less dependent on stdlib...	commit \| commitdiff \| tree
2020-10-22	Ralf Jung	fix './miri test'	commit \| commitdiff \| tree
2020-10-22	Ralf Jung	rustup; increase slack for timing tests	commit \| commitdiff \| tree
2020-10-21	Ralf Jung	another TiKV bug for the trophy case :)	commit \| commitdiff \| tree
2020-10-18	Ralf Jung	test new available_concurrency function	commit \| commitdiff \| tree
2020-10-17	Ralf Jung	rustup; the bad compile times for the float test are...	commit \| commitdiff \| tree
2020-10-11	Ralf Jung	Improve wording	commit \| commitdiff \| tree
2020-10-11	Ralf Jung	README: make our cross-interpretation feature stand...	commit \| commitdiff \| tree
2020-10-07	Ralf Jung	fix for rlib/cdylib crates in dependency tree	commit \| commitdiff \| tree
2020-10-07	Ralf Jung	rustup; bring back mir-opt-level 3	commit \| commitdiff \| tree
2020-10-07	Ralf Jung	test VecDeque::iter_mut aliasing	commit \| commitdiff \| tree
2020-10-06	Ralf Jung	add bors notification jobs	commit \| commitdiff \| tree
2020-10-05	Ralf Jung	rustup; disable opt level >=2 tests due to ICE	commit \| commitdiff \| tree
2020-10-04	Ralf Jung	more punctuation	commit \| commitdiff \| tree
2020-10-04	Ralf Jung	rustup; test NaN conversion issue	commit \| commitdiff \| tree
2020-10-03	Ralf Jung	check that all syscall arguments are scalars	commit \| commitdiff \| tree
2020-10-03	Ralf Jung	merge parking test into general synchronization test	commit \| commitdiff \| tree
2020-10-03	Ralf Jung	add backtics back in isolation error message	commit \| commitdiff \| tree
2020-10-03	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-09-30	Ralf Jung	normalize backtrace stderr even more	commit \| commitdiff \| tree
2020-09-29	Ralf Jung	rustup; adjust for rustc_driver changes	commit \| commitdiff \| tree
2020-09-28	Ralf Jung	fix typo	commit \| commitdiff \| tree
2020-09-24	Ralf Jung	rustup; fix tests	commit \| commitdiff \| tree
2020-09-23	Ralf Jung	opt-level 3 is clean again :)	commit \| commitdiff \| tree
2020-09-21	Ralf Jung	test formerly broken serde_derive dependency	commit \| commitdiff \| tree
2020-09-21	Ralf Jung	support non-rlib extern files	commit \| commitdiff \| tree
2020-09-21	Ralf Jung	also support old 'cargo miri run -- -- args' style	commit \| commitdiff \| tree
2020-09-20	Ralf Jung	rustup; support panic=abort on Windows	commit \| commitdiff \| tree
2020-09-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-09-20	Ralf Jung	account for mir-opts masking more errors	commit \| commitdiff \| tree
2020-09-20	Ralf Jung	rustup; make sure the iterator moves even with smarter...	commit \| commitdiff \| tree
2020-09-19	Ralf Jung	list two more aliasing problems we found in BTreeMap...	commit \| commitdiff \| tree
2020-09-18	Ralf Jung	fmt	commit \| commitdiff \| tree
2020-09-18	Ralf Jung	support panic=abort	commit \| commitdiff \| tree
2020-09-18	Ralf Jung	update for major version bumps	commit \| commitdiff \| tree
2020-09-18	Ralf Jung	'cargo update' test-cargo-miri	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	cargo update main crates	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	rustup; no need to special-case the guaranteed_eq/ne...	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	add comment mentioning alternative approach	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	test-cargo-miri: normalize slashes before comparing...	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	make sure tests pass even with RUST_TEST_NOCAPTURE set	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	make (not yet actually used) doctest actually use the...	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	more consistent error capitalization	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	cleaner output for cargo-miri-test harness	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	make sure subcrate tests have the right cwd	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	test 'cargo miri run' CWD, also for subcrate in a workspace	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	test propagating env vars from build.rs to binary	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	test 'harness=false' tests	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	detect when the user passes Miri's flags the old way...	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	fix cargo-miri-test for cross-runs	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	show proper warning about not running doctests	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	update comment	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	test reading from stdin	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	patch away --error-format and --json so that errors...	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	forward build-time env vars to binary, and test that...	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	fix Miri script on macOS	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	handle binary suffices (for Windows); stop deleting...	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	make our filename handling work better across platforms	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	even when not linking, create stub .rlib files to fool...	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	fix typo	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	update docs, and also use MIRIFLAGS for the test suite	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	test respecting 'test=false', and what happens with...	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	patch --extern and --emit; test suite passes now!	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	it actually runs tests now!	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	stub JSON information flow from cargo-build-time to...	commit \| commitdiff \| tree
2020-09-17	Ralf Jung	towards letting cargo do binary selection: wrappers...	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom