- 02 Jul, 2016 1 commit
-
-
Adam Barth authored
We now stop updating semantics when there are no remaining clients.
-
- 01 Jul, 2016 1 commit
-
-
Adam Barth authored
Also, make SemanticsOwner into a real class and use it instead of a static in several places.
-
- 06 Apr, 2016 1 commit
-
-
krisgiesing authored
Fixes #2855
-