Skip to content

Commit d769fd4

Browse files
rv-jenkinsrv-auditorBaltoli
authored
Update dependency: llvm-backend/src/main/native/llvm-backend (#4023)
Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Bruce Collie <brucecollie82@gmail.com>
1 parent aadc926 commit d769fd4

File tree

619 files changed

+740
-700
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

619 files changed

+740
-700
lines changed

‎CHANGELOG.md

Lines changed: 40 additions & 0 deletions

‎flake.lock

Lines changed: 3 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎install-k

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
#!/bin/sh -e
22

3-
K_VERSION=6.2.0
3+
K_VERSION=6.3.0
44

55
if [ `id -u` -ne 0 ]; then
66
echo "$0: error: This script must be run as root."

‎k-distribution/include/kframework/builtin/kast.md

Lines changed: 2 additions & 2 deletions

‎k-distribution/tests/builtins/collections/test-list2set-0.col.out

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
<k>
2-
.Set ~> .
2+
.Set ~> .K
33
</k>

‎k-distribution/tests/builtins/collections/test-list2set-1.col.out

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
<k>
2-
SetItem ( 1 ) ~> .
2+
SetItem ( 1 ) ~> .K
33
</k>

‎k-distribution/tests/builtins/collections/test-list2set-2.col.out

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,5 +2,5 @@
22
SetItem ( 1 )
33
SetItem ( 2 )
44
SetItem ( 3 )
5-
SetItem ( 4 ) ~> .
5+
SetItem ( 4 ) ~> .K
66
</k>

‎k-distribution/tests/builtins/collections/test-list2set-3.col.out

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<k>
22
SetItem ( 1 )
33
SetItem ( 3 )
4-
SetItem ( 4 ) ~> .
4+
SetItem ( 4 ) ~> .K
55
</k>

‎k-distribution/tests/builtins/collections/test-set2list-0.col.out

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
<k>
2-
.List ~> .
2+
.List ~> .K
33
</k>

‎k-distribution/tests/builtins/collections/test-set2list-1.col.out

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
<k>
2-
ListItem ( 1 ) ~> .
2+
ListItem ( 1 ) ~> .K
33
</k>

0 commit comments

Comments
 (0)