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

DRAFT of simplify-implication RPC endpoint #239

Draft
wants to merge 28 commits into
base: main
Choose a base branch
from
Draft

DRAFT of simplify-implication RPC endpoint #239

wants to merge 28 commits into from

Commits on Jun 19, 2023

  1. Add rpc-kast.sh: a CLI pretty-printer for kore-rpc JSON format

    @geo2a
    geo2a committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    d8344b3 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2023

  1. Add sortOfPattern

    @geo2a
    geo2a committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    e0f89ba View commit details
    Browse the repository at this point in the history

  2. Simplify constraints as well as the term when Simplify is given a `… 

    …Pattern`
    @geo2a
    geo2a committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    455f717 View commit details
    Browse the repository at this point in the history

  3. Add sortOfPattern

    @geo2a
    geo2a committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    ce94c25 View commit details
    Browse the repository at this point in the history

  4. Simplify constraints as well as the term when Simplify is given a `… 

    …Pattern`
    @geo2a
    geo2a committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    f45ea4a View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2023

  1. Updates to Nix flake: 

    * remove obsolete substitutor
* update haskell.nix nad haskell-backend in the lock
    @geo2a
    geo2a committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    8eb770f View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/main' into georgy/simplify-impli… 

    …cation
    @geo2a
    geo2a committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    a432d31 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'georgy/simplify-constraints-in-pattern' into georgy/sim… 

    …plify-implication
    @geo2a
    geo2a committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    79fe8c1 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2023

  1. Merge remote-tracking branch 'origin/main' into georgy/simplify-impli… 

    …cation
    @geo2a
    geo2a committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    75a5d46 View commit details
    Browse the repository at this point in the history

  2. WIP: simplify-implies

    @geo2a
    geo2a committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    3008ea8 View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2023

  1. Merge remote-tracking branch 'origin/main' into georgy/simplify-impli… 

    …cation
    @geo2a
    geo2a committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    df23380 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2023

  1. Merge remote-tracking branch 'origin/main' into georgy/simplify-impli… 

    …cation
    @geo2a
    geo2a committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    42c9c44 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2023

  1. Merge remote-tracking branch 'origin/main' into georgy/simplify-impli… 

    …cation
    @geo2a
    geo2a committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    1d2e66d View commit details
    Browse the repository at this point in the history

  2. More work on simplify-implication

    @geo2a
    geo2a committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    56c35eb View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2023

  1. Allow matching two empty KMaps

    @geo2a
    geo2a committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    ef26fd1 View commit details
    Browse the repository at this point in the history

  2. Re-factor simplify-implication to use matching

    @geo2a
    geo2a committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    f2d5974 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/main' into georgy/simplify-impli… 

    …cation
    @geo2a
    geo2a committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    49c4e83 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

  1. Merge remote-tracking branch 'origin/main' into georgy/simplify-impli… 

    …cation
    @geo2a
    geo2a committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    ca9cdd2 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2023

  1. Merge remote-tracking branch 'origin/main' into georgy/simplify-impli… 

    …cation
    @geo2a
    geo2a committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    c56847f View commit details
    Browse the repository at this point in the history

  2. Add micro-evm.k and simplify-implication test

    @geo2a
    geo2a committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    4a98a24 View commit details
    Browse the repository at this point in the history

  3. Update haskell-backend

    @geo2a
    geo2a committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    a144ff1 View commit details
    Browse the repository at this point in the history

  4. Use qualified import of Kore.JsonRpc.Types

    @geo2a
    geo2a committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    8960ea3 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2023

  1. Allow concrete identical KMaps to match

    @geo2a
    geo2a committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    e5fefac View commit details
    Browse the repository at this point in the history

  2. Externalize SimplifyImplicationResult

    @geo2a
    geo2a committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    6102229 View commit details
    Browse the repository at this point in the history

  3. Enable simplify-implication integration tests

    @geo2a
    geo2a committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    52c759a View commit details
    Browse the repository at this point in the history

  4. Point to modified branch of haskell-backend

    @geo2a
    geo2a committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    2aca04e View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/main' into georgy/simplify-impli… 

    …cation
    @geo2a
    geo2a committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    0b8c2dc View commit details
    Browse the repository at this point in the history

  6. Enable simplify-implication integration test

    @geo2a
    geo2a committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    e3eb94c View commit details
    Browse the repository at this point in the history