git.lizzy.rs Git - rust.git/history - src/bin/cargo-miri.rs

]> git.lizzy.rs Git - rust.git/history - src/bin/cargo-miri.rs

2019-05-01	Ralf Jung	switch to my xargo fork, because that one works with...	blob \| commitdiff \| raw
2019-04-27	Ralf Jung	Merge pull request #717 from Eijebong/metadata	blob \| commitdiff \| raw \| diff to current
2019-04-27	Bastien Orivel	Update cargo_metadata to 0.7	blob \| commitdiff \| raw \| diff to current
2019-04-21	Ralf Jung	Merge pull request #704 from RalfJung/dev	blob \| commitdiff \| raw \| diff to current
2019-04-21	Ralf Jung	Merge branch 'master' into dev	blob \| commitdiff \| raw \| diff to current
2019-04-19	Ralf Jung	warn when cargo miri setup does not do anything	blob \| commitdiff \| raw \| diff to current
2019-04-18	Ralf Jung	Merge pull request #698 from RalfJung/stacked-borrows-2	blob \| commitdiff \| raw \| diff to current
2019-04-18	Ralf Jung	Merge branch 'master' into stacked-borrows-2	blob \| commitdiff \| raw \| diff to current
2019-04-18	Ralf Jung	remove some unneeded 'extern crate'	blob \| commitdiff \| raw \| diff to current
2019-03-11	Ralf Jung	Merge pull request #659 from rust-lang/update	blob \| commitdiff \| raw \| diff to current
2019-03-11	Oliver Scherer	Remove dead code and docs	blob \| commitdiff \| raw \| diff to current
2019-03-10	Ralf Jung	Merge pull request #660 from rust-lang/readme	blob \| commitdiff \| raw \| diff to current
2019-03-10	Ralf Jung	mention --exclude-should-panic	blob \| commitdiff \| raw \| diff to current
2019-02-27	Ralf Jung	Merge pull request #648 from RalfJung/avoid-full-slice	blob \| commitdiff \| raw \| diff to current
2019-02-27	Ralf Jung	avoid [..]	blob \| commitdiff \| raw \| diff to current
2019-02-26	Ralf Jung	Merge pull request #635 from alexreg/cosmetic-2	blob \| commitdiff \| raw \| diff to current
2019-02-26	Alexander Regueiro	Various cosmetic improvements.	blob \| commitdiff \| raw \| diff to current
2019-02-15	Ralf Jung	Merge pull request #623 from RalfJung/fat-ptr-eq	blob \| commitdiff \| raw \| diff to current
2019-02-15	Ralf Jung	typo and comments	blob \| commitdiff \| raw \| diff to current
2019-02-14	Ralf Jung	Merge remote-tracking branch 'origin/master' into str...	blob \| commitdiff \| raw \| diff to current
2019-02-13	Ralf Jung	Merge pull request #630 from RalfJung/rust-src	blob \| commitdiff \| raw \| diff to current
2019-02-13	Ralf Jung	skip installing rust-src if XARGO_RUST_SRC is set	blob \| commitdiff \| raw \| diff to current
2019-02-13	Ralf Jung	Merge branch 'master' into format-padding	blob \| commitdiff \| raw \| diff to current
2019-02-11	Ralf Jung	Merge branch 'master' into appveyor	blob \| commitdiff \| raw \| diff to current
2019-02-10	Oliver Scherer	Merge pull request #624 from RalfJung/args	blob \| commitdiff \| raw \| diff to current
2019-02-09	Ralf Jung	also enable passing arguments through from cargo-miri	blob \| commitdiff \| raw \| diff to current
2019-02-07	Ralf Jung	Merge pull request #618 from RalfJung/cargo-miri	blob \| commitdiff \| raw \| diff to current
2019-02-07	Ralf Jung	Fix cargo miri test on lib crates	blob \| commitdiff \| raw \| diff to current
2019-02-07	Oliver Scherer	Merge pull request #616 from RalfJung/cargo-miri	blob \| commitdiff \| raw \| diff to current
2019-02-07	Ralf Jung	update test for cargo-miri	blob \| commitdiff \| raw \| diff to current
2019-02-07	Ralf Jung	cargo miri: refactor how we detect what to interpret...	blob \| commitdiff \| raw \| diff to current
2018-12-20	Ralf Jung	Merge branch 'master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-12-19	Ralf Jung	Merge pull request #580 from RalfJung/cargo-miri	blob \| commitdiff \| raw \| diff to current
2018-12-19	Ralf Jung	no need to set the cargo-miri feature twice	blob \| commitdiff \| raw \| diff to current
2018-12-19	Ralf Jung	xargo version check: also check application name, just...	blob \| commitdiff \| raw \| diff to current
2018-12-18	Ralf Jung	Merge pull request #550 from RalfJung/cargo-miri-test	blob \| commitdiff \| raw \| diff to current
2018-12-18	Ralf Jung	there is a new xargo released, use that	blob \| commitdiff \| raw \| diff to current
2018-12-18	Ralf Jung	Merge remote-tracking branch 'origin/master' into cargo...	blob \| commitdiff \| raw \| diff to current
2018-12-18	Ralf Jung	Merge pull request #574 from solson/rustup2	blob \| commitdiff \| raw \| diff to current
2018-12-18	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup2	blob \| commitdiff \| raw \| diff to current
2018-12-15	Ralf Jung	temporarily use git version of xargo	blob \| commitdiff \| raw \| diff to current
2018-12-15	Ralf Jung	detect outdated xargo version	blob \| commitdiff \| raw \| diff to current
2018-12-12	Ralf Jung	Merge pull request #573 from RalfJung/rustc-wrapper	blob \| commitdiff \| raw \| diff to current
2018-12-12	Ralf Jung	oops	blob \| commitdiff \| raw \| diff to current
2018-12-12	Ralf Jung	use show_error to terminate	blob \| commitdiff \| raw \| diff to current
2018-12-12	Ralf Jung	use RUSTC_WRAPPER for the cargo hook	blob \| commitdiff \| raw \| diff to current
2018-12-11	Ralf Jung	treat test binaries like all others	blob \| commitdiff \| raw \| diff to current
2018-12-10	Oliver S̶c̶h̶n̶e̶i...	Merge pull request #566 from RalfJung/foreign-full-mir	blob \| commitdiff \| raw \| diff to current
2018-12-10	Ralf Jung	fix CI	blob \| commitdiff \| raw \| diff to current
2018-12-10	Ralf Jung	fix setting the manifest path manually when using cargo...	blob \| commitdiff \| raw \| diff to current
2018-12-10	Ralf Jung	cargo miri: support foreign targets	blob \| commitdiff \| raw \| diff to current
2018-12-10	Ralf Jung	factor grabbing of cargo options into separate function...	blob \| commitdiff \| raw \| diff to current
2018-12-03	Ralf Jung	Merge branch 'master' into stacked-borrows-2-phase	blob \| commitdiff \| raw \| diff to current
2018-12-03	Oliver S̶c̶h̶n̶e̶i...	Merge branch 'master' into fixme	blob \| commitdiff \| raw \| diff to current
2018-12-02	Ralf Jung	Merge pull request #560 from RalfJung/libstd-features	blob \| commitdiff \| raw \| diff to current
2018-12-02	Ralf Jung	build libstd with minimal features	blob \| commitdiff \| raw \| diff to current
2018-12-02	Ralf Jung	Merge branch 'master' into skip-embedded-targets	blob \| commitdiff \| raw \| diff to current
2018-12-02	Ralf Jung	Merge pull request #558 from RalfJung/cargo-miri	blob \| commitdiff \| raw \| diff to current
2018-12-02	Ralf Jung	do not even look for cargo metadata in 'cargo miri...	blob \| commitdiff \| raw \| diff to current
2018-12-01	Oliver S̶c̶h̶n̶e̶i...	Merge pull request #555 from RalfJung/readme	blob \| commitdiff \| raw \| diff to current
2018-11-30	Ralf Jung	update README to first describe the usual user setup...	blob \| commitdiff \| raw \| diff to current
2018-11-28	Ralf Jung	Merge remote-tracking branches 'origin/master' and...	blob \| commitdiff \| raw \| diff to current
2018-11-27	Oliver S̶c̶h̶n̶e̶i...	Merge branch 'master' into oli-obk-patch-1	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	Merge pull request #543 from RalfJung/auto-libstd	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	inform the user when and where we are creating a cache dir	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	we need to recursively create the dir	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	use proper platform cache dir	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	Merge remote-tracking branch 'origin/master' into auto...	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	tweaks	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	remove unneeded backtrace feature	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	cargo miri setup: print when we are executing commands	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	kill xargo dir and update docs	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	tweak comments, remove debug output	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	complete setup routine: instal rust-src, build libstd...	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	setup routine to install xargo when missing	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	cargo miri: factor package manifest logic into separate...	blob \| commitdiff \| raw \| diff to current
2018-11-20	Ralf Jung	Merge pull request #533 from RalfJung/cargo-miri-2018	blob \| commitdiff \| raw \| diff to current
2018-11-20	Ralf Jung	Merge branch 'master' into cargo-miri-2018	blob \| commitdiff \| raw \| diff to current
2018-11-19	Ralf Jung	port cargo-miri-test to 2018 edition, mostly to test...	blob \| commitdiff \| raw \| diff to current
2018-11-03	Ralf Jung	Merge pull request #506 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-11-03	Ralf Jung	fix adding default arguments	blob \| commitdiff \| raw \| diff to current
2018-11-02	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-11-01	Ralf Jung	make the -Z flags we use more consistent	blob \| commitdiff \| raw \| diff to current
2018-10-22	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-10-18	Ralf Jung	Merge pull request #485 from apoelstra/2018-10-comment-482	blob \| commitdiff \| raw \| diff to current
2018-10-17	Andrew Poelstra	add some comments to clarify command-line argument...	blob \| commitdiff \| raw \| diff to current
2018-10-16	Oliver S̶c̶h̶n̶e̶i...	Merge pull request #482 from apoelstra/2018-10-lib...	blob \| commitdiff \| raw \| diff to current
2018-10-15	Andrew Poelstra	cargo-miri: support running unit tests for libraries...	blob \| commitdiff \| raw \| diff to current
2018-09-17	Ralf Jung	Merge remote-tracking branch 'origin/master' into zero...	blob \| commitdiff \| raw \| diff to current
2018-09-16	Ralf Jung	Merge pull request #455 from RalfJung/cargo-miri-version	blob \| commitdiff \| raw \| diff to current
2018-09-16	Ralf Jung	cargo miri: show version number	blob \| commitdiff \| raw \| diff to current
2018-07-16	Oliver Schneider	Merge branch 'master' into hack_branch_for_miri_do_not_...	blob \| commitdiff \| raw \| diff to current
2018-06-03	Oliver Schneider	Update cargo-miri	blob \| commitdiff \| raw \| diff to current
2018-06-03	Oliver Schneider	Update cargo-miri	blob \| commitdiff \| raw \| diff to current
2018-05-09	Oliver Schneider	Merge pull request #374 from solson/cleanups	blob \| commitdiff \| raw \| diff to current
2018-05-09	Oliver Schneider	Move back to a normal folder structure	blob \| commitdiff \| raw \| diff to current
2017-07-21	Oliver Schneider	Merge pull request #258 from oli-obk/upstream	blob \| commitdiff \| raw
2017-07-21	Oliver Schneider	Prep miri repository for rustc merger	blob \| commitdiff \| raw
2017-06-29	Oliver Schneider	Merge pull request #230 from dwrensha/cargo-miri	blob \| commitdiff \| raw \| diff to current
2017-06-29	David Renshaw	get cargo-miri to work	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom