search

AliveToolkit / alive2

Automatic verification of LLVM optimizations
MIT License
721 stars 93 forks source link

int2ptr support #988

Open nunoplopes opened 6 months ago

nunoplopes commented 6 months ago

work in progress