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

Enlarge the trace monad rule set for RG logic #721

Merged
merged 4 commits into from
Mar 26, 2024
Merged

Enlarge the trace monad rule set for RG logic #721

merged 4 commits into from
Mar 26, 2024

Commits on Mar 26, 2024

  1. lib/monads/trace: add env_steps and liftM lemmas 

    Signed-off-by: Corey Lewis <[email protected]>
    @corlewis
    corlewis committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    e2d4718 View commit details
    Browse the repository at this point in the history

  2. lib/monads/trace: enlarge RG rule set 

    Signed-off-by: Corey Lewis <[email protected]>
    @corlewis
    corlewis committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    728492a View commit details
    Browse the repository at this point in the history

  3. lib/concurrency: update for changed RG rules 

    Signed-off-by: Corey Lewis <[email protected]>
    @corlewis
    corlewis committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    2370cd0 View commit details
    Browse the repository at this point in the history

  4. lib/monads/trace: add comment for prefix_closed 

    Signed-off-by: Corey Lewis <[email protected]>
    @corlewis
    corlewis committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    407d224 View commit details
    Browse the repository at this point in the history