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

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

2019-02-09	Ralf Jung	implement passing arguments to the interpreted program	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	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
2019-01-07	Ralf Jung	expand docs	commit \| commitdiff \| tree
2019-01-07	Ralf Jung	add the benchmarks I used	commit \| commitdiff \| tree
2019-01-07	Ralf Jung	tweak merging to give up if we don't make any progress	commit \| commitdiff \| tree
2019-01-07	Ralf Jung	be explicit about doing a binary search; fix out-of...	commit \| commitdiff \| tree
2019-01-07	Ralf Jung	deduplicate RangeMap elements in iter_mut	commit \| commitdiff \| tree
2019-01-07	Ralf Jung	rewrite RangeMap to use a sorted Vec instead of a RangeMap	commit \| commitdiff \| tree
2019-01-07	Ralf Jung	range_map: also test size of the internal representation	commit \| commitdiff \| tree
2019-01-07	Ralf Jung	implement panic_if_uninhabited intrinsic	commit \| commitdiff \| tree
2019-01-04	Ralf Jung	move env var stuff out of the miri lib	commit \| commitdiff \| tree
2019-01-04	Ralf Jung	test some more 2PB stuff	commit \| commitdiff \| tree
2018-12-28	Ralf Jung	fix install command	commit \| commitdiff \| tree
2018-12-26	Ralf Jung	add test for offseting fn ptr	commit \| commitdiff \| tree
2018-12-26	Ralf Jung	use memory::check_bounds_ptr for offset check	commit \| commitdiff \| tree
2018-12-26	Ralf Jung	bump env_logger	commit \| commitdiff \| tree
2018-12-26	Ralf Jung	bump Rust version	commit \| commitdiff \| tree
2018-12-25	Ralf Jung	properly compare unequal function pointers	commit \| commitdiff \| tree
2018-12-25	Ralf Jung	fix build and tests with latest nightly	commit \| commitdiff \| tree
2018-12-24	Ralf Jung	bump Rust version	commit \| commitdiff \| tree
2018-12-23	Ralf Jung	update README for some tracing being available on nightlies	commit \| commitdiff \| tree
2018-12-23	Ralf Jung	fix for infallible allocation	commit \| commitdiff \| tree
2018-12-22	Ralf Jung	fix test for latest nightly	commit \| commitdiff \| tree
2018-12-21	Ralf Jung	bump Rust version	commit \| commitdiff \| tree
2018-12-19	Ralf Jung	fix argv null terminator	commit \| commitdiff \| tree
2018-12-19	Ralf Jung	implement GetCommandLineW, GetEnvironmentVariableW...	commit \| commitdiff \| tree
2018-12-19	Ralf Jung	run test-cargo-miri on Windows	commit \| commitdiff \| tree
2018-12-19	Ralf Jung	implement stdout/stderr on Windows	commit \| commitdiff \| tree
2018-12-19	Ralf Jung	document the cargo-miri feature	commit \| commitdiff \| tree
2018-12-19	Ralf Jung	no need to set the cargo-miri feature twice	commit \| commitdiff \| tree
2018-12-19	Ralf Jung	add a test for excluding tests on miri	commit \| commitdiff \| tree
2018-12-19	Ralf Jung	actually show warnings about suppressed output	commit \| commitdiff \| tree
2018-12-19	Ralf Jung	xargo version check: also check application name, just...	commit \| commitdiff \| tree
2018-12-19	Ralf Jung	sync env vars between appveyor and travis	commit \| commitdiff \| tree
2018-12-19	Ralf Jung	test-cargo-miri: be more clear that and why the test...	commit \| commitdiff \| tree
2018-12-19	Ralf Jung	remove outdated README comment	commit \| commitdiff \| tree
2018-12-18	Ralf Jung	typo	commit \| commitdiff \| tree
2018-12-18	Ralf Jung	there is a new xargo released, use that	commit \| commitdiff \| tree
2018-12-18	Ralf Jung	implement macOS functions for argc, argv	commit \| commitdiff \| tree
2018-12-18	Ralf Jung	btree is fixed	commit \| commitdiff \| tree
2018-12-18	Ralf Jung	bump Rust version, fix test-cargo-miri and it no longer...	commit \| commitdiff \| tree
2018-12-18	Ralf Jung	Merge remote-tracking branch 'origin/master' into cargo...	commit \| commitdiff \| tree
2018-12-18	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup2	commit \| commitdiff \| tree
2018-12-15	Ralf Jung	temporarily use git version of xargo	commit \| commitdiff \| tree
2018-12-15	Ralf Jung	detect outdated xargo version	commit \| commitdiff \| tree
2018-12-15	Ralf Jung	tweak travis.sh	commit \| commitdiff \| tree
2018-12-14	Ralf Jung	bump Rust nightly	commit \| commitdiff \| tree
2018-12-13	Ralf Jung	we have no whitelist any more, go back to opt-level 3	commit \| commitdiff \| tree
2018-12-13	Ralf Jung	VecDeque got fixed	commit \| commitdiff \| tree
2018-12-13	Ralf Jung	fix libc feature gate	commit \| commitdiff \| tree
2018-12-12	Ralf Jung	travis: explain what we are doing	commit \| commitdiff \| tree
2018-12-12	Ralf Jung	fix warning	commit \| commitdiff \| tree
2018-12-12	Ralf Jung	move travis commands to script file, maybe that fixes...	commit \| commitdiff \| tree
2018-12-12	Ralf Jung	oops	commit \| commitdiff \| tree
2018-12-12	Ralf Jung	use show_error to terminate	commit \| commitdiff \| tree
2018-12-12	Ralf Jung	use RUSTC_WRAPPER for the cargo hook	commit \| commitdiff \| tree
2018-12-12	Ralf Jung	treat ref-to-raw cast like a reborrow: do a special...	commit \| commitdiff \| tree
2018-12-12	Ralf Jung	do not auto-detect the targets in the sysroot, instead...	commit \| commitdiff \| tree
2018-12-11	Ralf Jung	rebase fallout	commit \| commitdiff \| tree
2018-12-11	Ralf Jung	test cargo miri test output when testing cargo miri	commit \| commitdiff \| tree
2018-12-11	Ralf Jung	treat test binaries like all others	commit \| commitdiff \| tree
2018-12-11	Ralf Jung	implement some libc hooks needed by libtest	commit \| commitdiff \| tree
2018-12-11	Ralf Jung	get rid of to_bytes hack	commit \| commitdiff \| tree
2018-12-11	Ralf Jung	make some functions private to StackedBorrows	commit \| commitdiff \| tree
2018-12-11	Ralf Jung	avoid repeating signatures in EvalContext extension...	commit \| commitdiff \| tree
2018-12-10	Ralf Jung	use rustc_version also to parse host in compiletest	commit \| commitdiff \| tree
2018-12-10	Ralf Jung	remove support for not having libstd MIR	commit \| commitdiff \| tree
2018-12-10	Ralf Jung	fix CI	commit \| commitdiff \| tree
2018-12-10	Ralf Jung	fix setting the manifest path manually when using cargo...	commit \| commitdiff \| tree
2018-12-10	Ralf Jung	MIRI_SYSROOT is no longer needed for development agains...	commit \| commitdiff \| tree
2018-12-10	Ralf Jung	the test suite assumes a libstd with full MIR; run...	commit \| commitdiff \| tree
2018-12-10	Ralf Jung	cargo miri: support foreign targets	commit \| commitdiff \| tree
2018-12-10	Ralf Jung	factor grabbing of cargo options into separate function...	commit \| commitdiff \| tree
2018-12-08	Ralf Jung	fix benches	commit \| commitdiff \| tree
2018-12-08	Ralf Jung	bump Rust version, fix build	commit \| commitdiff \| tree
2018-12-08	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	commit \| commitdiff \| tree
2018-12-07	Ralf Jung	add FIXME test for coercing &mut to *const	commit \| commitdiff \| tree
2018-12-07	Ralf Jung	fix tests	commit \| commitdiff \| tree
2018-12-07	Ralf Jung	Merge remote-tracking branch 'origin/master' into stacked...	commit \| commitdiff \| tree
2018-12-03	Ralf Jung	add FIXME	commit \| commitdiff \| tree
2018-12-03	Ralf Jung	use assert	commit \| commitdiff \| tree
2018-12-03	Ralf Jung	bump nightly	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom