Anton Lyxell

Nodes created in ConcurrentInsertOnlyHashMap have implicit ownership

3

Currently the nodes created here https://github.com/souffle-lang/souffle/blob/96d557cf6fe43d54eeeb9241bfb1a0905f846745/src/include/souffle/datastructure/ConcurrentInsertOnlyHashMap.h#L170-L178 have implicit ownership, i.e. the developer/reader must manually make sure that memory is always correctly freed. It would be nice if this ownership could...

Do not lock symbol table for strings known at compile time

3

Currently, for a program like the following: ```erlang .decl in(x: symbol) .input in .decl out(y: symbol) .output out out(cat("Hello ", x, "!")) :- in(x). ``` Soufflé produces the following C++...

This applies to `simplify_code_using_map_computeifabsent` as well.

Rule simplify_code_using_streams should check for variables that are not effectively final

2

Since `simplify_code_using_streams` creates a lambda expression we need to check that the variables referenced in the lambda expression are effectively final.

Add more rules

2

* These are all pretty nice https://rules.sonarsource.com/java/RSPEC-4034 * Consider rule for flipping conditional branches - `!x ? a : b => x ? b : a` and `if (!x) a...