Y
Hacker News
new
|
ask
|
show
|
jobs
by
quazar
886 days ago
Formal specification of LLVM and compile semantics to Z3, I would guess.
1 comments
boomanaiden154
886 days ago
Pretty much this. It's called Alive2.
https://dl.acm.org/doi/abs/10.1145/3453483.3454030
link
isaacfrond
886 days ago
tnanks
link
https://dl.acm.org/doi/abs/10.1145/3453483.3454030