Merge branch 'main' into gtirb_semantics_rpc

Author: ailrst

.github/workflows/update.yml

@@ -17,7 +17,7 @@ jobs:
       matrix:
         pkg: [asli, bap-asli-plugin, bap-primus, basil, gtirb-semantics,
               asl-translator, alive2-aslp, alive2-regehr, aslp_web, compiler-explorer,
-              aslp-cpp, aslp_client_server_ocaml
+              aslp-cpp, aslp-server, aslp_client_server_ocaml
         ]
 
     runs-on: ubuntu-24.04

aslp/aslp-cpp.nix

@@ -8,13 +8,13 @@ let
   stdenv' = if stdenv.isDarwin then clang17Stdenv else stdenv;
 in stdenv'.mkDerivation {
   pname = "aslp-cpp";
-  version = "0-unstable-2025-02-03";
+  version = "0.0.1-unstable-2025-02-03";
 
   src = fetchFromGitHub {
     owner = "UQ-PAC";
     repo = "aslp-rpc";
-    rev = "12a5dfbda19429cc0c52f941ef67d184b227e3a4";
-    hash = "sha256-zsqdxE6HqqSZ86rMF32yTzUEz97mywSKrn3qndmxrDI=";
+    rev = "cb0a294275c945f5be2a82b689bbc42a54af28f2";
+    hash = "sha256-t8D17pykyDcJBCj/WUMEZpA2t8m8EqnlD6FhHx+4D8k=";
   };
 
   prePatch = ''

basil/basil.nix

@@ -18,15 +18,15 @@ let
 in
 mkSbtDerivation' {
   pname = "basil";
-  version = "0.1.2-alpha-unstable-2025-01-30";
+  version = "0.1.2-alpha-unstable-2025-02-03";
 
   nativeBuildInputs = [ makeBinaryWrapper ];
 
   src = fetchFromGitHub {
     owner = "UQ-PAC";
     repo = "bil-to-boogie-translator";
-    rev = "04121607adb09aa8379d59c1e5d7bd3ac90acafc";
-    sha256 = "sha256-FnKDEnnqtCChpMU6Kquk9Uwk8MWKEUol6GuG06t63wc=";
+    rev = "e1ecd5ff7bc90139d175d87fe0bdc4ec2d8e98db";
+    sha256 = "sha256-zqr8M7jm/1bck3v1oU51iqAS1nww0fgkca0GHlDY8f4=";
   };
 
   patches = [ ./0001-basil-protoc-version.patch ] ;