Christian G. Warden

I'm not positive that this needs a new option. If it does, perhaps it should be generalized to more than structs or to depths other than zero. Please take a...

Hi @imdario. This change has been working well for me in https://github.com/ForceCLI/force-md.

I'm still able to reproduce this bug as of dd54728dddb861a2e1b0a6fc7b1c549672d31089.

I solved it with a relation that maps the Cell records to `autoinc()` values that I used in `number_bigger`, but a relation of `(bigger: Cell, smaller: Cell)` tuples works as...

When the c++ program is generated without parallelism enabled, calling `setNumThreads` doesn't do anything, afaict. This change makes it fail by throwing an exception. Are there any downsides to this...

> Isn't it possible to build Souffle with OpenMP disabled. Then use that Souffle to produce c++ code with all the necessary openmp directives. And finally build the generated code...

Synthesizing time is when the generated code will either [support parallelism or not](https://gist.github.com/cwarden/ca6c2fe1fbfb193f78268fb2d11ae185) so I think we need to evaluate the condition at that time. Checking whether `_OPENMP` is defined...

The issue that I've run into is that code generated with `souffle -g` provides `setNumThreads` whether `-j` is specified or not. But if `-j` is not used at synthesis time...

> Can you run `clang-format -i src/include/souffle/swig/SwigInterface.h` to ensure that the code changes are uniformly formatted. Cleaned up whitespace using `clang-format` in 7b34b5fba9ef505579ad282ed5e2329bf110dcb5.

> Do you need more help with this? I could use some help to finish this off. If someone has time to finish up the tests and java/python examples, I...