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

Unable to compile the x86-64 semantics

Open amelieled opened this issue 3 years ago • 3 comments

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

amelieled avatar Dec 11 '22 18:12 amelieled

Do you know something about this semantics @ehildenb ?

amelieled avatar Feb 17 '23 06:02 amelieled

According to the following information (git log):

commit 45a4243af6e4cd42a4212e5c7575e876898ec38b (HEAD, tag: v5.0.0-45a4243af)
Author: rv-jenkins <[email protected]>
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?

amelieled avatar Feb 17 '23 10:02 amelieled

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?

niconaus avatar Feb 21 '23 21:02 niconaus