deps/k: sync K submodule version v6.1.66 · runtimeverification/proof-generation@bd6bf7f

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

Commit

deps/k: sync K submodule version v6.1.66

Browse files

devops committed Dec 19, 2023

1 parent da955dc commit bd6bf7f

+1 −1		install-k
+27 −1		kernel/src/main/java/org/kframework/parser/inner/ParseInModule.java
+6 −0		kernel/src/main/java/org/kframework/parser/inner/disambiguation/inference/InferenceDriver.java
+24 −27		kernel/src/main/java/org/kframework/parser/inner/disambiguation/inference/SortInferencer.java
+1 −1		package/debian/changelog
+1 −1		package/version