python-semantics icon indicating copy to clipboard operation
python-semantics copied to clipboard
verified publisher icon kframework

Outdated Installation Instructions

Open koehlma opened this issue 5 years ago • 0 comments

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

koehlma avatar Sep 29 '20 08:09 koehlma