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

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

2021-12-20	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-12-15	Ralf Jung	link to pref_align_of tracking issue	commit \| commitdiff \| tree
2021-12-11	Ralf Jung	better span for unexpected normalization failure in...	commit \| commitdiff \| tree
2021-12-09	Ralf Jung	give more help in the unaligned_references lint	commit \| commitdiff \| tree
2021-12-08	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-12-06	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-12-02	Ralf Jung	disable tests in Miri that take too long	commit \| commitdiff \| tree
2021-11-29	Ralf Jung	CTFE: support assert_zero_valid and assert_uninit_valid	commit \| commitdiff \| tree
2021-11-29	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-11-28	Ralf Jung	adjust some const_eval_select safety comments	commit \| commitdiff \| tree
2021-11-28	Ralf Jung	adjust const_eval_select documentation	commit \| commitdiff \| tree
2021-11-27	Ralf Jung	Miri: fix alignment check in array initialization	commit \| commitdiff \| tree
2021-11-24	Ralf Jung	document BinOp behavior quirks in the corresponding...	commit \| commitdiff \| tree
2021-11-23	Ralf Jung	explain why CTFE/Miri perform truncation on shift offset	commit \| commitdiff \| tree
2021-11-20	Ralf Jung	Revert "require full validity when determining the...	commit \| commitdiff \| tree
2021-11-18	Ralf Jung	CTFE SIMD: also test 1-element array	commit \| commitdiff \| tree
2021-11-18	Ralf Jung	fix CTFE/Miri simd_insert/extract on array-style repr...	commit \| commitdiff \| tree
2021-11-16	Ralf Jung	update miri	commit \| commitdiff \| tree
2021-11-15	Ralf Jung	expand comment	commit \| commitdiff \| tree
2021-11-14	Ralf Jung	fix getting the discriminant of a zero-variant enum	commit \| commitdiff \| tree
2021-11-14	Ralf Jung	require full validity when determining the discriminant...	commit \| commitdiff \| tree
2021-11-14	Ralf Jung	disable portable SIMD tests in Miri	commit \| commitdiff \| tree
2021-11-14	Ralf Jung	fix ICE on Miri/CTFE copy of half a pointer	commit \| commitdiff \| tree
2021-10-14	Ralf Jung	add dedicated error variant for writing the discriminant...	commit \| commitdiff \| tree
2021-10-04	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-09-29	Ralf Jung	CTFE: extra assertions for Aggregate rvalues; remove...	commit \| commitdiff \| tree
2021-09-29	Ralf Jung	remove outdated comment	commit \| commitdiff \| tree
2021-09-11	Ralf Jung	interpreter PointerArithmetic: use new Size helper...	commit \| commitdiff \| tree
2021-08-30	Ralf Jung	update miri	commit \| commitdiff \| tree
2021-08-07	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-08-02	Ralf Jung	update miri	commit \| commitdiff \| tree
2021-07-31	Ralf Jung	add a test	commit \| commitdiff \| tree
2021-07-31	Ralf Jung	mark a UB doctest as no_run	commit \| commitdiff \| tree
2021-07-31	Ralf Jung	typo	commit \| commitdiff \| tree
2021-07-31	Ralf Jung	CTFE: throw unsupported error when partially overwriting...	commit \| commitdiff \| tree
2021-07-28	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-07-25	Ralf Jung	Miri: santiy check that null pointer can never have...	commit \| commitdiff \| tree
2021-07-24	Ralf Jung	get rid of NoMirFor error variant	commit \| commitdiff \| tree
2021-07-24	Ralf Jung	rename Validator → Checker	commit \| commitdiff \| tree
2021-07-24	Ralf Jung	rename const checking visitor module to check_consts...	commit \| commitdiff \| tree
2021-07-18	Ralf Jung	better support for running libcore and liballoc tests...	commit \| commitdiff \| tree
2021-07-18	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-07-18	Ralf Jung	miri: better ptr-out-of-bounds errors	commit \| commitdiff \| tree
2021-07-16	Ralf Jung	avoid manual Debug impls by adding extra Provenance...	commit \| commitdiff \| tree
2021-07-16	Ralf Jung	add some comments regarding the two major quirks of...	commit \| commitdiff \| tree
2021-07-16	Ralf Jung	fix typo in compile_fail doctest	commit \| commitdiff \| tree
2021-07-16	Ralf Jung	get rid of incorrect erase_for_fmt	commit \| commitdiff \| tree
2021-07-15	Ralf Jung	tweak pointer out-of-bounds error message	commit \| commitdiff \| tree
2021-07-15	Ralf Jung	make check_ptr_access_align work on function pointer...	commit \| commitdiff \| tree
2021-07-15	Ralf Jung	enable Miri to fix the bytes in an allocation (since...	commit \| commitdiff \| tree
2021-07-15	Ralf Jung	adjustions and cleanup to make Miri build again	commit \| commitdiff \| tree
2021-07-14	Ralf Jung	remove unused error variant	commit \| commitdiff \| tree
2021-07-14	Ralf Jung	fix cranelift	commit \| commitdiff \| tree
2021-07-14	Ralf Jung	bless mir-opt, codegen, and remaining ui tests	commit \| commitdiff \| tree
2021-07-14	Ralf Jung	more precise message for the ptr access check on deref	commit \| commitdiff \| tree
2021-07-14	Ralf Jung	test dynamic check for ptr-int-casts (unleashed)	commit \| commitdiff \| tree
2021-07-14	Ralf Jung	adjust tests	commit \| commitdiff \| tree
2021-07-14	Ralf Jung	fix cranelift	commit \| commitdiff \| tree
2021-07-14	Ralf Jung	use NonZeroU64 for AllocId to restore old type sizes	commit \| commitdiff \| tree
2021-07-14	Ralf Jung	consistently treat None-tagged pointers as ints; get...	commit \| commitdiff \| tree
2021-07-14	Ralf Jung	CTFE/Miri engine Pointer type overhaul: make Scalar...	commit \| commitdiff \| tree
2021-07-12	Ralf Jung	remove unnecessary deallocate_local hack	commit \| commitdiff \| tree
2021-07-12	Ralf Jung	remove remaining use of Pointer in Allocation API	commit \| commitdiff \| tree
2021-07-11	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-07-10	Ralf Jung	rename variable	commit \| commitdiff \| tree
2021-07-10	Ralf Jung	remove duplicate test	commit \| commitdiff \| tree
2021-07-10	Ralf Jung	bless missing tests	commit \| commitdiff \| tree
2021-07-10	Ralf Jung	remove const_raw_ptr_to_usize_cast feature	commit \| commitdiff \| tree
2021-07-10	Ralf Jung	avoid reentrant lock acquire when ThreadIds run out	commit \| commitdiff \| tree
2021-07-07	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-07-05	Ralf Jung	update miri	commit \| commitdiff \| tree
2021-06-30	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-06-28	Ralf Jung	double-check mutability inside Allocation	commit \| commitdiff \| tree
2021-06-20	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-06-18	Ralf Jung	improve test by using intrinsic directly	commit \| commitdiff \| tree
2021-06-18	Ralf Jung	bless you	commit \| commitdiff \| tree
2021-06-18	Ralf Jung	make UB during CTFE a hard error	commit \| commitdiff \| tree
2021-06-18	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-06-15	Ralf Jung	wording	commit \| commitdiff \| tree
2021-06-12	Ralf Jung	fix intrinsic_operation_unsafety comment	commit \| commitdiff \| tree
2021-06-09	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-06-03	Ralf Jung	fix testing Miri with --stage 0	commit \| commitdiff \| tree
2021-05-27	Ralf Jung	make Ord doc style consistent with the other two; explain...	commit \| commitdiff \| tree
2021-05-24	Ralf Jung	document PartialEq, PartialOrd, Ord requirements more...	commit \| commitdiff \| tree
2021-05-24	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-05-23	Ralf Jung	fix comment	commit \| commitdiff \| tree
2021-05-23	Ralf Jung	(try to) fix cranelift	commit \| commitdiff \| tree
2021-05-23	Ralf Jung	(try to) fix cranelift	commit \| commitdiff \| tree
2021-05-23	Ralf Jung	support creating mutable allocations from byte slices	commit \| commitdiff \| tree
2021-05-23	Ralf Jung	avoid redundant immutability check	commit \| commitdiff \| tree
2021-05-23	Ralf Jung	reject deallocation of read-only allocations	commit \| commitdiff \| tree
2021-05-22	Ralf Jung	CTFE get_alloc_extra_mut: also provide ref to MemoryExtra	commit \| commitdiff \| tree
2021-05-22	Ralf Jung	const_fn_unsize: check that the cast behaves correctly	commit \| commitdiff \| tree
2021-05-22	Ralf Jung	stabilize const_fn_unsize	commit \| commitdiff \| tree
2021-05-20	Ralf Jung	update miri	commit \| commitdiff \| tree
2021-05-19	Ralf Jung	Rollup merge of #85472 - RalfJung:allocation, r=oli-obk	commit \| commitdiff \| tree
2021-05-19	Ralf Jung	Rollup merge of #85470 - GuillaumeGomez:fix-css-rules...	commit \| commitdiff \| tree
2021-05-19	Ralf Jung	Rollup merge of #85464 - steffahn:fix_ub_in_ptr_swap_docs...	commit \| commitdiff \| tree
2021-05-19	Ralf Jung	Rollup merge of #85439 - mgacek8:add_diagnostic_item_to_CStr...	commit \| commitdiff \| tree
2021-05-19	Ralf Jung	Rollup merge of #85315 - satylogin:master, r=yaahc	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom