zwegner/x86-sat

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

153 best points · 25 comments · 3 Hacker News posts · 325 GitHub stars · View on GitHub

Hacker News discussions

• Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs (153 points, 24 comments, by djoldman, 2023-05-15)
• Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs (3 points, 0 comments, by mpweiher, 2019-12-20)
• x86 SIMD superoptimizer in ~100 lines of Python (3 points, 1 comments, by zwegner, 2019-12-22)