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

…on v0.1.23
runtimeverification · May 21, 2024 · 7fbfa73 · 7fbfa73
1 parent 88e72fe
commit 7fbfa73
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.22";
+      url = "github:runtimeverification/llvm-backend/v0.1.23";
       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
+0 −7		bin/llvm-kompile-compute-loc
+0 −5		bin/llvm-kompile-compute-ordinal
+20 −0		include/kllvm/ast/util.h
+1 −0		lib/ast/CMakeLists.txt
+29 −0		lib/ast/util.cpp
+1 −1		package/debian/changelog
+1 −1		package/version
+2,123 −0		test/defn/compute-ordinal-loc/definition.kore
+10 −0		test/defn/compute-ordinal-loc/k-files/inc.k
+1 −0		test/defn/compute-ordinal-loc/line_number_rule
+2 −0		test/lit.cfg.py
+2 −0		tools/CMakeLists.txt
+12 −0		tools/llvm-kompile-compute-loc/CMakeLists.txt
+78 −0		tools/llvm-kompile-compute-loc/main.cpp
+12 −0		tools/llvm-kompile-compute-ordinal/CMakeLists.txt
+88 −0		tools/llvm-kompile-compute-ordinal/main.cpp