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

…on v0.1.103
runtimeverification · Oct 29, 2024 · 63c64b9 · 63c64b9
1 parent 99fb266
commit 63c64b9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/flake.nix b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "K Framework";
   inputs = {
-    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.102";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.103";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.92";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";

diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
+44 −34		lib/ast/definition.cpp
+1 −1		package/debian/changelog
+1 −1		package/version
+ −		test/binary/test_rich_header.kore.ref