Skip to content

Commit

Permalink
Merge remote-tracking branch 'origin/master' into release
Browse files Browse the repository at this point in the history
  • Loading branch information
@rv-jenkins
rv-jenkins committed Jul 26, 2022
2 parents df4dc1a + a671114 commit b6587f8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion haskell-backend/src/main/native/haskell-backend
Submodule haskell-backend updated 28 files
+1 −0 .gitignore
+283 −0 docs/2022-07-18-JSON-RPC-Server-API.md
+72 −40 flake.nix
+4 −1 kore/app/parser/Main.hs
+170 −1 kore/app/rpc/Main.hs
+8 −0 kore/kore.cabal
+10 −0 kore/src/Kore/Error.hs
+187 −81 kore/src/Kore/JsonRpc.hs
+44 −0 kore/src/Kore/Log/JsonRpc.hs
+8 −0 kore/src/Kore/Options.hs
+4 −0 kore/src/Kore/Syntax/Json.hs
+1 −0 kore/src/Log.hs
+4 −0 kore/src/SMT.hs
+0 −1 kore/test/Test/Kore/Syntax/Json/Roundtrips.hs
+8 −0 nix/kore-ghc8107.nix.d/kore.nix
+9 −0 nix/kore-ghc923.nix.d/kore.nix
+51 −0 test/rpc-server/README.md
+17 −0 test/rpc-server/default.nix
+5,609 −0 test/rpc-server/execute/invalid-params/definition.kore
+3 −0 test/rpc-server/execute/invalid-params/params.json
+1 −0 test/rpc-server/execute/invalid-params/response.golden
+1 −0 test/rpc-server/execute/invalid-params/state.json
+5,609 −0 test/rpc-server/execute/step/definition.kore
+5 −0 test/rpc-server/execute/step/params.json
+1 −0 test/rpc-server/execute/step/response.golden
+466 −0 test/rpc-server/execute/step/state.json
+107 −0 test/rpc-server/execute/step/state.kore
+126 −0 test/rpc-server/runTests.py

0 comments on commit b6587f8

Please sign in to comment.