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

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

2022-09-25	Ralf Jung	force-install tools on stale cache, to make sure we...	commit \| commitdiff \| tree
2022-09-25	Ralf Jung	clarify a comment	commit \| commitdiff \| tree
2022-09-25	Ralf Jung	CI: use cargo sparse registry	commit \| commitdiff \| tree
2022-09-24	Ralf Jung	remove macOS work-around that is no longer needed	commit \| commitdiff \| tree
2022-09-24	Ralf Jung	run all extern-so tests consistently without dependencies	commit \| commitdiff \| tree
2022-09-23	Ralf Jung	GC: factor out visiting all machine values	commit \| commitdiff \| tree
2022-09-21	Ralf Jung	readme: tag-gc tweaks	commit \| commitdiff \| tree
2022-09-21	Ralf Jung	format > to_string	commit \| commitdiff \| tree
2022-09-21	Ralf Jung	remove unnecessary to_string	commit \| commitdiff \| tree
2022-09-20	Ralf Jung	fix ConstProp handling of written_only_inside_own_block_locals	commit \| commitdiff \| tree
2022-09-20	Ralf Jung	make a sync test more reliable	commit \| commitdiff \| tree
2022-09-20	Ralf Jung	work harder around notorious macos unrealiability	commit \| commitdiff \| tree
2022-09-20	Ralf Jung	remove Windows TERM env var hack and -Zmiri-env-exclude	commit \| commitdiff \| tree
2022-09-20	Ralf Jung	rustup, fmt	commit \| commitdiff \| tree
2022-09-20	Ralf Jung	make some names more consistent	commit \| commitdiff \| tree
2022-09-20	Ralf Jung	put a tcx into the Machine so that we have to pass...	commit \| commitdiff \| tree
2022-09-20	Ralf Jung	avoid thread-local var indirection for non-halting...	commit \| commitdiff \| tree
2022-09-19	Ralf Jung	give macOS more time	commit \| commitdiff \| tree
2022-09-19	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-09-19	Ralf Jung	note on deterministic 'fake' API implementations	commit \| commitdiff \| tree
2022-09-18	Ralf Jung	interpret: expose generate_stacktrace without full...	commit \| commitdiff \| tree
2022-09-18	Ralf Jung	clarify that linting is not a semantic change	commit \| commitdiff \| tree
2022-09-18	Ralf Jung	add/fix some comments	commit \| commitdiff \| tree
2022-09-02	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-09-02	Ralf Jung	Revert "disable extern-so ffi support for now due to...	commit \| commitdiff \| tree
2022-09-01	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-09-01	Ralf Jung	disable extern-so ffi support for now due to licensing...	commit \| commitdiff \| tree
2022-09-01	Ralf Jung	Zulip notifications: ping the Miri team	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	make Miri build again with rustc provenance changes	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	make shim_arg_size ptr-width-independent	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	make backtrace header a bit more visible	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	fix progress report being deduplicated	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	fix a clippy test	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	fix a clippy test	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	interpret: use new OpTy::len for Len rvalue	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	fix into_iter on ZST	commit \| commitdiff \| tree
2022-08-29	Ralf Jung	interpret: fix unnecessary allocation in validation...	commit \| commitdiff \| tree
2022-08-28	Ralf Jung	entirely get rid of NeedsRfc CTFE errors	commit \| commitdiff \| tree
2022-08-28	Ralf Jung	CTFE: exposing pointers and calling extern fn doesn...	commit \| commitdiff \| tree
2022-08-28	Ralf Jung	improve OFFSET_IS_ADDR docs	commit \| commitdiff \| tree
2022-08-28	Ralf Jung	validation should only catch UB errors	commit \| commitdiff \| tree
2022-08-28	Ralf Jung	slightly improve protector-related error messages	commit \| commitdiff \| tree
2022-08-27	Ralf Jung	adjust tests	commit \| commitdiff \| tree
2022-08-27	Ralf Jung	interpret: make read-pointer-as-bytes always work...	commit \| commitdiff \| tree
2022-08-27	Ralf Jung	dont rerun build script unnecessarily	commit \| commitdiff \| tree
2022-08-27	Ralf Jung	ensure we don't compare provenance	commit \| commitdiff \| tree
2022-08-27	Ralf Jung	interpret: rename relocation → provenance	commit \| commitdiff \| tree
2022-08-27	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-08-27	Ralf Jung	remove a now-useless machine hook	commit \| commitdiff \| tree
2022-08-27	Ralf Jung	remove an ineffective check in const_prop	commit \| commitdiff \| tree
2022-08-27	Ralf Jung	adjust for earlier init checking in the core engine	commit \| commitdiff \| tree
2022-08-26	Ralf Jung	nicer errors	commit \| commitdiff \| tree
2022-08-26	Ralf Jung	rename test to match usual naming conventions	commit \| commitdiff \| tree
2022-08-26	Ralf Jung	fix host/target check for extern-so	commit \| commitdiff \| tree
2022-08-26	Ralf Jung	remove now-unused ScalarMaybeUninit	commit \| commitdiff \| tree
2022-08-26	Ralf Jung	make read_immediate error immediately on uninit, so...	commit \| commitdiff \| tree
2022-08-26	Ralf Jung	remove some now-unnecessary parameters from check_bytes	commit \| commitdiff \| tree
2022-08-26	Ralf Jung	remove enforce_number_init machine hook that Miri no...	commit \| commitdiff \| tree
2022-08-26	Ralf Jung	fix an outdated machine hook name	commit \| commitdiff \| tree
2022-08-26	Ralf Jung	add a test	commit \| commitdiff \| tree
2022-08-26	Ralf Jung	fix data race error during env var cleanup	commit \| commitdiff \| tree
2022-08-26	Ralf Jung	no alignment check during interning	commit \| commitdiff \| tree
2022-08-23	Ralf Jung	extra sanity check against consts pointing to mutable...	commit \| commitdiff \| tree
2022-08-23	Ralf Jung	cope with rustc aborting due to a signal	commit \| commitdiff \| tree
2022-08-22	Ralf Jung	reorganize imports a bit	commit \| commitdiff \| tree
2022-08-22	Ralf Jung	notes on TLS dtor order	commit \| commitdiff \| tree
2022-08-22	Ralf Jung	document general shim pattern	commit \| commitdiff \| tree
2022-08-22	Ralf Jung	pass clippy::integer_arithmetic in our shims	commit \| commitdiff \| tree
2022-08-22	Ralf Jung	update and extend some comments, and cfg-out some unused...	commit \| commitdiff \| tree
2022-08-22	Ralf Jung	std: use realstd fast key when building tests	commit \| commitdiff \| tree
2022-08-22	Ralf Jung	fix ICE with extra-const-ub-checks	commit \| commitdiff \| tree
2022-08-21	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-08-20	Ralf Jung	add ./miri cargo for RA to invoke	commit \| commitdiff \| tree
2022-08-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-08-20	Ralf Jung	allow NOP-casts with mismatching vtables	commit \| commitdiff \| tree
2022-08-19	Ralf Jung	explain how to re-generate the package.json	commit \| commitdiff \| tree
2022-08-19	Ralf Jung	document interaction of checkOnSave.overrideCommand...	commit \| commitdiff \| tree
2022-08-18	Ralf Jung	clarify lib.rs attribute structure	commit \| commitdiff \| tree
2022-08-18	Ralf Jung	silence some unused-fn warnings in miri std builds	commit \| commitdiff \| tree
2022-08-18	Ralf Jung	make many std tests work in Miri	commit \| commitdiff \| tree
2022-08-18	Ralf Jung	add some Miri-only tests	commit \| commitdiff \| tree
2022-08-18	Ralf Jung	add miri-test-libstd support to libstd	commit \| commitdiff \| tree
2022-08-18	Ralf Jung	re-bless after rebase	commit \| commitdiff \| tree
2022-08-18	Ben Kimock	some CurrentSpan cleanup	commit \| commitdiff \| tree
2022-08-18	Ben Kimock	Clean up diff churn a bit, adjust comments	commit \| commitdiff \| tree
2022-08-18	Ben Kimock	Improve information sharing across SB diagnostics	commit \| commitdiff \| tree
2022-08-18	Ralf Jung	add some missing assert_target_os	commit \| commitdiff \| tree
2022-08-18	Ralf Jung	clippy...	commit \| commitdiff \| tree
2022-08-18	Ralf Jung	make abort-on-panic work on Android	commit \| commitdiff \| tree
2022-08-18	Ralf Jung	implement setting the thread name on freebsd	commit \| commitdiff \| tree
2022-08-18	Ralf Jung	add very basic Android support	commit \| commitdiff \| tree
2022-08-18	Ralf Jung	remove some leftover //ignore that did not do anything	commit \| commitdiff \| tree
2022-08-18	Ralf Jung	remove unneeded rustc_private feature	commit \| commitdiff \| tree
2022-08-18	Ralf Jung	move libc pthread tests into separate file	commit \| commitdiff \| tree
2022-08-18	Ralf Jung	organize shim tests into shims folder	commit \| commitdiff \| tree
2022-08-17	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-08-17	Ralf Jung	fix vscode configuration	commit \| commitdiff \| tree
2022-08-16	Ralf Jung	make sure all builds are locked on CI	commit \| commitdiff \| tree
2022-08-16	Ralf Jung	defend test against overly smart Miri	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom