We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Build (markdown)
document `./testsuite -k` flag
Add style guide to build documentation
Update build instructions
Remove notes about fixed gcc7 issues
Note current g++-7 issues with openmp
Remove g++-7 suggestion since it currently does not play nice with souffle and omp
Mac requirements out of date
Updated build (markdown)