search

maurer / holmes

Datalog engine with extensions for integrating analyses
MIT License
38 stars 4 forks source link

Trivial Foralls #5

Closed maurer closed 9 years ago

maurer commented 9 years ago

Right now, Forall queries only succeed if the Forall matches something. It would be nice to set it up so that Forall elements do not actually need to match anything for the query to return results.

maurer commented 9 years ago

This is from the old version of holmes, which had semantic inconsistencies.