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

Speed up dafny verify by reducing memory pressure #5827

Merged
merged 24 commits into from
Oct 21, 2024
Merged

Speed up dafny verify by reducing memory pressure #5827

merged 24 commits into from
Oct 21, 2024

Commits on Oct 11, 2024

  1. Some steps towards freeing memory after verifying a module

    @keyboardDrummer
    keyboardDrummer committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    cddc25e View commit details
    Browse the repository at this point in the history

  2. Remove a register call

    @keyboardDrummer
    keyboardDrummer committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    d4c5a8c View commit details
    Browse the repository at this point in the history

  3. Boogie submodule

    @keyboardDrummer
    keyboardDrummer committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    991ff2e View commit details
    Browse the repository at this point in the history

  4. Use empty verification cache when possible

    @keyboardDrummer
    keyboardDrummer committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    582d16f View commit details
    Browse the repository at this point in the history

  5. Newer boogie

    @keyboardDrummer
    keyboardDrummer committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    87096ef View commit details
    Browse the repository at this point in the history

  6. Add release notes

    @keyboardDrummer
    keyboardDrummer committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    abc628c View commit details
    Browse the repository at this point in the history

  7. Remove old logging

    @keyboardDrummer
    keyboardDrummer committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    c64a112 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2024

  1. Update --progress option

    @keyboardDrummer
    keyboardDrummer committed Oct 12, 2024
    Configuration menu
    Copy the full SHA
    4cb6f4a View commit details
    Browse the repository at this point in the history

  2. Remove Boogie submodule

    @keyboardDrummer
    keyboardDrummer committed Oct 12, 2024
    Configuration menu
    Copy the full SHA
    629b2f9 View commit details
    Browse the repository at this point in the history

  3. Update Boogie to newer version

    @keyboardDrummer
    keyboardDrummer committed Oct 12, 2024
    Configuration menu
    Copy the full SHA
    23b83ca View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into onlyClaimVerificationMemoryPerModule

    @keyboardDrummer
    keyboardDrummer authored Oct 12, 2024
    Configuration menu
    Copy the full SHA
    8a7e1c5 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2024

  1. Fix compilation issues

    @keyboardDrummer
    keyboardDrummer committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    69e3d94 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'onlyClaimVerificationMemoryPerModule' of github.com:key… 

    …boardDrummer/dafny into onlyClaimVerificationMemoryPerModule
    @keyboardDrummer
    keyboardDrummer committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    2915dd4 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into onlyClaimVerificationMemoryPerModule

    @keyboardDrummer
    keyboardDrummer authored Oct 15, 2024
    Configuration menu
    Copy the full SHA
    7f9ca76 View commit details
    Browse the repository at this point in the history

  4. Fix tests and an ordering bug

    @keyboardDrummer
    keyboardDrummer committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    63c93de View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2024

  1. Fix expect files

    @keyboardDrummer
    keyboardDrummer committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    0f48550 View commit details
    Browse the repository at this point in the history

  2. Update customBoogie

    @keyboardDrummer
    keyboardDrummer committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    e65de8d View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into onlyClaimVerificationMemoryPerModule

    @keyboardDrummer
    keyboardDrummer authored Oct 16, 2024
    Configuration menu
    Copy the full SHA
    896f87b View commit details
    Browse the repository at this point in the history

  4. Remove comment

    @keyboardDrummer
    keyboardDrummer committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    e65e374 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'onlyClaimVerificationMemoryPerModule' of github.com:key… 

    …boardDrummer/dafny into onlyClaimVerificationMemoryPerModule
    @keyboardDrummer
    keyboardDrummer committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    a0ab5c1 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Merge branch 'master' into onlyClaimVerificationMemoryPerModule

    @keyboardDrummer
    keyboardDrummer authored Oct 17, 2024
    Configuration menu
    Copy the full SHA
    0e95710 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into onlyClaimVerificationMemoryPerModule

    @keyboardDrummer
    keyboardDrummer authored Oct 17, 2024
    Configuration menu
    Copy the full SHA
    8419a62 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2024

  1. Update documentation

    @keyboardDrummer
    keyboardDrummer committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    b823a08 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. Merge remote-tracking branch 'origin/master' into onlyClaimVerificati… 

    …onMemoryPerModule
    @keyboardDrummer
    keyboardDrummer committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    6ae6071 View commit details
    Browse the repository at this point in the history