Merge remote-tracking branch 'origin/develop'

runtimeverification · Jan 17, 2024 · 955990c · 955990c
2 parents 8c99ee7 + a57889d
commit 955990c
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 −0		.clang-format
+13 −0		.clang-tidy
+47 −3		bindings/c/include/kllvm-c/kllvm-c.h
+106 −46		bindings/c/lib.cpp
+5 −6		bindings/core/src/core.cpp
+5 −3		bindings/python/ast.cpp
+2 −2		bindings/python/runtime.cpp
+82 −83		include/kllvm/ast/AST.h
+4 −4		include/kllvm/ast/pattern_matching.h
+1 −1		include/kllvm/binary/serializer.h
+6 −6		include/kllvm/codegen/CreateTerm.h
+24 −24		include/kllvm/codegen/Decision.h
+6 −6		include/kllvm/codegen/DecisionParser.h
+2 −1		include/kllvm/parser/KOREParser.h
+2 −2		include/kllvm/parser/KOREScanner.h
+2 −2		include/kllvm/parser/location.h
+2 −2		include/runtime/alloc.h
+1 −1		include/runtime/arena.h
+5 −5		include/runtime/collections/RBTree.h
+47 −47		include/runtime/header.h
+157 −300		lib/ast/AST.cpp
+1 −0		lib/ast/CMakeLists.txt
+207 −0		lib/ast/definition.cpp
+6 −7		lib/ast/pattern_matching.cpp
+10 −10		lib/binary/ProofTraceParser.cpp
+1 −1		lib/binary/deserializer.cpp
+5 −7		lib/binary/serializer.cpp
+2 −2		lib/codegen/ApplyPasses.cpp
+15 −15		lib/codegen/CreateStaticTerm.cpp
+158 −148		lib/codegen/CreateTerm.cpp
+50 −25		lib/codegen/Debug.cpp
+133 −128		lib/codegen/Decision.cpp
+83 −71		lib/codegen/DecisionParser.cpp
+188 −187		lib/codegen/EmitConfigParser.cpp
+57 −60		lib/codegen/ProofEvent.cpp
+1 −1		lib/codegen/Util.cpp
+4 −0		lib/parser/CMakeLists.txt
+24 −21		lib/parser/KOREParser.cpp
+6 −5		lib/parser/KOREScanner.l
+45 −38		lib/printer/addBrackets.cpp
+16 −39		lib/printer/printer.cpp
+6 −4		runtime/alloc/alloc.cpp
+17 −20		runtime/alloc/arena.cpp
+1 −1		runtime/arithmetic/float.cpp
+14 −8		runtime/arithmetic/int.cpp
+7 −8		runtime/collect/collect.cpp
+6 −6		runtime/collect/migrate_collection.cpp
+159 −180		runtime/collections/kelemle.cpp
+19 −22		runtime/collections/lists.cpp
+11 −11		runtime/collections/maps.cpp
+10 −14		runtime/collections/rangemaps.cpp
+7 −7		runtime/collections/sets.cpp
+29 −16		runtime/io/io.cpp
+1 −1		runtime/io/logTerm.cpp
+20 −22		runtime/json/json.cpp
+2 −2		runtime/main/search.cpp
+10 −5		runtime/meta/ffi.cpp
+25 −28		runtime/meta/substitution.cpp
+2 −6		runtime/strings/bytes.cpp
+20 −22		runtime/strings/numeric.cpp
+34 −37		runtime/strings/strings.cpp
+33 −29		runtime/util/ConfigurationParser.cpp
+29 −30		runtime/util/ConfigurationPrinter.cpp
+33 −37		runtime/util/ConfigurationSerializer.cpp
+7 −5		runtime/util/match_log.cpp
+5 −4		runtime/util/search.cpp
+2 −2		runtime/util/util.cpp
+2 −1		scripts/clang-tidy.sh
+4 −0		test/c/Inputs/api.c
+8 −3		test/c/Inputs/api.h
+6 −1		test/c/Inputs/binary_simplify.c
+5 −1		test/c/Inputs/bool.c
+48 −0		test/c/Inputs/div_by_zero.c
+1 −1		test/c/Inputs/handle_bytes.c
+1 −1		test/c/Inputs/k-prod.c
+1 −1		test/c/Inputs/kitem.c
+2 −2		test/c/Inputs/simplify.c
+2,103 −0		test/c/div_by_zero.kore
+7 −0		test/c/k-files/div-by-zero.k
+3 −3		tools/k-rule-apply/auxiliar.h
+8 −7		tools/k-rule-apply/main.cpp
+7 −5		tools/k-rule-find/main.cpp
+2 −3		tools/kore-convert/main.cpp
+7 −30		tools/kore-expand-macros/main.cpp
+3 −3		tools/kore-proof-trace-test/main.cpp
+3 −4		tools/kore-split/main.cpp
+3 −3		tools/kore-strip/main.cpp
+10 −9		tools/llvm-kompile-codegen/main.cpp
+4 −2		tools/llvm-kompile-gc-stats/main.cpp
+2 −2		unittests/runtime-arithmetic/inttest.cpp
+4 −4		unittests/runtime-collections/lists.cpp
+1 −1		unittests/runtime-collections/rangemap-hooks.cpp
+7 −7		unittests/runtime-ffi/ffi.cpp
+5 −5		unittests/runtime-io/io.cpp
+1 −1		unittests/runtime-strings/bytestest.cpp
+4 −4		unittests/runtime-strings/stringtest.cpp