60%
WDescription%
Build stability: 2 out of the last 5 builds failed.60
Build History
x
 
Refactoring Interpreter p2
https://github.com/souffle-lang/souffle/pull/1720
PR #1720
 
Refactoring Interpreter p2
https://github.com/souffle-lang/souffle/pull/1719
PR #1719
 
Refactoring Interpreter p2
https://github.com/souffle-lang/souffle/pull/1719
PR #1719
 
Refactoring Interpreter
https://github.com/souffle-lang/souffle/pull/1718
PR #1718
 
monomorphisation ain't free, part 2: reduce # of `RelationWrapper` template instances in...
 
Use Focal for Travis docker images
https://github.com/souffle-lang/souffle/pull/1717
PR #1717
 
monomorphisation ain't free, part 2: reduce # of `RelationWrapper` template instances in...
 
Unfriend ast::Program and...
 
Fix profile event output escaping
https://github.com/souffle-lang/souffle/pull/1715
PR #1715
 
monomorphisation ain't free, part 2: reduce # of `RelationWrapper` template instances in...
 
optimize simple min aggregates.
https://github.com/souffle-lang/souffle/pull/1707
PR #1707
 
Relax type constraints involving negation.
https://github.com/souffle-lang/souffle/pull/1712
PR...
 
monomorphisation ain't free, part 2: reduce # of `RelationWrapper` template instances in...
 
WIP: optimize simple max min aggregates.
https://github.com/souffle-lang/souffle/pull/1707
PR #1707
 
WIP: optimize simple max min aggregates.
https://github.com/souffle-lang/souffle/pull/1707
PR #1707
 
WIP: optimize simple max min aggregates.
https://github.com/souffle-lang/souffle/pull/1707
PR #1707
 
WIP: optimize simple max min aggregates.
https://github.com/souffle-lang/souffle/pull/1707
PR #1707
 
WIP: optimize simple max min aggregates.
https://github.com/souffle-lang/souffle/pull/1707
PR #1707
 
Extract Type Checker from Semantic Checker
https://github.com/souffle-lang/souffle/pull/1706
PR...
 
Extract Type Checker from Semantic Checker
https://github.com/souffle-lang/souffle/pull/1706
PR...
 
Extract Type Checker from Semantic Checker
https://github.com/souffle-lang/souffle/pull/1706
PR...
 
WIP: optimize simple max min aggregates.
https://github.com/souffle-lang/souffle/pull/1707
PR #1707
 
Extract Type Checker from Semantic Checker
https://github.com/souffle-lang/souffle/pull/1706
PR...
 
monomorphisation ain't free, part 2: reduce # of `RelationWrapper` template instances in...
 
Brie template instances reduction
https://github.com/souffle-lang/souffle/pull/1697
PR #1697
 
WIP: optimize simple max min aggregates.
https://github.com/souffle-lang/souffle/pull/1707
PR #1707
 
Brie template instances reduction
https://github.com/souffle-lang/souffle/pull/1697
PR #1697
 
Extract Type Checker from Semantic Checker
https://github.com/souffle-lang/souffle/pull/1706
PR...
 
monomorphisation ain't free, part 2: reduce # of `RelationWrapper` template instances in...

Project PR-distcheck

Compile souffle then test with make distcheck
Next run make install and check install was successful
Recent Changes