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

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

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	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
2019-04-16	Ralf Jung	fix tests on macOS	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	pick better test names	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	fix ref file	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	stub out pthread_atfork to that we support thread_rng()	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	fix 0-sized getrandom	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	update cargo miri test to test rng crate a bit; this...	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	fix compile-fail test	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	tweak entropy tests a bit	commit \| commitdiff \| tree
2019-04-16	Ralf Jung	be pragmatic about ptr-int comparisons, for now	commit \| commitdiff \| tree
2019-04-14	Ralf Jung	Merge pull request #690 from RalfJung/rustup	commit \| commitdiff \| tree
2019-04-14	Ralf Jung	rustup	commit \| commitdiff \| tree
2019-04-12	Ralf Jung	Merge pull request #689 from RalfJung/rustup	commit \| commitdiff \| tree
2019-04-12	Ralf Jung	Merge branch 'master' into rustup	commit \| commitdiff \| tree
2019-04-12	Ralf Jung	lower rand version requirement	commit \| commitdiff \| tree
2019-04-12	Ralf Jung	Merge pull request #688 from RalfJung/rustup	commit \| commitdiff \| tree
2019-04-12	Ralf Jung	rustup	commit \| commitdiff \| tree
2019-04-12	Ralf Jung	Merge pull request #687 from RalfJung/rustup	commit \| commitdiff \| tree
2019-04-12	Ralf Jung	rustup	commit \| commitdiff \| tree
2019-04-11	Ralf Jung	Merge pull request #680 from RalfJung/miri-unsized	commit \| commitdiff \| tree
2019-04-11	Ralf Jung	bump Rust version	commit \| commitdiff \| tree
2019-04-11	Ralf Jung	Merge remote-tracking branch 'origin/master'	commit \| commitdiff \| tree
2019-04-10	Ralf Jung	fix async-fn test	commit \| commitdiff \| tree
2019-04-10	Ralf Jung	Merge pull request #683 from Aaron1011/feature/random	commit \| commitdiff \| tree
2019-04-10	Ralf Jung	Fix typo	commit \| commitdiff \| tree
2019-04-08	Ralf Jung	fix dumping uninitialized locals	commit \| commitdiff \| tree
2019-04-08	Ralf Jung	Merge pull request #681 from TimDiekmann/calloc	commit \| commitdiff \| tree
2019-04-07	Ralf Jung	test calling Box<dyn FnOnce>	commit \| commitdiff \| tree
2019-04-07	Ralf Jung	Merge pull request #678 from RalfJung/test-env	commit \| commitdiff \| tree
2019-04-07	Ralf Jung	rename MIRI_TARGET -> MIRI_COMPILETEST_TARGET to clarify...	commit \| commitdiff \| tree
2019-04-07	Ralf Jung	compiletest can just propagate MIRI_SYSROOT from the...	commit \| commitdiff \| tree
2019-04-06	Ralf Jung	Merge pull request #677 from RalfJung/async	commit \| commitdiff \| tree
2019-04-06	Ralf Jung	temporarily ignore async fn test	commit \| commitdiff \| tree
2019-04-06	Ralf Jung	Merge pull request #674 from matthewjasper/2phase-on...	commit \| commitdiff \| tree
2019-04-06	Ralf Jung	Merge branch 'master' into 2phase-on-edition	commit \| commitdiff \| tree
2019-04-06	Ralf Jung	Merge pull request #671 from timotree3/patch-1	commit \| commitdiff \| tree
2019-04-06	Ralf Jung	Merge branch 'master' into patch-1	commit \| commitdiff \| tree
2019-04-06	Ralf Jung	Merge pull request #676 from RalfJung/appveyor	commit \| commitdiff \| tree
2019-04-06	Ralf Jung	AppVeyor: ignore already existing rustup-toolchain...	commit \| commitdiff \| tree
2019-04-06	Ralf Jung	Merge branch 'master' into patch-1	commit \| commitdiff \| tree
2019-04-04	Ralf Jung	Merge pull request #673 from RalfJung/travis	commit \| commitdiff \| tree
2019-04-04	Ralf Jung	fix AppVeyor	commit \| commitdiff \| tree
2019-04-04	Ralf Jung	fix Travis and adjust AppVeyor	commit \| commitdiff \| tree
2019-04-04	Ralf Jung	adjust README	commit \| commitdiff \| tree
2019-04-04	Ralf Jung	use rustup-toolchain-install-master for CI	commit \| commitdiff \| tree
2019-03-30	Ralf Jung	Merge pull request #668 from kenta7777/rename-evalcontext...	commit \| commitdiff \| tree
2019-03-28	Ralf Jung	Merge pull request #669 from 0xflotus/patch-1	commit \| commitdiff \| tree
2019-03-26	Ralf Jung	explain Miri limitations	commit \| commitdiff \| tree
2019-03-25	Ralf Jung	update README to suggest installing Miri as a component	commit \| commitdiff \| tree
2019-03-21	Ralf Jung	Merge pull request #664 from RalfJung/compiletest	commit \| commitdiff \| tree
2019-03-21	Ralf Jung	pin old compiletest, for now	commit \| commitdiff \| tree
2019-03-20	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-03-20	Ralf Jung	move back to unstable compiletest; the stable one broke	commit \| commitdiff \| tree
2019-03-18	Ralf Jung	Merge pull request #663 from RalfJung/range-contains	commit \| commitdiff \| tree
2019-03-18	Ralf Jung	fix for rustc change	commit \| commitdiff \| tree
2019-03-18	Ralf Jung	bump Rust; remove stabilized feature	commit \| commitdiff \| tree
2019-03-11	Ralf Jung	Merge pull request #659 from rust-lang/update	commit \| commitdiff \| tree
2019-03-11	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-03-10	Ralf Jung	Merge pull request #660 from rust-lang/readme	commit \| commitdiff \| tree
2019-03-10	Ralf Jung	mention --exclude-should-panic	commit \| commitdiff \| tree
2019-03-08	Ralf Jung	Merge pull request #657 from RalfJung/readme	commit \| commitdiff \| tree
2019-03-08	Ralf Jung	README	commit \| commitdiff \| tree
2019-03-02	Ralf Jung	Merge pull request #647 from spastorino/place_base	commit \| commitdiff \| tree
2019-03-02	Ralf Jung	bump Rust version	commit \| commitdiff \| tree
2019-03-01	Ralf Jung	Merge pull request #650 from RalfJung/compiletest	commit \| commitdiff \| tree
2019-03-01	Ralf Jung	the stable part of compiletest_rs is enough	commit \| commitdiff \| tree
2019-02-27	Ralf Jung	Merge pull request #648 from RalfJung/avoid-full-slice	commit \| commitdiff \| tree
2019-02-27	Ralf Jung	avoid [..]	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom