x86 Repos

zwegner/x86-sat: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

• url: https://github.com/zwegner/x86-sat
• topics: x86, Model Checking
• license: No license

.

ia32-doc/ia32-doc: IA32-doc is a project which aims to put as many definitions from the Intel Manual into machine-processable format as possible

• url: https://github.com/ia32-doc/ia32-doc
• license: MIT

.