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

Containers (and W and M) #1129

Merged
merged 12 commits into from
Jun 25, 2024
Merged

Containers (and W and M) #1129

merged 12 commits into from
Jun 25, 2024

Commits on May 28, 2024

  1. Added W and M

    Stefania Damato committed May 28, 2024
    Configuration menu
    Copy the full SHA
    cea8345 View commit details
    Browse the repository at this point in the history

  2. Fixed flags

    Stefania Damato committed May 28, 2024
    Configuration menu
    Copy the full SHA
    d590f94 View commit details
    Browse the repository at this point in the history

  3. Added containers proofs

    Stefania Damato committed May 28, 2024
    Configuration menu
    Copy the full SHA
    85e84c1 View commit details
    Browse the repository at this point in the history

  4. Fixed flags

    Stefania Damato committed May 28, 2024
    Configuration menu
    Copy the full SHA
    d2a1543 View commit details
    Browse the repository at this point in the history

  5. Refactors to follow conventions

    Stefania Damato committed May 28, 2024
    Configuration menu
    Copy the full SHA
    b07daa3 View commit details
    Browse the repository at this point in the history

  6. More refactoring

    Stefania Damato committed May 28, 2024
    Configuration menu
    Copy the full SHA
    c04e860 View commit details
    Browse the repository at this point in the history

  7. Changes due to --guardedness flag

    Stefania Damato committed May 28, 2024
    Configuration menu
    Copy the full SHA
    9a81c81 View commit details
    Browse the repository at this point in the history

  8. Moved CoinductiveContainers to Codata

    Stefania Damato committed May 28, 2024
    Configuration menu
    Copy the full SHA
    4732ffc View commit details
    Browse the repository at this point in the history

  9. Edited comment

    Stefania Damato committed May 28, 2024
    Configuration menu
    Copy the full SHA
    266ae08 View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2024

  1. Cleaning with Anders

    Stefania Damato committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    902c976 View commit details
    Browse the repository at this point in the history

  2. Added --safe

    Stefania Damato committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    312c52d View commit details
    Browse the repository at this point in the history

  3. More --safe flags

    Stefania Damato committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    99be073 View commit details
    Browse the repository at this point in the history