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

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

2021-07-25	Ralf Jung	add test for mixing up System and Global memory	commit \| commitdiff \| tree
2021-07-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-07-20	Ralf Jung	test for negative offsets	commit \| commitdiff \| tree
2021-07-20	Ralf Jung	adjust for PointerOutOfBounds change	commit \| commitdiff \| tree
2021-07-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-07-17	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-07-17	Ralf Jung	add test for better ptr handling in enum niches	commit \| commitdiff \| tree
2021-07-16	Ralf Jung	adjust Miri to Pointer type overhaul	commit \| commitdiff \| tree
2021-07-11	Ralf Jung	fmt cargo-miri	commit \| commitdiff \| tree
2021-07-11	Ralf Jung	fmt: set force_multiline_blocks=true	commit \| commitdiff \| tree
2021-07-07	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-07-06	Ralf Jung	fmt	commit \| commitdiff \| tree
2021-07-06	Ralf Jung	exported_symbols_cache: ensure we do not overwrite...	commit \| commitdiff \| tree
2021-07-06	Ralf Jung	also treat CallerLocation and Machine memory as properly...	commit \| commitdiff \| tree
2021-07-06	Ralf Jung	explicitly list memory kinds for stacked borrows	commit \| commitdiff \| tree
2021-07-05	Ralf Jung	sync license files with rustc repo	commit \| commitdiff \| tree
2021-06-29	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-06-20	Ralf Jung	use exhaustive struct match for manual Debug impl	commit \| commitdiff \| tree
2021-06-17	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-06-09	Ralf Jung	tweak isolation-error message in README	commit \| commitdiff \| tree
2021-06-09	Ralf Jung	isolated operations return EPERM; tweak isolation hint	commit \| commitdiff \| tree
2021-05-23	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-05-23	Ralf Jung	fix a Stacked Borrows test whose output changed	commit \| commitdiff \| tree
2021-05-23	Ralf Jung	allocate backtrace strings mutably	commit \| commitdiff \| tree
2021-05-23	Ralf Jung	better approach to skip ZST reborrows	commit \| commitdiff \| tree
2021-05-23	Ralf Jung	avoid some borrow_mut calls in data_race	commit \| commitdiff \| tree
2021-05-23	Ralf Jung	avoid unnecessary RefCell calls in Stacked Borrows	commit \| commitdiff \| tree
2021-05-23	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-05-22	Ralf Jung	fmt	commit \| commitdiff \| tree
2021-05-22	Ralf Jung	get rid of Rc in data_race	commit \| commitdiff \| tree
2021-05-22	Ralf Jung	get rid of Rc in Stacked Borrows	commit \| commitdiff \| tree
2021-05-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-05-19	Ralf Jung	fix write_os_str_to_wide_str	commit \| commitdiff \| tree
2021-05-19	Ralf Jung	fmt	commit \| commitdiff \| tree
2021-05-19	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-05-19	Ralf Jung	avoid importing C functions in alloc_write_race test	commit \| commitdiff \| tree
2021-05-19	Ralf Jung	update for Memory API changes	commit \| commitdiff \| tree
2021-05-19	Ralf Jung	over 'default' instead of 'override' (consistent with...	commit \| commitdiff \| tree
2021-05-19	Ralf Jung	fmt	commit \| commitdiff \| tree
2021-05-19	Ralf Jung	add (bors-ignored) formatting check job	commit \| commitdiff \| tree
2021-05-17	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-05-17	Ralf Jung	stop relying on c_str/wide_str helpers in rustc	commit \| commitdiff \| tree
2021-05-17	Ralf Jung	fix rustfmt fallout	commit \| commitdiff \| tree
2021-05-17	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-05-16	Ralf Jung	hand-held formatting for remaining files	commit \| commitdiff \| tree
2021-05-16	Ralf Jung	format much of Miri	commit \| commitdiff \| tree
2021-05-16	Ralf Jung	configure rustfmt; fmt cargo-miri	commit \| commitdiff \| tree
2021-05-15	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-05-15	Ralf Jung	support building Miri outside a git repo	commit \| commitdiff \| tree
2021-05-11	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-05-07	Ralf Jung	stacked borrows: ensure array-to-elem casts behave...	commit \| commitdiff \| tree
2021-05-03	Ralf Jung	adjust for different 'yield' hint on aarch64	commit \| commitdiff \| tree
2021-05-03	Ralf Jung	fix checking os_family	commit \| commitdiff \| tree
2021-04-25	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-04-20	Ralf Jung	make TLS-drop-test more cross-platform	commit \| commitdiff \| tree
2021-04-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-04-18	Ralf Jung	fix MIRI_BE_RUSTC value during sysroot build	commit \| commitdiff \| tree
2021-04-18	Ralf Jung	test thread_local_const_init	commit \| commitdiff \| tree
2021-04-12	Ralf Jung	fix CONTRIBUTING example	commit \| commitdiff \| tree
2021-04-11	Ralf Jung	test calling pthread_cond_timedwait with an already...	commit \| commitdiff \| tree
2021-04-11	Ralf Jung	only check timeouts when a thread yields	commit \| commitdiff \| tree
2021-04-10	Ralf Jung	make sure that we truly do not run no_run doctests	commit \| commitdiff \| tree
2021-04-10	Ralf Jung	remove compatibility code for passing miri flags via...	commit \| commitdiff \| tree
2021-04-10	Ralf Jung	add the bad doctests we found to the trophy case	commit \| commitdiff \| tree
2021-04-10	Ralf Jung	add test to detect dropped temporary	commit \| commitdiff \| tree
2021-04-10	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-04-09	Ralf Jung	fix typo in README	commit \| commitdiff \| tree
2021-04-07	Ralf Jung	mention 'cargo miri test filter' in README	commit \| commitdiff \| tree
2021-04-05	Ralf Jung	nits and fix non-deterministic test output	commit \| commitdiff \| tree
2021-04-05	Ralf Jung	nits; test running no doctests	commit \| commitdiff \| tree
2021-04-05	Ralf Jung	avoid some dead code and test no_run tests	commit \| commitdiff \| tree
2021-04-05	Ralf Jung	add test for compile_fail; de-duplicate sysroot forwarding	commit \| commitdiff \| tree
2021-04-05	hyd-dev	Fix sysroot for rustdoc	commit \| commitdiff \| tree
2021-04-05	Ralf Jung	resolve semantic conflicts	commit \| commitdiff \| tree
2021-04-05	Ralf Jung	make attempt to cross-interpret a hard error	commit \| commitdiff \| tree
2021-04-05	Tristan Dannenberg	make cargo-miri run doc-tests	commit \| commitdiff \| tree
2021-04-04	Ralf Jung	also test old getrandom	commit \| commitdiff \| tree
2021-04-04	Ralf Jung	bump test-cargo-miri dependencies	commit \| commitdiff \| tree
2021-04-04	Ralf Jung	bump cargo-miri dependencies	commit \| commitdiff \| tree
2021-04-04	Ralf Jung	bump miri dependencies	commit \| commitdiff \| tree
2021-04-04	Ralf Jung	fix newer getrandom on Windows	commit \| commitdiff \| tree
2021-04-04	Ralf Jung	'cargo update' all the things	commit \| commitdiff \| tree
2021-04-04	Ralf Jung	also test getrandom directly	commit \| commitdiff \| tree
2021-03-28	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-03-25	Ralf Jung	disable MIR opts for ZST-related tests	commit \| commitdiff \| tree
2021-03-25	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-03-22	Ralf Jung	rustup; better comment in storage_dead_dangling test	commit \| commitdiff \| tree
2021-03-17	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-03-14	Ralf Jung	don't ICE when we unwind despite panic=abort	commit \| commitdiff \| tree
2021-03-14	Ralf Jung	ensure we catch incorrectly unwinding calls	commit \| commitdiff \| tree
2021-03-14	Ralf Jung	don't ICE when callee has the wrong number of arguments	commit \| commitdiff \| tree
2021-03-14	Ralf Jung	when Miri calls a function ptr, make sure it has the...	commit \| commitdiff \| tree
2021-03-11	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-03-10	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-03-02	Ralf Jung	rename atomic_op_min_max -> atomic_op	commit \| commitdiff \| tree
2021-03-02	Ralf Jung	adjust CI test flags	commit \| commitdiff \| tree
2021-03-02	Ralf Jung	add date to Zulip notification subject	commit \| commitdiff \| tree
2021-03-02	Ralf Jung	make optimized-test-run a bit more like what cargo...	commit \| commitdiff \| tree
2021-03-02	Ralf Jung	rustup; fix tests for new MIR optimization	commit \| commitdiff \| tree
2021-03-02	Ralf Jung	rustup	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom