Unable to compile the x86-64 semantics

[amelieled]

Hi, I have an issue while compiling the x86-64 semantics. The file x86-instructions-semantics.k is missing and was deleted in commit 270f59f.

[amelieled]

Do you know something about this semantics @ehildenb ?

[amelieled]

According to the following information (git log):

commit 45a4243af6e4cd42a4212e5c7575e876898ec38b (HEAD, tag: v5.0.0-45a4243af)
Author: rv-jenkins <admin@runtimeverification.com>
Date:   Tue Dec 3 11:10:09 2019 -0600

    haskell-backend/src/main/native/haskell-backend: update submodule (#943)

Can I be sure that the translation from K to Kore is available on this commit?

If I used git checkout 45a4243a, and then sudo ./install-k, I obtained:
Unsupported Ubuntu version, try building from source..
Do you know which Ubuntu versions are available?

[niconaus]

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?