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

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

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-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-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-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
2022-07-22	Ralf Jung	miri: make --stage 0 testing work	commit \| commitdiff \| tree
2022-07-21	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	detect bad vptrs on dyn calls	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	various nits from review	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	detect bad vtables on an upcast	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	various nits from review	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	add range metadata to alignment loads	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	slightly cleaner, if more verbose, vtable handling...	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	bless some tests	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	consistently use VTable over Vtable (matching stable...	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	slightly cleaner, if more verbose, vtable handling...	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	consistently use VTable over Vtable (matching stable...	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	use extern type for extra opaqueness	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	incorporate some review feedback	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	add intrinsic to access vtable size and align	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	we seem to monomorphize fewer vtables by default now...	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	make use of symbolic vtables in interpreter	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	rename get_global_alloc to try_get_global_alloc	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	rename get_global_alloc to try_get_global_alloc	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	add a Vtable kind of symbolic allocations	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	add a Vtable kind of symbolic allocations	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	prune raw pointer read and write methods from Miri...	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	miri: prune some atomic operation details from stacktrace	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	fix typo	commit \| commitdiff \| tree
2022-07-20	Ralf Jung	make raw_eq precondition more restrictive	commit \| commitdiff \| tree
2022-07-19	Ralf Jung	portable-simd: use simd_arith_offset to avoid ptr-int...	commit \| commitdiff \| tree
2022-07-19	Ralf Jung	interpret: rename Tag/PointerTag to Prov/Provenance	commit \| commitdiff \| tree
2022-07-18	Ralf Jung	interpret: make some large types not Copy	commit \| commitdiff \| tree
2022-07-18	Ralf Jung	interpret: remove some unused trait impls	commit \| commitdiff \| tree
2022-07-17	Ralf Jung	interpret/visitor: add missing early return	commit \| commitdiff \| tree
2022-07-17	Ralf Jung	make tidy accept another permutation of this license...	commit \| commitdiff \| tree
2022-07-17	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-07-15	Ralf Jung	interpret/visitor: support visiting with a PlaceTy	commit \| commitdiff \| tree
2022-07-14	Ralf Jung	interpret/validity: improve some comments	commit \| commitdiff \| tree
2022-07-14	Ralf Jung	rename MPlaceTy::dangling to fake_alloc_zst	commit \| commitdiff \| tree
2022-07-14	Ralf Jung	add missing null ptr check in alloc example	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom