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. …less hand heuristic tuning effort (which likely still loses out to current solvers). [1] https://github.com/zwegner/x86-sat [2] https://people.cs.umass.edu/~aabhinav/Publications/Unbounded...
    comment by SideQuark · 2023-05-30 · in My first superoptimizer
  2. ▲ 153
    Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
    story by djoldman · 2023-05-15 · 24 comments
  3. ▲ 3
    x86 SIMD superoptimizer in ~100 lines of Python
    story by zwegner · 2019-12-22 · 1 comment
  4. ▲ 3
    Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
    story by mpweiher · 2019-12-20 · 0 comments