Unable to compile the x86-64 semantics

Question

Unable to compile the x86-64 semantics

amelieled opened this issue 2 years ago · 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 270f59f.

amelieled · Answer 1 · Fri Feb 17 2023 14:54:34 GMT+0800 (China Standard Time)

Do you know something about this semantics @ehildenb ?

amelieled · Answer 2 · Fri Feb 17 2023 18:21:00 GMT+0800 (China Standard Time)

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?

Nico Naus · Answer 3 · Wed Feb 22 2023 05:39:13 GMT+0800 (China Standard Time)

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?