Markus Scherer

Segmentation violation/assertion violation when using stateful functors in interpreted mode

7

Hi! Problem: When trying to use stateful external functors with the interpreted mode, souffle crashes. ### How to Reproduce: ```bash # build souffle according to documentation # add test.dl and...

Way to check if an ADT value is *not* constructed with a certain branch constructor

7

Hi! I just learned about ADTs in souffle and hit the following problem: In some cases, I want to check if a certain value is *not* constructed with a certain...

Generate component with only specified interfaces

1

Hi everyone! I'm not 100% sure if this is the right place to ask this question or if it maybe is a more of a `rustc` problem. In any case:...