Skip to content

Commit

Permalink
Update dependency: deps/llvm-backend_release (#4488)
Browse files Browse the repository at this point in the history 
Co-authored-by: devops <[email protected]>
Co-authored-by: Scott Guest <[email protected]>
  • Loading branch information
@rv-jenkins @Scott-Guest
3 people authored Jun 27, 2024
1 parent ff2e7f9 commit 4a6efd9
Show file tree
Hide file tree
Showing 9 changed files with 14 additions and 14 deletions.
2 changes: 1 addition & 1 deletion deps/llvm-backend_release
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.51
0.1.52
8 changes: 4 additions & 4 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 flake.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
nixpkgs.follows = "llvm-backend/nixpkgs";
flake-utils.url = "github:numtide/flake-utils";
llvm-backend = {
url = "github:runtimeverification/llvm-backend/v0.1.51";
url = "github:runtimeverification/llvm-backend/v0.1.52";
inputs.utils.follows = "flake-utils";
};
rv-utils.url = "github:runtimeverification/rv-nix-tools";
Expand Down
2 changes: 1 addition & 1 deletion k-distribution/include/kframework/builtin/domains.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -488,7 +488,7 @@ module RANGEMAP
### Range, bounded inclusively below and exclusively above.

```k
syntax Range ::= "[" KItem "," KItem ")" [klabel(Rangemap:Range), symbol]
syntax Range ::= "[" KItem "," KItem ")" [klabel(RangeMap:Range), symbol]
syntax RangeMap [hook(RANGEMAP.RangeMap)]
```
Expand Down
2 changes: 1 addition & 1 deletion k-distribution/tests/regression-new/imp-outer-json/imp.json
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion llvm-backend/src/main/native/llvm-backend
Submodule llvm-backend updated 63 files
+1 −1 package/debian/changelog
+1 −1 package/version
+2 −2 runtime/collections/rangemaps.cpp
+2 −2 runtime/util/ConfigurationSerializer.cpp
+10 −10 test/defn/imp-with-rangemaps.kore
+24 −24 test/defn/rangemap-simple.kore
+1 −1 test/input/rangemap-simple/rangemap-simple-15.in
+1 −1 test/input/rangemap-simple/rangemap-simple-69.in
+1 −1 test/input/rangemap-simple/rangemap-simple-70.in
+1 −1 test/input/rangemap-simple/rangemap-simple-71.in
+1 −1 test/input/rangemap-simple/rangemap-simple-72.in
+1 −1 test/input/rangemap-simple/rangemap-simple-74.in
+1 −1 test/input/rangemap-simple/rangemap-simple-75.in
+1 −1 test/input/rangemap-simple/rangemap-simple-77.in
+1 −1 test/input/rangemap-simple/rangemap-simple-78.in
+1 −1 test/input/rangemap-simple/rangemap-simple-85.in
+1 −1 test/input/rangemap-simple/rangemap-simple-86.in
+1 −1 test/input/rangemap-simple/rangemap-simple-87.in
+1 −1 test/input/rangemap-simple/rangemap-simple-88.in
+1 −1 test/input/rangemap-simple/rangemap-simple-89.in
+1 −1 test/input/rangemap-simple/rangemap-simple-90.in
+1 −1 test/input/rangemap-simple/rangemap-simple-91.in
+1 −1 test/output/imp-with-rangemaps/imp-with-rangemaps-1.out.diff
+1 −1 test/output/imp-with-rangemaps/imp-with-rangemaps-2.out.diff
+1 −1 test/output/imp-with-rangemaps/imp-with-rangemaps-3.out.diff
+1 −1 test/output/imp-with-rangemaps/imp-with-rangemaps-4.out.diff
+1 −1 test/output/imp-with-rangemaps/imp-with-rangemaps-5.out.diff
+1 −1 test/output/imp-with-rangemaps/imp-with-rangemaps-6.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-10.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-11.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-12.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-13.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-14.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-15.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-16.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-17.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-3.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-4.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-45.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-46.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-48.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-49.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-5.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-6.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-7.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-70.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-72.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-76.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-77.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-78.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-85.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-86.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-87.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-88.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-89.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-90.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-91.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-93.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-94.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-95.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-96.out.diff
+1 −1 test/output/rangemap-simple/rangemap-simple-97.out.diff
+1 −1 unittests/runtime-collections/rangemap-hooks.cpp
4 changes: 2 additions & 2 deletions pyk/src/tests/integration/test-data/prelude-modules.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3463,7 +3463,7 @@
"node": "KProduction",
"klabel": {
"node": "KLabel",
"name": "Rangemap:Range",
"name": "RangeMap:Range",
"params": []
},
"productionItems": [
Expand Down Expand Up @@ -3502,7 +3502,7 @@
"att": {
"node": "KAtt",
"att": {
"klabel": "Rangemap:Range",
"klabel": "RangeMap:Range",
"symbol": "",
"org.kframework.attributes.Location": [
491,
Expand Down
2 changes: 1 addition & 1 deletion pyk/src/tests/profiling/test-data/domains.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -488,7 +488,7 @@ module RANGEMAP
### Range, bounded inclusively below and exclusively above.

```k
syntax Range ::= "[" KItem "," KItem ")" [klabel(Rangemap:Range), symbol]
syntax Range ::= "[" KItem "," KItem ")" [klabel(RangeMap:Range), symbol]
syntax RangeMap [hook(RANGEMAP.RangeMap)]
```
Expand Down
4 changes: 2 additions & 2 deletions pyk/src/tests/unit/test-data/outer-lexer/domains-03-rangemap.test
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ module RANGEMAP
imports private LIST
imports private SET

syntax Range ::= "[" KItem "," KItem ")" [klabel(Rangemap:Range), symbol]
syntax Range ::= "[" KItem "," KItem ")" [klabel(RangeMap:Range), symbol]

syntax RangeMap [hook(RANGEMAP.RangeMap)]
syntax RangeMap ::= RangeMap RangeMap [left, function, hook(RANGEMAP.concat), klabel(_RangeMap_), symbol, assoc, comm, unit(.RangeMap), element(_r|->_), index(0), format(%1%n%2)]
Expand Down Expand Up @@ -133,7 +133,7 @@ LPAREN

ATTR_CONTENT
7,55
Rangemap:Range
RangeMap:Range

RPAREN
7,69
Expand Down

0 comments on commit 4a6efd9

Please sign in to comment.