search

AliveToolkit / alive2

Automatic verification of LLVM optimizations
MIT License
769 stars 97 forks source link

Add support for writable attribute #956

Closed nunoplopes closed 3 months ago

nunoplopes commented 11 months ago

https://github.com/llvm/llvm-project/commit/6b8ed78719d0