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

Emit KoreJson \right-assoc for collections #3651

Closed
wants to merge 13 commits into from
Closed

Emit KoreJson \right-assoc for collections #3651

wants to merge 13 commits into from

Commits on Sep 8, 2023

  1. prune any bottom states from a branch

    @goodlyrottenapple
    goodlyrottenapple committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    248cace View commit details
    Browse the repository at this point in the history

  2. Add a custom conversion from TermLike to KoreJson which encodes colle… 

    …ctions via right-assoc
    @goodlyrottenapple
    goodlyrottenapple committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    ed4d143 View commit details
    Browse the repository at this point in the history

  3. Format with fourmolu

    github-actions committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    d7e4db6 View commit details
    Browse the repository at this point in the history

  4. Format with fourmolu

    github-actions committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    33ba3e1 View commit details
    Browse the repository at this point in the history

  5. revert kore/src/Kore/Rewrite.hs

    @goodlyrottenapple
    goodlyrottenapple committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    a704ce8 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2023

  1. fix retry code in runTests.py

    @goodlyrottenapple
    goodlyrottenapple committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    d1053d3 View commit details
    Browse the repository at this point in the history

  2. add rpc test returning a set

    @goodlyrottenapple
    goodlyrottenapple committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    41b80d4 View commit details
    Browse the repository at this point in the history

  3. add .DS_Store to .gitignore

    @goodlyrottenapple
    goodlyrottenapple committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    9d1a51b View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/master' into sam/right-assoc-col… 

    …lections
    @goodlyrottenapple
    goodlyrottenapple committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    9a803db View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2023

  1. merge master

    @goodlyrottenapple
    goodlyrottenapple committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    17d941f View commit details
    Browse the repository at this point in the history

  2. cleanup merge

    @goodlyrottenapple
    goodlyrottenapple committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    dd56839 View commit details
    Browse the repository at this point in the history

  3. Revert "cleanup merge" 

    This reverts commit dd56839.
    @goodlyrottenapple
    goodlyrottenapple committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    c94b056 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2024

  1. Merge branch 'master' into sam/right-assoc-collections

    @goodlyrottenapple
    goodlyrottenapple authored Jan 8, 2024
    Configuration menu
    Copy the full SHA
    290012c View commit details
    Browse the repository at this point in the history