carbon icon indicating copy to clipboard operation
carbon copied to clipboard

Published 20 hours ago • verified publisher icon viperproject

Predicate versioning code is spread between the HeapModule and thye FuncPredModule

Open viper-admin opened this issue 7 years ago • 0 comments

Created by @alexanderjsummers on 2017-05-08 17:55

It should all take place in the FuncPredModule. It's also not totally clear, but it seems as though it's currently too conservative (updating both when we lose permission to a predicate and when we regain it) - this could hurt performance (probably mildly)

viper-admin avatar May 08 '17 17:05 viper-admin