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

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

2018-09-16	Ralf Jung	Merge pull request #455 from RalfJung/cargo-miri-version	commit \| commitdiff \| tree
2018-09-16	Ralf Jung	cargo miri: show version number	commit \| commitdiff \| tree
2018-09-15	Ralf Jung	Merge pull request #451 from TimDiekmann/master	commit \| commitdiff \| tree
2018-09-15	Ralf Jung	bump Rust	commit \| commitdiff \| tree
2018-09-09	Ralf Jung	move MemoryData to memory.rs; remove all the Hashing...	commit \| commitdiff \| tree
2018-09-01	Ralf Jung	Merge pull request #448 from TheDarkula/master	commit \| commitdiff \| tree
2018-09-01	Ralf Jung	Merge branch 'master' into master	commit \| commitdiff \| tree
2018-09-01	Ralf Jung	Merge pull request #445 from solson/rustup	commit \| commitdiff \| tree
2018-09-01	Ralf Jung	more permissive pointer comparison logic	commit \| commitdiff \| tree
2018-09-01	Ralf Jung	Merge branch 'master' into rustup	commit \| commitdiff \| tree
2018-09-01	Ralf Jung	bump toolchain	commit \| commitdiff \| tree
2018-08-31	Ralf Jung	Merge pull request #444 from RalfJung/windows	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	unignore a bunch of tests that actually work	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	also allow comparing pointers with integers so big...	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	ptr equality: only defined for ptrs in the same allocation...	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	new tests for new fn arg passing code	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	move some more helpers to rustc	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	no TLS dtor and no leak checks on macOS	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	pretend mprotect works	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	no RwLock on Windows	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	stack address functions for macOS	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	ignore memory leaks on Windows	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	pthreads test needs full MIR on Windows	commit \| commitdiff \| tree
2018-08-30	Ralf Jung	VecDeque now requries full MIR; update to new nightly	commit \| commitdiff \| tree
2018-08-26	Ralf Jung	some unary operator tests	commit \| commitdiff \| tree
2018-08-26	Ralf Jung	small test for extern_type	commit \| commitdiff \| tree
2018-08-26	Ralf Jung	update for MUT_STATIC_KIND	commit \| commitdiff \| tree
2018-08-25	Ralf Jung	rustup	commit \| commitdiff \| tree
2018-08-25	Ralf Jung	update for enum discriminant changes	commit \| commitdiff \| tree
2018-08-24	Ralf Jung	test VecDeque	commit \| commitdiff \| tree
2018-08-24	Ralf Jung	rustup	commit \| commitdiff \| tree
2018-08-24	Ralf Jung	update for bool/char being checked at binops	commit \| commitdiff \| tree
2018-08-24	Ralf Jung	rustup	commit \| commitdiff \| tree
2018-08-24	Ralf Jung	fix leaks with -Zmiri-start-fn	commit \| commitdiff \| tree
2018-08-24	Ralf Jung	update for miri engine: new function handling, new...	commit \| commitdiff \| tree
2018-08-23	Ralf Jung	fix type renaming	commit \| commitdiff \| tree
2018-08-20	Ralf Jung	Merge remote-tracking branch 'origin/master'	commit \| commitdiff \| tree
2018-08-20	Ralf Jung	rustup	commit \| commitdiff \| tree
2018-08-18	Ralf Jung	update for rustc memory changes; fix (un)init intrinsic...	commit \| commitdiff \| tree
2018-08-17	Ralf Jung	fix compilation after rustc change	commit \| commitdiff \| tree
2018-08-16	Ralf Jung	update for memory signedness removal; test some float...	commit \| commitdiff \| tree
2018-08-16	Ralf Jung	rustup for big refactor; kill most of validation	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	tweak test config in Cargo.toml	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	fix int ptr ops on 32bit	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	test some more things around packed structs	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	add a scary test case	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	fix modulo logic	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	support computing the remainder of a ptr, if covered...	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	reenable an old test	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	Merge pull request #425 from solson/rustup	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	Fix remaining windows hooks	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	avoid recompiling miri for 2nd test run; avoid unreadable...	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	fix windows hooks	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	try using types with lower alignment, maybe that helps...	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	fix rustc_tests	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	fix layout in discriminant_value	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	Merge branch 'master' into rustup	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	Merge pull request #429 from RalfJung/cargo-miri-test	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	update README: 'cargo miri' with full MIR; consistent...	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	fix 'cargo miri test' for full MIR, and run it on CI	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	bump toolchain	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	Merge branch 'master' into rustup	commit \| commitdiff \| tree
2018-08-14	Ralf Jung	remove unnecessary features	commit \| commitdiff \| tree
2018-08-13	Ralf Jung	document and fully use rust-toolchain file	commit \| commitdiff \| tree
2018-08-02	Ralf Jung	Merge pull request #422 from RalfJung/default-run	commit \| commitdiff \| tree
2018-08-02	Ralf Jung	Merge branch 'master' into default-run	commit \| commitdiff \| tree
2018-08-02	Ralf Jung	remove dependency on lazy_static and regex by getting...	commit \| commitdiff \| tree
2018-08-02	Ralf Jung	Merge pull request #423 from RalfJung/memchr	commit \| commitdiff \| tree
2018-08-02	Ralf Jung	fix format string to obtain desired output	commit \| commitdiff \| tree
2018-08-01	Ralf Jung	mem(r)chr is working in miri now	commit \| commitdiff \| tree
2018-08-01	Ralf Jung	Revert "Disable blood letting edge features"	commit \| commitdiff \| tree
2018-07-31	Ralf Jung	make sure that StorageDead invalidates the backing...	commit \| commitdiff \| tree
2018-07-31	Ralf Jung	Merge pull request #419 from RalfJung/sysroot	commit \| commitdiff \| tree
2018-07-30	Ralf Jung	clarify error message when sysroot was not found	commit \| commitdiff \| tree
2018-07-30	Ralf Jung	Merge pull request #381 from solson/sanity_checks	commit \| commitdiff \| tree
2018-07-30	Ralf Jung	Merge branch 'master' into sanity_checks	commit \| commitdiff \| tree
2018-07-26	Ralf Jung	Merge pull request #415 from RalfJung/cargo-miri	commit \| commitdiff \| tree
2018-07-26	Ralf Jung	nicer diff formating	commit \| commitdiff \| tree
2018-07-26	Ralf Jung	memrchr currently does not work	commit \| commitdiff \| tree
2018-07-26	Ralf Jung	dont test cargo miri output on mac. no idea what that...	commit \| commitdiff \| tree
2018-07-26	Ralf Jung	detect another printing function for nicer error	commit \| commitdiff \| tree
2018-07-26	Ralf Jung	also show the output (though we lost the interleaving)	commit \| commitdiff \| tree
2018-07-26	Ralf Jung	we no longer need to mess with the environment in our...	commit \| commitdiff \| tree
2018-07-26	Ralf Jung	test `cargo miri` output	commit \| commitdiff \| tree
2018-07-26	Ralf Jung	Ignore tests	commit \| commitdiff \| tree
2018-07-26	Ralf Jung	make miri compile again	commit \| commitdiff \| tree
2018-07-25	Ralf Jung	Merge pull request #413 from solson/exit_code	commit \| commitdiff \| tree
2018-07-22	Ralf Jung	fix vecs.rs path	commit \| commitdiff \| tree
2018-07-22	Ralf Jung	use default-run	commit \| commitdiff \| tree
2018-07-17	Ralf Jung	Merge pull request #410 from RalfJung/rustup	commit \| commitdiff \| tree
2018-07-17	Ralf Jung	also fix rustc_tests	commit \| commitdiff \| tree
2018-07-16	Ralf Jung	fix for latest rust nightly	commit \| commitdiff \| tree
2018-07-16	Ralf Jung	TLS on Windows	commit \| commitdiff \| tree
2018-07-16	Ralf Jung	shim some Windows functions	commit \| commitdiff \| tree
2018-07-16	Ralf Jung	appveyor: put 64bit config first, it seems to usually...	commit \| commitdiff \| tree
2018-07-16	Ralf Jung	run fullMIR tests in appveyor	commit \| commitdiff \| tree
2018-07-16	Ralf Jung	Merge pull request #409 from solson/hack_branch_for_miri_do_...	commit \| commitdiff \| tree
2018-07-16	Ralf Jung	Merge branch 'master' into hack_branch_for_miri_do_not_delet...	commit \| commitdiff \| tree
2018-07-16	Ralf Jung	Merge pull request #407 from RalfJung/readme	commit \| commitdiff \| tree
2018-07-16	Ralf Jung	Merge branch 'master' into readme	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom