Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

create a miri-pass test that allows us to run miri for arbitrary targets #27

Merged
merged 11 commits into from
Jun 16, 2016
Merged

Commits on Jun 15, 2016

  1. Configuration menu
    Copy the full SHA
    82dc95c View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2016

  1. Configuration menu
    Copy the full SHA
    506f2de View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    9cceef0 View commit details
    Browse the repository at this point in the history
  3. fix travis

    oli-obk committed Jun 16, 2016
    Configuration menu
    Copy the full SHA
    06d1780 View commit details
    Browse the repository at this point in the history
  4. 1 Configuration menu
    Copy the full SHA
    6a5f737 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    af36ec9 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    b6fca73 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    453a22a View commit details
    Browse the repository at this point in the history
  8. caught by travis

    oli-obk committed Jun 16, 2016
    Configuration menu
    Copy the full SHA
    2ed6f1c View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    f01be91 View commit details
    Browse the repository at this point in the history
  10. miri knows about --sysroot

    oli-obk committed Jun 16, 2016
    Configuration menu
    Copy the full SHA
    60f2bb9 View commit details
    Browse the repository at this point in the history