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

Testsuite and Infrastructure Bugfixes #1

Closed b-scholz closed 8 years ago

b-scholz commented 8 years ago

The test-suite was corrupted by new headers; the scanner showed indeterministic behaviour for corrupted location information by the c-preprocessor; .gitignore did not consider some created files.