Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Test the ported K rules #77

Open
3 of 6 tasks
sdasgup3 opened this issue Jun 5, 2018 · 0 comments
Open
3 of 6 tasks

Test the ported K rules #77

sdasgup3 opened this issue Jun 5, 2018 · 0 comments
Assignees
@sdasgup3
Labels
testing X86-64-Semantics
Milestone
Test Readiness & ...

Comments

@sdasgup3
Copy link
Owner

sdasgup3 commented Jun 5, 2018 •
edited
Loading

  • Implement the sandbox testing infrastructure.
  • Check if the tests in semantics/../tests/ passes
  • Implement the hooks for uifs
  • Test the instructions using the uifs.
  • Test the remaining instruction (that does not use uifs). If time permits.
  • Gcc torture tests
@sdasgup3 sdasgup3 added this to the Test Readiness milestone Jun 5, 2018
@sdasgup3 sdasgup3 self-assigned this Jun 5, 2018
sdasgup3 added a commit to sdasgup3/strata-stoke that referenced this issue Jun 5, 2018
@sdasgup3
sdasgup3/binary-decompilation#77: wip
e9c0b73
sdasgup3 added a commit to sdasgup3/strata-stoke that referenced this issue Jun 5, 2018
@sdasgup3
sdasgup3/binary-decompilation#77: wip
aec1b66
sdasgup3 added a commit to sdasgup3/x86-64-instruction-summary that referenced this issue Jun 6, 2018
@sdasgup3
sdasgup3/binary-decompilation#77: wip
c3d0959
sdasgup3 added a commit to sdasgup3/x86-64-instruction-summary that referenced this issue Jun 6, 2018
@sdasgup3
sdasgup3/binary-decompilation#77: wip
f39cf2a
sdasgup3 added a commit that referenced this issue Jun 6, 2018
@sdasgup3
#77: wip
8c55cd1
sdasgup3 added a commit that referenced this issue Jun 6, 2018
@sdasgup3
#77: wip
9ac0309
sdasgup3 added a commit that referenced this issue Jun 6, 2018
@sdasgup3
#77: wip
cad050d
sdasgup3 added a commit that referenced this issue Jun 6, 2018
@sdasgup3
#77: wip
919099c
sdasgup3 added a commit that referenced this issue Jun 6, 2018
@sdasgup3
#77: wip
ca115a3
sdasgup3 added a commit to sdasgup3/strata-stoke that referenced this issue Jun 6, 2018
@sdasgup3
sdasgup3/binary-decompilation#77: wip
c3a56ff
sdasgup3 added a commit that referenced this issue Jun 6, 2018
@sdasgup3
#77: wip
e0f1cc4
sdasgup3 added a commit that referenced this issue Jun 6, 2018
@sdasgup3
#77: wip
b9161ee
sdasgup3 added a commit that referenced this issue Jun 7, 2018
@sdasgup3
#77: wip
166612f
sdasgup3 added a commit that referenced this issue Jun 7, 2018
@sdasgup3
#77: wip
24de5ce
sdasgup3 added a commit that referenced this issue Jun 7, 2018
@sdasgup3
#77: wip
e737b51
sdasgup3 added a commit that referenced this issue Jun 7, 2018
@sdasgup3
#77: wip
558c7b2
sdasgup3 added a commit that referenced this issue Jun 7, 2018
@sdasgup3
#77: wip
a5bc1e8
sdasgup3 added a commit that referenced this issue Jun 7, 2018
@sdasgup3
#77: wip
8675d76
sdasgup3 added a commit that referenced this issue Jun 7, 2018
@sdasgup3
#77: wip
6c087ba
sdasgup3 added a commit that referenced this issue Jun 7, 2018
@sdasgup3
#77: wip
a19b5de
sdasgup3 added a commit that referenced this issue Jun 7, 2018
@sdasgup3
#77: wip
9af047a
sdasgup3 added a commit that referenced this issue Jun 7, 2018
@sdasgup3
#77: wip
5d699c7
sdasgup3 added a commit that referenced this issue Jun 7, 2018
@sdasgup3
#77: wip
cc9c372
sdasgup3 added a commit that referenced this issue Jun 8, 2018
@sdasgup3
#77: wip
efd39dd
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
https://github.com/sdasgup3/binary-decompilation/issues/77
812c64e
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
https://github.com/sdasgup3/binary-decompilation/issues/77
fd80739
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
https://github.com/sdasgup3/binary-decompilation/issues/77
558e4c7
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
https://github.com/sdasgup3/binary-decompilation/issues/77
4965c7f
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
https://github.com/sdasgup3/binary-decompilation/issues/77
51980c6
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
https://github.com/sdasgup3/binary-decompilation/issues/77
a5fd9e6
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
https://github.com/sdasgup3/binary-decompilation/issues/77
ee3bca1
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
125d3d2
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
0124ed3
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
https://github.com/sdasgup3/binary-decompilation/issues/77
1c57136
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
https://github.com/sdasgup3/binary-decompilation/issues/77
2972ee2
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
https://github.com/sdasgup3/binary-decompilation/issues/77
ae57b4c
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
https://github.com/sdasgup3/binary-decompilation/issues/77
ea24e5f
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
46df6ad
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
61119ab
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
1ce0292
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
4f4d4a5
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
2c851c5
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
1f18ef5
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
8c5fb51
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
7ecc8ad
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
67a7ff2
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
75f3f5a
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
a0986ef
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
56c802e
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
a7b709b
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
33712f8
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
415ebcd
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
bf84166
sdasgup3 added a commit to kframework/X86-64-semantics that referenced this issue Jan 10, 2019
@sdasgup3
sdasgup3/binary-decompilation#77: wip
f5888af
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sdasgup3 sdasgup3

Labels
testing X86-64-Semantics
Projects
None yet
Milestone
Test Readiness & Usability
Development

No branches or pull requests
1 participant
@sdasgup3