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

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

2019-05-23	Ralf Jung	Merge pull request #741 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree
2019-05-23	Ralf Jung	use prettier printing	commit \| commitdiff \| tree
2019-05-23	Ralf Jung	Merge pull request #740 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree
2019-05-23	Ralf Jung	hopefully improve error message a bit	commit \| commitdiff \| tree
2019-05-21	Ralf Jung	Merge pull request #738 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree
2019-05-21	Ralf Jung	test for new read rules	commit \| commitdiff \| tree
2019-05-21	Ralf Jung	Merge pull request #736 from rust-lang/rustup	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	Merge pull request #732 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree
2019-05-19	Ralf Jung	typo	commit \| commitdiff \| tree
2019-05-19	Ralf Jung	Use `drain` instead of manually rolling it ourselves...	commit \| commitdiff \| tree
2019-05-17	Ralf Jung	nits	commit \| commitdiff \| tree
2019-05-17	Ralf Jung	test and support two-phase reborrows of raw pointers...	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 (#728)	commit \| commitdiff \| tree
2019-05-15	Ralf Jung	make printing return place less verbose	commit \| commitdiff \| tree
2019-05-15	Ralf Jung	Rustup (#723)	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	Update src/stacked_borrows.rs	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	Merge pull request #719 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree
2019-04-30	Ralf Jung	add arielby's example	commit \| commitdiff \| tree
2019-04-30	Ralf Jung	Merge pull request #718 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree
2019-04-30	Ralf Jung	SharedReadOnly reborrows are never weak	commit \| commitdiff \| tree
2019-04-27	Ralf Jung	Merge pull request #717 from Eijebong/metadata	commit \| commitdiff \| tree
2019-04-27	Ralf Jung	Merge pull request #716 from RalfJung/rustup	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	Merge branch 'master' into exit	commit \| commitdiff \| tree
2019-04-22	Ralf Jung	Merge pull request #709 from RalfJung/macos-rand	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	Merge pull request #710 from RalfJung/travis	commit \| commitdiff \| tree
2019-04-21	Ralf Jung	Travis: test cargo miri on foreign arch	commit \| commitdiff \| tree
2019-04-21	Ralf Jung	Merge pull request #708 from RalfJung/alloc-tests	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-21	Ralf Jung	Merge pull request #704 from RalfJung/dev	commit \| commitdiff \| tree
2019-04-21	Ralf Jung	Merge branch 'master' into dev	commit \| commitdiff \| tree
2019-04-20	Ralf Jung	add section on the no MIR error	commit \| commitdiff \| tree
2019-04-19	Ralf Jung	Merge pull request #697 from RalfJung/linked-list	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	Merge pull request #703 from RalfJung/compiletest	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	Merge pull request #698 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree
2019-04-18	Ralf Jung	Merge branch 'master' into stacked-borrows-2	commit \| commitdiff \| tree
2019-04-18	Ralf Jung	Merge pull request #696 from TimDiekmann/realloc	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-18	Ralf Jung	Merge pull request #695 from RalfJung/stacked-borrows-2	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-17	Ralf Jung	Merge pull request #692 from RalfJung/rand	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	fix RtlGenRandom argument size	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	Merge branch 'master' into rand	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	try to really fix tests on macOS	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom