Quentin Sabah

Hi, thanks for reporting this. Would you like to submit a fix ?

Hi, @yonatan it would be nice to have a few tests covering this improvement.

Hi, it's probably related to #2069, #2373, #2195 Usually it's because `souffle` and the functors library don't use the same setup for `openmp` (disabled in one build, enabled in the...

`souffle -v` displays a line like `Options enabled: ` listing `openmp` when it was built with openmp.

The `Word size` don't match, that's probably the issue. Both should agree on the word size. By default word size is `32`. Use compilation definition `-DRAM_DOMAIN_SIZE=64` for a word size...

If you use a souffle with `Word size: 64 bits`, you must compile your functor library with `-DRAM_DOMAIN_SIZE=64` so that they both agree on the size of scalar values. Maybe...

Hi, this test simply exercises corner cases of the C pre-processor with identifiers that may be interpreted as special keywords by some compilers. It can be disabled by removing/disabling this...

Hi, a good explanation of ADT representation is still missing from the docs. You can refer to https://github.com/souffle-lang/souffle/issues/2055#issuecomment-917902328 And yes, ADT branches are indexed by alphabetical order.

That might be a limitation of the flex lexer. Not sure.

Computed value for `hardware_destructive_interference_size` is used in `alignas` and is expected to be a power of `2`. Comptation can be found here: https://github.com/souffle-lang/souffle/blob/e6cc66820e0d3c537f57aab2f5c80b0d54cb5208/src/include/souffle/utility/ParallelUtil.h#L26-L35 We never had any report of a...