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

Heapster substitution improvements #1437

Merged
merged 10 commits into from
Aug 31, 2021
Merged

Heapster substitution improvements #1437

merged 10 commits into from
Aug 31, 2021

Commits on Aug 11, 2021

  1. a new approach to genSubstMb to try to preserve the fresh pair repres… 

    …entation
    Eddy Westbrook committed Aug 11, 2021
    Configuration menu
    Copy the full SHA
    456a88e View commit details
    Browse the repository at this point in the history

  2. changed the Substable instances for tuples to expect fresh pair form

    Eddy Westbrook committed Aug 11, 2021
    Configuration menu
    Copy the full SHA
    47274d7 View commit details
    Browse the repository at this point in the history

  3. Update to a new version of Hobbits

    Eddy Westbrook committed Aug 11, 2021
    Configuration menu
    Copy the full SHA
    161ee6d View commit details
    Browse the repository at this point in the history

  4. added translateSimplImplOut and translateSimplImplOutHead to prevent … 

    …switching back and forth to and from fresh pair form
    Eddy Westbrook committed Aug 11, 2021
    Configuration menu
    Copy the full SHA
    a88a697 View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2021

  1. added new Rust examples for enums with large numbers of constructors

    Eddy Westbrook committed Aug 20, 2021
    Configuration menu
    Copy the full SHA
    067e830 View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2021

  1. Merge branch 'master' into heapster-new-gensubstmb

    Eddy Westbrook committed Aug 25, 2021
    Configuration menu
    Copy the full SHA
    43f2cb1 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2021

  1. Merge branch 'master' into heapster-new-gensubstmb

    Eddy Westbrook committed Aug 30, 2021
    Configuration menu
    Copy the full SHA
    838b818 View commit details
    Browse the repository at this point in the history

  2. whoops, uncommented the examples in rust_data.saw

    Eddy Westbrook committed Aug 30, 2021
    Configuration menu
    Copy the full SHA
    4080b4a View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2021

  1. updated freeze files

    Eddy Westbrook committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    112481a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into heapster-new-gensubstmb

    Eddy Westbrook authored Aug 31, 2021
    Configuration menu
    Copy the full SHA
    76f481a View commit details
    Browse the repository at this point in the history