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

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

2022-12-02	Ralf Jung	forward verbosity to cargo setup	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	decreasw yield count a bit and explain reasoning a...	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	add many-seeds capabilities to CI	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	make ./miri run a bit more silent; add option to control...	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	move interpreter loop into thread manager; they are...	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	fix TLS on partially supported OSes	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	add scoped thread test	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	yield the main thread a number of times after its TLS...	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	cleanup global imports a bit	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	refactor scheduling of TLS dtors	commit \| commitdiff \| tree
2022-11-27	Ralf Jung	clippy	commit \| commitdiff \| tree
2022-11-27	Ralf Jung	advice on josh pushing	commit \| commitdiff \| tree
2022-11-27	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-11-27	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2022-11-27	Ralf Jung	run_tests_minimal: actually run the smoke test on the...	commit \| commitdiff \| tree
2022-11-27	Ralf Jung	CI: fix begingroup printing	commit \| commitdiff \| tree
2022-11-27	Ralf Jung	replace 'locally built rustc' instructions by 'Miri...	commit \| commitdiff \| tree
2022-11-26	Ralf Jung	nits	commit \| commitdiff \| tree
2022-11-26	Ralf Jung	make Stacked Borrows retags act like data races	commit \| commitdiff \| tree
2022-11-26	Ralf Jung	slightly adjust and synchronize Machine passing for...	commit \| commitdiff \| tree
2022-11-26	Ralf Jung	!Unpin retags must still be reads, to check dereferenceable	commit \| commitdiff \| tree
2022-11-26	Ralf Jung	support no_std on Windows	commit \| commitdiff \| tree
2022-11-26	Ralf Jung	refactor try_resolve_did and also support resolving...	commit \| commitdiff \| tree
2022-11-26	Ralf Jung	prettify our CI logs	commit \| commitdiff \| tree
2022-11-26	Ralf Jung	update lockfile	commit \| commitdiff \| tree
2022-11-26	Ralf Jung	caller_span only makes sense when there are 2 frames...	commit \| commitdiff \| tree
2022-11-25	Ralf Jung	replace a borrow_mut by get_mut	commit \| commitdiff \| tree
2022-11-25	Ralf Jung	RefCell::get_mut: fix typo	commit \| commitdiff \| tree
2022-11-22	Ralf Jung	update test_dependencies	commit \| commitdiff \| tree
2022-11-22	Ralf Jung	ensure current getrandom works with strict provenance	commit \| commitdiff \| tree
2022-11-22	Ralf Jung	disable strict-provenance-violating doctests in Miri	commit \| commitdiff \| tree
2022-11-21	Ralf Jung	dont attempt strict provenance in SGX	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	tweaks	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	enable fuzzy_provenance_casts lint in libstd	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	enable fuzzy_provenance_casts lint in liballoc	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	some things don't need to be mutable	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	add a weak form of protection that justifies Box noalias	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	enable fuzzy_provenance_casts in libcore+tests	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	cfg(miri) no longer needed in sys/unix/time.rs	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	update lockfile	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	make align_offset always work on no-provenance pointers	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	make miri-seed a regular integer, and also set layout...	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	move core::arch into separate file	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	avoid non-strict-provenance casts in libcore tests	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	fix unused warning in a test	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2022-11-19	Ralf Jung	implement clock_gettime on macos	commit \| commitdiff \| tree
2022-11-19	Ralf Jung	deduplicate constant evaluation in cranelift backend	commit \| commitdiff \| tree
2022-11-19	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-11-19	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2022-11-18	Ralf Jung	review feedback	commit \| commitdiff \| tree
2022-11-18	Ralf Jung	clarify that realloc refreshes pointer provenance even...	commit \| commitdiff \| tree
2022-11-18	Ralf Jung	interpret: use Either over Result when it is not representin...	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	fix a typo	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	remove CI badge	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	empty commit to go through bors	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	update rust-version	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	update josh scripts	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	Auto merge of #2671 - klensy:shell_escape, r=RalfJung	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	Auto merge of #2670 - RalfJung:retag, r=RalfJung	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	clean up retagging recursive traversal a bit	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	try_normalize_after_erasing_regions: promote an assertion...	commit \| commitdiff \| tree
2022-11-16	Ralf Jung	ensure rand has its default features enabled	commit \| commitdiff \| tree
2022-11-16	Ralf Jung	cleanup and dedupe CTFE and Miri error reporting	commit \| commitdiff \| tree
2022-11-16	Ralf Jung	cleanup and dedupe CTFE and Miri error reporting	commit \| commitdiff \| tree
2022-11-16	Ralf Jung	allow fastrand dependency	commit \| commitdiff \| tree
2022-11-15	Ralf Jung	update lockfile	commit \| commitdiff \| tree
2022-11-15	Ralf Jung	adjust josh pushing and remove ./miri toolchain updating...	commit \| commitdiff \| tree
2022-11-15	Ralf Jung	update josh instructions	commit \| commitdiff \| tree
2022-11-15	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-11-14	Ralf Jung	assert that we are (de)seiralizing ProvenanceMap correctly	commit \| commitdiff \| tree
2022-11-14	Ralf Jung	avoid memory leak in mpsc test	commit \| commitdiff \| tree
2022-11-13	Ralf Jung	final tweaks	commit \| commitdiff \| tree
2022-11-13	Ralf Jung	interpret: make check_mplace public	commit \| commitdiff \| tree
2022-11-13	Ralf Jung	pthread: slight refactoring of how we access the sync...	commit \| commitdiff \| tree
2022-11-13	Ralf Jung	add is_sized method on Abi and Layout, and use it	commit \| commitdiff \| tree
2022-11-10	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-11-09	Ralf Jung	another optimization attempt	commit \| commitdiff \| tree
2022-11-08	Ralf Jung	another attempt at performance improvements	commit \| commitdiff \| tree
2022-11-07	Ralf Jung	less unsupported errors in Miri, and clarifying comments	commit \| commitdiff \| tree
2022-11-07	Ralf Jung	fmt	commit \| commitdiff \| tree
2022-11-07	Ralf Jung	run alloc benchmarks in Miri and fix UB	commit \| commitdiff \| tree
2022-11-07	Ralf Jung	disable btree size tests on Miri	commit \| commitdiff \| tree
2022-11-07	Ralf Jung	add FIXME to replace this env var in the future	commit \| commitdiff \| tree
2022-11-07	Ralf Jung	try to make things faster when only ptr provenance...	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	bump rustc-build-sysroot	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	make uninit_mask a unit test	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	remove no-longer-needed work-arounds from the standard...	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	fix cranelift and gcc	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	add test for printing per-byte provenance	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	move InitMask to its own module	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	dont debug-print allocations, that's too verbose	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	interpret: support for per-byte provenance	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	remove a stray stderr file	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	bootstrap: put Miri sysroot into local build dir	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	bootstrap: add support for running Miri on a file	commit \| commitdiff \| tree
2022-11-05	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-11-05	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-11-05	Ralf Jung	fix a comment in UnsafeCell::new	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom