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 #4692

Merged
merged 34 commits into from
Dec 10, 2024
Merged

Update dependency: deps/llvm-backend_release #4692

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
34 commits
Select commit Hold shift + click to select a range
25f9aa4
deps/llvm-backend_release: Set Version 0.1.104
Nov 25, 2024
1481c4a
flake.nix, llvm-backend/src/main/native/llvm-backend: update to versi…
Nov 25, 2024
84d6d17
flake.lock: update
Nov 25, 2024
a5bff6a
deps/llvm-backend_release: Set Version 0.1.105
Nov 26, 2024
673f993
flake.nix, llvm-backend/src/main/native/llvm-backend: update to versi…
Nov 26, 2024
34badb3
flake.lock: update
Nov 26, 2024
bd29a05
deps/llvm-backend_release: Set Version 0.1.106
Nov 26, 2024
94ae10b
flake.nix, llvm-backend/src/main/native/llvm-backend: update to versi…
Nov 26, 2024
e1fc3fd
flake.lock: update
Nov 26, 2024
5a279a1
Merge remote-tracking branch 'origin/develop' into _update-deps/runti…
Nov 27, 2024
b8d28f0
deps/llvm-backend_release: Set Version 0.1.107
Nov 27, 2024
87e5f47
flake.nix, llvm-backend/src/main/native/llvm-backend: update to versi…
Nov 27, 2024
98a45ff
flake.lock: update
Nov 27, 2024
785c65d
deps/llvm-backend_release: Set Version 0.1.108
Nov 27, 2024
b6c99e5
flake.nix, llvm-backend/src/main/native/llvm-backend: update to versi…
Nov 27, 2024
c6252bc
flake.lock: update
Nov 27, 2024
78c6047
Merge remote-tracking branch 'origin/develop' into _update-deps/runti…
Dec 2, 2024
a801d1d
deps/llvm-backend_release: Set Version 0.1.109
Dec 2, 2024
d8687ed
flake.nix, llvm-backend/src/main/native/llvm-backend: update to versi…
Dec 2, 2024
07ab360
flake.lock: update
Dec 2, 2024
a99a75e
Merge remote-tracking branch 'origin/develop' into _update-deps/runti…
Dec 5, 2024
3dd4a4d
deps/llvm-backend_release: Set Version 0.1.110
Dec 5, 2024
b3f4624
flake.nix, llvm-backend/src/main/native/llvm-backend: update to versi…
Dec 5, 2024
4b23e03
flake.lock: update
Dec 5, 2024
bccb14a
deps/llvm-backend_release: Set Version 0.1.111
Dec 6, 2024
fe4f95a
flake.nix, llvm-backend/src/main/native/llvm-backend: update to versi…
Dec 6, 2024
db62816
flake.lock: update
Dec 6, 2024
4117964
deps/llvm-backend_release: Set Version 0.1.112
Dec 6, 2024
6a74e3b
flake.nix, llvm-backend/src/main/native/llvm-backend: update to versi…
Dec 6, 2024
a11746b
flake.lock: update
Dec 6, 2024
49b020b
deps/llvm-backend_release: Set Version 0.1.113
Dec 9, 2024
021dd8d
flake.nix, llvm-backend/src/main/native/llvm-backend: update to versi…
Dec 9, 2024
f6cf209
flake.lock: update
Dec 9, 2024
8c3b986
Merge branch 'develop' into _update-deps/runtimeverification/llvm-bac…
jberthold Dec 10, 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.103
0.1.113
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.103";
llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.113";
haskell-backend = {
url = "github:runtimeverification/haskell-backend/v0.1.104";
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 36 files
+6 −0 bin/llvm-kompile
+8 −0 bin/llvm-kompile-clang
+5 −5 config/llvm_header.inc
+37 −0 include/kllvm/codegen/GCStrategy.h
+1 −0 include/kllvm/codegen/Options.h
+182 −100 include/runtime/arena.h
+2 −2 include/runtime/collect.h
+7 −1 include/runtime/header.h
+1 −0 include/runtime/types.h
+17 −7 lib/codegen/CreateStaticTerm.cpp
+38 −6 lib/codegen/CreateTerm.cpp
+28 −17 lib/codegen/Decision.cpp
+50 −37 lib/codegen/EmitConfigParser.cpp
+2 −0 lib/codegen/Metadata.cpp
+4 −0 lib/codegen/Options.cpp
+2 −0 lib/passes/CMakeLists.txt
+52 −0 lib/passes/GCStrategy.cpp
+2 −0 matching/src/main/scala/org/kframework/backend/llvm/matching/Generator.scala
+1 −1 package/debian/changelog
+1 −1 package/version
+50 −226 runtime/alloc/arena.cpp
+1 −1 runtime/alloc/register_gc_roots_enum.cpp
+2 −2 runtime/arithmetic/int.cpp
+10 −24 runtime/collect/collect.cpp
+2 −2 runtime/collect/migrate_collection.cpp
+3 −3 runtime/collect/migrate_static_roots.cpp
+19 −24 runtime/lto/alloc.cpp
+18 −0 runtime/util/ConfigurationParser.cpp
+5 −1 runtime/util/search.cpp
+2 −0 test/defn/imp.kore
+2,429 −0 test/defn/mint-literal.kore
+1 −0 test/input/mint-literal.in
+7 −0 test/lit.cfg.py
+1 −0 test/output/mint-literal.out.diff
+3 −0 tools/llvm-kompile-codegen/main.cpp
+8 −0 unittests/runtime-collections/lists.cpp
Loading