Merge remote-tracking branch 'origin/develop'

runtimeverification · Dec 5, 2023 · c1c0fe9 · c1c0fe9
2 parents c8639c6 + d442b63
commit c1c0fe9
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