add support for range attribute in args and ret val - Githubissues

AliveToolkit / alive2

Automatic verification of LLVM optimizations

MIT License

719 stars 93 forks source link

add support for range attribute in args and ret val #1021

Closed nunoplopes closed 2 months ago

nunoplopes commented 3 months ago

https://github.com/llvm/llvm-project/commit/40282674e980