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

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

2019-11-04	Ralf Jung	bump smallvec to 1.0	commit \| commitdiff \| tree
2019-11-02	Ralf Jung	adjust for missing spans on x86 test runner	commit \| commitdiff \| tree
2019-10-31	Ralf Jung	rebase and re-update lock file	commit \| commitdiff \| tree
2019-10-31	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-10-30	Ralf Jung	work around aggressive syntax feature gating	commit \| commitdiff \| tree
2019-10-26	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-10-26	Ralf Jung	use plain cargo to install xargo	commit \| commitdiff \| tree
2019-10-26	Ralf Jung	bootstrap now takes care of installing xargo	commit \| commitdiff \| tree
2019-10-26	Ralf Jung	update Miri	commit \| commitdiff \| tree
2019-10-22	Ralf Jung	relax ExactSizeIterator bound on write_bytes: too many...	commit \| commitdiff \| tree
2019-10-22	Ralf Jung	add comments	commit \| commitdiff \| tree
2019-10-22	Ralf Jung	bring back some Debug instances for Miri	commit \| commitdiff \| tree
2019-10-21	Ralf Jung	expand comment	commit \| commitdiff \| tree
2019-10-21	Ralf Jung	remove write_repeat; it is subsumed by the new write_bytes	commit \| commitdiff \| tree
2019-10-21	Ralf Jung	points the user away from the Allocation type and towards...	commit \| commitdiff \| tree
2019-10-21	Ralf Jung	keep the root dir clean from debugging	commit \| commitdiff \| tree
2019-10-20	Ralf Jung	also check the iterator is not too long	commit \| commitdiff \| tree
2019-10-20	Ralf Jung	miri add write_bytes method to Memory doing bounds...	commit \| commitdiff \| tree
2019-10-20	Ralf Jung	skip all refs-to-uninit-local, not just arguments	commit \| commitdiff \| tree
2019-10-19	Ralf Jung	adjust miri sysroot determination	commit \| commitdiff \| tree
2019-10-19	Ralf Jung	bump miri	commit \| commitdiff \| tree
2019-10-19	Ralf Jung	show the proper diagnostics	commit \| commitdiff \| tree
2019-10-19	Ralf Jung	add test for calling non-const fn	commit \| commitdiff \| tree
2019-10-19	Ralf Jung	clarify const_prop ICE protection comment	commit \| commitdiff \| tree
2019-10-19	Ralf Jung	do all the same edits with Arc	commit \| commitdiff \| tree
2019-10-19	Ralf Jung	some more Rc tweaks	commit \| commitdiff \| tree
2019-10-19	Ralf Jung	the exampleis about drop, not (de)allocation	commit \| commitdiff \| tree
2019-10-17	Ralf Jung	example for padding any format	commit \| commitdiff \| tree
2019-10-17	Ralf Jung	reorder fmt docs for more clarity	commit \| commitdiff \| tree
2019-10-17	Ralf Jung	more consistency and clarification	commit \| commitdiff \| tree
2019-10-17	Ralf Jung	Rc: value -> allocation	commit \| commitdiff \| tree
2019-10-16	Ralf Jung	fmt::Write is about string slices, not byte slices	commit \| commitdiff \| tree
2019-10-14	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-10-12	Ralf Jung	make tests more robust	commit \| commitdiff \| tree
2019-10-12	Ralf Jung	test unwind(abort) with Rust ABI	commit \| commitdiff \| tree
2019-10-12	Ralf Jung	fix #[unwind(abort)] for Rust ABIs	commit \| commitdiff \| tree
2019-10-12	Ralf Jung	some typography	commit \| commitdiff \| tree
2019-10-12	Ralf Jung	also (properly) test nounwind on function definitions	commit \| commitdiff \| tree
2019-10-12	Ralf Jung	update test for nounwind on FFI imports	commit \| commitdiff \| tree
2019-10-12	Ralf Jung	fix link targets	commit \| commitdiff \| tree
2019-10-12	Ralf Jung	remove old branch of unwind logic	commit \| commitdiff \| tree
2019-10-12	Ralf Jung	it's C++20	commit \| commitdiff \| tree
2019-10-12	Ralf Jung	do not reference LLVM for our concurrency memory model	commit \| commitdiff \| tree
2019-10-12	Ralf Jung	remove confusing and redundant subsection	commit \| commitdiff \| tree
2019-10-12	Ralf Jung	move Formatting Traits down	commit \| commitdiff \| tree
2019-10-12	Ralf Jung	std::fmt: move format string grammar to the bottom	commit \| commitdiff \| tree
2019-10-11	Ralf Jung	InterpCx: make memory field public	commit \| commitdiff \| tree
2019-10-11	Ralf Jung	emcscripten: ignore another thread-using test	commit \| commitdiff \| tree
2019-10-11	Ralf Jung	ignore-emcscripten as it does not support threads	commit \| commitdiff \| tree
2019-09-29	Ralf Jung	bump Miri	commit \| commitdiff \| tree
2019-09-19	Ralf Jung	first determine if the variant is a niche-variant,...	commit \| commitdiff \| tree
2019-09-17	Ralf Jung	update Nomicon and Reference	commit \| commitdiff \| tree
2019-09-17	Ralf Jung	build-manifest: add some comments	commit \| commitdiff \| tree
2019-09-17	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-09-17	Ralf Jung	rename Allocation::retag -> with_tags_and_extra	commit \| commitdiff \| tree
2019-09-17	Ralf Jung	document Miri error categories	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	avoid duplicate issues for Miri build failures	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	update miri for latest breakage	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	with byteorder 1.3, the i128 feature is a NOP	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	avoid #[cfg] in favor of cfg!	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	add test	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	do the variant idx computations on the host (non-overflowing)	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	factor getting the discriminant layout to a new method	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	better and more consistent variable names	commit \| commitdiff \| tree
2019-09-16	Ralf Jung	fix Miri discriminant load/store when overflows are...	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	update intern classification comment	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	explain ty == None	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	assert that nobody asks for mutable constants	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	note a FIXME	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	relocations -> allocations	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	drop redundant ParamEnv, and avoid constructing InternVisito...	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	all memory behind a constant must be immutable	commit \| commitdiff \| tree
2019-09-15	Ralf Jung	const interning: move mutability computation into intern_sha...	commit \| commitdiff \| tree
2019-09-14	Ralf Jung	build-manifest: when Miri tests are not passing, do...	commit \| commitdiff \| tree
2019-09-14	Ralf Jung	when BUILD_MANIFEST_DISABLE_SIGNING is set, we don...	commit \| commitdiff \| tree
2019-09-14	Ralf Jung	rename the crate, not the feature	commit \| commitdiff \| tree
2019-09-14	Ralf Jung	std: always depend on backtrace, but only enable its...	commit \| commitdiff \| tree
2019-09-09	Ralf Jung	update reference	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	add test	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	const-eval tests: make all unions repr(C)	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	explain why REF_AS_USIZE is important	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	tweak const-valid test	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	make unions repr(C)	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	mod-level doc comment for validity check	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	better variable names	commit \| commitdiff \| tree
2019-08-30	Ralf Jung	miri: detect too large dynamically sized objects	commit \| commitdiff \| tree
2019-08-27	Ralf Jung	const_prop: only call error_to_const_error if we are...	commit \| commitdiff \| tree
2019-08-27	Ralf Jung	update miri	commit \| commitdiff \| tree
2019-08-26	Ralf Jung	adjust tests	commit \| commitdiff \| tree
2019-08-26	Ralf Jung	add link to FileCheck docs	commit \| commitdiff \| tree
2019-08-26	Ralf Jung	raw slices do not have to comply to the size limit	commit \| commitdiff \| tree
2019-08-25	Ralf Jung	test for too long slices	commit \| commitdiff \| tree
2019-08-25	Ralf Jung	validate raw wide pointers	commit \| commitdiff \| tree
2019-08-25	Ralf Jung	factor wide ptr metadata checking into separate method	commit \| commitdiff \| tree
2019-08-21	Ralf Jung	update Miri	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	test in a way that works even with musl	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	less &	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	drift leftward	commit \| commitdiff \| tree
2019-08-17	Ralf Jung	fix tests	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom