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 Extends in formal specification #216

Merged
merged 17 commits into from
Sep 27, 2024
Merged

Fix Extends in formal specification #216

merged 17 commits into from
Sep 27, 2024

Commits on Sep 17, 2024

  1. WIP: proof to allow to construct VR-1B

    @yveshauser
    yveshauser committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    3855d15 View commit details
    Browse the repository at this point in the history

  2. Cleanup

    @yveshauser
    yveshauser committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    ffde921 View commit details
    Browse the repository at this point in the history

  3. WIP: Proof VR-1B

    @yveshauser
    yveshauser committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    226e381 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into yveshauser/fix-extends

    @yveshauser
    yveshauser authored Sep 17, 2024
    Configuration menu
    Copy the full SHA
    fb1dcbb View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. Merge branch 'main' into yveshauser/fix-extends

    @yveshauser
    yveshauser authored Sep 18, 2024
    Configuration menu
    Copy the full SHA
    85c320e View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2024

  1. Use Haskell Prelude

    @yveshauser
    yveshauser committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    3f5e7a1 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2024

  1. Moved code

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

  2. Decidable instances

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

  3. Decidable

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

  4. Proof for Reflects

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

Commits on Sep 27, 2024

  1. Reflects instances

    @yveshauser
    yveshauser committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    23bbecd View commit details
    Browse the repository at this point in the history

  2. Fix extends

    @yveshauser
    yveshauser committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    06330ea View commit details
    Browse the repository at this point in the history

  3. Re-generated Haskell

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

  4. Using Haskell.Prelude

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

  5. Type checks

    @yveshauser
    yveshauser committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    436185c View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into yveshauser/fix-extends

    @yveshauser
    yveshauser committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    4fcc96b View commit details
    Browse the repository at this point in the history

  7. Not relevant for soundness property

    @yveshauser
    yveshauser committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    775a25f View commit details
    Browse the repository at this point in the history