Merge remote-tracking branch 'origin/develop'

runtimeverification · Jan 11, 2024 · 8b9c6b5 · 8b9c6b5
2 parents ecd6666 + fe731b9
commit 8b9c6b5
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
+64 −0		bindings/python/ast.cpp
+2 −0		include/kllvm/ast/AST.h
+411 −0		include/kllvm/ast/pattern_matching.h
+26 −10		include/kllvm/binary/ProofTraceParser.h
+4 −22		include/kllvm/binary/deserializer.h
+2 −309		lib/ast/AST.cpp
+1 −3		lib/ast/CMakeLists.txt
+213 −0		lib/ast/pattern_matching.cpp
+0 −4		lib/binary/CMakeLists.txt
+9 −6		lib/binary/ProofTraceParser.cpp
+9 −0		test/python/Inputs/proof-trace.in
+1,400 −0		test/python/Inputs/proof-trace.kore
+9 −0		test/python/k-files/proof-trace.k
+49 −0		test/python/test_proof_trace.py
+11 −9		tools/kore-proof-trace-test/main.cpp
+2 −2		tools/kore-proof-trace/main.cpp
+1 −0		unittests/compiler/CMakeLists.txt
+183 −0		unittests/compiler/pattern_matching.cpp