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

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

2022-03-18	Ralf Jung	Miri: implement arbitrary-self dyn receivers	commit \| commitdiff \| tree
2022-03-17	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-03-14	Ralf Jung	update miri	commit \| commitdiff \| tree
2022-03-13	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-03-12	Ralf Jung	rust-lang/portable-simd#262: also implement clamp for...	commit \| commitdiff \| tree
2022-03-12	Ralf Jung	rust-lang/portable-simd#259: remove Miri from CI	commit \| commitdiff \| tree
2022-03-10	Ralf Jung	adjust offset_from logic: check that both pointers...	commit \| commitdiff \| tree
2022-03-10	Ralf Jung	enable portable-simd doctests in Miri	commit \| commitdiff \| tree
2022-03-09	Ralf Jung	run Miri on CI (but allowed to fail)	commit \| commitdiff \| tree
2022-03-09	Ralf Jung	reduce number of tests being run under Miri	commit \| commitdiff \| tree
2022-03-09	Ralf Jung	docs	commit \| commitdiff \| tree
2022-03-08	Ralf Jung	remove_dir_all: use fallback implementation on Miri	commit \| commitdiff \| tree
2022-03-08	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-03-07	Ralf Jung	use singed_int_max/min helper methods	commit \| commitdiff \| tree
2022-03-07	Ralf Jung	move saturating_add/sub into (pub) helper method	commit \| commitdiff \| tree
2022-03-06	Ralf Jung	CTFE engine: expose misc_cast to Miri	commit \| commitdiff \| tree
2022-03-06	Ralf Jung	explain why shift with signed offset works the way...	commit \| commitdiff \| tree
2022-03-06	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-03-05	Ralf Jung	Rollup merge of #94645 - RalfJung:available-parallelism...	commit \| commitdiff \| tree
2022-03-05	Ralf Jung	Rollup merge of #94642 - GuillaumeGomez:source-code...	commit \| commitdiff \| tree
2022-03-05	Ralf Jung	Rollup merge of #94633 - TaKO8Ki:suggest-removing-semicolon...	commit \| commitdiff \| tree
2022-03-05	Ralf Jung	Rollup merge of #94630 - ehuss:remove-tier-2-docs-note...	commit \| commitdiff \| tree
2022-03-05	Ralf Jung	do not attempt to open cgroup files under Miri	commit \| commitdiff \| tree
2022-03-04	Ralf Jung	rust-lang/portable-simd#252: extern blocks don't have...	commit \| commitdiff \| tree
2022-03-03	Ralf Jung	only disable SIMD for doctests in Miri (not for the...	commit \| commitdiff \| tree
2022-03-03	Ralf Jung	Miri can run this test now	commit \| commitdiff \| tree
2022-03-03	Ralf Jung	fix a warning when building core tests with cfg(miri)	commit \| commitdiff \| tree
2022-03-03	Ralf Jung	CTFE SwitchInt: update comment	commit \| commitdiff \| tree
2022-03-03	Ralf Jung	bless clippy	commit \| commitdiff \| tree
2022-03-03	Ralf Jung	bless clippy	commit \| commitdiff \| tree
2022-03-02	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-03-02	Ralf Jung	Miri/CTFE: properly treat overflow in (signed) division...	commit \| commitdiff \| tree
2022-02-28	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-02-27	Ralf Jung	avoid rebuilding bootstrap when PATH changes	commit \| commitdiff \| tree
2022-02-25	Ralf Jung	Miri fn ptr check: don't use conservative null check	commit \| commitdiff \| tree
2022-02-23	Ralf Jung	Miri: relax fn ptr check	commit \| commitdiff \| tree
2022-02-23	Ralf Jung	Miri: extend comments on downcast operation	commit \| commitdiff \| tree
2022-02-22	Ralf Jung	ScalarMaybeUninit is explicitly hexadecimal in its...	commit \| commitdiff \| tree
2022-02-21	Ralf Jung	CTFE engine: Scalar: expose size-generic to_(u)int...	commit \| commitdiff \| tree
2022-02-12	Ralf Jung	update miri	commit \| commitdiff \| tree
2022-02-04	Ralf Jung	update miri	commit \| commitdiff \| tree
2022-01-25	Ralf Jung	make Windows abort_internal Miri-compatible	commit \| commitdiff \| tree
2022-01-16	Ralf Jung	fix const_ptr_offset_from tracking issue	commit \| commitdiff \| tree
2022-01-10	Ralf Jung	miri	commit \| commitdiff \| tree
2022-01-05	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-01-04	Ralf Jung	rename StackPopClean::None to Root	commit \| commitdiff \| tree
2021-12-24	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-12-20	Ralf Jung	better name for AdjustForForeignAbiError error variant...	commit \| commitdiff \| tree
2021-12-20	Ralf Jung	don't ICE on variadic function calls	commit \| commitdiff \| tree
2021-12-20	Ralf Jung	try to fix ICE in fn_abi_of_instance	commit \| commitdiff \| tree
2021-12-20	Ralf Jung	also compare ArgAttributes	commit \| commitdiff \| tree
2021-12-20	Ralf Jung	compare calling convention instead of call ABI	commit \| commitdiff \| tree
2021-12-20	Ralf Jung	const_eval machine: use original instance for replaced...	commit \| commitdiff \| tree
2021-12-20	Ralf Jung	CTFE eval_fn_call: use FnAbi to determine argument...	commit \| commitdiff \| tree
2021-12-20	Ralf Jung	JoinHandle docs: add missing 'the'	commit \| commitdiff \| tree
2021-12-20	Ralf Jung	update Miri	commit \| commitdiff \| tree
2021-12-20	Ralf Jung	disable test with self-referential generator on 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
next

Empowering everyone to build reliable and efficient software.

RSS Atom