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

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

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	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	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-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	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
2020-09-17	Ralf Jung	canonicalize miri's directory	commit \| commitdiff \| tree
2020-09-13	Ralf Jung	also detect Azure CI environments	commit \| commitdiff \| tree
2020-09-11	Ralf Jung	test BTreeMap::drain_filter for leaks	commit \| commitdiff \| tree
2020-09-10	Ralf Jung	expand collection tests	commit \| commitdiff \| tree
2020-09-10	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-09-07	Ralf Jung	fix referenced issue	commit \| commitdiff \| tree
2020-09-07	Ralf Jung	use standard black_box function	commit \| commitdiff \| tree
2020-09-07	Ralf Jung	another optimization work-around	commit \| commitdiff \| tree
2020-09-07	Ralf Jung	test opt-level 2	commit \| commitdiff \| tree
2020-09-07	Ralf Jung	work around rustc optimizations becoming too smart	commit \| commitdiff \| tree
2020-09-01	Ralf Jung	rustup, fix test	commit \| commitdiff \| tree
2020-08-27	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-08-27	Ralf Jung	add encoding_rs OOB arithmetic	commit \| commitdiff \| tree
2020-08-24	Ralf Jung	rustup; account for ptr_offset_from stabilization	commit \| commitdiff \| tree
2020-08-22	Ralf Jung	fix a test for big-endian targets	commit \| commitdiff \| tree
2020-08-22	Ralf Jung	tweak test matrix: test big-endian, and test less on...	commit \| commitdiff \| tree
2020-08-22	Ralf Jung	emphasize that some flags are unsound to use	commit \| commitdiff \| tree
2020-08-20	Ralf Jung	avoid promotion in alignment test to get different...	commit \| commitdiff \| tree
2020-08-18	Ralf Jung	forgot to add alignment test loop in one test	commit \| commitdiff \| tree
2020-08-17	Ralf Jung	make another test more robust against random alignment	commit \| commitdiff \| tree
2020-08-17	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-08-17	Ralf Jung	tweak alignment check docs	commit \| commitdiff \| tree
2020-08-16	Ralf Jung	make sure we test panic of interpreter-impelemted align_offset	commit \| commitdiff \| tree
2020-08-16	Ralf Jung	use real align_offset unless we symbolic alignment...	commit \| commitdiff \| tree
2020-08-16	Ralf Jung	adjust diagnostics to alignment check mode	commit \| commitdiff \| tree
2020-08-16	Ralf Jung	document -Zmiri-symbolic-alignment-check	commit \| commitdiff \| tree
2020-08-16	Ralf Jung	make alignment check integer-based by default, and...	commit \| commitdiff \| tree
2020-08-13	Ralf Jung	fix Stderr::as_file_handle error message	commit \| commitdiff \| tree
2020-08-13	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-08-13	Ralf Jung	add test for unused ill-formed constant	commit \| commitdiff \| tree
2020-08-12	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-08-10	Ralf Jung	make sure opening a file fails with isolation enabled	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom