oracle / souffle

DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
https://github.com/souffle-lang
Universal Permissive License v1.0
49 stars 17 forks source link

Profiler fixes #14

Closed MrTomKing closed 8 years ago

MrTomKing commented 8 years ago

Various fixes, and some new sanity tests