flake.nix, haskell-backend/src/main/native/haskell-backend: update to…

… version 63397c713d21322434d572281c1407d929a1189e
runtimeverification · Sep 20, 2023 · 2544ae6 · 2544ae6
1 parent a4d188a
commit 2544ae6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/flake.nix b/flake.nix
@@ -2,7 +2,7 @@
   description = "K Framework";
   inputs = {
     nixpkgs.url = "nixpkgs/nixos-23.05";
-    haskell-backend.url = "github:runtimeverification/haskell-backend/85b5d086840a0f1e89499f086b50d7258598fc8b";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/63397c713d21322434d572281c1407d929a1189e";
     booster-backend = {
       url = "github:runtimeverification/hs-backend-booster/ca1971761cfdbc0814b57bae9f11191e60881dd2";
       # NB booster-backend will bring in another dependency on haskell-backend,

diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
+25 −1		docs/2022-07-18-JSON-RPC-Server-API.md
+3 −0		kore-rpc-types/src/Kore/JsonRpc/Types.hs
+5 −0		kore-rpc-types/src/Kore/JsonRpc/Types/Log.hs
+69 −34		kore/src/Kore/JsonRpc.hs
+1 −0		test/rpc-server/logTiming/definition.kore
+3 −0		test/rpc-server/logTiming/params.json
+1 −0		test/rpc-server/logTiming/response.golden
+85 −0		test/rpc-server/logTiming/state.json
+79 −0		test/rpc-server/runTests.py