issues
search
karelklic
/
canal
Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32
stars
3
forks
source link
Use the insertelement instruction from Domains
#154
Closed
karelklic
closed
11 years ago