collapse
75%
WDescription%
Build stability: 1 out of the last 4 builds failed.75
Build History
x
 
Algebraic Data Types
https://github.com/souffle-lang/souffle/pull/1581
PR #1581
 
Algebraic Data Types
https://github.com/souffle-lang/souffle/pull/1581
PR #1581
 
Normalise use of public headers
https://github.com/souffle-lang/souffle/pull/1575
PR #1575
 
Provide Support for Nested aggregates
https://github.com/souffle-lang/souffle/pull/1579
PR #1579
Provide Support for Nested aggregates
https://github.com/souffle-lang/souffle/pull/1579
PR #1579
Provide Support for Nested aggregates
https://github.com/souffle-lang/souffle/pull/1579
PR #1579
 
Algebraic Data Types
https://github.com/souffle-lang/souffle/pull/1581
PR #1581

Project PR-Coverage

Configure souffle with CXXFLAGS=--coverage ./configure --enable-debug and run make check with coverage. Coverage results are uploaded to codecov as well as being logged locally.
Recent Changes