Page MenuHomePhabricator

david_stone (David Stone)


User does not belong to any projects.

User Details

User Since
Jan 14 2020, 3:37 PM (73 w, 4 d)

Recent Activity

Jan 21 2020

david_stone added a comment to D72552: [Concepts] Constraint Satisfaction Caching.

Mechanically, this looks fine.

There's an ongoing discussion in the committee as to whether this kind of caching is permissible. But if this is necessary for acceptable performance, let's take this for now and figure out how to invalidate the cache as necessary later. Perhaps a -f flag to turn this off would be useful, so we can demonstrate and measure the performance delta.

Jan 21 2020, 4:22 PM · Restricted Project