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.

Sign up for GitHub

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

Jump to bottom

Allow box allocations #1

Closed
wants to merge 8 commits into from
Closed

Allow box allocations #1

wants to merge 8 commits into from

Commits on Feb 10, 2016

  1. refactor aggregates

    @oli-obk
    oli-obk committed Feb 10, 2016
    Configuration menu
    Copy the full SHA
    a28c4b0 View commit details
    Browse the repository at this point in the history

  2. add heap

    @oli-obk
    oli-obk committed Feb 10, 2016
    Configuration menu
    Copy the full SHA
    88e7c12 View commit details
    Browse the repository at this point in the history

  3. implement debug logging

    @oli-obk
    oli-obk committed Feb 10, 2016
    Configuration menu
    Copy the full SHA
    35ecb13 View commit details
    Browse the repository at this point in the history

  4. typo

    @oli-obk
    oli-obk committed Feb 10, 2016
    Configuration menu
    Copy the full SHA
    b85780e View commit details
    Browse the repository at this point in the history

  5. port flag-style debugging to log-style

    @oli-obk
    oli-obk committed Feb 10, 2016
    Configuration menu
    Copy the full SHA
    794844b View commit details
    Browse the repository at this point in the history

  6. make sure we never read from an uninit value

    @oli-obk
    oli-obk committed Feb 10, 2016
    Configuration menu
    Copy the full SHA
    f0cff7a View commit details
    Browse the repository at this point in the history

  7. create a stack per frame

    @oli-obk
    oli-obk committed Feb 10, 2016
    Configuration menu
    Copy the full SHA
    119a1f8 View commit details
    Browse the repository at this point in the history

  8. abort after finding one miri_run attribute

    @oli-obk
    oli-obk committed Feb 10, 2016
    Configuration menu
    Copy the full SHA
    c5c1028 View commit details
    Browse the repository at this point in the history