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

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

2022-09-02	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-09-01	Ralf Jung	update Miri	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-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-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	interpret: rename relocation → provenance	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-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	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-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-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-17	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-08-15	Ralf Jung	unwind: don't build dependency when building for Miri	commit \| commitdiff \| tree
2022-08-13	Ralf Jung	nicer Miri backtraces for from_exposed_addr	commit \| commitdiff \| tree
2022-08-13	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-08-11	Ralf Jung	avoid some int2ptr casts in thread_local_key tests	commit \| commitdiff \| tree
2022-08-11	Ralf Jung	more typos	commit \| commitdiff \| tree
2022-08-10	Ralf Jung	grammar	commit \| commitdiff \| tree
2022-08-10	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-08-09	Ralf Jung	compare with-flag to without-flag	commit \| commitdiff \| tree
2022-08-09	Ralf Jung	dont rely on old macro-in-trait-impl bug	commit \| commitdiff \| tree
2022-08-08	Ralf Jung	also update anyhow in codegen_cranelift	commit \| commitdiff \| tree
2022-08-08	Ralf Jung	also update anyhow in codegen_cranelift	commit \| commitdiff \| tree
2022-08-07	Ralf Jung	test: skip terminfo parsing in Miri	commit \| commitdiff \| tree
2022-08-07	Ralf Jung	add -Zextra-const-ub-checks to enable more UB checking...	commit \| commitdiff \| tree
2022-08-06	Ralf Jung	make NOP dyn casts not require anything about the vtable	commit \| commitdiff \| tree
2022-08-06	Ralf Jung	make NOP dyn casts not require anything about the vtable	commit \| commitdiff \| tree
2022-08-05	Ralf Jung	propagate --bless to Miri	commit \| commitdiff \| tree
2022-08-05	Ralf Jung	add method to get the mutability of an AllocId	commit \| commitdiff \| tree
2022-08-03	Ralf Jung	actually call assert_send_and_sync	commit \| commitdiff \| tree
2022-08-03	Ralf Jung	fix is_disaligned logic for nested packed structs	commit \| commitdiff \| tree
2022-08-03	Ralf Jung	update anyhow	commit \| commitdiff \| tree
2022-08-03	Ralf Jung	wordsmithing	commit \| commitdiff \| tree
2022-08-02	Ralf Jung	add link to discussion	commit \| commitdiff \| tree
2022-08-02	Ralf Jung	update comment	commit \| commitdiff \| tree
2022-08-02	Ralf Jung	remove some unused code and types	commit \| commitdiff \| tree
2022-08-02	Ralf Jung	never consider unsafe blocks unused if they would be...	commit \| commitdiff \| tree
2022-08-02	Ralf Jung	fix a comment	commit \| commitdiff \| tree
2022-08-01	Ralf Jung	fix for unions with scalar layout	commit \| commitdiff \| tree
2022-08-01	Ralf Jung	move layout sanity check to its own file	commit \| commitdiff \| tree
2022-08-01	Ralf Jung	tighter checks for (some) ScalarPair layouts	commit \| commitdiff \| tree
2022-08-01	Ralf Jung	check that Scalar layout is newtype around a suitable...	commit \| commitdiff \| tree
2022-07-31	Ralf Jung	typo	commit \| commitdiff \| tree
2022-07-31	Ralf Jung	reorder fields in Laout debug output	commit \| commitdiff \| tree
2022-07-31	Ralf Jung	check 'size multiple of align' for all layouts	commit \| commitdiff \| tree
2022-07-31	Ralf Jung	interpret: only consider 1-ZST when searching for receiver	commit \| commitdiff \| tree
2022-07-30	Ralf Jung	avoid assertion failures in try_to_scalar_int	commit \| commitdiff \| tree
2022-07-25	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-07-24	Ralf Jung	interpret, ptr_offset_from: refactor and test too-far...	commit \| commitdiff \| tree
2022-07-24	Ralf Jung	add miri-track-caller to some intrinsic-exposing methods	commit \| commitdiff \| tree
2022-07-24	Ralf Jung	Rollup merge of #99678 - danbev:rustc_parse-config...	commit \| commitdiff \| tree
2022-07-24	Ralf Jung	Rollup merge of #99672 - GuillaumeGomez:clean-trait...	commit \| commitdiff \| tree
2022-07-24	Ralf Jung	Rollup merge of #99657 - Phosra:patch-1, r=Dylan-DPC	commit \| commitdiff \| tree
2022-07-24	Ralf Jung	Rollup merge of #99644 - RalfJung:interpret-int-ptr...	commit \| commitdiff \| tree
2022-07-24	Ralf Jung	don't ICE on invalid dyn calls	commit \| commitdiff \| tree
2022-07-23	Ralf Jung	fix generate_new doc	commit \| commitdiff \| tree
2022-07-23	Ralf Jung	now we can make scalar_to_ptr a method on Scalar	commit \| commitdiff \| tree
2022-07-23	Ralf Jung	remove some provenance-related machine hooks that Miri...	commit \| commitdiff \| tree
2022-07-23	Ralf Jung	fix outdated lint names in docs	commit \| commitdiff \| tree
2022-07-23	Ralf Jung	say some more things about how transmute is UB	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	Rollup merge of #99607 - RalfJung:vtable-check, r=eddyb	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	Rollup merge of #99602 - RalfJung:xsv, r=Mark-Simulacrum	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	Rollup merge of #99588 - ehuss:update-books, r=ehuss	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	do not claim that transmute is like memcpy	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	adjust UnsafeCell documentation	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	do not mark interior mutable shared refs as dereferenceable	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	rename PointerKind::Shared → SharedMutable to indicate...	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	cargotest: do not run quickcheck tests in xsv	commit \| commitdiff \| tree
2022-07-22	Ralf Jung	interpret: fix vtable check debug assertion	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom