search

kframework / X86-64-semantics

Semantics of x86-64 in K
Other
131 stars 11 forks source link

Unable to compile the x86-64 semantics #13

Open amelieled opened 1 year ago

amelieled commented 1 year ago

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 commented 1 year ago

Do you know something about this semantics @ehildenb ?

amelieled commented 1 year ago

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 commented 1 year ago

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?