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

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

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	add a Vtable kind of symbolic allocations	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
2022-07-13	Ralf Jung	add array tests, cleanup, tidy, and bless	commit \| commitdiff \| tree
2022-07-13	Ralf Jung	add array tests, cleanup, tidy, and bless	commit \| commitdiff \| tree
2022-07-13	Ralf Jung	assigning to a union field can never drop now	commit \| commitdiff \| tree
2022-07-13	Ralf Jung	remove untagged_union feature gate	commit \| commitdiff \| tree
2022-07-13	Ralf Jung	also allow arrays of allowed types	commit \| commitdiff \| tree
2022-07-13	Ralf Jung	allow unions with mutable references and tuples of...	commit \| commitdiff \| tree
2022-07-13	Ralf Jung	factor 'is this type allowed as union field on stable...	commit \| commitdiff \| tree
2022-07-13	Ralf Jung	get rid of MemPlaceMeta::Poison	commit \| commitdiff \| tree
2022-07-12	Ralf Jung	use a loop rather than try_fold	commit \| commitdiff \| tree
2022-07-12	Ralf Jung	interpret: refactor projection handling code	commit \| commitdiff \| tree
2022-07-09	Ralf Jung	tweak names and output and bless	commit \| commitdiff \| tree
2022-07-09	Ralf Jung	review feedback	commit \| commitdiff \| tree
2022-07-09	Ralf Jung	fix cranelift and gcc backends	commit \| commitdiff \| tree
2022-07-09	Ralf Jung	don't allow ZST in ScalarInt	commit \| commitdiff \| tree
2022-07-08	Ralf Jung	interpret: only to track_caller in debug builds due...	commit \| commitdiff \| tree
2022-07-08	Ralf Jung	add regex to rustc-workspace-hack	commit \| commitdiff \| tree
2022-07-08	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-07-07	Ralf Jung	make a name less ambiguous	commit \| commitdiff \| tree
2022-07-06	Ralf Jung	fix a strange ConstProp ICE	commit \| commitdiff \| tree
2022-07-06	Ralf Jung	deduplicate some copy_op code	commit \| commitdiff \| tree
2022-07-06	Ralf Jung	bless	commit \| commitdiff \| tree
2022-07-06	Ralf Jung	support passing unsized fn arguments	commit \| commitdiff \| tree
2022-07-06	Ralf Jung	interpret: remove LocalValue::Unallocated, add Operand...	commit \| commitdiff \| tree
2022-07-06	Ralf Jung	fix ICE in ConstProp	commit \| commitdiff \| tree
2022-07-06	Ralf Jung	add track_caller to some interpreter functions	commit \| commitdiff \| tree
2022-07-06	Ralf Jung	interpret: use AllocRange in UninitByteAccess	commit \| commitdiff \| tree
2022-07-06	Ralf Jung	add test	commit \| commitdiff \| tree
2022-07-06	Ralf Jung	finally enable Scalar layout sanity checks	commit \| commitdiff \| tree
2022-07-05	Ralf Jung	fix type in function name	commit \| commitdiff \| tree
2022-07-05	Ralf Jung	add asserts	commit \| commitdiff \| tree
2022-07-05	Ralf Jung	fix the layout of repr(align) enums	commit \| commitdiff \| tree
2022-07-05	Ralf Jung	adjust dangling-int-ptr error message	commit \| commitdiff \| tree
2022-07-05	Ralf Jung	always check overflow in CheckedBinOp in CTFE	commit \| commitdiff \| tree
2022-07-05	Ralf Jung	interpret: fix CheckedBinOp behavior when overflow...	commit \| commitdiff \| tree
2022-07-04	Ralf Jung	extra assertion, extra sure	commit \| commitdiff \| tree
2022-07-04	Ralf Jung	clarify comment	commit \| commitdiff \| tree
2022-07-04	Ralf Jung	move Box mess handling into general visitor	commit \| commitdiff \| tree
2022-07-04	Ralf Jung	fix interpreter validity check on Box	commit \| commitdiff \| tree
2022-07-03	Ralf Jung	interpret: track place alignment together with the...	commit \| commitdiff \| tree
2022-07-03	Ralf Jung	interpret: don't rely on ScalarPair for overflowed...	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	make AllocRef APIs more consistent	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	add AllocRange Debug impl; remove redundant AllocId...	commit \| commitdiff \| tree
2022-07-01	Ralf Jung	interpret: make a comment less scary	commit \| commitdiff \| tree
2022-06-30	Ralf Jung	get rid of some tidy 'unnecessarily ignored' warnings	commit \| commitdiff \| tree
2022-06-30	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-06-29	Ralf Jung	fix doc issues	commit \| commitdiff \| tree
2022-06-29	Ralf Jung	interpret: add From<&MplaceTy> for PlaceTy	commit \| commitdiff \| tree
2022-06-29	Ralf Jung	ping more people	commit \| commitdiff \| tree
2022-06-29	Ralf Jung	move MIR syntax into a dedicated file and ping some...	commit \| commitdiff \| tree
2022-06-29	Ralf Jung	fix stderr by hand since that test is not run on my...	commit \| commitdiff \| tree
2022-06-29	Ralf Jung	interpret: adjust error from constructing an invalid...	commit \| commitdiff \| tree
2022-06-28	Ralf Jung	emit Retag for compound types with reference fields	commit \| commitdiff \| tree
2022-06-27	Ralf Jung	fix data race in thread::scope	commit \| commitdiff \| tree
2022-06-27	Ralf Jung	libcore tests: avoid int2ptr casts	commit \| commitdiff \| tree
2022-06-27	Ralf Jung	make AllocKind actually public	commit \| commitdiff \| tree
2022-06-27	Ralf Jung	liballoc tests: avoid int2ptr cast	commit \| commitdiff \| tree
2022-06-27	Ralf Jung	interpret: refactor allocation info query	commit \| commitdiff \| tree
2022-06-26	Ralf Jung	interpret: do not prune requires_caller_location stack...	commit \| commitdiff \| tree
2022-06-26	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-06-25	Ralf Jung	bless after rebase	commit \| commitdiff \| tree
2022-06-25	Ralf Jung	bless remaining tests	commit \| commitdiff \| tree
2022-06-25	Ralf Jung	make const_err show up in future breakage reports	commit \| commitdiff \| tree
2022-06-22	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-06-22	Ralf Jung	clarify Arc::clone overflow check comment	commit \| commitdiff \| tree
2022-06-21	Ralf Jung	remove use of &Alloc in btree tests	commit \| commitdiff \| tree
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-16	Ralf Jung	interpret: convert_tag_add_extra, init_allocation_extra...	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-05	Ralf Jung	promise that ptr::copy and ptr::swap are doing untyped...	commit \| commitdiff \| tree
2022-06-05	Ralf Jung	change ptr::swap methods to do untyped copies	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom