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

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

2022-09-29	Ralf Jung	more clear function and variable names	commit \| commitdiff \| tree
2022-09-29	Ralf Jung	make tidy dependency error less confusing	commit \| commitdiff \| tree
2022-09-28	Ralf Jung	env::temp_dir: fix a typo	commit \| commitdiff \| tree
2022-09-27	Ralf Jung	also query type_uninhabited_from	commit \| commitdiff \| tree
2022-09-26	Ralf Jung	make invalid_value lint a bit smarter around enums	commit \| commitdiff \| tree
2022-09-24	Ralf Jung	bootstrap/miri: switch to non-deprecated env var for...	commit \| commitdiff \| tree
2022-09-23	Ralf Jung	bootstrap: the backtrace feature is stable, no need...	commit \| commitdiff \| tree
2022-09-22	Ralf Jung	make Miri build in stage 0	commit \| commitdiff \| tree
2022-09-22	Ralf Jung	add regression test for miri issue 2433	commit \| commitdiff \| tree
2022-09-21	Ralf Jung	OpTy: fix a method taking self rather than &self	commit \| commitdiff \| tree
2022-09-21	Ralf Jung	miri is not in toolstate any more	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-13	Ralf Jung	test fast sleeping	commit \| commitdiff \| tree
2022-09-13	Ralf Jung	add extra sanity check against depending on system...	commit \| commitdiff \| tree
2022-09-13	Ralf Jung	organize clock arithmetic more like the stdlib	commit \| commitdiff \| tree
2022-09-13	Ralf Jung	move clock stuff to separate file	commit \| commitdiff \| tree
2022-09-02	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-09-02	Ralf Jung	tweak variable name	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	Rollup merge of #101237 - RalfJung:into-iter-zst, r...	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	Rollup merge of #101216 - ehuss:sanitizer-links, r...	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	Rollup merge of #101204 - aDotInTheVoid:async-resugar...	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	Rollup merge of #100831 - JhonnyBillM:migrate-symbol...	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	Rollup merge of #100753 - LuisCardosoOliveira:translation...	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	Rollup merge of #100730 - CleanCut:diagnostics-rustc_monomor...	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	Rollup merge of #90946 - GuillaumeGomez:def-id-remove...	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	fix into_iter on ZST	commit \| commitdiff \| tree
2022-08-31	Ralf Jung	add comment	commit \| commitdiff \| tree
2022-08-29	Ralf Jung	interpret: fix unnecessary allocation in validation...	commit \| commitdiff \| tree
2022-08-29	Ralf Jung	clarify test purpose	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom