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

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

2022-12-12	Ralf Jung	make eval_libc functions ICE on any problem	commit \| commitdiff \| tree
2022-12-12	Ralf Jung	make flag checks reobust against multi-bit flags	commit \| commitdiff \| tree
2022-12-11	Ralf Jung	add provenance-related test	commit \| commitdiff \| tree
2022-12-11	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-12-11	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2022-12-09	Ralf Jung	fmt and clippy	commit \| commitdiff \| tree
2022-12-09	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-12-09	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2022-12-08	Ralf Jung	lib docs: fix typo	commit \| commitdiff \| tree
2022-12-06	Ralf Jung	Stacked Borrows: factor the logic determining the new...	commit \| commitdiff \| tree
2022-12-06	Ralf Jung	make retagging work even with 'unstable' places	commit \| commitdiff \| tree
2022-12-05	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-12-05	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2022-12-05	Ralf Jung	attempt to clarify align_to docs	commit \| commitdiff \| tree
2022-12-04	Ralf Jung	remove no-op 'let _ = '	commit \| commitdiff \| tree
2022-12-03	Ralf Jung	for now, do not do fake reads on non-Unpin mutable...	commit \| commitdiff \| tree
2022-12-03	Ralf Jung	add test for self-referential future	commit \| commitdiff \| tree
2022-12-03	Ralf Jung	update lockfile	commit \| commitdiff \| tree
2022-12-03	Ralf Jung	interpret: clobber return place when calling function	commit \| commitdiff \| tree
2022-12-03	Ralf Jung	clippy	commit \| commitdiff \| tree
2022-12-02	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-12-02	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2022-12-02	Ralf Jung	fix ICE in pointer tracking	commit \| commitdiff \| tree
2022-12-02	Ralf Jung	rename some more types for consistency	commit \| commitdiff \| tree
2022-12-02	Ralf Jung	slight simplifications for borrow tracking	commit \| commitdiff \| tree
2022-12-02	Ralf Jung	forward verbosity to cargo setup	commit \| commitdiff \| tree
2022-12-01	Ralf Jung	clarify comment on Deref promotion	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	stricter alignment enforcement for ScalarPair and Vector	commit \| commitdiff \| tree
2022-11-28	Ralf Jung	sanity_check_layout: less rightwards drift	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	interpret: get rid of run() function	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-26	Ralf Jung	interpret: remove PartialOrd from a bunch of types...	commit \| commitdiff \| tree
2022-11-25	Ralf Jung	PERs are homogeneous	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-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
next

Empowering everyone to build reliable and efficient software.

RSS Atom