search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 3 forks source link

Implement extractelement in domains #155

Closed karelklic closed 11 years ago

karelklic commented 11 years ago

Implement extractelement in domains and use it in operations instead of getValue().