Skip to content

Commit

Permalink
llvm-backend/src/main/native/llvm-backend: Set Version 0231f185e753ed…
Browse files Browse the repository at this point in the history 
…ae73844de781fbf816d6fa0b5f
  • Loading branch information
devops committed Jan 16, 2024
1 parent 8fec82c commit 5b2c31d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion llvm-backend/src/main/native/llvm-backend
Submodule llvm-backend updated 61 files
+7 −0 .clang-tidy
+35 −35 bindings/c/lib.cpp
+4 −5 bindings/core/src/core.cpp
+1 −1 bindings/python/runtime.cpp
+2 −2 include/kllvm/ast/AST.h
+1 −1 include/kllvm/binary/serializer.h
+1 −1 include/kllvm/codegen/Decision.h
+2 −1 include/kllvm/parser/KOREParser.h
+1 −1 include/runtime/alloc.h
+4 −4 include/runtime/header.h
+149 −149 lib/ast/AST.cpp
+6 −7 lib/ast/pattern_matching.cpp
+5 −5 lib/binary/ProofTraceParser.cpp
+1 −1 lib/binary/deserializer.cpp
+5 −7 lib/binary/serializer.cpp
+2 −2 lib/codegen/ApplyPasses.cpp
+11 −11 lib/codegen/CreateStaticTerm.cpp
+149 −139 lib/codegen/CreateTerm.cpp
+50 −25 lib/codegen/Debug.cpp
+130 −125 lib/codegen/Decision.cpp
+73 −61 lib/codegen/DecisionParser.cpp
+181 −180 lib/codegen/EmitConfigParser.cpp
+57 −60 lib/codegen/ProofEvent.cpp
+1 −1 lib/codegen/Util.cpp
+23 −20 lib/parser/KOREParser.cpp
+45 −38 lib/printer/addBrackets.cpp
+11 −10 lib/printer/printer.cpp
+6 −4 runtime/alloc/alloc.cpp
+15 −18 runtime/alloc/arena.cpp
+1 −1 runtime/arithmetic/float.cpp
+14 −8 runtime/arithmetic/int.cpp
+1 −2 runtime/collect/collect.cpp
+5 −5 runtime/collect/migrate_collection.cpp
+159 −162 runtime/collections/kelemle.cpp
+17 −20 runtime/collections/lists.cpp
+9 −9 runtime/collections/maps.cpp
+8 −12 runtime/collections/rangemaps.cpp
+5 −5 runtime/collections/sets.cpp
+24 −13 runtime/io/io.cpp
+1 −1 runtime/io/logTerm.cpp
+14 −16 runtime/json/json.cpp
+5 −4 runtime/meta/ffi.cpp
+21 −24 runtime/meta/substitution.cpp
+2 −6 runtime/strings/bytes.cpp
+18 −20 runtime/strings/numeric.cpp
+21 −19 runtime/strings/strings.cpp
+22 −18 runtime/util/ConfigurationParser.cpp
+13 −14 runtime/util/ConfigurationPrinter.cpp
+11 −15 runtime/util/ConfigurationSerializer.cpp
+7 −5 runtime/util/match_log.cpp
+5 −4 runtime/util/search.cpp
+2 −1 scripts/clang-tidy.sh
+7 −6 tools/k-rule-apply/main.cpp
+7 −5 tools/k-rule-find/main.cpp
+2 −3 tools/kore-convert/main.cpp
+4 −4 tools/kore-expand-macros/main.cpp
+1 −1 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
+3 −1 tools/llvm-kompile-gc-stats/main.cpp

0 comments on commit 5b2c31d

Please sign in to comment.