Hey there,

I am trying to reproduce some of your results and get the semantics to work. Unfortunately, I am unable to compile it because there is no tag v3.2.1 in the main K repository and the semantics does not seem to compile with the newest version of the K Framework. Any advice?

Thanks very much,
Maximilian