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

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

2019-05-13	Ralf Jung	RUST_LOG got renamed to RUSTC_LOG	blob \| commitdiff \| raw
2019-04-11	Ralf Jung	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2019-04-10	Ralf Jung	Merge pull request #683 from Aaron1011/feature/random	blob \| commitdiff \| raw \| diff to current
2019-04-09	Oliver Scherer	Merge branch 'master' into feature/random	blob \| commitdiff \| raw \| diff to current
2019-04-09	Aaron Hill	Cleanup argument parsing	blob \| commitdiff \| raw \| diff to current
2019-04-07	Aaron Hill	Implement non-deterministc mode	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	Reintroduce prepending the input file name to the miri...	blob \| commitdiff \| raw \| diff to current
2019-03-11	John Kåre Alsaker	Use the new rustc interface	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	Fixed nits raised in review.	blob \| commitdiff \| raw \| diff to current
2019-02-26	Alexander Regueiro	Various cosmetic improvements.	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	implement passing arguments to the interpreted program	blob \| commitdiff \| raw \| diff to current
2019-01-21	Ralf Jung	Merge pull request #599 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2019-01-21	Oliver Scherer	Update to latest rustc master	blob \| commitdiff \| raw \| diff to current
2019-01-05	Oliver Scherer	Merge pull request #596 from RalfJung/backtrace	blob \| commitdiff \| raw \| diff to current
2019-01-05	Oliver Scherer	Merge branch 'master' into backtrace	blob \| commitdiff \| raw \| diff to current
2019-01-04	Ralf Jung	move env var stuff out of the miri lib	blob \| commitdiff \| raw \| diff to current
2018-12-20	Ralf Jung	Merge branch 'master' into rustup	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	Merge remote-tracking branch 'origin/master' into cargo...	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-08	Ralf Jung	Merge pull request #564 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-12-08	Ralf Jung	bump Rust version, fix build	blob \| commitdiff \| raw \| diff to current
2018-11-26	Ralf Jung	Merge branch 'master' into self-referential-generator	blob \| commitdiff \| raw \| diff to current
2018-11-22	Ralf Jung	Merge pull request #538 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-11-22	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-11-21	Ralf Jung	remove stabilized feature flag	blob \| commitdiff \| raw \| diff to current
2018-11-05	Oliver S̶c̶h̶n̶e̶i...	Merge pull request #510 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-11-05	Ralf Jung	move to 2018 edition	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-31	Ralf Jung	Merge branch 'master' into atomic-arith	blob \| commitdiff \| raw \| diff to current
2018-10-31	Ralf Jung	Merge pull request #502 from RalfJung/debug	blob \| commitdiff \| raw \| diff to current
2018-10-31	Ralf Jung	properly recognize log levels	blob \| commitdiff \| raw \| diff to current
2018-10-31	Ralf Jung	when using MIRI_LOG, avoid logging for what rustc does...	blob \| commitdiff \| raw \| diff to current
2018-10-31	Ralf Jung	Use MIRI_ env vars to set RUST_ ones	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-19	Ralf Jung	Merge pull request #488 from RalfJung/start-fn	blob \| commitdiff \| raw \| diff to current
2018-10-19	Ralf Jung	automalically use start-fn if we have all the MIR	blob \| commitdiff \| raw \| diff to current
2018-10-14	Ralf Jung	Merge pull request #473 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-10-14	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-10-11	Oliver S̶c̶h̶n̶e̶i...	Merge pull request #474 from RalfJung/miri-validate	blob \| commitdiff \| raw \| diff to current
2018-10-11	Ralf Jung	enable validation per default, but add a flag to disabl...	blob \| commitdiff \| raw \| diff to current
2018-08-14	Ralf Jung	Merge pull request #425 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-08-14	Ralf Jung	Merge branch 'master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-08-14	Ralf Jung	Merge branch 'master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-08-07	Oliver Schneider	Rustup	blob \| commitdiff \| raw \| diff to current
2018-07-31	Ralf Jung	Merge pull request #419 from RalfJung/sysroot	blob \| commitdiff \| raw \| diff to current
2018-07-30	Ralf Jung	clarify error message when sysroot was not found	blob \| commitdiff \| raw \| diff to current
2018-07-25	Ralf Jung	Merge pull request #413 from solson/exit_code	blob \| commitdiff \| raw \| diff to current
2018-07-25	Oliver Schneider	Produce the exit codes that compiletest expects	blob \| commitdiff \| raw \| diff to current
2018-07-17	Ralf Jung	Merge pull request #410 from RalfJung/rustup	blob \| commitdiff \| raw \| diff to current
2018-07-16	Ralf Jung	fix for latest rust nightly	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-07-13	Ralf Jung	Merge branch 'master' into eq-hash	blob \| commitdiff \| raw \| diff to current
2018-07-11	Oliver Schneider	Merge pull request #394 from RalfJung/start-fn	blob \| commitdiff \| raw \| diff to current
2018-07-11	Ralf Jung	Merge branch 'master' into start-fn	blob \| commitdiff \| raw \| diff to current
2018-07-11	Oliver Schneider	Merge pull request #393 from RalfJung/no-bin	blob \| commitdiff \| raw \| diff to current
2018-07-11	Ralf Jung	use -Zmiri-start-fn as a clue to REQUIRE the lang item...	blob \| commitdiff \| raw \| diff to current
2018-07-11	Ralf Jung	document -Zmiri-start-fn; make its logic more clear	blob \| commitdiff \| raw \| diff to current
2018-07-11	Ralf Jung	without aux builds, we don't need to set always-encode...	blob \| commitdiff \| raw \| diff to current
2018-07-11	Ralf Jung	stop producing binaries	blob \| commitdiff \| raw \| diff to current
2018-06-29	Oliver Schneider	Merge pull request #386 from mati865/rustup	blob \| commitdiff \| raw \| diff to current
2018-06-29	Mateusz Mikuła	Rusutp	blob \| commitdiff \| raw \| diff to current
2018-06-10	Oliver Schneider	Merge pull request #383 from bjorn3/rustup	blob \| commitdiff \| raw \| diff to current
2018-06-10	bjorn3	Rustup to rustc 1.28.0-nightly (2a0062974 2018-06-09)	blob \| commitdiff \| raw \| diff to current
2018-06-03	Oliver Schneider	trans -> codegen_backend	blob \| commitdiff \| raw \| diff to current
2018-06-03	bjorn3	Rustup to rustc 1.28.0-nightly (952f344cd 2018-05-18)	blob \| commitdiff \| raw \| diff to current
2018-05-19	Oliver Schneider	trans -> codegen_backend	blob \| commitdiff \| raw \| diff to current
2018-05-19	bjorn3	Rustup to rustc 1.28.0-nightly (952f344cd 2018-05-18)	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-07-21	Oliver Schneider	Merge pull request #266 from RalfJung/align	blob \| commitdiff \| raw \| diff to current
2017-07-20	Oliver Schneider	Merge pull request #265 from oli-obk/optimize_prime	blob \| commitdiff \| raw \| diff to current
2017-07-20	Oliver Schneider	Also test optimized MIR	blob \| commitdiff \| raw \| diff to current
2017-05-31	Oliver Schneider	Merge pull request #174 from RalfJung/xargo-test	blob \| commitdiff \| raw \| diff to current
2017-05-31	Ralf Jung	run test suite also against libstd with full MIR	blob \| commitdiff \| raw \| diff to current
2017-05-31	Oliver Schneider	Merge pull request #171 from RalfJung/println	blob \| commitdiff \| raw \| diff to current
2017-05-30	Ralf Jung	fix various small nits	blob \| commitdiff \| raw \| diff to current
2017-05-30	Ralf Jung	If a "start" lang item incl. MIR is present, run that...	blob \| commitdiff \| raw \| diff to current
2017-05-05	Eduard-Mihai Burtescu	Merge pull request #163 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2017-05-05	Oliver Schneider	Address things complained about by clippy	blob \| commitdiff \| raw \| diff to current
2017-05-04	Oliver Schneider	Rustup to rustc 1.19.0-nightly (2d4ed8e0c 2017-05-03)	blob \| commitdiff \| raw \| diff to current
2017-03-23	Oliver Schneider	Merge branch 'master' of https://github.com/tsion/miri	blob \| commitdiff \| raw \| diff to current
2017-03-21	Scott Olson	Merge pull request #154 from dwrensha/update-rustc	blob \| commitdiff \| raw \| diff to current
2017-03-21	David Renshaw	ast::Attribute no longer has a 'value' field	blob \| commitdiff \| raw \| diff to current
2017-03-21	Oliver Schneider	Rustup to rustc 1.17.0-nightly (134c4a0f0 2017-03-20)	blob \| commitdiff \| raw \| diff to current
2017-02-07	Scott Olson	Simplify logging output.	blob \| commitdiff \| raw \| diff to current
2017-02-03	Scott Olson	Merge pull request #108 from oli-obk/packd	blob \| commitdiff \| raw \| diff to current
2017-02-03	Scott Olson	Merge pull request #109 from oli-obk/patch-2	blob \| commitdiff \| raw \| diff to current
2017-02-03	Scott Olson	Merge pull request #107 from canndrew/rename_map_hir	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom