search

karelklic / canal

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

Optimize StateMap merge by checking if merge is necessary #109

Closed xbrukner closed 11 years ago

xbrukner commented 11 years ago

StateMap calls merge every time it finds same domain in previous state and current state. It may be faster to compare these domains, and merge them only if there are different.