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

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

2022-07-23	Ralf Jung	don't dump xargo output onto users of 'cargo miri test'	commit \| commitdiff \| tree
2022-07-23	Ralf Jung	refactor away some 'else { None }'	commit \| commitdiff \| tree
2022-07-23	Ralf Jung	add a flag to print a diagnostic when an outdated value...	commit \| commitdiff \| tree
2022-07-23	Ralf Jung	remove num_cpus test from test-cargo-miri	commit \| commitdiff \| tree
2022-07-23	Ralf Jung	add num_cpus crate test	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	add more track_caller tests	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	test bitmasks smaller than a byte	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	support MIRI_HOST_SYSROOT env var for stage 0 builds	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	test for some bad use of vtables	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	adjust for symbolic vtables	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	avoid redundant setting of env vars in phase_runner	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	cargo-miri: clean up phase dispatching a bit	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	normalize stronger	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	don't force target-dir (cargo-miri already deconflicts...	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	we don't need unstable options	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	say what we are doing	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	cargo-miri debugging improvements	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	aarch inline asm is not stable yet	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	make the find_miri returned path actually exist	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	some more debug output	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	reduce chance of RUSTC collisions	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	only complain about runtime toolchain mismatch when...	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	cargo-miri: set RUSTC to us	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	test page_size via test dependency support	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	make test-cargo-miri only about cargo	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	fix auto-toolchain pwd	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	fix miri script	commit \| commitdiff \| tree
2022-07-21	Oli Scherer	Add a scheme for always using the default toolchain...	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	some stray tag → prov renames	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	check for extern static size mismatches	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	handle get_alloc_extra the same throughout Stacked...	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	cargo-miri: reorder --target to after the user-defined...	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	fix test file name	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	no need for an exhaustive enum of subcommands	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	only do env var cleanup if all threads have stopped	commit \| commitdiff \| tree
2022-07-19	Ralf Jung	add some dyn upcasting tests	commit \| commitdiff \| tree
2022-07-19	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-07-19	Ralf Jung	tweak failure output a little	commit \| commitdiff \| tree
2022-07-19	Ralf Jung	on an error, always print the unnormalized stderr	commit \| commitdiff \| tree
2022-07-19	Ralf Jung	show where the interpreter was interpreting when an...	commit \| commitdiff \| tree
2022-07-19	Ralf Jung	show a better error when running Miri with the wrong...	commit \| commitdiff \| tree
2022-07-19	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-07-19	Ralf Jung	update ui_test readme	commit \| commitdiff \| tree
2022-07-19	Ralf Jung	cargo-miri: write the Xargo project files atomically	commit \| commitdiff \| tree
2022-07-18	Ralf Jung	use env vars, not Cargo.toml, to configure out dev...	commit \| commitdiff \| tree
2022-07-18	Ralf Jung	refactor atomic intrinsic handling to actually parse...	commit \| commitdiff \| tree
2022-07-18	Ralf Jung	make atomic intrinsic impl details private	commit \| commitdiff \| tree
2022-07-18	Ralf Jung	add support for new RMW orders	commit \| commitdiff \| tree
2022-07-18	Ralf Jung	remove ret param from foreign_item hierarchy	commit \| commitdiff \| tree
2022-07-18	Ralf Jung	move simd intrinsics to their own file	commit \| commitdiff \| tree
2022-07-18	Ralf Jung	move atomic intrinsics to their own file	commit \| commitdiff \| tree
2022-07-18	Ralf Jung	libc test: also call isatty on an actual file	commit \| commitdiff \| tree
2022-07-18	Ralf Jung	make an expect into proper error reporting	commit \| commitdiff \| tree
2022-07-18	Ralf Jung	ui_test: more robust syntax for target filtering	commit \| commitdiff \| tree
2022-07-18	Ralf Jung	with isolation we want to be fully deterministic	commit \| commitdiff \| tree
2022-07-17	Ralf Jung	remove a fastpath that does not seem to actually help	commit \| commitdiff \| tree
2022-07-17	Ralf Jung	use PlaceTy visitor	commit \| commitdiff \| tree
2022-07-17	Ralf Jung	make unused flags work like they used to	commit \| commitdiff \| tree
2022-07-17	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-07-15	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-07-15	Ralf Jung	clarify how to run the manually installed Miri	commit \| commitdiff \| tree
2022-07-14	Ralf Jung	ensure that RangeMap panics on OOB	commit \| commitdiff \| tree
2022-07-14	Ralf Jung	make some debug assertions in RangeObjectMap be full...	commit \| commitdiff \| tree
2022-07-14	Ralf Jung	use the cargo default for debug/release builds	commit \| commitdiff \| tree
2022-07-14	Ralf Jung	make cache consistency checks into regular debug assertions	commit \| commitdiff \| tree
2022-07-14	Ralf Jung	don't forcefully enable debug assertions, but make...	commit \| commitdiff \| tree
2022-07-14	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-07-14	Ralf Jung	test that we can see this weak behavior	commit \| commitdiff \| tree
2022-07-14	Ralf Jung	replace a macro by a function	commit \| commitdiff \| tree
2022-07-14	Ralf Jung	add work-around for #2164	commit \| commitdiff \| tree
2022-07-14	Ralf Jung	fix a missing thread join	commit \| commitdiff \| tree
2022-07-14	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-07-14	Ralf Jung	add another weak mem consistency test	commit \| commitdiff \| tree
2022-07-13	Ralf Jung	reborrow error: clarify that we are reborrowing *from...	commit \| commitdiff \| tree
2022-07-13	Ralf Jung	move stacked_borrows.rs together with the other files...	commit \| commitdiff \| tree
2022-07-13	Ralf Jung	use ui_test regex capabilities	commit \| commitdiff \| tree
2022-07-13	Ralf Jung	move checking ptr tracking on item pop into cold helper...	commit \| commitdiff \| tree
2022-07-12	Ralf Jung	test that we also find bad uses of mem::uninitialized	commit \| commitdiff \| tree
2022-07-12	Ralf Jung	allow some relabeling as well	commit \| commitdiff \| tree
2022-07-12	Ralf Jung	remove deprecated options	commit \| commitdiff \| tree
2022-07-12	Ralf Jung	set up triagebot	commit \| commitdiff \| tree
2022-07-11	Ralf Jung	make more tests deterministic	commit \| commitdiff \| tree
2022-07-11	Ralf Jung	make a test deterministic	commit \| commitdiff \| tree
2022-07-09	Ralf Jung	extend a comment in readlink	commit \| commitdiff \| tree
2022-07-08	Ralf Jung	rename ui_test::comments → parser	commit \| commitdiff \| tree
2022-07-08	Ralf Jung	ui_test: require colon after command	commit \| commitdiff \| tree
2022-07-08	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-07-07	Ralf Jung	fix comment in ./miri	commit \| commitdiff \| tree
2022-07-07	Ralf Jung	remove a dead optimization	commit \| commitdiff \| tree
2022-07-07	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-07-07	Ralf Jung	adjust code for copy_op changes	commit \| commitdiff \| tree
2022-07-07	Ralf Jung	test for better error location on stack pop	commit \| commitdiff \| tree
2022-07-07	Ralf Jung	adjust tests for removal of unsized_locals	commit \| commitdiff \| tree
2022-07-07	Ralf Jung	rustup; ptr atomics	commit \| commitdiff \| tree
2022-07-06	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-07-06	Ralf Jung	tweak format strings	commit \| commitdiff \| tree
2022-07-06	Ralf Jung	rustup	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom