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

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

2019-05-29	Ralf Jung	try to make the Windows CI not rebuild Miri	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	tweak logic for determining rustc default target	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	print usage information on invalid command	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	fix for rustc changes	commit \| commitdiff \| tree
2019-05-28	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-05-28	Ralf Jung	test for pointer wrapping ICE	commit \| commitdiff \| tree
2019-05-28	Ralf Jung	adjust for rustc changes	commit \| commitdiff \| tree
2019-05-28	Ralf Jung	also pass flags to install	commit \| commitdiff \| tree
2019-05-28	Ralf Jung	reference cargo issue	commit \| commitdiff \| tree
2019-05-28	Ralf Jung	avoid rebuilding Miri on CI	commit \| commitdiff \| tree
2019-05-28	Ralf Jung	miri build script: support building miri in debug mode	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	fix error pattern	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	fix for latest rustc	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	fix more indentation	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	remove redundant RUSTFLAGS	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	add comment	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	fix indentation	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	improve macOS-compatibility by being more awful	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	make miri script smarter: auto-determine MIRI_SYSROOT...	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	improve backtraces	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	comments	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	adjust readme to miri build script	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	add 'miri' script to help build, test and run miri	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	dependency management	commit \| commitdiff \| tree
2019-05-24	Ralf Jung	avoid printing the tag twice	commit \| commitdiff \| tree
2019-05-24	Ralf Jung	avoid having both Debug and Display for a type and...	commit \| commitdiff \| tree
2019-05-24	Ralf Jung	add more bugs that Miri found	commit \| commitdiff \| tree
2019-05-23	Ralf Jung	use prettier printing	commit \| commitdiff \| tree
2019-05-23	Ralf Jung	hopefully improve error message a bit	commit \| commitdiff \| tree
2019-05-21	Ralf Jung	test for new read rules	commit \| commitdiff \| tree
2019-05-21	Ralf Jung	Merge remote-tracking branch 'origin/master' into master.2	commit \| commitdiff \| tree
2019-05-21	Ralf Jung	update Rust	commit \| commitdiff \| tree
2019-05-20	Ralf Jung	prepare for MaybeUninit stabilization	commit \| commitdiff \| tree
2019-05-20	Ralf Jung	expand explanation of how we treat validity invariants	commit \| commitdiff \| tree
2019-05-19	Ralf Jung	typo	commit \| commitdiff \| tree
2019-05-17	Ralf Jung	nits	commit \| commitdiff \| tree
2019-05-17	Ralf Jung	reading does not remove Unique, it just invalidates...	commit \| commitdiff \| tree
2019-05-17	Ralf Jung	fix tests	commit \| commitdiff \| tree
2019-05-17	Ralf Jung	give up on two-phase borrows	commit \| commitdiff \| tree
2019-05-15	Ralf Jung	deduplicate tests	commit \| commitdiff \| tree
2019-05-15	Ralf Jung	this also fixed our 2-phase woes	commit \| commitdiff \| tree
2019-05-15	Ralf Jung	refactor to simplify	commit \| commitdiff \| tree
2019-05-15	Ralf Jung	make writes act stack-like	commit \| commitdiff \| tree
2019-05-15	Ralf Jung	make printing return place less verbose	commit \| commitdiff \| tree
2019-05-15	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-05-13	Ralf Jung	fix for latest rustc	commit \| commitdiff \| tree
2019-05-13	Ralf Jung	RUST_LOG got renamed to RUSTC_LOG	commit \| commitdiff \| tree
2019-05-13	Ralf Jung	make HashMap test a bit nicer	commit \| commitdiff \| tree
2019-05-13	Ralf Jung	build with latest version	commit \| commitdiff \| tree
2019-05-11	Ralf Jung	rename per-location part of reborowing to 'granting'	commit \| commitdiff \| tree
2019-05-10	Ralf Jung	switch back to upstream xargo	commit \| commitdiff \| tree
2019-05-01	Ralf Jung	fix tests for latest Rust	commit \| commitdiff \| tree
2019-05-01	Ralf Jung	switch to my xargo fork, because that one works with...	commit \| commitdiff \| tree
2019-04-30	Ralf Jung	add arielby's example	commit \| commitdiff \| tree
2019-04-30	Ralf Jung	SharedReadOnly reborrows are never weak	commit \| commitdiff \| tree
2019-04-27	Ralf Jung	fix HeapFree return value	commit \| commitdiff \| tree
2019-04-27	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-04-26	Ralf Jung	trophy case: add rand; separate definite bugs from...	commit \| commitdiff \| tree
2019-04-22	Ralf Jung	unify code paths	commit \| commitdiff \| tree
2019-04-22	Ralf Jung	make run-test runnable from other directories	commit \| commitdiff \| tree
2019-04-22	Ralf Jung	no need to allow any more	commit \| commitdiff \| tree
2019-04-22	Ralf Jung	gen_random: handle size 0 and writing to mem	commit \| commitdiff \| tree
2019-04-22	Ralf Jung	implement SecRandomCopyBytes for macOS RNG	commit \| commitdiff \| tree
2019-04-21	Ralf Jung	Travis: test cargo miri on foreign arch	commit \| commitdiff \| tree
2019-04-21	Ralf Jung	Windows: implement heap functions	commit \| commitdiff \| tree
2019-04-21	Ralf Jung	test System/Global allocator API: alloc_zeroed, realloc	commit \| commitdiff \| tree
2019-04-21	Ralf Jung	implement ExitProcess for Windows	commit \| commitdiff \| tree
2019-04-21	Ralf Jung	fix compile-fail ref files	commit \| commitdiff \| tree
2019-04-21	Ralf Jung	implement exit	commit \| commitdiff \| tree
2019-04-20	Ralf Jung	add section on the no MIR error	commit \| commitdiff \| tree
2019-04-19	Ralf Jung	bump Rust version	commit \| commitdiff \| tree
2019-04-19	Ralf Jung	add LinkedList test and mention the bug Miri found...	commit \| commitdiff \| tree
2019-04-19	Ralf Jung	rewirte development part of README	commit \| commitdiff \| tree
2019-04-19	Ralf Jung	warn when cargo miri setup does not do anything	commit \| commitdiff \| tree
2019-04-19	Ralf Jung	bump compiletest	commit \| commitdiff \| tree
2019-04-19	Ralf Jung	test another version of 'creating a shared ref must...	commit \| commitdiff \| tree
2019-04-19	Ralf Jung	two-phase-borrow comment	commit \| commitdiff \| tree
2019-04-18	Ralf Jung	try to fix Windows CI	commit \| commitdiff \| tree
2019-04-18	Ralf Jung	remove some unneeded 'extern crate'	commit \| commitdiff \| tree
2019-04-18	Ralf Jung	CI: build with debug assertions	commit \| commitdiff \| tree
2019-04-18	Ralf Jung	test that creating a 2nd mutable ref from a NonNull...	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	embrace find_map and some whitespace changes	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	more tests -- also one showing why we are not done yet	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	add tests for fixes: sharing no longer leaks, and we...	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	barriers are dead, long live protectors -- this enables...	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	test creating two raw pointers from the same mutable ref	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	abstract mapping over all the stacks in some memory...	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	let the permission of a new pointer depend on the type...	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	organize stacked borrows run-pass tests	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	try to test the problematic cast-to-raw case... unfortunatel...	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	some failures are impossible	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	adjust compile-fail error messages	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	more comments	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	make run-pass tests pass. tweak how we remove barriers.	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	rewrite Stacked Borrows Core. this passes stacked-borrows.rs!	commit \| commitdiff \| tree
2019-04-17	Ralf Jung	document -Zmiri-seed	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	fix RtlGenRandom argument size	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	try to really fix tests on macOS	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	fix tests on macOS	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom