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

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

2019-06-09	Ralf Jung	don't have both MIRI_SYSROOT and --sysroot	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	explain why we always set a sysroot; make sure we error...	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	remove outdated sysroot management	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	cargo miri: make sure we see the same sysroot for rustc...	commit \| commitdiff \| tree
2019-06-08	Ralf Jung	Merge pull request #765 from RalfJung/rustup	commit \| commitdiff \| tree
2019-06-08	Ralf Jung	rustup for EvalResult rename	commit \| commitdiff \| tree
2019-06-04	Ralf Jung	Merge pull request #757 from RalfJung/test-ice	commit \| commitdiff \| tree
2019-06-04	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-06-04	Ralf Jung	test for no-validation-only failure	commit \| commitdiff \| tree
2019-06-03	Ralf Jung	remove too expensive debug assertion (#755)	commit \| commitdiff \| tree
2019-06-03	Ralf Jung	Merge branch 'master' into debug	commit \| commitdiff \| tree
2019-06-03	Ralf Jung	Merge pull request #760 from lzutao/bump-dep	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	Tag static/const allocations (#748)	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	bump Rust version	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	test that we cannot access unescaped static memory...	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	fix existing tests	commit \| commitdiff \| tree
2019-06-02	Ralf Jung	use new rustc infrastructure to tag the base pointer...	commit \| commitdiff \| tree
2019-06-01	Ralf Jung	Merge pull request #759 from RalfJung/rustup	commit \| commitdiff \| tree
2019-06-01	Ralf Jung	rustup for ... deprecation	commit \| commitdiff \| tree
2019-05-31	Ralf Jung	remove too expensive debug assertion	commit \| commitdiff \| tree
2019-05-30	Ralf Jung	Rustup (#752)	commit \| commitdiff \| tree
2019-05-30	Ralf Jung	move fn_item/ptr tests to closures file	commit \| commitdiff \| tree
2019-05-30	Ralf Jung	update for rustc warning about missing dyn	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	Merge pull request #751 from RalfJung/rc	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	test weak_into_raw	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	try to make the Windows CI not rebuild Miri (#750)	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	try to make the Windows CI not rebuild Miri	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	miri build script: support building miri in debug mode...	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	Merge branch 'master' into miri-build	commit \| commitdiff \| tree
2019-05-29	Ralf Jung	fix for rustc changes (#749)	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	update for rustc Scalar changes, test for pointer wrapping...	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-28	Ralf Jung	add Miri build script (#745)	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	Merge branch 'master' into miri-build	commit \| commitdiff \| tree
2019-05-27	Ralf Jung	fix for latest rustc (#746)	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	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
next

Empowering everyone to build reliable and efficient software.

RSS Atom