search

maurer / holmes

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

Range queries #6

Closed maurer closed 9 years ago

maurer commented 9 years ago

It would be nice if similar to Exact(3), one could have Range(3, 20)

Initially, variables do not need to be supported, but it might be nice if they were in the long term.

maurer commented 9 years ago

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