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

Co-authored-by: devops <[email protected]>
runtimeverification · Nov 30, 2023 · 834225c · 834225c
1 parent f708c08
commit 834225c
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
+5 −8		bindings/python/runtime.cpp
+254 −356		test/python/Inputs/simplify.kore
+7 −0		test/python/k-files/simplify.k
+14 −3		test/python/simplify.py