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

Removing allocated option and locking in allocated=4 #4076

Merged
merged 18 commits into from
May 26, 2023
Merged

Removing allocated option and locking in allocated=4 #4076

merged 18 commits into from
May 26, 2023

Commits on May 24, 2023

  1. Removing allocated option

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

  2. Fixing options help

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

  3. Merge branch 'master' into cok-remove-allocated

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

  4. empty commit

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

  5. Test repairs

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

  6. Touching up test results

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

  7. Fixing a refactoring error

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

  8. Merge branch 'master' into cok-remove-allocated

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

  9. Re-fixing some tests

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

  10. Merge branch 'cok-remove-allocated' of https://github.com/davidcok/dafny 

     into cok-remove-allocated
    davidcok committed May 24, 2023
    Configuration menu
    Copy the full SHA
    29fd8e2 View commit details
    Browse the repository at this point in the history

  11. Addig a news item

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

Commits on May 25, 2023

  1. Merge branch 'master' into cok-remove-allocated

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

  2. Merge branch 'master' into cok-remove-allocated

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

  3. Merge branch 'master' into cok-remove-allocated

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

  4. Merge resolution

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

  5. Merge resolution

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

  6. Merge branch 'master' into cok-remove-allocated

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

Commits on May 26, 2023

  1. merge resolution

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