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

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

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-09	Ralf Jung	typo	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
2022-07-06	Ralf Jung	fix comparing wide raw pointers	commit \| commitdiff \| tree
2022-07-05	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-07-05	Ralf Jung	handle Box with allocators	commit \| commitdiff \| tree
2022-07-05	Ralf Jung	we don't need HexRange any more	commit \| commitdiff \| tree
2022-07-05	Ralf Jung	do not enable expensive-debug-assertions in installed...	commit \| commitdiff \| tree
2022-07-04	Ralf Jung	ensure that benchmarks can actually run	commit \| commitdiff \| tree
2022-07-04	Ralf Jung	less silly Cargo.toml	commit \| commitdiff \| tree
2022-07-04	Ralf Jung	trophy case++	commit \| commitdiff \| tree
2022-07-04	Ralf Jung	add a simple benchmark with concurrency	commit \| commitdiff \| tree
2022-07-04	Ralf Jung	remove ancient tex files	commit \| commitdiff \| tree
2022-07-04	Ralf Jung	add command to run our benchmarks	commit \| commitdiff \| tree
2022-07-04	Ralf Jung	make unicode benchmark not take 20s	commit \| commitdiff \| tree
2022-07-04	Ralf Jung	delete ancient benchmarks	commit \| commitdiff \| tree
2022-07-04	Ralf Jung	call_function: make the unit-return-type case more...	commit \| commitdiff \| tree
2022-07-04	Ralf Jung	update vscode settings	commit \| commitdiff \| tree
2022-07-03	Ralf Jung	reduce regex features to reduce rebuilds	commit \| commitdiff \| tree
2022-07-03	Ralf Jung	fix retagging of vtable ptrs	commit \| commitdiff \| tree
2022-07-03	Ralf Jung	no doctests in ui_test	commit \| commitdiff \| tree
2022-07-03	Ralf Jung	fix ./miri run with MIRI_TEST_TARGET	commit \| commitdiff \| tree
2022-07-03	Ralf Jung	another one for the trophy case	commit \| commitdiff \| tree
2022-07-03	Ralf Jung	move arc_drop test to miri-test-libstd	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	readme tweaks	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	put call to stacked borrows end_call in a more sensible...	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	./miri many-seeds: also print the seed before we try it	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	test fs::read_link surface function	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	pointer tag tracking: on creation, log the offsets...	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	posix_fadvise is not Linux-specific	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	male libc.rs at least build on FreeBSD	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	move some POSIX file shims from linux to unix module	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	rustup	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom