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

Checking only read permissions when asserting function preconditions #877

Open
wants to merge 14 commits into
base: master
Choose a base branch
from
Open

Checking only read permissions when asserting function preconditions #877

wants to merge 14 commits into from

Commits on Sep 26, 2024

  1. asserting (a) in e

    @marcoeilers
    marcoeilers committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    a932f79 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2024

  1. Update silver

    @marcoeilers
    marcoeilers committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    562b9fe View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. Resetting heap instead of throwing away entire state after checking a… 

    …ssertion
    @marcoeilers
    marcoeilers committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    52f94d2 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2024

  1. Asserting read permission only for function preconditions and inside … 

    …functions
    @marcoeilers
    marcoeilers committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    ffb9b41 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'meilers_asserting' into meilers_assert_read_only

    @marcoeilers
    marcoeilers committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    53ecf55 View commit details
    Browse the repository at this point in the history

  3. Assert-read-only function preconditions

    @marcoeilers
    marcoeilers committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    f49fee0 View commit details
    Browse the repository at this point in the history

  4. Update test annotation

    @marcoeilers
    marcoeilers committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    0ed3647 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2024

  1. Fix test

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

  2. Support command line option to enable old behavior

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

  3. Update silver

    @marcoeilers
    marcoeilers committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    1a87e57 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2024

  1. Making permission amounts in access predicates optional

    @marcoeilers
    marcoeilers committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    dcb326c View commit details
    Browse the repository at this point in the history

  2. Fixed two issues

    @marcoeilers
    marcoeilers committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    9ad99eb View commit details
    Browse the repository at this point in the history

  3. Adapting to renamed config field

    @marcoeilers
    marcoeilers committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    9c6d624 View commit details
    Browse the repository at this point in the history

  4. Update silver

    @marcoeilers
    marcoeilers committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    f7229cd View commit details
    Browse the repository at this point in the history