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

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

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
2019-02-22	Ralf Jung	test BTree a bit more	commit \| commitdiff \| tree
2019-02-17	Ralf Jung	we can't have profiles because we are also in the rustc...	commit \| commitdiff \| tree
2019-02-15	Ralf Jung	link to bug list from intro	commit \| commitdiff \| tree
2019-02-15	Ralf Jung	collect some bugs that we found	commit \| commitdiff \| tree
2019-02-15	Ralf Jung	test VecDeque debug printing	commit \| commitdiff \| tree
2019-02-15	Ralf Jung	fix async-fn test	commit \| commitdiff \| tree
2019-02-15	Ralf Jung	update Rust	commit \| commitdiff \| tree
2019-02-15	Ralf Jung	typo and comments	commit \| commitdiff \| tree
2019-02-15	Ralf Jung	actually they should be equal	commit \| commitdiff \| tree
2019-02-15	Ralf Jung	Fix comparing fat pointers	commit \| commitdiff \| tree
2019-02-15	Ralf Jung	update for new bin_op APIs	commit \| commitdiff \| tree
2019-02-14	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-02-14	Ralf Jung	Merge remote-tracking branch 'origin/master' into str...	commit \| commitdiff \| tree
2019-02-13	Ralf Jung	ignore overaligned tests on Windows (because, of course...	commit \| commitdiff \| tree
2019-02-13	Ralf Jung	implement and test posix_memalign	commit \| commitdiff \| tree
2019-02-13	Ralf Jung	skip installing rust-src if XARGO_RUST_SRC is set	commit \| commitdiff \| tree
2019-02-13	Ralf Jung	fix ptr comparison test	commit \| commitdiff \| tree
2019-02-13	Ralf Jung	update Rust	commit \| commitdiff \| tree
2019-02-12	Ralf Jung	rename things away from 'Shr' that are used for much...	commit \| commitdiff \| tree
2019-02-12	Ralf Jung	be more clear which stack we are talking about	commit \| commitdiff \| tree
2019-02-11	Ralf Jung	TIL that you can also use .appveyor.yml	commit \| commitdiff \| tree
2019-02-09	Ralf Jung	explain arument passing in the docs	commit \| commitdiff \| tree
2019-02-09	Ralf Jung	also enable passing arguments through from cargo-miri	commit \| commitdiff \| tree
2019-02-09	Ralf Jung	also pass actual arguments to Windows	commit \| commitdiff \| tree
2019-02-09	Ralf Jung	fix build	commit \| commitdiff \| tree
2019-02-09	Ralf Jung	implement passing arguments to the interpreted program	commit \| commitdiff \| tree
2019-02-09	Ralf Jung	test padding in format strings	commit \| commitdiff \| tree
2019-02-09	Ralf Jung	fix (un)likely intrinsics	commit \| commitdiff \| tree
2019-02-08	Ralf Jung	make bash more strict	commit \| commitdiff \| tree
2019-02-08	Ralf Jung	we don't need to flush stderr	commit \| commitdiff \| tree
2019-02-07	Ralf Jung	flush stdout/stderr to make sure it appears on the...	commit \| commitdiff \| tree
2019-02-07	Ralf Jung	Fix cargo miri test on lib crates	commit \| commitdiff \| tree
2019-02-07	Ralf Jung	update docs	commit \| commitdiff \| tree
2019-02-07	Ralf Jung	update test for cargo-miri	commit \| commitdiff \| tree
2019-02-07	Ralf Jung	cargo miri: refactor how we detect what to interpret...	commit \| commitdiff \| tree
2019-02-07	Ralf Jung	make release builds have debug info	commit \| commitdiff \| tree
2019-02-06	Ralf Jung	test mutable string slice indexing	commit \| commitdiff \| tree
2019-02-06	Ralf Jung	panic_impl is another way to panic	commit \| commitdiff \| tree
2019-02-06	Ralf Jung	implement atomic_nand	commit \| commitdiff \| tree
2019-02-05	Ralf Jung	explain how to run cargo miri with a locally compiled...	commit \| commitdiff \| tree
2019-02-05	Ralf Jung	update development instructions in README	commit \| commitdiff \| tree
2019-01-30	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-01-30	Ralf Jung	fix generator test case	commit \| commitdiff \| tree
2019-01-28	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2019-01-28	Ralf Jung	fix tests to avoid deprecated constants	commit \| commitdiff \| tree
2019-01-25	Ralf Jung	remove outdated comment	commit \| commitdiff \| tree
2019-01-07	Ralf Jung	make MSE bench run a bit longer (less noise)	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom