issues
search
karelklic
/
canal
Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32
stars
2
forks
source link
Value-representing domains should know the exact LLVM type
#103
Closed
karelklic
closed
11 years ago
karelklic
commented
11 years ago
Required for issue #30.
Required for issue #30.