Hacker GitHub

← All repos

zwegner/x86-sat

View on GitHub ↗ ★ 325 Python

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

4 mentions on Hacker News by 4 people: 3 stories, 1 comment · first 2019-12-20 · latest 2023-05-30

Mentions per year 4 mentions · busiest year 2019 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 153
    Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
    story by djoldman · 2023-05-15 · 24 comments
  2. ▲ 3
    x86 SIMD superoptimizer in ~100 lines of Python
    story by zwegner · 2019-12-22 · 1 comment
  3. ▲ 3
    Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
    story by mpweiher · 2019-12-20 · 0 comments