added 17 commits
We now track the last revision in which constants were modified. When we see a constant query result, we record the current revision as well. Then later we can check if the result is "still" constant. This lets us cut out a lot of intermediate work.
Closed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters