Quentin Sabah

Hi, may I ask where these programs originate from? Are they obfuscated versions of actual useful programs, or are they generated by a fuzzer ?

The throw happens in `interpreter::constructNodeType` when node type `I_Erase_Btree_2` is searched for relation `@poscopy_1.wcvj`. There can only be `Erase` nodes for `BtreeDelete` relations, not for `Btree` relations. `@poscopy` prefix indicates...

Could we have a non-specialized btree for situations like this one? It would probably be a bit slower, but sound. The kind of comparison (signed/unsigned/float-direct/float-margin/float-epsilon/...) of each field would be...

For the sake of soundness, at the cost of the performance, I suggest we add a non-specialized version of the btree where we don't specialize anything: - The arity of...

Hi, - What version of Souffle are you using? - How does runtime compares with compiled mode? - Does multithreading helps (`-j N`) ? - You may want to select...

Hi, it is a known limitation of the current SQLite output.

There are no plan to fix this at the moment. Enhancing the sqlite output would require: - specification of the sqlite schema for the record table, - implementation in the...

There is no valid overload for `max(unsigned, number)` in `max(x,0)` because `0` is a signed `number`. Either replace all literals `0` by `0u`, or make `x` a `number`. Souffle should...

Remove `inline` from the `kpis` declaration. Subsumption rules on `inline` relations should probably be forbidden by the semantics checker.

Hi, It is a current limitation of Soufflé: ADT and record values returned by a user-defined functor cannot get destructed into sub-parts. The semantics checker does not catch this limitation...