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

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

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-05	Ralf Jung	Merge pull request #595 from RalfJung/2phase	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-27	Ralf Jung	Merge pull request #588 from RalfJung/env-logger	commit \| commitdiff \| tree
2018-12-27	Ralf Jung	Merge branch 'master' into env-logger	commit \| commitdiff \| tree
2018-12-26	Ralf Jung	Merge pull request #590 from RalfJung/check-bounds	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	Merge pull request #587 from solson/rustup	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	Merge pull request #586 from solson/rustup	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	Merge pull request #585 from solson/rustup	commit \| commitdiff \| tree
2018-12-22	Ralf Jung	fix test for latest nightly	commit \| commitdiff \| tree
2018-12-21	Ralf Jung	Merge pull request #572 from solson/rustup	commit \| commitdiff \| tree
2018-12-21	Ralf Jung	bump Rust version	commit \| commitdiff \| tree
2018-12-20	Ralf Jung	Merge branch 'master' into rustup	commit \| commitdiff \| tree
2018-12-19	Ralf Jung	Merge pull request #578 from RalfJung/misc	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	Merge pull request #580 from RalfJung/cargo-miri	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	Merge pull request #550 from RalfJung/cargo-miri-test	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 pull request #574 from solson/rustup2	commit \| commitdiff \| tree
2018-12-18	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup2	commit \| commitdiff \| tree
2018-12-18	Ralf Jung	Merge pull request #576 from solson/rustup3	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	Merge pull request #573 from RalfJung/rustc-wrapper	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	Merge branch 'master' into retag-to-raw	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	Merge pull request #568 from RalfJung/cleanup	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	Merge pull request #564 from solson/rustup	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	Merge pull request #565 from RalfJung/fixme	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	Merge pull request #559 from RalfJung/fixme	commit \| commitdiff \| tree
2018-12-03	Ralf Jung	Merge branch 'master' into stacked-borrows-2-phase	commit \| commitdiff \| tree
2018-12-03	Ralf Jung	Merge branch 'master' into fixme	commit \| commitdiff \| tree
2018-12-03	Ralf Jung	Merge pull request #557 from RalfJung/fix-mutability-gap	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
2018-12-03	Ralf Jung	disable VecDeque test until the fix lands in rustc	commit \| commitdiff \| tree
2018-12-03	Ralf Jung	fix mutability gap: do not allow shared mutation when...	commit \| commitdiff \| tree
2018-12-03	Ralf Jung	Merge pull request #561 from solson/rustup	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom