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

…on v0.1.52
runtimeverification · Jun 27, 2024 · 7eae646 · 7eae646
1 parent b7bc561
commit 7eae646
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/flake.nix b/flake.nix
@@ -5,7 +5,7 @@
     nixpkgs.follows = "llvm-backend/nixpkgs";
     flake-utils.url = "github:numtide/flake-utils";
     llvm-backend = {
-      url = "github:runtimeverification/llvm-backend/v0.1.51";
+      url = "github:runtimeverification/llvm-backend/v0.1.52";
       inputs.utils.follows = "flake-utils";
     };
     rv-utils.url = "github:runtimeverification/rv-nix-tools";

diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
+1 −1		package/debian/changelog
+1 −1		package/version
+2 −2		runtime/collections/rangemaps.cpp
+2 −2		runtime/util/ConfigurationSerializer.cpp
+10 −10		test/defn/imp-with-rangemaps.kore
+24 −24		test/defn/rangemap-simple.kore
+1 −1		test/input/rangemap-simple/rangemap-simple-15.in
+1 −1		test/input/rangemap-simple/rangemap-simple-69.in
+1 −1		test/input/rangemap-simple/rangemap-simple-70.in
+1 −1		test/input/rangemap-simple/rangemap-simple-71.in
+1 −1		test/input/rangemap-simple/rangemap-simple-72.in
+1 −1		test/input/rangemap-simple/rangemap-simple-74.in
+1 −1		test/input/rangemap-simple/rangemap-simple-75.in
+1 −1		test/input/rangemap-simple/rangemap-simple-77.in
+1 −1		test/input/rangemap-simple/rangemap-simple-78.in
+1 −1		test/input/rangemap-simple/rangemap-simple-85.in
+1 −1		test/input/rangemap-simple/rangemap-simple-86.in
+1 −1		test/input/rangemap-simple/rangemap-simple-87.in
+1 −1		test/input/rangemap-simple/rangemap-simple-88.in
+1 −1		test/input/rangemap-simple/rangemap-simple-89.in
+1 −1		test/input/rangemap-simple/rangemap-simple-90.in
+1 −1		test/input/rangemap-simple/rangemap-simple-91.in
+1 −1		test/output/imp-with-rangemaps/imp-with-rangemaps-1.out.diff
+1 −1		test/output/imp-with-rangemaps/imp-with-rangemaps-2.out.diff
+1 −1		test/output/imp-with-rangemaps/imp-with-rangemaps-3.out.diff
+1 −1		test/output/imp-with-rangemaps/imp-with-rangemaps-4.out.diff
+1 −1		test/output/imp-with-rangemaps/imp-with-rangemaps-5.out.diff
+1 −1		test/output/imp-with-rangemaps/imp-with-rangemaps-6.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-10.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-11.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-12.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-13.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-14.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-15.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-16.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-17.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-3.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-4.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-45.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-46.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-48.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-49.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-5.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-6.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-7.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-70.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-72.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-76.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-77.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-78.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-85.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-86.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-87.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-88.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-89.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-90.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-91.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-93.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-94.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-95.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-96.out.diff
+1 −1		test/output/rangemap-simple/rangemap-simple-97.out.diff
+1 −1		unittests/runtime-collections/rangemap-hooks.cpp