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.
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.