This repository has been archived by the owner on Feb 1, 2020. It is now read-only.
K 4.0 Merge rules #2403
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
I used K3.6 to write the semantics of a language. Now I want to move to K4.0. But there is a problem for kompile. In K4.0, there is a new module called merge rules. Merge rules for the model will give an exeception of indexoutofbouds. I want to know is there anyone can give an explanation for the merging rule module.
The text was updated successfully, but these errors were encountered: