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

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

2022-06-18	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-06-18	Ralf Jung	make std not use &A: Allocator instance	commit \| commitdiff \| tree
2022-06-18	Ralf Jung	make btree not use &A: Allocator instance	commit \| commitdiff \| tree
2022-06-17	Ralf Jung	comments explaining why we have and don't have ManuallyDrop	commit \| commitdiff \| tree
2022-06-17	Ralf Jung	btree: avoid forcing the allocator to be a reference	commit \| commitdiff \| tree
2022-06-10	Ralf Jung	interpret: unify offset_from check with offset check	commit \| commitdiff \| tree
2022-06-09	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-06-06	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-06-05	Ralf Jung	interpret: do not claim UB until we looked more into...	commit \| commitdiff \| tree
2022-06-05	Ralf Jung	validating the vtable can lead to Stacked Borrows errors	commit \| commitdiff \| tree
2022-06-05	Ralf Jung	restore a test	commit \| commitdiff \| tree
2022-06-05	Ralf Jung	use strict provenance APIs	commit \| commitdiff \| tree
2022-06-05	Ralf Jung	Allow ptr_from_addr_cast to fail	commit \| commitdiff \| tree
2022-06-05	Ralf Jung	reduce code duplication	commit \| commitdiff \| tree
2022-06-05	Ralf Jung	interpret: better control over whether we read data...	commit \| commitdiff \| tree
2022-06-04	Ralf Jung	use precise spans for recursive const evaluation	commit \| commitdiff \| tree
2022-06-04	Ralf Jung	const_prop_lint: ensure we have up-to-date cur_span()	commit \| commitdiff \| tree
2022-06-04	Ralf Jung	Move statement_index increment out of statement() function	commit \| commitdiff \| tree
2022-06-04	Ralf Jung	tweak some bug!s	commit \| commitdiff \| tree
2022-06-03	Ralf Jung	implement ptr.addr() via transmute	commit \| commitdiff \| tree
2022-06-03	Ralf Jung	test const_copy to make sure bytewise pointer copies...	commit \| commitdiff \| tree
2022-06-02	Ralf Jung	take back half-baked noaliasing check in Assignment	commit \| commitdiff \| tree
2022-06-02	Ralf Jung	comment	commit \| commitdiff \| tree
2022-06-02	Ralf Jung	add cast kind of from_exposed_addr (int-to-ptr casts)	commit \| commitdiff \| tree
2022-06-02	Ralf Jung	add cast kind of from_exposed_addr (int-to-ptr casts)	commit \| commitdiff \| tree
2022-06-02	Ralf Jung	fix lint doctests	commit \| commitdiff \| tree
2022-06-02	Ralf Jung	make cenum_impl_drop_cast deny-by-default and show...	commit \| commitdiff \| tree
2022-06-01	Ralf Jung	rename PointerAddress → PointerExposeAddress	commit \| commitdiff \| tree
2022-06-01	Ralf Jung	rename PointerAddress → PointerExposeAddress	commit \| commitdiff \| tree
2022-06-01	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-05-30	Ralf Jung	be less redundant redundant	commit \| commitdiff \| tree
2022-05-30	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-05-28	Ralf Jung	note to future self	commit \| commitdiff \| tree
2022-05-28	Ralf Jung	ptr::invalid is not equivalent to a int2ptr cast	commit \| commitdiff \| tree
2022-05-25	Ralf Jung	Miri call ABI check: ensure type size+align stay the...	commit \| commitdiff \| tree
2022-05-24	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-05-23	Ralf Jung	sync primitive_docs	commit \| commitdiff \| tree
2022-05-23	Ralf Jung	explain how to turn integers into fn ptrs	commit \| commitdiff \| tree
2022-05-22	Ralf Jung	adjust transmute const stabilization version	commit \| commitdiff \| tree
2022-05-21	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-05-20	Ralf Jung	make ptr::invalid not the same as a regular int2ptr...	commit \| commitdiff \| tree
2022-05-20	Ralf Jung	Ensure we never consider the null pointer dereferencable	commit \| commitdiff \| tree
2022-05-20	Ralf Jung	update libbacktrace	commit \| commitdiff \| tree
2022-05-19	Ralf Jung	fmt	commit \| commitdiff \| tree
2022-05-19	Ralf Jung	bless 32bit	commit \| commitdiff \| tree
2022-05-19	Ralf Jung	interpret/validity: separately control checking numbers...	commit \| commitdiff \| tree
2022-05-17	Ralf Jung	bless 32bit	commit \| commitdiff \| tree
2022-05-17	Ralf Jung	interpret/validity: reject references to uninhabited...	commit \| commitdiff \| tree
2022-05-15	Ralf Jung	update miri	commit \| commitdiff \| tree
2022-05-11	Ralf Jung	avoid computing Scalar size/align in debug builds	commit \| commitdiff \| tree
2022-05-11	Ralf Jung	rustc_log: add env var to set verbose entry/exit behavior	commit \| commitdiff \| tree
2022-05-10	Ralf Jung	fmt	commit \| commitdiff \| tree
2022-05-10	Ralf Jung	update/remove some old comments	commit \| commitdiff \| tree
2022-05-10	Ralf Jung	even tighter checks for layouts on immediate field...	commit \| commitdiff \| tree
2022-05-10	Ralf Jung	disable one check for now until #96185 is fixed	commit \| commitdiff \| tree
2022-05-10	Ralf Jung	tighten sanity checks around Scalar and ScalarPair	commit \| commitdiff \| tree
2022-05-09	Ralf Jung	also sanity-check Abi::Vector, and slight refactoring	commit \| commitdiff \| tree
2022-05-09	Ralf Jung	fix codegen test failure	commit \| commitdiff \| tree
2022-05-09	Ralf Jung	make sure ScalarPair enums have ScalarPair variants...	commit \| commitdiff \| tree
2022-05-07	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-05-06	Ralf Jung	bless mir-opt	commit \| commitdiff \| tree
2022-05-06	Ralf Jung	don't debug-print ConstValue in MIR pretty-printer	commit \| commitdiff \| tree
2022-05-06	Ralf Jung	make Size and Align debug-printing a bit more compact	commit \| commitdiff \| tree
2022-05-05	Ralf Jung	give it a scary name	commit \| commitdiff \| tree
2022-05-04	Ralf Jung	interpret: debug-check ScalarPair layout information	commit \| commitdiff \| tree
2022-04-20	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	remove an unnecessary use of loc_place.ptr.into_pointer_or_addr	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	avoid an unnecessary call to Pointer::into_parts, and...	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	add method to get absolute address of a pointer (useful...	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	avoid pairing up AllocId and PointerTag, which is redundant	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	mark ptr-int-transmute test as no_run	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	ptr_get_alloc_id: don't return an actual Pointer	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	check Allocation invariant during printing	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	downgrade really verbose logging to trace	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	interpret: more debug logging for read_scalar and write_scalar	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	explain why prepare_relocation_copy works the way it...	commit \| commitdiff \| tree
2022-04-17	Ralf Jung	add caution to some comments	commit \| commitdiff \| tree
2022-04-17	Ralf Jung	when writing uninit to an allocation, also clear relocations...	commit \| commitdiff \| tree
2022-04-17	Ralf Jung	add log warnings for when we overwrite parts of a pointer...	commit \| commitdiff \| tree
2022-04-16	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-04-15	Ralf Jung	add codegen smoke test	commit \| commitdiff \| tree
2022-04-15	Ralf Jung	make unaligned_reference warning visible in future...	commit \| commitdiff \| tree
2022-04-15	Ralf Jung	make unaligned_references lint deny-by-default	commit \| commitdiff \| tree
2022-04-12	Ralf Jung	portable-simd: use simd_arith_offset to avoid ptr-int...	commit \| commitdiff \| tree
2022-04-12	Ralf Jung	add simd_arith_offset intrinsics	commit \| commitdiff \| tree
2022-04-11	Ralf Jung	thin_box test: import from std, not alloc	commit \| commitdiff \| tree
2022-04-09	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-04-08	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-04-08	Ralf Jung	fix some unused constant warning on some Windows targets	commit \| commitdiff \| tree
2022-04-07	Ralf Jung	interpret: err instead of ICE on size mismatches in...	commit \| commitdiff \| tree
2022-04-07	Ralf Jung	do not round-trip function pointer through integer	commit \| commitdiff \| tree
2022-04-07	Ralf Jung	make windows compat_fn (crudely) work on Miri	commit \| commitdiff \| tree
2022-04-05	Ralf Jung	interp/validity: enforce Scalar::Initialized	commit \| commitdiff \| tree
2022-04-05	Ralf Jung	interp: pass TyCtxt to Machine methods that do not...	commit \| commitdiff \| tree
2022-04-04	Ralf Jung	explicitly distinguish pointer::addr and pointer::expose_addr	commit \| commitdiff \| tree
2022-04-03	Ralf Jung	tweak some function names	commit \| commitdiff \| tree
2022-04-03	Ralf Jung	interpret: remove MemoryExtra in favor of giving access...	commit \| commitdiff \| tree
2022-04-02	Ralf Jung	refine wording and describe alternatives	commit \| commitdiff \| tree
2022-04-01	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-04-01	Ralf Jung	invalid_value lint: detect invalid initialization of...	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom