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

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

2021-02-20	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-02-20	Ralf Jung	fn ptr pretty printing: fall back to raw ptr printing	commit \| commitdiff \| tree
2021-02-16	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-02-16	Ralf Jung	add test	commit \| commitdiff \| tree
2021-02-16	Ralf Jung	fix MIR fn-ptr pretty-printing	commit \| commitdiff \| tree
2021-02-16	Ralf Jung	validation: fix invalid-fn-ptr error message	commit \| commitdiff \| tree
2021-02-13	Ralf Jung	CTFE validation: catch ReadPointerAsBytes and better...	commit \| commitdiff \| tree
2021-02-09	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-02-06	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-02-04	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-02-03	Ralf Jung	make const_err a future incompat lint	commit \| commitdiff \| tree
2021-01-31	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-01-30	Ralf Jung	codegen: assume constants cannot fail to evaluate	commit \| commitdiff \| tree
2021-01-29	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-01-29	Ralf Jung	rename raw_const/mut -> const/mut_addr_of, and stabilize...	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-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-21	Ralf Jung	directly expose copy and copy_nonoverlapping intrinsics	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom