search

karelklic / canal

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

Optimize operator== on Domains #112

Closed xbrukner closed 11 years ago

xbrukner commented 11 years ago

Canal now spends a lot of time inside these operators - since COW is used, comparing pointers if there are the same may make it even faster.