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

Changing opaque type to abstract type #3990

Merged
merged 18 commits into from
May 19, 2023
Merged

Changing opaque type to abstract type #3990

merged 18 commits into from
May 19, 2023

Commits on May 10, 2023

  1. Changing opaque type to abstract type

    davidcok committed May 10, 2023
    Configuration menu
    Copy the full SHA
    ade4272 View commit details
    Browse the repository at this point in the history

  2. Editing .md files

    davidcok committed May 10, 2023
    Configuration menu
    Copy the full SHA
    553806a View commit details
    Browse the repository at this point in the history

  3. Adding a news item

    davidcok committed May 10, 2023
    Configuration menu
    Copy the full SHA
    4057a8c View commit details
    Browse the repository at this point in the history

  4. More instances of opaque type

    davidcok committed May 10, 2023
    Configuration menu
    Copy the full SHA
    8358e29 View commit details
    Browse the repository at this point in the history

  5. More edits

    davidcok committed May 10, 2023
    Configuration menu
    Copy the full SHA
    396c81c View commit details
    Browse the repository at this point in the history

  6. Renaming references in code

    davidcok committed May 10, 2023
    Configuration menu
    Copy the full SHA
    8692f98 View commit details
    Browse the repository at this point in the history

  7. Fixing Dafny,atg

    davidcok committed May 10, 2023
    Configuration menu
    Copy the full SHA
    eed2c80 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2023

  1. One more expected test result

    davidcok committed May 11, 2023
    Configuration menu
    Copy the full SHA
    59e314b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into cok-opaque-type

    @davidcok
    davidcok authored May 11, 2023
    Configuration menu
    Copy the full SHA
    669e4bd View commit details
    Browse the repository at this point in the history

Commits on May 12, 2023

  1. Merge branch 'master' into cok-opaque-type

    @davidcok
    davidcok authored May 12, 2023
    Configuration menu
    Copy the full SHA
    d3e0321 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2023

  1. Merge branch 'master' into cok-opaque-type

    @davidcok
    davidcok authored May 16, 2023
    Configuration menu
    Copy the full SHA
    f4abdaa View commit details
    Browse the repository at this point in the history

Commits on May 17, 2023

  1. Merge branch 'master' into cok-opaque-type

    @davidcok
    davidcok authored May 17, 2023
    Configuration menu
    Copy the full SHA
    647127f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into cok-opaque-type

    @davidcok
    davidcok authored May 17, 2023
    Configuration menu
    Copy the full SHA
    5a41b92 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into cok-opaque-type

    @davidcok
    davidcok authored May 17, 2023
    Configuration menu
    Copy the full SHA
    62cd4e2 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into cok-opaque-type

    @davidcok
    davidcok authored May 17, 2023
    Configuration menu
    Copy the full SHA
    278e921 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2023

  1. Review edits

    davidcok committed May 18, 2023
    Configuration menu
    Copy the full SHA
    31b43dd View commit details
    Browse the repository at this point in the history

  2. Merge branch 'cok-opaque-type' of https://github.com/davidcok/dafny i… 

    …nto cok-opaque-type
    davidcok committed May 18, 2023
    Configuration menu
    Copy the full SHA
    eda8003 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into cok-opaque-type

    @davidcok
    davidcok authored May 18, 2023
    Configuration menu
    Copy the full SHA
    1490469 View commit details
    Browse the repository at this point in the history