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

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

2021-06-03	Ralf Jung	fix typo	commit \| commitdiff \| tree
2021-05-30	Ralf Jung	add comment to debug impl	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	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-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
2021-02-27	Ralf Jung	fix reborrowing of tagged ZST references	commit \| commitdiff \| tree
2021-02-27	Ralf Jung	create more fake files for cdylibs and staticlibs	commit \| commitdiff \| tree
2021-02-27	Ralf Jung	test for unnecessary rebuilds in 'cargo miri run'	commit \| commitdiff \| tree
2021-02-23	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-02-18	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-02-17	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-02-16	Ralf Jung	add test by @eddyb	commit \| commitdiff \| tree
2021-02-16	Ralf Jung	rustup and temporarily disable broken tests	commit \| commitdiff \| tree
2021-02-13	Ralf Jung	add regression test for #1567	commit \| commitdiff \| tree
2021-02-03	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-01-31	Ralf Jung	rustup; remove some no-longer-needed Windows shims	commit \| commitdiff \| tree
2021-01-31	Ralf Jung	rustup	commit \| commitdiff \| tree
2021-01-29	Ralf Jung	add test for caller ABI check	commit \| commitdiff \| tree
2021-01-27	Ralf Jung	rustup; more slack for timing tests	commit \| commitdiff \| tree
2021-01-26	Ralf Jung	erroneous_const span now changes with inlining	commit \| commitdiff \| tree
2021-01-26	Ralf Jung	rustup; allow some lints	commit \| commitdiff \| tree
2021-01-25	Ralf Jung	adjust Windows shims for stdlib changes (Windows XP...	commit \| commitdiff \| tree
2021-01-24	Ralf Jung	add -Zmiri-disable-data-race-detector to readme	commit \| commitdiff \| tree
2021-01-23	Ralf Jung	macos: support aarch64 link names	commit \| commitdiff \| tree
2021-01-23	Ralf Jung	implement aarch64 hint 'intrinsic'	commit \| commitdiff \| tree
2021-01-23	Ralf Jung	expand README	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom