Bernhard Scholz

We have never tested range in aggregates.

Thanks - we should fix this.

No - we don't have stable model semantics etc.

Would you be interested in implementing more complex aggregates?

My email address is [email protected]

The main purpose for AST/RAM outputs was mainly debugging, but it would be nice if they correspond with the input. Could you fix this? The printing of these operators happen...

For RAM it is here: https://github.com/souffle-lang/souffle/blob/cd687c9fcf303bd13f32db1d2652694e50fb1d62/src/ram/IntrinsicOperator.h#L59

The translation is happening in the files `FunctorsOps.cpp` and `FunctorOps.h`.

You need to run the profiler first: https://souffle-lang.github.io/profiler Use a serious workload (e.g. run the whole blockchain as an input case). In the profiler you will see that only a...

I can confirm that souffle crashes.