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

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

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
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	rustup	commit \| commitdiff \| tree
2019-04-12	Ralf Jung	lower rand version requirement	commit \| commitdiff \| tree
2019-04-12	Ralf Jung	rustup	commit \| commitdiff \| tree
2019-04-12	Ralf Jung	rustup	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-08	Ralf Jung	fix dumping uninitialized locals	commit \| commitdiff \| tree
2019-04-07	Ralf Jung	test calling Box<dyn FnOnce>	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	temporarily ignore async fn test	commit \| commitdiff \| tree
2019-04-06	Ralf Jung	AppVeyor: ignore already existing rustup-toolchain...	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-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	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	fix for rustc change	commit \| commitdiff \| tree
2019-03-18	Ralf Jung	bump Rust; remove stabilized feature	commit \| commitdiff \| tree
2019-03-10	Ralf Jung	mention --exclude-should-panic	commit \| commitdiff \| tree
2019-03-08	Ralf Jung	README	commit \| commitdiff \| tree
2019-03-02	Ralf Jung	bump Rust version	commit \| commitdiff \| tree
2019-03-01	Ralf Jung	the stable part of compiletest_rs is enough	commit \| commitdiff \| tree
2019-02-27	Ralf Jung	avoid [..]	commit \| commitdiff \| tree
2019-02-25	Ralf Jung	test using the Global allocator trait to alloc/free...	commit \| commitdiff \| tree
2019-02-24	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-02-24	Ralf Jung	Merge remote-tracking branch 'origin/master' into btree	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom