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

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

2016-06-11	Scott Olson	Fix infinite loop when debug trace is disabled.	blob \| commitdiff \| raw
2016-06-11	Scott Olson	Update for changes in rustc nightly.	blob \| commitdiff \| raw \| diff to current
2016-06-10	Scott Olson	Merge pull request #20 from oli-obk/error_reporting	blob \| commitdiff \| raw \| diff to current
2016-06-10	Oliver Schneider	adjust lifetimes and bindings to the GlobalEvalContext...	blob \| commitdiff \| raw \| diff to current
2016-06-10	Oliver Schneider	style nit	blob \| commitdiff \| raw \| diff to current
2016-06-10	Oliver Schneider	rename GlobalEvalContext to EvalContext	blob \| commitdiff \| raw \| diff to current
2016-06-10	Oliver Schneider	expose a minimal API and use it in the binary	blob \| commitdiff \| raw \| diff to current
2016-06-01	Scott Olson	Merge pull request #16 from oli-obk/logs	blob \| commitdiff \| raw \| diff to current
2016-06-01	Oliver Schneider	remove intermediate vars	blob \| commitdiff \| raw \| diff to current
2016-06-01	Oliver Schneider	use format! compile time magics for indentation	blob \| commitdiff \| raw \| diff to current
2016-06-01	Oliver Schneider	wraparound when reaching indentation lvl 40	blob \| commitdiff \| raw \| diff to current
2016-06-01	Oliver Schneider	use a number for the maximum indentation instead of...	blob \| commitdiff \| raw \| diff to current
2016-06-01	Oliver Schneider	use MIRI_LOG instead of RUST_LOG, because rustc's outpu...	blob \| commitdiff \| raw \| diff to current
2016-06-01	Oliver Schneider	re-introduce the module name to the logs and show verti...	blob \| commitdiff \| raw \| diff to current
2016-06-01	Oliver Schneider	add the `log` crate + `env_logger` to be able to choose...	blob \| commitdiff \| raw \| diff to current
2016-05-09	Scott Olson	Update to a new nightly.	blob \| commitdiff \| raw \| diff to current
2016-04-22	Scott Olson	Merge pull request #9 from oli-obk/improve_tests	blob \| commitdiff \| raw \| diff to current
2016-04-22	Oliver Schneider	various testing improvements	blob \| commitdiff \| raw \| diff to current
2016-04-22	Scott Olson	Merge pull request #7 from oli-obk/compiletest	blob \| commitdiff \| raw \| diff to current
2016-04-22	Oliver Schneider	use compiletest_rs	blob \| commitdiff \| raw \| diff to current
2016-03-21	Scott Olson	Abort miri if the Rust code had compilation errors.	blob \| commitdiff \| raw \| diff to current
2015-12-12	Scott Olson	Move miri binary source into src/bin.	blob \| commitdiff \| raw \| diff to current

Empowering everyone to build reliable and efficient software.

RSS Atom