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

Use large stack for verification task execution #910

Merged
merged 8 commits into from
Jul 19, 2024
Merged

Use large stack for verification task execution #910

merged 8 commits into from
Jul 19, 2024

Commits on Jul 17, 2024

  1. Use large stack for verification task execution

    @keyboardDrummer
    keyboardDrummer committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    d69ab52 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

  1. Add missing large stack

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

  2. Use large stack in another place

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

  3. Merge branch 'master' into useLargeStackForVerificationTaskExecution

    @keyboardDrummer
    keyboardDrummer authored Jul 18, 2024
    Configuration menu
    Copy the full SHA
    9ddcd26 View commit details
    Browse the repository at this point in the history

  4. Fixes

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

  5. Merge branch 'useLargeStackForVerificationTaskExecution' of github.co… 

    …m:keyboardDrummer/boogie into useLargeStackForVerificationTaskExecution
    @keyboardDrummer
    keyboardDrummer committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    baaebcc View commit details
    Browse the repository at this point in the history

  6. Update version

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

Commits on Jul 19, 2024

  1. Merge branch 'master' into useLargeStackForVerificationTaskExecution

    @keyboardDrummer
    keyboardDrummer authored Jul 19, 2024
    Configuration menu
    Copy the full SHA
    6c7ce49 View commit details
    Browse the repository at this point in the history