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

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

2022-05-18	Ralf Jung	test for validity of references pointing to uninhabited...	commit \| commitdiff \| tree
2022-05-17	Ralf Jung	I cannot type	commit \| commitdiff \| tree
2022-05-17	Ralf Jung	rustup-toolchain: also prepare toolchain for vscode	commit \| commitdiff \| tree
2022-05-15	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-05-15	Ralf Jung	don't ICE when libcore is missing	commit \| commitdiff \| tree
2022-05-13	Ralf Jung	data_race: use glob import like most files	commit \| commitdiff \| tree
2022-05-12	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-05-11	Ralf Jung	when MIRI_LOG is set, set RUSTC_LOG_ENTRY_EXIT	commit \| commitdiff \| tree
2022-05-10	Ralf Jung	tweak wording	commit \| commitdiff \| tree
2022-05-10	Ralf Jung	rustfmt	commit \| commitdiff \| tree
2022-05-10	Ralf Jung	stop relying on python being in the PATH	commit \| commitdiff \| tree
2022-05-09	Ralf Jung	rustfmt	commit \| commitdiff \| tree
2022-05-09	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-05-08	Ralf Jung	test for "erroneous constant used" post-monomorphization...	commit \| commitdiff \| tree
2022-05-06	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-05-05	Ralf Jung	tweak MIRI_SYSROOT docs	commit \| commitdiff \| tree
2022-05-01	Ralf Jung	mention some papers that use Miri	commit \| commitdiff \| tree
2022-04-30	Ralf Jung	gracefully handle type-too-large layout errors	commit \| commitdiff \| tree
2022-04-21	Ralf Jung	be explicit about types	commit \| commitdiff \| tree
2022-04-21	Ralf Jung	make sure 2-phase borows work even with raw ptr tagging	commit \| commitdiff \| tree
2022-04-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-04-20	Ralf Jung	add mut_below_shr test	commit \| commitdiff \| tree
2022-04-20	Ralf Jung	add another test for #2068	commit \| commitdiff \| tree
2022-04-20	Ralf Jung	add test for https://github.com/rust-lang/miri/issues...	commit \| commitdiff \| tree
2022-04-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-04-20	Ralf Jung	avoid into_pointer_or_addr and into_parts in visit_freeze_se...	commit \| commitdiff \| tree
2022-04-20	Ralf Jung	adjust for provenance cleanup	commit \| commitdiff \| tree
2022-04-19	Ralf Jung	do not consider thread-local allocations read-only	commit \| commitdiff \| tree
2022-04-18	Ralf Jung	add size assertions for some core types	commit \| commitdiff \| tree
2022-04-17	Ralf Jung	implement strerror_r	commit \| commitdiff \| tree
2022-04-16	Ralf Jung	readme	commit \| commitdiff \| tree
2022-04-16	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-04-10	Ralf Jung	increase slack for timeout test	commit \| commitdiff \| tree
2022-04-10	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-04-09	Ralf Jung	use new format string syntax in some places	commit \| commitdiff \| tree
2022-04-09	Ralf Jung	remove no longer needed imports	commit \| commitdiff \| tree
2022-04-09	Ralf Jung	port cargo-miri to edition 2021	commit \| commitdiff \| tree
2022-04-09	Ralf Jung	port Miri to edition 2021	commit \| commitdiff \| tree
2022-04-09	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-04-08	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-04-08	Ralf Jung	thread name setting works with strict provenance now :)	commit \| commitdiff \| tree
2022-04-08	Ralf Jung	fix Windows stdout/stderr	commit \| commitdiff \| tree
2022-04-07	Ralf Jung	treat prctl like a variadic function	commit \| commitdiff \| tree
2022-04-07	Ralf Jung	for variadic functions, accept arbitrary trailing arguments...	commit \| commitdiff \| tree
2022-04-07	Ralf Jung	add machine hook tcx parameters	commit \| commitdiff \| tree
2022-04-07	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-04-05	Ralf Jung	test that partially uninit MaybeUninit works correctly	commit \| commitdiff \| tree
2022-04-05	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-04-05	Ralf Jung	adjust for MemoryExtra being merged into Machine	commit \| commitdiff \| tree
2022-04-04	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-04-02	Ralf Jung	add test for nasty example	commit \| commitdiff \| tree
2022-04-02	Ralf Jung	make strict-provenance imply check-number-validity	commit \| commitdiff \| tree
2022-04-01	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-04-01	Ralf Jung	Rust values can be up to isize::MAX in size	commit \| commitdiff \| tree
2022-04-01	Ralf Jung	add -Zmiri-strict-provenance	commit \| commitdiff \| tree
2022-03-31	Ralf Jung	test int_log functions	commit \| commitdiff \| tree
2022-03-27	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-03-26	Ralf Jung	channels do ptr-int transmutes so move them to non...	commit \| commitdiff \| tree
2022-03-26	Ralf Jung	fix types in env shim to avoid ptr-int transmutes	commit \| commitdiff \| tree
2022-03-26	Ralf Jung	ensure that -Zmiri-check-number-validity detects integers...	commit \| commitdiff \| tree
2022-03-26	Ralf Jung	another test for too big type	commit \| commitdiff \| tree
2022-03-24	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-03-22	Ralf Jung	regression test for reverse() unsoundness	commit \| commitdiff \| tree
2022-03-22	Ralf Jung	vec test: check number validity	commit \| commitdiff \| tree
2022-03-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-03-20	Ralf Jung	test arbitrary-self dyn receivers	commit \| commitdiff \| tree
2022-03-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-03-20	Ralf Jung	test remove_dir_all	commit \| commitdiff \| tree
2022-03-17	Ralf Jung	fix simd_bitmask shorter than a byte on big-endian	commit \| commitdiff \| tree
2022-03-17	Ralf Jung	detect when unused bits of a SIMD bitmask are non-0	commit \| commitdiff \| tree
2022-03-17	Ralf Jung	implement simd bitmask intrinsics	commit \| commitdiff \| tree
2022-03-17	Ralf Jung	implement SIMD sqrt and fma	commit \| commitdiff \| tree
2022-03-16	Ralf Jung	implement SIMD float rounding functions	commit \| commitdiff \| tree
2022-03-16	Ralf Jung	implement fabs using soft floats	commit \| commitdiff \| tree
2022-03-14	Ralf Jung	test integer SIMD min/max	commit \| commitdiff \| tree
2022-03-12	Ralf Jung	add write_int_fields to replace write_packed_immediates	commit \| commitdiff \| tree
2022-03-12	Ralf Jung	use dirent64_layout and field projections for writing...	commit \| commitdiff \| tree
2022-03-12	Ralf Jung	exclude TERM by default	commit \| commitdiff \| tree
2022-03-12	Ralf Jung	also accept odd number of hex digits; add README section...	commit \| commitdiff \| tree
2022-03-12	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-03-12	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-03-10	Ralf Jung	add ptr_offset_from OOB test, and update test errors	commit \| commitdiff \| tree
2022-03-10	Ralf Jung	implement simd_scatter	commit \| commitdiff \| tree
2022-03-10	Ralf Jung	implement gather	commit \| commitdiff \| tree
2022-03-10	Ralf Jung	implement simd_shuffle	commit \| commitdiff \| tree
2022-03-08	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-03-07	Ralf Jung	fs: add and test for DirectoryNotEmpty error variant	commit \| commitdiff \| tree
2022-03-07	Ralf Jung	implement simd_saturating intrinsics	commit \| commitdiff \| tree
2022-03-07	Ralf Jung	update recommended CI snippet, add GHA example	commit \| commitdiff \| tree
2022-03-07	Ralf Jung	fix handling of NaNs in simd max/min	commit \| commitdiff \| tree
2022-03-07	Ralf Jung	implement simd_fmax/fmin	commit \| commitdiff \| tree
2022-03-07	Ralf Jung	implement simd_reduce_min/max	commit \| commitdiff \| tree
2022-03-07	Ralf Jung	implement simd_cast, simd_as	commit \| commitdiff \| tree
2022-03-07	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-03-06	Ralf Jung	also test f32/f64 simd_reduce	commit \| commitdiff \| tree
2022-03-06	Ralf Jung	add extra tests for shifts with negative offsets	commit \| commitdiff \| tree
2022-03-06	Ralf Jung	implement simd_reduce_{add,mul}	commit \| commitdiff \| tree
2022-03-05	Ralf Jung	avoid repeated string matching, and add more simd_reduce...	commit \| commitdiff \| tree
2022-03-05	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-03-05	Ralf Jung	implement missing SIMD comparison operators, simd_xor...	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom