Nico Naus
Results
1
comments of
Nico Naus
As far as I understand, running the `make collect` and then `make kompile` command from the readme.md are supposed to generate the `x86-instructions-semantics.k` file. Have you tried running that script?