Merge branch 'develop' into nailgun-location

runtimeverification · Nov 29, 2023 · a20d52e · a20d52e
2 parents 8efffb2 + cde929a
commit a20d52e
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
+1 −0		bin/llvm-kompile-clang
+1 −0		bindings/CMakeLists.txt
+1 −0		bindings/c/CMakeLists.txt
+11 −57		bindings/c/lib.cpp
+12 −0		bindings/core/CMakeLists.txt
+83 −0		bindings/core/src/core.cpp
+1 −0		bindings/python/CMakeLists.txt
+10 −0		bindings/python/runtime.cpp
+7 −0		include/kllvm/ast/AST.h
+4 −0		include/kllvm/binary/ProofTraceValidator.h
+40 −0		include/kllvm/bindings/core/core.h
+1 −0		include/runtime/header.h
+14 −0		lib/ast/AST.cpp
+0 −8		runtime/util/ConfigurationPrinter.cpp
+10 −1		runtime/util/ConfigurationSerializer.cpp
+8 −1		runtime/util/util.cpp
+2,233 −0		test/python/Inputs/simplify.kore
+9 −0		test/python/k-files/simplify.k
+26 −0		test/python/simplify.py