collapse
80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
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
Algebraic Data Types
https://github.com/souffle-lang/souffle/pull/1581
PR #1581
 
Provide Support for Nested aggregates
https://github.com/souffle-lang/souffle/pull/1579
PR #1579
 
Fixed Silly Issue with Index Calculation in Synthesiser for Type...
 
Provide Support for Complex aggregates
https://github.com/souffle-lang/souffle/pull/1579
PR #1579
 
Extended progarm minimiser to support clauses with...
 
File refactor
https://github.com/souffle-lang/souffle/pull/1574
PR #1574
 
Normalise use of public headers
https://github.com/souffle-lang/souffle/pull/1575
PR #1575
 
File refactor
https://github.com/souffle-lang/souffle/pull/1574
PR #1574
 
File refactor
https://github.com/souffle-lang/souffle/pull/1574
PR #1574
 
File refactor
https://github.com/souffle-lang/souffle/pull/1574
PR #1574
 
File refactor
https://github.com/souffle-lang/souffle/pull/1574
PR #1574
 
File refactor
https://github.com/souffle-lang/souffle/pull/1574
PR #1574
 
Fix for RamTypes in Synthesiser
https://github.com/souffle-lang/souffle/pull/1573
PR #1573
 
Fix for RamTypes in Synthesiser
https://github.com/souffle-lang/souffle/pull/1573
PR #1573
 
Move I/O system to the io directory
https://github.com/souffle-lang/souffle/pull/1570
PR #1570
 
Split ram headers
https://github.com/souffle-lang/souffle/pull/1572
PR #1572
 
Move I/O system to the io directory
https://github.com/souffle-lang/souffle/pull/1570
PR #1570
 
Split ram headers
https://github.com/souffle-lang/souffle/pull/1572
PR #1572
 
Updated equivalence check to check permutations...
 
Move I/O system to the io directory
https://github.com/souffle-lang/souffle/pull/1570
PR #1570
 
Updated equivalence check to check permutations...
 
Indexed Inequalities in Souffle (Fixed!)
https://github.com/souffle-lang/souffle/pull/1563
PR #1563
Indexed Inequalities in Souffle (Fixed!)
https://github.com/souffle-lang/souffle/pull/1563
PR #1563

Project PR-Memory

make check test with memory sanitiser enabled

Standard tests will fail if memory leaks are detected
Recent Changes