Merge remote-tracking branch 'origin/develop' into _update-deps/runti…

…meverification/hs-backend-booster
runtimeverification · Dec 11, 2023 · 7f1d4b8 · 7f1d4b8
2 parents 57d74a6 + d4ae252
commit 7f1d4b8
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 54 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/k-distribution/tests/profiling/setup_profiling.sh b/k-distribution/tests/profiling/setup_profiling.sh
@@ -3,7 +3,7 @@
 set -euxo pipefail
 
 export DEBIAN_FRONTEND=noninteractive
-export BENCHER_VERSION="0.3.15"
+export BENCHER_VERSION="0.3.23"
 apt-get update
 apt-get upgrade --yes
 apt-get install --yes python3 python3-pip git curl make time sudo wget

diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
+0 −68		default.nix
+2 −51		flake.lock
+10 −7		flake.nix
+74 −0		nix/build-maven-package.nix
+0 −7		nix/devShell.nix
+0 −5,364		nix/llvm-backend-matching.mavenix.lock
+12 −53		nix/llvm-backend-matching.nix
+44 −0		nix/maven.nix
+2 −3		nix/overlay.nix
+0 −50		nix/sources.json
+0 −205		nix/sources.nix
+0 −14		shell.nix
+0 −17		test.nix