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

Update Creusot #42

Merged
merged 9 commits into from
Apr 10, 2024
Merged

Update Creusot #42

merged 9 commits into from
Apr 10, 2024

Commits on Apr 7, 2024

  1. Add mir_dump to .gitignore

    @sarsko
    sarsko committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    6872bc7 View commit details
    Browse the repository at this point in the history

  2. Update ide to account for Creusot/Why3 breakage

    @sarsko
    sarsko committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    3281efe View commit details
    Browse the repository at this point in the history

  3. Update rust-toolchain

    @sarsko
    sarsko committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    e24eb8c View commit details
    Browse the repository at this point in the history

  4. Update prelude.mlw to most recent one from Creusot

    @sarsko
    sarsko committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    662a563 View commit details
    Browse the repository at this point in the history

  5. Update Friday

    @sarsko
    sarsko committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    bb1958e View commit details
    Browse the repository at this point in the history

  6. Update Robinson

    @sarsko
    sarsko committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    d0ebc21 View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2024

  1. Update CreuSAT to new Creusot

    @sarsko
    sarsko committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    bf37922 View commit details
    Browse the repository at this point in the history

  2. Opening invariants in NewDB. Broken due to publicity and opacity bein… 

    …g intertwined. Not fixing that
    @sarsko
    sarsko committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    5c6244b View commit details
    Browse the repository at this point in the history

  3. Opening invariants in Scratch. Broken due to publicity and opacity be… 

    …ing intertwined. Not fixing that
    @sarsko
    sarsko committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    4862018 View commit details
    Browse the repository at this point in the history