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

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

2019-06-29	Ralf Jung	move most of the stuff from lib.rs into machine.rs...	commit \| commitdiff \| tree
2019-06-28	Ralf Jung	test pointer string formatting	commit \| commitdiff \| tree
2019-06-28	Ralf Jung	bump rand to released 0.7	commit \| commitdiff \| tree
2019-06-28	Ralf Jung	ptr-to-int alignment sanity check	commit \| commitdiff \| tree
2019-06-25	Ralf Jung	add snippet for running Miri on CI	commit \| commitdiff \| tree
2019-06-24	Ralf Jung	bump Rust commit	commit \| commitdiff \| tree
2019-06-24	Ralf Jung	expand and better explain alignment check tests	commit \| commitdiff \| tree
2019-06-23	Ralf Jung	de-obfuscate ptr comparison a bit	commit \| commitdiff \| tree
2019-06-23	Ralf Jung	adjust for refactored memory pointer checks	commit \| commitdiff \| tree
2019-06-22	Ralf Jung	also run tests for cron jobs	commit \| commitdiff \| tree
2019-06-22	Ralf Jung	fix compilation with latest rustc	commit \| commitdiff \| tree
2019-06-21	Ralf Jung	add a failing test where an immovable generator gets...	commit \| commitdiff \| tree
2019-06-21	Ralf Jung	fix Travis bors branch names	commit \| commitdiff \| tree
2019-06-21	Ralf Jung	AppVeyor: only run on bors branches	commit \| commitdiff \| tree
2019-06-21	Ralf Jung	Travis: also run on bors branches, and not on master	commit \| commitdiff \| tree
2019-06-20	Ralf Jung	use org.rust-lang.miri folder on macOS	commit \| commitdiff \| tree
2019-06-20	Ralf Jung	allow some inequality comparisons between pointers...	commit \| commitdiff \| tree
2019-06-20	Ralf Jung	bump Rust, no changes needed	commit \| commitdiff \| tree
2019-06-16	Ralf Jung	implement and test unchecked_{add,sub,mul} intrinsics	commit \| commitdiff \| tree
2019-06-16	Ralf Jung	test unchecked_rem	commit \| commitdiff \| tree
2019-06-16	Ralf Jung	test exact_div UB detection	commit \| commitdiff \| tree
2019-06-16	Ralf Jung	bump rustc yet again	commit \| commitdiff \| tree
2019-06-14	Ralf Jung	fix running a Miri that was built in bootstrap	commit \| commitdiff \| tree
2019-06-14	Ralf Jung	change sysroot check to print the output in case of...	commit \| commitdiff \| tree
2019-06-13	Ralf Jung	rustup for lifetime refactorings	commit \| commitdiff \| tree
2019-06-13	Ralf Jung	README: mention to cargo update, mention rustup-toolchain...	commit \| commitdiff \| tree
2019-06-12	Ralf Jung	bump rand so that the test passes	commit \| commitdiff \| tree
2019-06-12	Ralf Jung	test rand a bit more	commit \| commitdiff \| tree
2019-06-11	Ralf Jung	bump Rust version	commit \| commitdiff \| tree
2019-06-11	Ralf Jung	test FMA a bit more	commit \| commitdiff \| tree
2019-06-11	Ralf Jung	test more enum-int-cast code paths	commit \| commitdiff \| tree
2019-06-11	Ralf Jung	use apfloat's FMA primitive	commit \| commitdiff \| tree
2019-06-11	Ralf Jung	implement min and max floating point intrinsics	commit \| commitdiff \| tree
2019-06-11	Ralf Jung	fix from to/from f32/f64 changes	commit \| commitdiff \| tree
2019-06-10	Ralf Jung	fix for rustc rename mir -> body	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	factor out common code to determine miri binary	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	make sure that find_sysroot always sets MIRI_SYSROOT	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	fix comments	commit \| commitdiff \| tree
2019-06-09	Ralf Jung	do not handle MIRI_SYSROOT in the driver at all, rely...	commit \| commitdiff \| tree
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	rustup for EvalResult rename	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-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	rustup for ... deprecation	commit \| commitdiff \| tree
2019-05-31	Ralf Jung	remove too expensive debug assertion	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	test weak_into_raw	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	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	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-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	use prettier printing	commit \| commitdiff \| tree
2019-05-23	Ralf Jung	hopefully improve error message a bit	commit \| commitdiff \| tree
2019-05-21	Ralf Jung	test for new read rules	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	typo	commit \| commitdiff \| tree
2019-05-17	Ralf Jung	nits	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	commit \| commitdiff \| tree
2019-05-15	Ralf Jung	bump Rust	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom