2 ms·
Alive/Alive2 [1] is one of the most famous frameworks for compiler transformation verification using BitVec logic [1] https://github.com/AliveToolkit/alive2 ht
by mshockwave 5y ago
Alive/Alive2 [1] is one of the most famous frameworks for compiler transformation verification using BitVec logic
[1] https://github.com/AliveToolkit/alive2 https://github.com/AliveToolkit/alive2