Update dependency: llvm-backend/src/main/native/llvm-backend (#3847)

Co-authored-by: devops <[email protected]>
runtimeverification · Dec 5, 2023 · d442b63 · d442b63
1 parent 0826d01
commit d442b63
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
+6 −3		bindings/python/ast.cpp
+5 −0		bindings/python/package/kllvm/__init__.py
+11 −4		bindings/python/runtime.cpp
+27 −2		include/kllvm/binary/deserializer.h
+2,152 −0		test/python/Inputs/raw-term.kore
+4 −0		test/python/k-files/raw-term.k
+33 −0		test/python/test_raw_term.py