CLI: Add x86 TSO extraction and test runner#87
Closed
febyeji wants to merge 1 commit intofeature/isla-um-converterfrom
Closed
CLI: Add x86 TSO extraction and test runner#87febyeji wants to merge 1 commit intofeature/isla-um-converterfrom
febyeji wants to merge 1 commit intofeature/isla-um-converterfrom
Conversation
febyeji
force-pushed
the
feature/isla-um-converter
branch
from
3d546d8 to
648d15a
Compare
febyeji
force-pushed
the
feature/x86-tso-extraction
branch
from
7327f0e to
b281c0b
Compare
febyeji
force-pushed
the
feature/isla-um-converter
branch
from
648d15a to
fb97e17
Compare
febyeji
force-pushed
the
feature/x86-tso-extraction
branch
from
b281c0b to
ce74902
Compare
febyeji
force-pushed
the
feature/isla-um-converter
branch
from
fb97e17 to
37f60b1
Compare
febyeji
force-pushed
the
feature/x86-tso-extraction
branch
2 times, most recently
from
80a7124 to
f9a5844
Compare
febyeji
force-pushed
the
feature/isla-um-converter
branch
from
54e0ef3 to
a186af7
Compare
febyeji
force-pushed
the
feature/x86-tso-extraction
branch
from
f9a5844 to
d2c8c67
Compare
tperami
force-pushed
the
feature/isla-um-converter
branch
from
a186af7 to
dcfa3e9
Compare
tperami
force-pushed
the
feature/x86-tso-extraction
branch
from
d2c8c67 to
23ffcae
Compare
febyeji
force-pushed
the
feature/x86-tso-extraction
branch
from
23ffcae to
414657e
Compare
febyeji
force-pushed
the
feature/isla-um-converter
branch
2 times, most recently
from
16f4445 to
ae744bc
Compare
febyeji
force-pushed
the
feature/x86-tso-extraction
branch
2 times, most recently
from
46a4056 to
b9fae11
Compare
febyeji
force-pushed
the
feature/isla-um-converter
branch
2 times, most recently
from
7c66fb0 to
51e2388
Compare
febyeji
force-pushed
the
feature/x86-tso-extraction
branch
2 times, most recently
from
c38856f to
595a997
Compare
febyeji
force-pushed
the
feature/isla-um-converter
branch
from
51e2388 to
2446268
Compare
tperami
force-pushed
the
feature/isla-um-converter
branch
2 times, most recently
from
4bcc730 to
c447f3b
Compare
febyeji
force-pushed
the
feature/isla-um-converter
branch
from
c447f3b to
e8ff22a
Compare
febyeji
force-pushed
the
feature/x86-tso-extraction
branch
from
595a997 to
888fcf2
Compare
febyeji
force-pushed
the
feature/isla-um-converter
branch
from
e8ff22a to
aad1467
Compare
febyeji
force-pushed
the
feature/x86-tso-extraction
branch
3 times, most recently
from
af7055d to
726c4f1
Compare
febyeji
force-pushed
the
feature/x86-tso-extraction
branch
from
726c4f1 to
b74d17b
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Extract OperationalX86TSO into OCaml, wire tso_model into archsem.ml, add X86Runner and x86_tso CLI command, and include an x86 XOR test.