karmaresearch / vlog

Apache License 2.0
55 stars 9 forks source link

Store IDB predicates only #100

Closed larry-gonzalez closed 1 year ago

larry-gonzalez commented 1 year ago

Regardless code comments, VLog save both EDB and IDB predicates's extensions after materialization.

In this pull request we check first if the predicate is actually an IDB predicate, and only then we save its extension.