Open avanhatt opened 2 years ago
It depends how quickly you'll need it. For the old x86 model, @Alasdair would be able to comment which version, but in a few months we hope to have a rather more complete x86 model in current Sail.
Hi @Alasdair, would you be able to point me to which version or sail to use for the old x86 model? Thanks!
@Alasdair Armstrong @.> and @Thomas Bauereiss @.> have been offline for a bit. A work-in-progress snapshot of the new x86 model is https://github.com/rems-project/sail-x86-from-acl2/tree/master/modelSample/format , translated from Shilpi Goel's ACL2 model by Thomas (building on an earlier translator by Patrick Taylor). Depending what you plan to do with it, that might suit you better.
Peter
On Tue, 16 Aug 2022 at 18:50, Alexa VanHattum @.***> wrote:
Hi @Alasdair https://github.com/Alasdair, would you be able to point me to which version or sail to use for the old x86 model? Thanks!
— Reply to this email directly, view it on GitHub https://github.com/rems-project/sail/issues/173#issuecomment-1216960132, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABFMZZT5DA6CMU7PQH42KCDVZPIEVANCNFSM5XOHYG3A . You are receiving this because you commented.Message ID: @.***>
Sorry I was on holiday last week. It's probably somewhere around this version: https://github.com/rems-project/sail/tree/0.1
Note that this is 3000+ commits and several years old, so depending on what you mean by build you may be out of luck
I see that the README notes that the x86 fragment is not in sync with the current
sail2
branch.Is there a specific branch or tag in this repository that should be used for building
sail2/old/x86
? Or should I be using the version of the source within the rmem repo here?For context, I'm looking to extract SMT for small segments of x86-64 instructions (and aarch64 instructions, for which I can use current sail) for a downstream research project, currently in the exploratory stage for seeing what parts of existing formal semantics we can use.
Thanks!