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

]> git.lizzy.rs Git - rust.git/history - README.md

2019-06-11	Ralf Jung	Merge pull request #766 from RalfJung/sysroot	blob \| commitdiff \| raw
2019-06-11	Ralf Jung	Merge branch 'master' into sysroot	blob \| commitdiff \| raw
2019-06-09	Ralf Jung	do not handle MIRI_SYSROOT in the driver at all, rely...	blob \| commitdiff \| raw
2019-05-28	Ralf Jung	add Miri build script (#745)	blob \| commitdiff \| raw \| diff to current
2019-05-27	Ralf Jung	Merge branch 'master' into miri-build	blob \| commitdiff \| raw \| diff to current
2019-05-27	Ralf Jung	make miri script smarter: auto-determine MIRI_SYSROOT...	blob \| commitdiff \| raw \| diff to current
2019-05-27	Ralf Jung	adjust readme to miri build script	blob \| commitdiff \| raw \| diff to current
2019-05-24	Oliver Scherer	Merge pull request #742 from RalfJung/stacked-borrows-2	blob \| commitdiff \| raw \| diff to current
2019-05-24	Ralf Jung	add more bugs that Miri found	blob \| commitdiff \| raw \| diff to current
2019-05-21	Ralf Jung	Merge remote-tracking branch 'origin/master' into master.2	blob \| commitdiff \| raw \| diff to current
2019-05-20	Oliver Scherer	Merge pull request #734 from RalfJung/readme	blob \| commitdiff \| raw \| diff to current
2019-05-20	Ralf Jung	expand explanation of how we treat validity invariants	blob \| commitdiff \| raw \| diff to current
2019-04-26	Oliver Scherer	Merge pull request #714 from RalfJung/readme	blob \| commitdiff \| raw \| diff to current
2019-04-26	Ralf Jung	trophy case: add rand; separate definite bugs from...	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-20	Ralf Jung	add section on the no MIR error	blob \| commitdiff \| raw \| diff to current
2019-04-19	Ralf Jung	Merge pull request #697 from RalfJung/linked-list	blob \| commitdiff \| raw \| diff to current
2019-04-19	Ralf Jung	add LinkedList test and mention the bug Miri found...	blob \| commitdiff \| raw \| diff to current
2019-04-19	Ralf Jung	rewirte development part of README	blob \| commitdiff \| raw \| diff to current
2019-04-17	Oliver Scherer	Merge pull request #694 from RalfJung/readme	blob \| commitdiff \| raw \| diff to current
2019-04-17	Ralf Jung	document -Zmiri-seed	blob \| commitdiff \| raw \| diff to current
2019-04-06	Ralf Jung	Merge branch 'master' into 2phase-on-edition	blob \| commitdiff \| raw \| diff to current
2019-04-06	Ralf Jung	Merge pull request #671 from timotree3/patch-1	blob \| commitdiff \| raw \| diff to current
2019-04-06	Ralf Jung	Merge branch 'master' into patch-1	blob \| commitdiff \| raw \| diff to current
2019-04-06	Ralf Jung	Merge branch 'master' into patch-1	blob \| commitdiff \| raw \| diff to current
2019-04-04	Ralf Jung	Merge pull request #673 from RalfJung/travis	blob \| commitdiff \| raw \| diff to current
2019-04-04	Ralf Jung	adjust README	blob \| commitdiff \| raw \| diff to current
2019-03-31	Timo	README: Fix missing link	blob \| commitdiff \| raw \| diff to current
2019-03-31	Timo	README: Update to RalfJung's suggestion...	blob \| commitdiff \| raw \| diff to current
2019-03-31	Timo	README: Suggest using a previous nightly, revert other...	blob \| commitdiff \| raw \| diff to current
2019-03-30	Timo	Add alternative for how to install if rustup fails	blob \| commitdiff \| raw \| diff to current
2019-03-30	0xflotus	fixed environment	blob \| commitdiff \| raw \| diff to current
2019-03-28	Ralf Jung	Merge pull request #669 from 0xflotus/patch-1	blob \| commitdiff \| raw \| diff to current
2019-03-28	0xflotus	fixed environment	blob \| commitdiff \| raw \| diff to current
2019-03-26	Oliver Scherer	Merge pull request #666 from RalfJung/readme	blob \| commitdiff \| raw \| diff to current
2019-03-26	Ralf Jung	explain Miri limitations	blob \| commitdiff \| raw \| diff to current
2019-03-25	Oliver Scherer	Merge pull request #665 from RalfJung/readme	blob \| commitdiff \| raw \| diff to current
2019-03-25	Ralf Jung	update README to suggest installing Miri as a component	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-03-08	Ralf Jung	Merge pull request #657 from RalfJung/readme	blob \| commitdiff \| raw \| diff to current
2019-03-08	Ralf Jung	README	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-24	Ralf Jung	Merge remote-tracking branch 'origin/master' into btree	blob \| commitdiff \| raw \| diff to current
2019-02-23	Ralf Jung	Merge pull request #642 from taiki-e/update-links	blob \| commitdiff \| raw \| diff to current
2019-02-23	Taiki Endo	Update some links	blob \| commitdiff \| raw \| diff to current
2019-02-15	Ralf Jung	Merge pull request #634 from RalfJung/trophy-case	blob \| commitdiff \| raw \| diff to current
2019-02-15	Ralf Jung	link to bug list from intro	blob \| commitdiff \| raw \| diff to current
2019-02-15	Ralf Jung	collect some bugs that we found	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 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	explain arument passing in the docs	blob \| commitdiff \| raw \| diff to current
2019-02-07	Ralf Jung	Merge pull request #617 from RalfJung/cargo-miri	blob \| commitdiff \| raw \| diff to current
2019-02-07	Ralf Jung	update docs	blob \| commitdiff \| raw \| diff to current
2019-02-05	Ralf Jung	Merge pull request #609 from RalfJung/readme	blob \| commitdiff \| raw \| diff to current
2019-02-05	Ralf Jung	explain how to run cargo miri with a locally compiled...	blob \| commitdiff \| raw \| diff to current
2019-02-05	Ralf Jung	update development instructions in README	blob \| commitdiff \| raw \| diff to current
2018-12-28	Oliver Scherer	Merge pull request #592 from RalfJung/readme	blob \| commitdiff \| raw \| diff to current
2018-12-28	Ralf Jung	fix install command	blob \| commitdiff \| raw \| diff to current
2018-12-24	Ralf Jung	Merge pull request #586 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-12-23	Ralf Jung	update README for some tracing being available on nightlies	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	document the cargo-miri feature	blob \| commitdiff \| raw \| diff to current
2018-12-19	Ralf Jung	remove outdated README comment	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-12	Oliver Scherer	Merge pull request #570 from RalfJung/targets	blob \| commitdiff \| raw \| diff to current
2018-12-12	Ralf Jung	do not auto-detect the targets in the sysroot, instead...	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	MIRI_SYSROOT is no longer needed for development agains...	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-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 contact channels	blob \| commitdiff \| raw \| diff to current
2018-11-30	Ralf Jung	add link within document	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 #549 from RalfJung/readme	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	fix README install instructions	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	use new dir for CI and docs	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	install directly from git repo	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-20	Ralf Jung	Merge branch 'miri-backtrace' into mut-visitor	blob \| commitdiff \| raw \| diff to current
2018-11-19	Ralf Jung	Merge remote-tracking branch 'origin/master' into mut...	blob \| commitdiff \| raw \| diff to current
2018-11-16	Ralf Jung	Merge pull request #527 from steveklabnik/patch-2	blob \| commitdiff \| raw \| diff to current
2018-11-16	Steve Klabnik	fix cargo invocation in the readme	blob \| commitdiff \| raw \| diff to current
2018-11-16	Ralf Jung	Merge pull request #524 from RalfJung/escape-to-raw	blob \| commitdiff \| raw \| diff to current
2018-11-16	Ralf Jung	stacked borrows is broken without full MIR	blob \| commitdiff \| raw \| diff to current
2018-11-14	Oliver S̶c̶h̶n̶e̶i...	Merge pull request #518 from RalfJung/readme	blob \| commitdiff \| raw \| diff to current
2018-11-14	Ralf Jung	move slide and report links to history	blob \| commitdiff \| raw \| diff to current
2018-11-13	Ralf Jung	miri history	blob \| commitdiff \| raw \| diff to current
2018-11-13	Ralf Jung	add a description of what miri can do for you	blob \| commitdiff \| raw \| diff to current
2018-11-13	Oliver S̶c̶h̶n̶e̶i...	Merge pull request #517 from RalfJung/readme	blob \| commitdiff \| raw \| diff to current
2018-11-12	Ralf Jung	cargo miri test currently does not work	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom