]>
2016-06-01 | Oliver Schneider | re-introduce the module name to the logs and show verti... | blob | commitdiff | raw |
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 |