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

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

2022-05-07	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-05-06	Ralf Jung	bless mir-opt	commit \| commitdiff \| tree
2022-05-06	Ralf Jung	don't debug-print ConstValue in MIR pretty-printer	commit \| commitdiff \| tree
2022-05-06	Ralf Jung	make Size and Align debug-printing a bit more compact	commit \| commitdiff \| tree
2022-05-05	Ralf Jung	give it a scary name	commit \| commitdiff \| tree
2022-05-04	Ralf Jung	interpret: debug-check ScalarPair layout information	commit \| commitdiff \| tree
2022-04-20	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	remove an unnecessary use of loc_place.ptr.into_pointer_or_addr	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	avoid an unnecessary call to Pointer::into_parts, and...	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	add method to get absolute address of a pointer (useful...	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	avoid pairing up AllocId and PointerTag, which is redundant	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	mark ptr-int-transmute test as no_run	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	ptr_get_alloc_id: don't return an actual Pointer	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	check Allocation invariant during printing	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	downgrade really verbose logging to trace	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	interpret: more debug logging for read_scalar and write_scalar	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	explain why prepare_relocation_copy works the way it...	commit \| commitdiff \| tree
2022-04-17	Ralf Jung	add caution to some comments	commit \| commitdiff \| tree
2022-04-17	Ralf Jung	when writing uninit to an allocation, also clear relocations...	commit \| commitdiff \| tree
2022-04-17	Ralf Jung	add log warnings for when we overwrite parts of a pointer...	commit \| commitdiff \| tree
2022-04-16	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-04-15	Ralf Jung	add codegen smoke test	commit \| commitdiff \| tree
2022-04-15	Ralf Jung	make unaligned_reference warning visible in future...	commit \| commitdiff \| tree
2022-04-15	Ralf Jung	make unaligned_references lint deny-by-default	commit \| commitdiff \| tree
2022-04-12	Ralf Jung	portable-simd: use simd_arith_offset to avoid ptr-int...	commit \| commitdiff \| tree
2022-04-12	Ralf Jung	add simd_arith_offset intrinsics	commit \| commitdiff \| tree
2022-04-11	Ralf Jung	thin_box test: import from std, not alloc	commit \| commitdiff \| tree
2022-04-09	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-04-08	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-04-08	Ralf Jung	fix some unused constant warning on some Windows targets	commit \| commitdiff \| tree
2022-04-07	Ralf Jung	interpret: err instead of ICE on size mismatches in...	commit \| commitdiff \| tree
2022-04-07	Ralf Jung	do not round-trip function pointer through integer	commit \| commitdiff \| tree
2022-04-07	Ralf Jung	make windows compat_fn (crudely) work on Miri	commit \| commitdiff \| tree
2022-04-05	Ralf Jung	interp/validity: enforce Scalar::Initialized	commit \| commitdiff \| tree
2022-04-05	Ralf Jung	interp: pass TyCtxt to Machine methods that do not...	commit \| commitdiff \| tree
2022-04-04	Ralf Jung	explicitly distinguish pointer::addr and pointer::expose_addr	commit \| commitdiff \| tree
2022-04-03	Ralf Jung	tweak some function names	commit \| commitdiff \| tree
2022-04-03	Ralf Jung	interpret: remove MemoryExtra in favor of giving access...	commit \| commitdiff \| tree
2022-04-02	Ralf Jung	refine wording and describe alternatives	commit \| commitdiff \| tree
2022-04-01	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-04-01	Ralf Jung	invalid_value lint: detect invalid initialization of...	commit \| commitdiff \| tree
2022-04-01	Ralf Jung	caution against ptr-to-int transmutes	commit \| commitdiff \| tree
2022-03-31	Ralf Jung	make utf8_char_counts test faster in Miri	commit \| commitdiff \| tree
2022-03-31	Ralf Jung	skip slow int_log tests in Miri	commit \| commitdiff \| tree
2022-03-31	Ralf Jung	ptr_metadata test: avoid ptr-to-int transmutes	commit \| commitdiff \| tree
2022-03-31	Ralf Jung	test const size_of_val_raw on big value	commit \| commitdiff \| tree
2022-03-31	Ralf Jung	catch overflow in slice size computation	commit \| commitdiff \| tree
2022-03-31	Ralf Jung	audit check_mul uses in interpret	commit \| commitdiff \| tree
2022-03-31	Ralf Jung	interpret: make isize::MAX the limit for dynamic value...	commit \| commitdiff \| tree
2022-03-30	Ralf Jung	allow large Size again	commit \| commitdiff \| tree
2022-03-30	Ralf Jung	update miri	commit \| commitdiff \| tree
2022-03-27	Ralf Jung	assert_uninit_valid: ensure we detect at least arrays...	commit \| commitdiff \| tree
2022-03-26	Ralf Jung	interpret: with enforce_number_validity, ensure integers...	commit \| commitdiff \| tree
2022-03-26	Ralf Jung	interpret: mark a dead match arm as dead	commit \| commitdiff \| tree
2022-03-24	Ralf Jung	update Miri	commit \| commitdiff \| tree
2022-03-23	Ralf Jung	bless 32bit	commit \| commitdiff \| tree
2022-03-23	Ralf Jung	interpret/memory: simplify check_and_deref_ptr	commit \| commitdiff \| tree
2022-03-22	Ralf Jung	interpret/validity: improve clarity	commit \| commitdiff \| tree
2022-03-22	Ralf Jung	rename LocalState::Uninitialized to Unallocated	commit \| commitdiff \| tree
2022-03-20	Ralf Jung	update Miri	commit \| commitdiff \| tree
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
next

Empowering everyone to build reliable and efficient software.

RSS Atom