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

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

2019-05-27	Ralf Jung	fix for latest rustc	commit \| commitdiff \| tree \| snapshot
2019-05-24	Oliver Scherer	Merge pull request #742 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree \| snapshot
2019-05-24	Ralf Jung	avoid printing the tag twice	commit \| commitdiff \| tree \| snapshot
2019-05-24	Ralf Jung	avoid having both Debug and Display for a type and...	commit \| commitdiff \| tree \| snapshot
2019-05-24	Ralf Jung	add more bugs that Miri found	commit \| commitdiff \| tree \| snapshot
2019-05-23	Ralf Jung	Merge pull request #741 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree \| snapshot
2019-05-23	Ralf Jung	use prettier printing	commit \| commitdiff \| tree \| snapshot
2019-05-23	Ralf Jung	Merge pull request #740 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree \| snapshot
2019-05-23	Ralf Jung	hopefully improve error message a bit	commit \| commitdiff \| tree \| snapshot
2019-05-21	Ralf Jung	Merge pull request #738 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree \| snapshot
2019-05-21	Ralf Jung	test for new read rules	commit \| commitdiff \| tree \| snapshot
2019-05-21	Ralf Jung	Merge pull request #736 from rust-lang/rustup	commit \| commitdiff \| tree \| snapshot
2019-05-21	Ralf Jung	Merge remote-tracking branch 'origin/master' into master.2	commit \| commitdiff \| tree \| snapshot
2019-05-21	Ralf Jung	update Rust	commit \| commitdiff \| tree \| snapshot
2019-05-20	Oliver Scherer	Merge pull request #734 from RalfJung/readme	commit \| commitdiff \| tree \| snapshot
2019-05-20	Ralf Jung	prepare for MaybeUninit stabilization	commit \| commitdiff \| tree \| snapshot
2019-05-20	Ralf Jung	expand explanation of how we treat validity invariants	commit \| commitdiff \| tree \| snapshot
2019-05-19	Ralf Jung	Merge pull request #732 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree \| snapshot
2019-05-19	Ralf Jung	typo	commit \| commitdiff \| tree \| snapshot
2019-05-19	Ralf Jung	Use `drain` instead of manually rolling it ourselves...	commit \| commitdiff \| tree \| snapshot
2019-05-19	Oliver Scherer	Prefer `drain` over manual implementation of `drain`	commit \| commitdiff \| tree \| snapshot
2019-05-17	Oliver Scherer	Merge pull request #730 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree \| snapshot
2019-05-17	Ralf Jung	nits	commit \| commitdiff \| tree \| snapshot
2019-05-17	Ralf Jung	test and support two-phase reborrows of raw pointers...	commit \| commitdiff \| tree \| snapshot
2019-05-17	Ralf Jung	reading does not remove Unique, it just invalidates...	commit \| commitdiff \| tree \| snapshot
2019-05-17	Ralf Jung	fix tests	commit \| commitdiff \| tree \| snapshot
2019-05-17	Ralf Jung	give up on two-phase borrows	commit \| commitdiff \| tree \| snapshot
2019-05-15	Ralf Jung	deduplicate tests	commit \| commitdiff \| tree \| snapshot
2019-05-15	Ralf Jung	this also fixed our 2-phase woes	commit \| commitdiff \| tree \| snapshot
2019-05-15	Ralf Jung	refactor to simplify	commit \| commitdiff \| tree \| snapshot
2019-05-15	Ralf Jung	make writes act stack-like	commit \| commitdiff \| tree \| snapshot
2019-05-15	Ralf Jung	make printing return place less verbose (#728)	commit \| commitdiff \| tree \| snapshot
2019-05-15	Ralf Jung	make printing return place less verbose	commit \| commitdiff \| tree \| snapshot
2019-05-15	Ralf Jung	Rustup (#723)	commit \| commitdiff \| tree \| snapshot
2019-05-15	Ralf Jung	bump Rust	commit \| commitdiff \| tree \| snapshot
2019-05-13	Ralf Jung	fix for latest rustc	commit \| commitdiff \| tree \| snapshot
2019-05-13	Ralf Jung	RUST_LOG got renamed to RUSTC_LOG	commit \| commitdiff \| tree \| snapshot
2019-05-13	Ralf Jung	make HashMap test a bit nicer	commit \| commitdiff \| tree \| snapshot
2019-05-13	Ralf Jung	build with latest version	commit \| commitdiff \| tree \| snapshot
2019-05-13	Oliver Scherer	Merge pull request #726 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree \| snapshot
2019-05-11	Ralf Jung	Update src/stacked_borrows.rs	commit \| commitdiff \| tree \| snapshot
2019-05-11	Ralf Jung	rename per-location part of reborowing to 'granting'	commit \| commitdiff \| tree \| snapshot
2019-05-10	Oliver Scherer	Merge pull request #725 from RalfJung/xargo	commit \| commitdiff \| tree \| snapshot
2019-05-10	Ralf Jung	switch back to upstream xargo	commit \| commitdiff \| tree \| snapshot
2019-05-02	Oliver Scherer	Merge pull request #720 from RalfJung/rustup	commit \| commitdiff \| tree \| snapshot
2019-05-01	Ralf Jung	fix tests for latest Rust	commit \| commitdiff \| tree \| snapshot
2019-05-01	Ralf Jung	switch to my xargo fork, because that one works with...	commit \| commitdiff \| tree \| snapshot
2019-04-30	Ralf Jung	Merge pull request #719 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree \| snapshot
2019-04-30	Ralf Jung	add arielby's example	commit \| commitdiff \| tree \| snapshot
2019-04-30	Ralf Jung	Merge pull request #718 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree \| snapshot
2019-04-30	bjorn3	Apply suggestions from code review	commit \| commitdiff \| tree \| snapshot
2019-04-30	Ralf Jung	SharedReadOnly reborrows are never weak	commit \| commitdiff \| tree \| snapshot
2019-04-27	Ralf Jung	Merge pull request #717 from Eijebong/metadata	commit \| commitdiff \| tree \| snapshot
2019-04-27	Bastien Orivel	Update cargo_metadata to 0.7	commit \| commitdiff \| tree \| snapshot
2019-04-27	Ralf Jung	Merge pull request #716 from RalfJung/rustup	commit \| commitdiff \| tree \| snapshot
2019-04-27	Ralf Jung	fix HeapFree return value	commit \| commitdiff \| tree \| snapshot
2019-04-27	Ralf Jung	bump Rust	commit \| commitdiff \| tree \| snapshot
2019-04-26	Oliver Scherer	Merge pull request #714 from RalfJung/readme	commit \| commitdiff \| tree \| snapshot
2019-04-26	Ralf Jung	trophy case: add rand; separate definite bugs from...	commit \| commitdiff \| tree \| snapshot
2019-04-22	Oliver Scherer	Merge pull request #702 from RalfJung/exit	commit \| commitdiff \| tree \| snapshot
2019-04-22	Ralf Jung	unify code paths	commit \| commitdiff \| tree \| snapshot
2019-04-22	Ralf Jung	Merge branch 'master' into exit	commit \| commitdiff \| tree \| snapshot
2019-04-22	Ralf Jung	Merge pull request #709 from RalfJung/macos-rand	commit \| commitdiff \| tree \| snapshot
2019-04-22	Ralf Jung	make run-test runnable from other directories	commit \| commitdiff \| tree \| snapshot
2019-04-22	Ralf Jung	no need to allow any more	commit \| commitdiff \| tree \| snapshot
2019-04-22	Ralf Jung	gen_random: handle size 0 and writing to mem	commit \| commitdiff \| tree \| snapshot
2019-04-22	Ralf Jung	implement SecRandomCopyBytes for macOS RNG	commit \| commitdiff \| tree \| snapshot
2019-04-21	Ralf Jung	Merge pull request #710 from RalfJung/travis	commit \| commitdiff \| tree \| snapshot
2019-04-21	Ralf Jung	Travis: test cargo miri on foreign arch	commit \| commitdiff \| tree \| snapshot
2019-04-21	Ralf Jung	Merge pull request #708 from RalfJung/alloc-tests	commit \| commitdiff \| tree \| snapshot
2019-04-21	Ralf Jung	Windows: implement heap functions	commit \| commitdiff \| tree \| snapshot
2019-04-21	Ralf Jung	test System/Global allocator API: alloc_zeroed, realloc	commit \| commitdiff \| tree \| snapshot
2019-04-21	Ralf Jung	implement ExitProcess for Windows	commit \| commitdiff \| tree \| snapshot
2019-04-21	Ralf Jung	fix compile-fail ref files	commit \| commitdiff \| tree \| snapshot
2019-04-21	Ralf Jung	implement exit	commit \| commitdiff \| tree \| snapshot
2019-04-21	Ralf Jung	Merge pull request #704 from RalfJung/dev	commit \| commitdiff \| tree \| snapshot
2019-04-21	Ralf Jung	Merge branch 'master' into dev	commit \| commitdiff \| tree \| snapshot
2019-04-20	Ralf Jung	add section on the no MIR error	commit \| commitdiff \| tree \| snapshot
2019-04-19	Ralf Jung	Merge pull request #697 from RalfJung/linked-list	commit \| commitdiff \| tree \| snapshot
2019-04-19	Ralf Jung	bump Rust version	commit \| commitdiff \| tree \| snapshot
2019-04-19	Ralf Jung	add LinkedList test and mention the bug Miri found...	commit \| commitdiff \| tree \| snapshot
2019-04-19	Ralf Jung	Merge pull request #703 from RalfJung/compiletest	commit \| commitdiff \| tree \| snapshot
2019-04-19	Ralf Jung	rewirte development part of README	commit \| commitdiff \| tree \| snapshot
2019-04-19	Ralf Jung	warn when cargo miri setup does not do anything	commit \| commitdiff \| tree \| snapshot
2019-04-19	Ralf Jung	bump compiletest	commit \| commitdiff \| tree \| snapshot
2019-04-19	Oliver Scherer	Merge pull request #699 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree \| snapshot
2019-04-19	Ralf Jung	test another version of 'creating a shared ref must...	commit \| commitdiff \| tree \| snapshot
2019-04-19	Ralf Jung	two-phase-borrow comment	commit \| commitdiff \| tree \| snapshot
2019-04-18	Ralf Jung	Merge pull request #698 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree \| snapshot
2019-04-18	Ralf Jung	Merge branch 'master' into stacked-borrows-2	commit \| commitdiff \| tree \| snapshot
2019-04-18	Ralf Jung	Merge pull request #696 from TimDiekmann/realloc	commit \| commitdiff \| tree \| snapshot
2019-04-18	Ralf Jung	try to fix Windows CI	commit \| commitdiff \| tree \| snapshot
2019-04-18	Ralf Jung	remove some unneeded 'extern crate'	commit \| commitdiff \| tree \| snapshot
2019-04-18	Tim Diekmann	Add handling for `nullptr` and `size == 0`	commit \| commitdiff \| tree \| snapshot
2019-04-18	Ralf Jung	CI: build with debug assertions	commit \| commitdiff \| tree \| snapshot
2019-04-18	Ralf Jung	test that creating a 2nd mutable ref from a NonNull...	commit \| commitdiff \| tree \| snapshot
2019-04-18	Tim Diekmann	Fix for latest upstream update	commit \| commitdiff \| tree \| snapshot
2019-04-18	Tim Diekmann	Merge branch 'master' into realloc	commit \| commitdiff \| tree \| snapshot
2019-04-18	Ralf Jung	Merge pull request #695 from RalfJung/stacked-borrows-2	commit \| commitdiff \| tree \| snapshot
2019-04-17	Tim Diekmann	Add `realloc`	commit \| commitdiff \| tree \| snapshot
next

Empowering everyone to build reliable and efficient software.

RSS Atom