search

google / souper

A superoptimizer for LLVM IR
Apache License 2.0
2.17k stars 170 forks source link

futur m1 support ? #856

Closed ghost closed 2 years ago

ghost commented 2 years ago

it seems not working on m1, because of the KLEE deps.