Skip to content

Commit

Permalink
Update dependency: llvm-backend/src/main/native/llvm-backend (#3485)
Browse files Browse the repository at this point in the history 
* llvm-backend/src/main/native/llvm-backend: Set Version 68e21047e9d64598b11ed6f9172c58e0b593a2ea

* Sync flake inputs to submodules

* llvm-backend/src/main/native/llvm-backend: Set Version d895b654227e3b007e154e062642ace8da3fc5e1

* Sync flake inputs to submodules

* llvm-backend/src/main/native/llvm-backend: Set Version 2fe2ebd05f542fe5d8f1c636e6883c70301ad548

* Sync flake inputs to submodules

* Sync flake inputs to submodules

* Sync flake inputs to submodules

* Sync flake inputs to submodules

* llvm-backend/src/main/native/llvm-backend: Set Version f679d3f637bd5098179aad6257d75aa609e7d57b

* Sync flake inputs to submodules

* Sync flake inputs to submodules

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Bruce Collie <brucecollie82@gmail.com>
  • Loading branch information
@rv-jenkins @Baltoli
3 people authored Jul 6, 2023
1 parent 6d1455a commit c528927
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
6 changes: 3 additions & 3 deletions flake.lock
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion llvm-backend/src/main/native/llvm-backend
Submodule llvm-backend updated 32 files
+1 −1 .github/workflows/test-flake.yml
+1 −1 .github/workflows/update.yml
+45 −0 docs/proof-trace.md
+1 −0 include/kllvm/ast/AST.h
+2 −0 include/kllvm/codegen/CreateTerm.h
+83 −20 include/runtime/header.h
+161 −0 lib/ast/AST.cpp
+134 −13 lib/codegen/CreateTerm.cpp
+19 −15 lib/codegen/Decision.cpp
+1 −1 lib/codegen/EmitConfigParser.cpp
+3 −2 matching/src/main/scala/org/kframework/backend/llvm/matching/Generator.scala
+10 −6 matching/src/main/scala/org/kframework/backend/llvm/matching/Matrix.scala
+2 −2 runtime/collections/hash.cpp
+7 −7 runtime/collections/kelemle.cpp
+9 −3 runtime/finish_rewriting.ll
+12 −1 runtime/main/main.ll
+11 −13 runtime/meta/substitution.cpp
+4 −4 runtime/strings/bytes.cpp
+5 −5 runtime/strings/strings.cpp
+13 −0 runtime/take_steps.ll
+1 −1 runtime/util/ConfigurationParser.cpp
+14 −8 runtime/util/ConfigurationPrinter.cpp
+34 −4 runtime/util/ConfigurationSerializer.cpp
+10 −0 runtime/util/util.cpp
+7,693 −0 test/defn/imp-proof.kore
+19 −0 test/defn/k-files/test38.k
+3,078 −0 test/defn/test38.kore
+1 −0 test/input/imp-proof.in
+1 −0 test/lit.cfg.py
+5 −0 unittests/runtime-ffi/ffi.cpp
+11 −6 unittests/runtime-io/io.cpp
+5 −0 unittests/runtime-strings/stringtest.cpp

0 comments on commit c528927

Please sign in to comment.