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

Fix contract handling of promoted constants and constant static #3305

Merged
merged 10 commits into from
Jul 23, 2024
Merged

Fix contract handling of promoted constants and constant static #3305

merged 10 commits into from
Jul 23, 2024

Commits on Jun 27, 2024

  1. Refactor static handling for things with a body 

    In preparation for the major change.

Note: Need to add expected files to new tests.
    @celinval
    celinval committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    e763bde View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2024

  1. Fix contract handling of promoted constants

    @celinval
    celinval committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    3c4e851 View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2024

  1. Merge branch 'main' into issue-3228-contracts

    @celinval
    celinval authored Jul 4, 2024
    Configuration menu
    Copy the full SHA
    b07ee9d View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2024

  1. Merge branch 'main' into issue-3228-contracts

    @celinval
    celinval authored Jul 12, 2024
    Configuration menu
    Copy the full SHA
    7dfad0c View commit details
    Browse the repository at this point in the history

  2. Fix contract handling of promoted constants

    @celinval
    celinval committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    5c13474 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2024

  1. Address comments and add support for UnsafeCell

    @celinval
    celinval committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    8c55fb0 View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2024

  1. Add tests for accessing padding of statics

    @celinval
    celinval committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    8bcdd4f View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. Merge branch 'main' into issue-3228-contracts

    @celinval
    celinval authored Jul 23, 2024
    Configuration menu
    Copy the full SHA
    4c05b23 View commit details
    Browse the repository at this point in the history

  2. Remove extra space of kani-compiler/src/kani_middle/mod.rs

    @celinval
    celinval authored Jul 23, 2024
    Configuration menu
    Copy the full SHA
    d777b3e View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into issue-3228-contracts

    @celinval
    celinval authored Jul 23, 2024
    Configuration menu
    Copy the full SHA
    fe2fba9 View commit details
    Browse the repository at this point in the history