search

karelklic / canal

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

Cleanup super_ptr branch #110

Closed xbrukner closed 11 years ago

xbrukner commented 11 years ago

Super_ptr branch will not be merged to master and is kept only for future reference, which makes this issue unimportant.