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

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

2021-01-29	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-01-25	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-01-24	Ralf Jung	clean up some const error reporting around promoteds	commit \| commitdiff \| tree
2021-01-22	Ralf Jung	re-bless ui tests	commit \| commitdiff \| tree
2021-01-22	Ralf Jung	expand successful-promotion test a bit	commit \| commitdiff \| tree
2021-01-22	Ralf Jung	do promote array indexing if we know it is in-bounds	commit \| commitdiff \| tree
2021-01-22	Ralf Jung	update const_err description	commit \| commitdiff \| tree
2021-01-22	Ralf Jung	avoid promoting division, modulo and indexing operations...	commit \| commitdiff \| tree
2021-01-18	Ralf Jung	remove some outdated comments regarding debug assertions	commit \| commitdiff \| tree
2021-01-18	Ralf Jung	use raw-ptr-addr-of for slice::swap	commit \| commitdiff \| tree
2021-01-17	Ralf Jung	validation test: turn some const_err back into validation...	commit \| commitdiff \| tree
2021-01-16	Ralf Jung	PlaceRef::ty: use method call syntax	commit \| commitdiff \| tree
2021-01-06	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-01-04	Ralf Jung	make sure that promoteds which fail to evaluate in...	commit \| commitdiff \| tree
2021-01-03	Ralf Jung	use PlaceRef more consistently instead of loosely coupled...	commit \| commitdiff \| tree
2021-01-02	Ralf Jung	extend comment	commit \| commitdiff \| tree
2021-01-01	Ralf Jung	improve unconditional_panic description	commit \| commitdiff \| tree
2020-12-31	Ralf Jung	remove move_val_init leftovers	commit \| commitdiff \| tree
2020-12-30	Ralf Jung	implement ptr::write without dedicated intrinsic	commit \| commitdiff \| tree
2020-12-30	Ralf Jung	CTFE: test size/align_of_val_raw on dangling pointers	commit \| commitdiff \| tree
2020-12-29	Ralf Jung	Miri: make size/align_of_val work for dangling raw...	commit \| commitdiff \| tree
2020-12-29	Ralf Jung	fix a comment	commit \| commitdiff \| tree
2020-12-28	Ralf Jung	make more matches exhaustive	commit \| commitdiff \| tree
2020-12-28	Ralf Jung	merge two match'es for more exhaustiveness	commit \| commitdiff \| tree
2020-12-28	Ralf Jung	promotion: factor some common code into validate_ref	commit \| commitdiff \| tree
2020-12-27	Ralf Jung	de-stabilize unsized raw ptr methods for Weak	commit \| commitdiff \| tree
2020-12-26	Ralf Jung	address review feedback	commit \| commitdiff \| tree
2020-12-26	Ralf Jung	clarify wrapping ptr arithmetic docs	commit \| commitdiff \| tree
2020-12-25	Ralf Jung	fix another comment, and make __rust_start_panic code...	commit \| commitdiff \| tree
2020-12-22	Ralf Jung	update a seemingly outdated comment	commit \| commitdiff \| tree
2020-12-21	Ralf Jung	slightly more typed interface to panic implementation	commit \| commitdiff \| tree
2020-12-20	Ralf Jung	promoteds in statics may refer to statics	commit \| commitdiff \| tree
2020-12-20	Ralf Jung	validate promoteds	commit \| commitdiff \| tree
2020-12-20	Ralf Jung	make sure [CONST; N] drops N times	commit \| commitdiff \| tree
2020-12-20	Ralf Jung	add test that repeating non-Copy constants works	commit \| commitdiff \| tree
2020-12-20	Ralf Jung	use exhaustive match for checking Rvalue::Repeat	commit \| commitdiff \| tree
2020-12-19	Ralf Jung	also const-check FakeRead	commit \| commitdiff \| tree
2020-12-18	Ralf Jung	Rollup merge of #80147 - pierwill:patch-9, r=lcnr	commit \| commitdiff \| tree
2020-12-18	Ralf Jung	Rollup merge of #80146 - pierwill:pierwill-prelude...	commit \| commitdiff \| tree
2020-12-18	Ralf Jung	Rollup merge of #80145 - pierwill:patch-8, r=lcnr	commit \| commitdiff \| tree
2020-12-18	Ralf Jung	Rollup merge of #80135 - camelid:const-macro-nt, r...	commit \| commitdiff \| tree
2020-12-18	Ralf Jung	Rollup merge of #80130 - pierwill:patch-7, r=oli-obk	commit \| commitdiff \| tree
2020-12-18	Ralf Jung	Rollup merge of #80121 - LeSeulArtichaut:if-let-experimental...	commit \| commitdiff \| tree
2020-12-11	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-12-11	Ralf Jung	make redundant StorageLive UB	commit \| commitdiff \| tree
2020-12-10	Ralf Jung	re-bless tests	commit \| commitdiff \| tree
2020-12-10	Ralf Jung	CTFE: tweak abort-on-uninhabited message	commit \| commitdiff \| tree
2020-12-10	Ralf Jung	Windows TLS: ManuallyDrop instead of mem::forget	commit \| commitdiff \| tree
2020-12-09	Ralf Jung	remove a test that does not work any more	commit \| commitdiff \| tree
2020-12-09	Ralf Jung	remove a hack that seems to only benefit a few very...	commit \| commitdiff \| tree
2020-12-09	Ralf Jung	make sure we do not promote things with interior mutability	commit \| commitdiff \| tree
2020-12-05	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-12-02	Ralf Jung	break formatting so rustfmt is happy	commit \| commitdiff \| tree
2020-12-02	Ralf Jung	disable a ptr equality test on Miri	commit \| commitdiff \| tree
2020-11-30	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-11-28	Ralf Jung	expand iter_projections comment	commit \| commitdiff \| tree
2020-11-22	Ralf Jung	refactor unsafety checking of places	commit \| commitdiff \| tree
2020-11-21	Ralf Jung	add function to iterate through all sub-places, and...	commit \| commitdiff \| tree
2020-11-20	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-11-20	Ralf Jung	reference NonNull::dangling	commit \| commitdiff \| tree
2020-11-20	Ralf Jung	needs -> might need	commit \| commitdiff \| tree
2020-11-20	Ralf Jung	improve formatting	commit \| commitdiff \| tree
2020-11-20	Ralf Jung	adjust union access unsafety check logic to take into...	commit \| commitdiff \| tree
2020-11-20	Ralf Jung	consider assignments of union field of ManuallyDrop...	commit \| commitdiff \| tree
2020-11-19	Ralf Jung	unix/weak: pass arguments to syscall at the given type	commit \| commitdiff \| tree
2020-11-19	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-11-15	Ralf Jung	document that __rust_alloc is also magic to our LLVM...	commit \| commitdiff \| tree
2020-11-12	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-11-06	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-10-31	Ralf Jung	fix aliasing issues in SipHasher	commit \| commitdiff \| tree
2020-10-31	Ralf Jung	fix aliasing issue in binary_heap	commit \| commitdiff \| tree
2020-10-31	Ralf Jung	fix aliasing issue in unix sleep function	commit \| commitdiff \| tree
2020-10-31	Ralf Jung	fix aliasing issues in u128 formatting code	commit \| commitdiff \| tree
2020-10-31	Ralf Jung	Retagging: do not retag 'raw reborrows'	commit \| commitdiff \| tree
2020-10-29	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-10-28	Ralf Jung	fix some incorrect aliasing in the BTree	commit \| commitdiff \| tree
2020-10-28	Ralf Jung	fix a comment in validity check	commit \| commitdiff \| tree
2020-10-27	Ralf Jung	fix Box::into_unique	commit \| commitdiff \| tree
2020-10-26	Ralf Jung	update Miri	commit \| commitdiff \| tree
2020-10-26	Ralf Jung	explain why interning is not as trivial as it might...	commit \| commitdiff \| tree
2020-10-26	Ralf Jung	interning cleanup: we no longer need to distinguish...	commit \| commitdiff \| tree
2020-10-26	Ralf Jung	move &mut-in-const check from interning to validation	commit \| commitdiff \| tree
2020-10-26	Ralf Jung	move UnsafeCell-in-const check from interning to validation	commit \| commitdiff \| tree
2020-10-26	Ralf Jung	ensure we intern all promoteds as InternKind::Promoted	commit \| commitdiff \| tree
2020-10-25	Ralf Jung	also test non-extern uninhabited statics	commit \| commitdiff \| tree
2020-10-24	Ralf Jung	fix typo	commit \| commitdiff \| tree
2020-10-24	Ralf Jung	ensure that statics are inhabited	commit \| commitdiff \| tree
2020-10-21	Ralf Jung	Miri engine interning: improve comments, and entirely...	commit \| commitdiff \| tree
2020-10-21	Ralf Jung	Miri engine validity check: simplify code with 'matches!'	commit \| commitdiff \| tree
2020-10-19	Ralf Jung	fix Rvalue::ty for ThreadLocalRef	commit \| commitdiff \| tree
2020-10-19	Ralf Jung	fix static_ptr_ty for foreign statics, and more comments...	commit \| commitdiff \| tree
2020-10-19	Ralf Jung	remove what seems to be an outdated comment	commit \| commitdiff \| tree
2020-10-18	Ralf Jung	we can test std and core panic macros together	commit \| commitdiff \| tree
2020-10-16	Ralf Jung	update miri	commit \| commitdiff \| tree
2020-10-16	Ralf Jung	stop relying on feature(untagged_unions) in stdlib	commit \| commitdiff \| tree
2020-10-16	Ralf Jung	stabilize union with 'ManuallyDrop' fields and 'impl...	commit \| commitdiff \| tree
2020-10-13	Ralf Jung	explicitly talk about integer literals	commit \| commitdiff \| tree
2020-10-12	Ralf Jung	clarify rules for ZST Boxes	commit \| commitdiff \| tree
2020-10-12	Ralf Jung	fix markdown reference	commit \| commitdiff \| tree
2020-10-11	Ralf Jung	const keyword: brief paragraph on 'const fn'	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom