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

[WIP] Consolidate monad definitions to extlib #270

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

[WIP] Consolidate monad definitions to extlib #270

wants to merge 8 commits into from

Commits on Sep 30, 2024

  1. refactor stateT and writerT monads to use the definitions in extlib.

    @laelath
    laelath committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    eb3db94 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. refactored usages of stateT in extra/

    @laelath
    laelath committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    b5374a0 View commit details
    Browse the repository at this point in the history

  2. Fix Dijkstra.StateIOTrace with updated stateT

    @Lysxia
    Lysxia committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    aef0795 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

  1. Generalize eq_stateT to a fully heterogenous stateT_rel

    @laelath
    laelath committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    90e8719 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2024

  1. Add upper bound on coq-paco (breaking changes upstream)

    @Lysxia
    Lysxia committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    1fb39bc View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2024

  1. change state relation to be heterogenous

    @laelath
    laelath committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    86512d0 View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2024

  1. Update tutorial proofs

    @laelath
    laelath committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    7790920 View commit details
    Browse the repository at this point in the history

  2. Update introduction

    @laelath
    laelath committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    06e5989 View commit details
    Browse the repository at this point in the history