Bernhard Scholz

Optimise crdt & galan

2

Hi Frank, I have optimized crdt for Souffle. On my computer, the benchmark is now less than a second (0.5s) from more than 400s. There is still more potential for...

Update Documentation

2

We added new features to Souffle. We need to check whether these new features are adequately reflected in the documentation: - [ ] Scheduling (new scheduling heuristic / auto-scheduling) -...

Fix#2158

2

This is a partial fix for issue #2158. The aggregate materialisation is still broken.

New Native Python Interface

3

Tom has been working on a native Python interface: https://github.com/souffle-lang/souffle/pull/1809

ADT Representation

4

A single ADT branch uses two records at the moment, i.e., we have following encoding. ``` .type B = b1 { fields1...} | b2 { fields2 ..} | ... ```...

The speed of iterators in EQREL relation can be further improved. For examples such as term rewriting, it would be good to have domain iterators, i.e., ``` .decl A(x:number, y:number)...

Alias type for List and ADT types

3

The current version of Souffle prohibits alias types for lists and ADTs. For example, ``` .type myList = [l:myList, n:number] .type myEqList = myList ``` and ``` .type myADT =...

In RamNestedOperation nodes, we store a profile text for measuring frequencies in the interpreter/synthesiser in case profiling is switched on. ``` /** @brief Get profile text */ const std::string& getProfileText()...

There are few TODOs/improvements left that were mentioned by @TomasPuverle in an early version of the CMake port: - Replace all the shell scripts (e.g. souffle-compile and all the testing...

The AST class descriptions are very terse and need to be extended with syntax examples.