Hacker News
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs https://github.com/zwegner/x86-sat 24 comments
Lobsters
- x86-sat: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs https://github.com/zwegner/x86-sat 5 comments assembly , compilers , formalmethods
- x86-sat: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs https://github.com/zwegner/x86-sat 5 comments asm
Linked pages
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - zwegner/x86-sat: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
See how to search.