From bc47d4550fc73ceccf2cb17c81df040aa5f8fd42 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 4 Dec 2023 18:00:45 -0700 Subject: [PATCH 1/3] Update dependency: llvm-backend/src/main/native/llvm-backend (#3837) Co-authored-by: devops --- flake.lock | 6 +++--- llvm-backend/src/main/native/llvm-backend | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 361ee74e746..df9b3941a83 100644 --- a/flake.lock +++ b/flake.lock @@ -118,11 +118,11 @@ ] }, "locked": { - "lastModified": 1701348593, - "narHash": "sha256-kBtj9cf2VF4vid7w8C95OPjC7wWlN8lFFVsFL2J7f3w=", + "lastModified": 1701732274, + "narHash": "sha256-r27q6NkKGq5sV84f/2SkerSuosqCJGD0F2YT83UhHbw=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "4cbbb3a13dfb92903d9a955b1d7da4f38c6ef5fd", + "rev": "f43af6571220434c1da65d0b4bf4776b34d0d965", "type": "github" }, "original": { diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index 4cbbb3a13df..f43af657122 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 4cbbb3a13dfb92903d9a955b1d7da4f38c6ef5fd +Subproject commit f43af6571220434c1da65d0b4bf4776b34d0d965 From 0826d0170b1e342b801f8da33adf9ebe464d8c9f Mon Sep 17 00:00:00 2001 From: Radu Mereuta Date: Tue, 5 Dec 2023 14:50:14 +0200 Subject: [PATCH 2/3] Add more outdated warnings (#3846) Add more outdated warnings. --- .../2_languages/3_fun/1_untyped/2_substitution/fun-untyped.md | 4 ++++ k-distribution/pl-tutorial/2_languages/4_logik/basic/logik.md | 3 +++ .../4_logik/extended/exercises/logik-extended/logik.k | 4 ++++ 3 files changed, 11 insertions(+) diff --git a/k-distribution/pl-tutorial/2_languages/3_fun/1_untyped/2_substitution/fun-untyped.md b/k-distribution/pl-tutorial/2_languages/3_fun/1_untyped/2_substitution/fun-untyped.md index fff5887897b..b09df15403a 100644 --- a/k-distribution/pl-tutorial/2_languages/3_fun/1_untyped/2_substitution/fun-untyped.md +++ b/k-distribution/pl-tutorial/2_languages/3_fun/1_untyped/2_substitution/fun-untyped.md @@ -2,6 +2,10 @@ copyright: Copyright (c) K Team. All Rights Reserved. --- +// NOTE: this definition is not up to date with the latest version of K, as it +// uses both substitution and symbolic reasoning. +// It is intended for documentation and academic purposes only. + # FUN — Untyped — Substitution Author: Grigore Roșu (grosu@illinois.edu) diff --git a/k-distribution/pl-tutorial/2_languages/4_logik/basic/logik.md b/k-distribution/pl-tutorial/2_languages/4_logik/basic/logik.md index 609d817ffe9..a8ba9f80ecb 100644 --- a/k-distribution/pl-tutorial/2_languages/4_logik/basic/logik.md +++ b/k-distribution/pl-tutorial/2_languages/4_logik/basic/logik.md @@ -2,6 +2,9 @@ copyright: Copyright (c) K Team. All Rights Reserved. --- +// NOTE: this definition is not runnable as is. +// It is intended for documentation and academic purposes only. + # LOGIK Author: Grigore Roșu (grosu@illinois.edu) diff --git a/k-distribution/pl-tutorial/2_languages/4_logik/extended/exercises/logik-extended/logik.k b/k-distribution/pl-tutorial/2_languages/4_logik/extended/exercises/logik-extended/logik.k index e91d5d60582..cbff848c668 100644 --- a/k-distribution/pl-tutorial/2_languages/4_logik/extended/exercises/logik-extended/logik.k +++ b/k-distribution/pl-tutorial/2_languages/4_logik/extended/exercises/logik-extended/logik.k @@ -1,4 +1,8 @@ // Copyright (c) K Team. All Rights Reserved. + +// NOTE: this definition is not runnable as is. +// It is intended for documentation and academic purposes only. + require "unification.k" module LOGIK-COMMON From d442b639150cd0d3ac282ed941a5152f81776ce3 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 5 Dec 2023 09:28:11 -0700 Subject: [PATCH 3/3] Update dependency: llvm-backend/src/main/native/llvm-backend (#3847) Co-authored-by: devops --- flake.lock | 6 +++--- llvm-backend/src/main/native/llvm-backend | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index df9b3941a83..ba1e2754141 100644 --- a/flake.lock +++ b/flake.lock @@ -118,11 +118,11 @@ ] }, "locked": { - "lastModified": 1701732274, - "narHash": "sha256-r27q6NkKGq5sV84f/2SkerSuosqCJGD0F2YT83UhHbw=", + "lastModified": 1701789957, + "narHash": "sha256-8gSsO9P2JwmVDuu1Cn+hIrc2CztYTtWX33WPf5SETto=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "f43af6571220434c1da65d0b4bf4776b34d0d965", + "rev": "04dd60e70c62fe73785da321f964ee438f84ca91", "type": "github" }, "original": { diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index f43af657122..04dd60e70c6 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit f43af6571220434c1da65d0b4bf4776b34d0d965 +Subproject commit 04dd60e70c62fe73785da321f964ee438f84ca91