Merge remote-tracking branch 'origin/develop'

runtimeverification · Dec 5, 2023 · 44f2bff · 44f2bff
2 parents d7079c5 + bc47d45
commit 44f2bff
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
+2 −2		bin/llvm-kompile-clang
+5 −15		bindings/c/lib.cpp
+5 −0		bindings/core/src/core.cpp
+2 −0		bindings/python/runtime.cpp
+1 −1		debug/kgdb.py
+16 −13		include/kllvm/ast/AST.h
+2 −0		include/kllvm/bindings/core/core.h
+2 −0		include/runtime/header.h
+3 −10		lib/ast/AST.cpp
+10 −16		lib/codegen/CreateTerm.cpp
+22 −32		lib/codegen/Decision.cpp
+72 −49		lib/codegen/EmitConfigParser.cpp
+3 −7		lib/codegen/ProofEvent.cpp
+4 −1		runtime/collections/lists.cpp
+5 −2		runtime/collections/maps.cpp
+4 −1		runtime/collections/rangemaps.cpp
+4 −1		runtime/collections/sets.cpp
+2 −3		runtime/util/ConfigurationParser.cpp
+17 −5		runtime/util/ConfigurationSerializer.cpp
+85 −0		test/defn/k-files/wasm-maps.k
+2,900 −0		test/defn/wasm-maps.kore
+1 −0		test/input/wasm-maps.in
+1 −0		test/output/wasm-maps.out.diff
+6,145 −0		test/python/Inputs/sorts.kore
+12 −0		test/python/k-files/sorts.k
+26 −0		test/python/test_return_sorts.py
+3 −4		tools/llvm-kompile-codegen/main.cpp
+4 −0		unittests/runtime-collections/lists.cpp
+4 −0		unittests/runtime-ffi/ffi.cpp
+1 −0		unittests/runtime-strings/bytestest.cpp