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

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

2022-11-27	Ralf Jung	interpret: get rid of run() function	commit \| commitdiff \| tree
2022-11-25	Ralf Jung	RefCell::get_mut: fix typo	commit \| commitdiff \| tree
2022-11-22	Ralf Jung	disable strict-provenance-violating doctests in Miri	commit \| commitdiff \| tree
2022-11-21	Ralf Jung	dont attempt strict provenance in SGX	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	enable fuzzy_provenance_casts lint in libstd	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	enable fuzzy_provenance_casts lint in liballoc	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	enable fuzzy_provenance_casts in libcore+tests	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	cfg(miri) no longer needed in sys/unix/time.rs	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	update lockfile	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	make align_offset always work on no-provenance pointers	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	make miri-seed a regular integer, and also set layout...	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	move core::arch into separate file	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	avoid non-strict-provenance casts in libcore tests	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	fix unused warning in a test	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-11-20	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2022-11-19	Ralf Jung	implement clock_gettime on macos	commit \| commitdiff \| tree
2022-11-19	Ralf Jung	deduplicate constant evaluation in cranelift backend	commit \| commitdiff \| tree
2022-11-19	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-11-19	Ralf Jung	Preparing for merge from rustc	commit \| commitdiff \| tree
2022-11-18	Ralf Jung	review feedback	commit \| commitdiff \| tree
2022-11-18	Ralf Jung	clarify that realloc refreshes pointer provenance even...	commit \| commitdiff \| tree
2022-11-18	Ralf Jung	interpret: use Either over Result when it is not representin...	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	fix a typo	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	remove CI badge	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	empty commit to go through bors	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	update rust-version	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	update josh scripts	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	Auto merge of #2671 - klensy:shell_escape, r=RalfJung	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	Auto merge of #2670 - RalfJung:retag, r=RalfJung	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	clean up retagging recursive traversal a bit	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	try_normalize_after_erasing_regions: promote an assertion...	commit \| commitdiff \| tree
2022-11-16	Ralf Jung	ensure rand has its default features enabled	commit \| commitdiff \| tree
2022-11-16	Ralf Jung	cleanup and dedupe CTFE and Miri error reporting	commit \| commitdiff \| tree
2022-11-16	Ralf Jung	cleanup and dedupe CTFE and Miri error reporting	commit \| commitdiff \| tree
2022-11-16	Ralf Jung	allow fastrand dependency	commit \| commitdiff \| tree
2022-11-15	Ralf Jung	update lockfile	commit \| commitdiff \| tree
2022-11-15	Ralf Jung	adjust josh pushing and remove ./miri toolchain updating...	commit \| commitdiff \| tree
2022-11-15	Ralf Jung	update josh instructions	commit \| commitdiff \| tree
2022-11-15	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-11-14	Ralf Jung	assert that we are (de)seiralizing ProvenanceMap correctly	commit \| commitdiff \| tree
2022-11-14	Ralf Jung	avoid memory leak in mpsc test	commit \| commitdiff \| tree
2022-11-13	Ralf Jung	final tweaks	commit \| commitdiff \| tree
2022-11-13	Ralf Jung	interpret: make check_mplace public	commit \| commitdiff \| tree
2022-11-13	Ralf Jung	pthread: slight refactoring of how we access the sync...	commit \| commitdiff \| tree
2022-11-13	Ralf Jung	add is_sized method on Abi and Layout, and use it	commit \| commitdiff \| tree
2022-11-10	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-11-09	Ralf Jung	another optimization attempt	commit \| commitdiff \| tree
2022-11-08	Ralf Jung	another attempt at performance improvements	commit \| commitdiff \| tree
2022-11-07	Ralf Jung	less unsupported errors in Miri, and clarifying comments	commit \| commitdiff \| tree
2022-11-07	Ralf Jung	fmt	commit \| commitdiff \| tree
2022-11-07	Ralf Jung	run alloc benchmarks in Miri and fix UB	commit \| commitdiff \| tree
2022-11-07	Ralf Jung	disable btree size tests on Miri	commit \| commitdiff \| tree
2022-11-07	Ralf Jung	add FIXME to replace this env var in the future	commit \| commitdiff \| tree
2022-11-07	Ralf Jung	try to make things faster when only ptr provenance...	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	bump rustc-build-sysroot	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	make uninit_mask a unit test	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	remove no-longer-needed work-arounds from the standard...	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	fix cranelift and gcc	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	add test for printing per-byte provenance	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	move InitMask to its own module	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	dont debug-print allocations, that's too verbose	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	interpret: support for per-byte provenance	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	remove a stray stderr file	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	bootstrap: put Miri sysroot into local build dir	commit \| commitdiff \| tree
2022-11-06	Ralf Jung	bootstrap: add support for running Miri on a file	commit \| commitdiff \| tree
2022-11-05	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-11-05	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-11-05	Ralf Jung	fix a comment in UnsafeCell::new	commit \| commitdiff \| tree
2022-11-02	Ralf Jung	fix ./miri bench	commit \| commitdiff \| tree
2022-10-31	Ralf Jung	bump up recursion limit for miri crate	commit \| commitdiff \| tree
2022-10-31	Ralf Jung	interpret: move type_name implementation to an interpreter...	commit \| commitdiff \| tree
2022-10-30	Ralf Jung	skip bootstrap target sanity checks when testing Miri	commit \| commitdiff \| tree
2022-10-30	Ralf Jung	rustup	commit \| commitdiff \| tree
2022-10-30	Ralf Jung	Merge from rustc	commit \| commitdiff \| tree
2022-10-29	Ralf Jung	Stacked Borrows: make scalar field retagging the default	commit \| commitdiff \| tree
2022-10-29	Ralf Jung	interpret: fix align_of_val on packed types	commit \| commitdiff \| tree
2022-10-29	Ralf Jung	explain how to go back to rustup-managed Miri	commit \| commitdiff \| tree
2022-10-29	Ralf Jung	merge rustup-toolchain into ./miri	commit \| commitdiff \| tree
2022-10-29	Ralf Jung	teach ./miri how to do Josh syncs	commit \| commitdiff \| tree
2022-10-28	Ralf Jung	relative futex and condvar timeouts can work with isolation	commit \| commitdiff \| tree
2022-10-28	Ralf Jung	cleanup some test cfg	commit \| commitdiff \| tree
2022-10-28	Ralf Jung	test most sync primitives on Windows	commit \| commitdiff \| tree
2022-10-28	Ralf Jung	simplify Linux futex impl a bit	commit \| commitdiff \| tree
2022-10-28	Ralf Jung	threadleak_ignored should now pass with preemption...	commit \| commitdiff \| tree
2022-10-28	Ralf Jung	implement thread parking on Windows	commit \| commitdiff \| tree
2022-10-28	Ralf Jung	libtest: run all tests in their own thread, if supported...	commit \| commitdiff \| tree
2022-10-28	Ralf Jung	update ignore-windows comments	commit \| commitdiff \| tree
2022-10-28	Ralf Jung	pthread_setname_np returns an int on macOS	commit \| commitdiff \| tree
2022-10-28	Ralf Jung	CStr: add some doc links	commit \| commitdiff \| tree
2022-10-27	Ralf Jung	change cronjob time	commit \| commitdiff \| tree
2022-10-26	Ralf Jung	thread::set_name: debug-assert that things went well	commit \| commitdiff \| tree
2022-10-26	Ralf Jung	explicitly mention that both components of wide prts...	commit \| commitdiff \| tree
2022-10-26	Ralf Jung	simplify GHA	commit \| commitdiff \| tree
2022-10-26	Ralf Jung	test on windows-gnu target	commit \| commitdiff \| tree
2022-10-26	Ralf Jung	ptr::eq: clarify that comparing dyn Trait is fragile	commit \| commitdiff \| tree
2022-10-26	Ralf Jung	account for different max thread name lengths on different...	commit \| commitdiff \| tree
2022-10-26	Ralf Jung	add pthread_getname_np	commit \| commitdiff \| tree
2022-10-26	Ralf Jung	tweak docs	commit \| commitdiff \| tree
2022-10-26	Ralf Jung	library: allow some unused things in Miri	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom