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

Prusti 2.0: Free PCS #1398

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

Prusti 2.0: Free PCS #1398

wants to merge 36 commits into from

Commits on Mar 22, 2023

  1. Start work on MicroMir

    @JonasAlaif
    JonasAlaif committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    9a8e1f0 View commit details
    Browse the repository at this point in the history

  2. More work on MicroMir

    @JonasAlaif
    JonasAlaif committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    9c967ed View commit details
    Browse the repository at this point in the history

  3. More work on MicroMir

    @JonasAlaif
    JonasAlaif committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    d86eabb View commit details
    Browse the repository at this point in the history

  4. Clippy/fmt fix

    @JonasAlaif
    JonasAlaif committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    aa67674 View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2023

  1. Merge branch 'master' into free-pcs

    @JonasAlaif
    JonasAlaif committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    18a6a0e View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2023

  1. Switch to using rustc dataflow engine

    @JonasAlaif
    JonasAlaif committed Apr 18, 2023
    Configuration menu
    Copy the full SHA
    0a533ae View commit details
    Browse the repository at this point in the history

  2. Add results cursor

    @JonasAlaif
    JonasAlaif committed Apr 18, 2023
    Configuration menu
    Copy the full SHA
    a64df48 View commit details
    Browse the repository at this point in the history

  3. Display repacks in graphviz

    @JonasAlaif
    JonasAlaif committed Apr 18, 2023
    Configuration menu
    Copy the full SHA
    d85ed76 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2023

  1. Add ShallowExclusive capability 

    TODO: remove read capability
    @JonasAlaif
    JonasAlaif committed Apr 19, 2023
    Configuration menu
    Copy the full SHA
    b914d79 View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2023

  1. Update

    @JonasAlaif
    JonasAlaif committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    d176fb8 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2023

  1. Bugfix

    @JonasAlaif
    JonasAlaif committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    2f8fbba View commit details
    Browse the repository at this point in the history

  2. More changes

    @JonasAlaif
    JonasAlaif committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    330e61a View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2023

  1. Merge branch 'master' into free-pcs-engine

    @JonasAlaif
    JonasAlaif committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    9cebf2c View commit details
    Browse the repository at this point in the history

  2. Merge update fixes

    @JonasAlaif
    JonasAlaif committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    adf559b View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2023

  1. Merge branch 'master' into free-pcs-engine

    @JonasAlaif
    JonasAlaif committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    0900cef View commit details
    Browse the repository at this point in the history

  2. fmt

    @JonasAlaif
    JonasAlaif committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    5933a00 View commit details
    Browse the repository at this point in the history

  3. Fix merge issues

    @JonasAlaif
    JonasAlaif committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    496ebe1 View commit details
    Browse the repository at this point in the history

  4. Clippy fixes

    @JonasAlaif
    JonasAlaif committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    66f7ea2 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2023

  1. Bugfix for shallow exclusive

    @JonasAlaif
    JonasAlaif committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    362788c View commit details
    Browse the repository at this point in the history

  2. Remove check

    @JonasAlaif
    JonasAlaif committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    813c87f View commit details
    Browse the repository at this point in the history

  3. fmt

    @JonasAlaif
    JonasAlaif committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    55bd039 View commit details
    Browse the repository at this point in the history

  4. Bugfix

    @JonasAlaif
    JonasAlaif committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    135065c View commit details
    Browse the repository at this point in the history

  5. Fix PlaceMention triple

    @JonasAlaif
    JonasAlaif committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    a7a892b View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into free-pcs-engine

    @JonasAlaif
    JonasAlaif committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    878b7da View commit details
    Browse the repository at this point in the history

  7. Fix can_deinit check

    @JonasAlaif
    JonasAlaif committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    62f8e62 View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2023

  1. fmt

    @JonasAlaif
    JonasAlaif committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    17ed9fe View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2023

  1. Fix bug in ConstantIndex unpacking

    @JonasAlaif
    JonasAlaif committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    210d37a View commit details
    Browse the repository at this point in the history

  2. Ensure that we never expand a Write capability

    @JonasAlaif
    JonasAlaif committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    4047beb View commit details
    Browse the repository at this point in the history

  3. fmt

    @JonasAlaif
    JonasAlaif committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    4467796 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2023

  1. Add weakens before write

    @JonasAlaif
    JonasAlaif committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    8e4030c View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2023

  1. Bugfix to support other capabilities

    @JonasAlaif
    JonasAlaif committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    7e12a2e View commit details
    Browse the repository at this point in the history

  2. Add pre and post distinction

    @JonasAlaif
    JonasAlaif committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    786a22d View commit details
    Browse the repository at this point in the history

  3. Add ty utility function

    @JonasAlaif
    JonasAlaif committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    87d41e8 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2023

  1. fmt and clippy

    @JonasAlaif
    JonasAlaif committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    09dcd1e View commit details
    Browse the repository at this point in the history

  2. Make top crates iterator

    @JonasAlaif
    JonasAlaif committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    54651c9 View commit details
    Browse the repository at this point in the history

  3. Disallow expanding through Projection at edges

    @JonasAlaif
    JonasAlaif committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    b9ba878 View commit details
    Browse the repository at this point in the history