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

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

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
2020-08-10	Ralf Jung	accept ReferencedConstant errors in Miri (can happen...	commit \| commitdiff \| tree
2020-08-08	Ralf Jung	fs: move isolation handling to inside trait	commit \| commitdiff \| tree
2020-08-08	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-08-05	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-08-03	Ralf Jung	rustup; inner_deref has been stabilized	commit \| commitdiff \| tree
2020-08-01	Ralf Jung	test unwinding past topmost frame of a stack	commit \| commitdiff \| tree
2020-08-01	Ralf Jung	rustup; fix linked_list test	commit \| commitdiff \| tree
2020-07-31	Ralf Jung	test track_caller on trait objects	commit \| commitdiff \| tree
2020-07-30	Ralf Jung	remove upstreamed intrinsic impls	commit \| commitdiff \| tree
2020-07-30	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-07-29	Ralf Jung	only check-build the dummy xargo project	commit \| commitdiff \| tree
2020-07-29	Ralf Jung	rustup for new folder layout	commit \| commitdiff \| tree
2020-07-27	Ralf Jung	rustup and test fixes	commit \| commitdiff \| tree
2020-07-27	Ralf Jung	Typos	commit \| commitdiff \| tree
2020-07-27	Ralf Jung	fix diagnostics printing when triggered during TLS...	commit \| commitdiff \| tree
2020-07-27	Ralf Jung	deallocate thread-local statics when the thread dies	commit \| commitdiff \| tree
2020-07-27	Ralf Jung	fix and test order of TLS dtors and thread joining	commit \| commitdiff \| tree
2020-07-27	Ralf Jung	test referencing unsupported extern static	commit \| commitdiff \| tree
2020-07-27	Ralf Jung	get_or_create_thread_local_alloc_id: share code with...	commit \| commitdiff \| tree
2020-07-27	Ralf Jung	adjust to canonical_alloc_id removal	commit \| commitdiff \| tree
2020-07-25	Ralf Jung	update rust-version	commit \| commitdiff \| tree
2020-07-23	Ralf Jung	document Miri extern functions	commit \| commitdiff \| tree
2020-07-23	Ralf Jung	enable leak check tests on Windows	commit \| commitdiff \| tree
2020-07-23	Ralf Jung	add a Miri extern fn to mark an allocation as being...	commit \| commitdiff \| tree
2020-07-23	Ralf Jung	make miri_start_panic intrinsic an FFI function	commit \| commitdiff \| tree
2020-07-23	Ralf Jung	rustup	commit \| commitdiff \| tree
2020-07-18	Ralf Jung	set errno on stdout write failure	commit \| commitdiff \| tree
2020-07-17	Ralf Jung	fix typo	commit \| commitdiff \| tree
2020-07-17	Ralf Jung	fix non-fatal diagnostics stacktraces	commit \| commitdiff \| tree
2020-07-16	Ralf Jung	remove an unnecessary intermediate cast	commit \| commitdiff \| tree
2020-07-15	Ralf Jung	make cfg(miri) greppable	commit \| commitdiff \| tree
2020-07-15	Ralf Jung	rustup; fix Windows TLS	commit \| commitdiff \| tree
2020-07-11	Ralf Jung	test casting a dangling ptr back from an int	commit \| commitdiff \| tree
2020-07-11	Ralf Jung	go back to using canonicalize()	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom