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

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

2022-07-05	Ralf Jung	adjust dangling-int-ptr error message	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	Rollup merge of #98799 - jyn514:rustdoc-lint-help,...	commit \| commitdiff \| tree
2022-07-03	Ralf Jung	Rollup merge of #98773 - notriddle:notriddle/source...	commit \| commitdiff \| tree
2022-07-03	Ralf Jung	Rollup merge of #98764 - InfRandomness:miri-rustdoc...	commit \| commitdiff \| tree
2022-07-03	Ralf Jung	Rollup merge of #94831 - yaahc:lib-tracking-issue-template...	commit \| commitdiff \| tree
2022-07-03	Ralf Jung	ignore rustdoc failures for out-of-tree tools	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	Rollup merge of #98819 - RalfJung:miri, r=RalfJung	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	Rollup merge of #98812 - gimbles:docs-template, r=Mark...	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	Rollup merge of #98805 - ChrisDenton:rel-notes, r=Dylan-DPC	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	Rollup merge of #98753 - jyn514:dist-rust-dev, r=Mark...	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	Rollup merge of #98715 - matthiaskrgr:test_97047, r...	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	Rollup merge of #98701 - TaKO8Ki:add-regression-test...	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	more use of format! variable capture	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	hedge our bets	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
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-29	Ralf Jung	clarify how Rust atomics correspond to C++ atomics	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom