This repository was archived by the owner on Feb 1, 2020. It is now read-only.
This repository was archived by the owner on Feb 1, 2020. It is now read-only.
K 4.0 Merge rules #2403
Description
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.