WDescription%
Build stability: No recent builds failed.100
Build History
x
 
Refactoring Interpreter p2
https://github.com/souffle-lang/souffle/pull/1720
PR #1720

Project PR-Linter

Compile souffle for the generated files, then run clang-tidy to identify error-prone code

Disabled due to error prone linting 2020-11-05
- breaks Brie.h:2797
This project is currently disabled
Recent Changes