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

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

2018-09-16	Ralf Jung	cargo miri: show version number	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	thedarkula	Removed transmute from intrinsic.rs	commit \| commitdiff \| tree
2018-09-01	Ralf Jung	more permissive pointer comparison logic	commit \| commitdiff \| tree
2018-09-01	Ralf Jung	bump toolchain	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	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	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	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	remove dependency on lazy_static and regex by getting...	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-30	Ralf Jung	clarify error message when sysroot was not found	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-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	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	no longer run rustc on the tests; instead make sure...	commit \| commitdiff \| tree
2018-07-15	Ralf Jung	update rustc build instructions to mention keep-stage	commit \| commitdiff \| tree
2018-07-15	Ralf Jung	Test some new capabilities we gained from a rustc update	commit \| commitdiff \| tree
2018-07-15	Ralf Jung	handle all foreign items like we handle C ABI shims	commit \| commitdiff \| tree
2018-07-15	Ralf Jung	port some tests to check the new error format	commit \| commitdiff \| tree
2018-07-15	Ralf Jung	make sure we show error messages even when we cannot...	commit \| commitdiff \| tree
2018-07-14	Ralf Jung	refine rustc build instructions	commit \| commitdiff \| tree
2018-07-12	Ralf Jung	testsuite: put everything into a single test to fix...	commit \| commitdiff \| tree
2018-07-12	Ralf Jung	update debugging instructions in the README	commit \| commitdiff \| tree
2018-07-12	Ralf Jung	colored test output!	commit \| commitdiff \| tree
2018-07-12	Ralf Jung	remove xargo logic; instead rely on MIRI_SYSROOT being...	commit \| commitdiff \| tree
2018-07-12	Ralf Jung	don't run all compile-fail tests with full MIR	commit \| commitdiff \| tree
2018-07-12	Ralf Jung	ignore panic test on Windows	commit \| commitdiff \| tree
2018-07-12	memoryleak47	typo	commit \| commitdiff \| tree
2018-07-12	Ralf Jung	move tests that no longer need MIR out of fullmir	commit \| commitdiff \| tree
2018-07-12	Ralf Jung	fix many tests and ignore some others; enable compile_fail...	commit \| commitdiff \| tree
2018-07-12	Ralf Jung	bump dependencies	commit \| commitdiff \| tree
2018-07-11	Ralf Jung	use -Zmiri-start-fn as a clue to REQUIRE the lang item...	commit \| commitdiff \| tree
2018-07-11	Ralf Jung	document -Zmiri-start-fn; make its logic more clear	commit \| commitdiff \| tree
2018-07-11	Ralf Jung	without aux builds, we don't need to set always-encode...	commit \| commitdiff \| tree
2018-07-11	Ralf Jung	stop producing binaries	commit \| commitdiff \| tree
2018-07-11	Ralf Jung	fix deprecation warning: use dirs crate for home_dir	commit \| commitdiff \| tree
2017-09-25	Ralf Jung	fix oom2 test	commit \| commitdiff \| tree
2017-09-25	Ralf Jung	use exchange_malloc lang item for Box statements	commit \| commitdiff \| tree
2017-09-22	Ralf Jung	get rid of ad-hoc inhabitedness test	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom