Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update dependency: deps/llvm-backend_release #4559

Merged
merged 18 commits into from
Aug 1, 2024
Merged

Update dependency: deps/llvm-backend_release #4559

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
57a3b72
deps/llvm-backend_release: Set Version 0.1.65
Jul 26, 2024
9f83e31
flake.nix, llvm-backend/src/main/native/llvm-backend: update to versi…
Jul 26, 2024
8c08bcc
flake.lock: update
Jul 26, 2024
7dc2d6f
Merge remote-tracking branch 'origin/develop' into _update-deps/runti…
Jul 29, 2024
d6298df
deps/llvm-backend_release: Set Version 0.1.66
Jul 29, 2024
00366a8
flake.nix, llvm-backend/src/main/native/llvm-backend: update to versi…
Jul 29, 2024
3378d61
flake.lock: update
Jul 29, 2024
5ebf724
deps/llvm-backend_release: Set Version 0.1.67
Jul 29, 2024
657a774
flake.nix, llvm-backend/src/main/native/llvm-backend: update to versi…
Jul 29, 2024
1de3399
flake.lock: update
Jul 29, 2024
7b5a555
Merge remote-tracking branch 'origin/develop' into _update-deps/runti…
Jul 29, 2024
f4a5117
deps/llvm-backend_release: Set Version 0.1.68
Jul 29, 2024
a3abe66
flake.nix, llvm-backend/src/main/native/llvm-backend: update to versi…
Jul 29, 2024
735352e
flake.lock: update
Jul 29, 2024
0ad1f3c
Merge remote-tracking branch 'origin/develop' into _update-deps/runti…
Jul 31, 2024
aca6c97
deps/llvm-backend_release: Set Version 0.1.69
Jul 31, 2024
455d71b
flake.nix, llvm-backend/src/main/native/llvm-backend: update to versi…
Jul 31, 2024
cc10b18
flake.lock: update
Jul 31, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion deps/llvm-backend_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.64
0.1.69
8 changes: 4 additions & 4 deletions flake.lock
View file
Open in desktop

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

2 changes: 1 addition & 1 deletion flake.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
{
description = "K Framework";
inputs = {
llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.64";
llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.69";
haskell-backend = {
url = "github:runtimeverification/haskell-backend/v0.1.51";
inputs.rv-utils.follows = "llvm-backend/rv-utils";
Expand Down
2 changes: 1 addition & 1 deletion llvm-backend/src/main/native/llvm-backend
Open in desktop
Submodule llvm-backend updated 90 files
+1 −0 .github/workflows/ci-tests.sh
+0 −14 bin/llvm-kompile-clang
+262 −0 config/llvm_header.inc
+5 −0 debug/CMakeLists.txt
+7 −7 debug/kgdb.py
+4 −4 debug/klldb.py
+72 −0 include/kllvm/binary/serializer.h
+15 −14 include/kllvm/codegen/ProofEvent.h
+29 −20 include/runtime/header.h
+39 −0 lib/binary/serializer.cpp
+3 −88 lib/codegen/CreateTerm.cpp
+13 −0 lib/codegen/Decision.cpp
+13 −10 lib/codegen/EmitConfigParser.cpp
+54 −52 lib/codegen/ProofEvent.cpp
+2 −2 package/debian/changelog
+1 −1 package/debian/control.jammy
+1 −1 package/debian/control.noble
+1 −1 package/debian/copyright
+1 −1 package/version
+0 −13 runtime/CMakeLists.txt
+0 −22 runtime/finish_rewriting.ll
+0 −39 runtime/fresh.ll
+0 −25 runtime/getTag.ll
+19 −7 runtime/main/main.ll
+0 −17 runtime/move_float.ll
+0 −15 runtime/move_int.ll
+0 −14 runtime/string_equal.ll
+0 −72 runtime/take_steps.ll
+0 −6 runtime/util/ConfigurationPrinter.cpp
+127 −104 runtime/util/ConfigurationSerializer.cpp
+76 −4 runtime/util/finish_rewriting.cpp
+3 −3 runtime/util/util.cpp
+1 −0 test/defn/imp-sum-slow.kore
+1 −0 test/defn/imp-sum.kore
+1 −0 test/defn/imp.kore
+1 −0 test/defn/kool-static.kore
+16 −4 test/lit.cfg.py
+1 −0 test/proof/add-rewrite.kore
+1 −0 test/proof/arith.kore
+1 −0 test/proof/assoc-function.kore
+1 −0 test/proof/builtin-functions.kore
+1 −0 test/proof/builtin-hook-events.kore
+1 −0 test/proof/builtin-int.kore
+1 −0 test/proof/builtin-io.kore
+1 −0 test/proof/builtin-json.kore
+1 −0 test/proof/cast.kore
+1 −0 test/proof/cell-collection.kore
+1 −0 test/proof/cell-value.kore
+1 −0 test/proof/concurrent-counters.kore
+1 −0 test/proof/conditional-function.kore
+1 −0 test/proof/custom-klabel-fun.kore
+1 −0 test/proof/decrement-int.kore
+1 −0 test/proof/decrement.kore
+1 −0 test/proof/double-rewrite.kore
+1 −0 test/proof/dv.kore
+1 −0 test/proof/exit-cell.kore
+1 −0 test/proof/fresh-gen.kore
+1 −0 test/proof/fun-context.kore
+1 −0 test/proof/imp.kore
+1 −0 test/proof/imp5-rw-literal.kore
+1 −0 test/proof/imp5-rw-succ.kore
+1 −0 test/proof/imp5.kore
+1 −0 test/proof/injections.kore
+1 −0 test/proof/is-zero.kore
+1 −0 test/proof/lambda-explicit-subst.kore
+1 −0 test/proof/let.kore
+1 −0 test/proof/list-assoc.kore
+1 −0 test/proof/list-cons.kore
+1 −0 test/proof/list-factory.kore
+1 −0 test/proof/list-semantic.kore
+1 −0 test/proof/macro.kore
+1 −0 test/proof/map-fun.kore
+1 −0 test/proof/memo-function.kore
+1 −0 test/proof/modular-config.kore
+1 −0 test/proof/nested-cells.kore
+1 −0 test/proof/non-rec-function.kore
+1 −0 test/proof/pcf.kore
+1 −0 test/proof/peano.kore
+1 −0 test/proof/prioritized-rule.kore
+1 −0 test/proof/projection.kore
+1 −0 test/proof/reg.kore
+1 −0 test/proof/set-fun.kore
+1 −0 test/proof/simple.kore
+1 −0 test/proof/single-rewrite.kore
+1 −0 test/proof/sum-cell.kore
+1 −0 test/proof/tree-reverse-int.kore
+1 −0 test/proof/tree-reverse.kore
+1 −0 test/proof/two-counters.kore
+1 −0 test/proof/type-cast.kore
+0 −5 tools/kore-proof-trace-shm-writer/CMakeLists.txt
Loading