Skip to content
This repository has been archived by the owner on Feb 15, 2024. It is now read-only.

Commit

Permalink
deps/k: sync K submodule version v6.2.1
Browse files Browse the repository at this point in the history
  • Loading branch information
devops committed Feb 1, 2024
1 parent 51604e8 commit 5b5c9f2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/k
Submodule k updated 18 files
+39 −0 CHANGELOG.md
+3 −3 flake.lock
+1 −1 install-k
+27 −26 k-distribution/include/kframework/builtin/domains.md
+2 −0 k-distribution/tests/regression-new/mutable-bytes/Makefile
+7 −0 k-distribution/tests/regression-new/mutable-bytes/default/Makefile
+1 −0 k-distribution/tests/regression-new/mutable-bytes/default/a.test
+11 −0 k-distribution/tests/regression-new/mutable-bytes/default/a.test.out
+21 −0 k-distribution/tests/regression-new/mutable-bytes/default/test.k
+7 −0 k-distribution/tests/regression-new/mutable-bytes/mutable/Makefile
+1 −0 k-distribution/tests/regression-new/mutable-bytes/mutable/a.test
+11 −0 k-distribution/tests/regression-new/mutable-bytes/mutable/a.test.out
+21 −0 k-distribution/tests/regression-new/mutable-bytes/mutable/test.k
+4 −0 llvm-backend/src/main/java/org/kframework/backend/llvm/LLVMBackend.java
+1 −1 llvm-backend/src/main/native/llvm-backend
+1 −1 package/arch/PKGBUILD
+1 −1 package/debian/changelog
+1 −1 package/version

0 comments on commit 5b5c9f2

Please sign in to comment.