Hacker GitHub

← All repos

AliveToolkit/alive2

View on GitHub ↗ ★ 1,204 C++

Automatic verification of LLVM optimizations

8 mentions on Hacker News by 8 people: 1 story, 7 comments · first 2021-05-03 · latest 2025-09-03

Mentions per year 8 mentions · busiest year 2023 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 1
    John Regehr: Alive2 LLVM optims verification
    story by Cybergenik · 2023-02-19 · 0 comments