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

Add support for SMT array backed pointers in writeMemWithAllocationCheck #777

Merged
merged 2 commits into from
Jul 23, 2021
Merged

Add support for SMT array backed pointers in writeMemWithAllocationCheck #777

merged 2 commits into from
Jul 23, 2021

Commits on Jul 19, 2021

  1. Add support for SMT array backed pointers in writeMemWithAllocationCheck

    Brett Boston committed Jul 19, 2021
    Configuration menu
    Copy the full SHA
    71830da View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2021

  1. Add a test for pointer stores and loads

    Brett Boston committed Jul 20, 2021
    Configuration menu
    Copy the full SHA
    6a843c1 View commit details
    Browse the repository at this point in the history