Leonid Ryzhyk

PS. The new version of `ddshow` no longer prints anything on `stdout`, so I gave up on trying to implement a reliable status check and just wait for few hundred...

Is your implementation available somewhere?

Thanks! Your comment about planning hints is particularly interesting. I always thought about Souffle's ability to take planning hints as a major strength, which DD does not have right now....

For DDlog implementations of benchmarks, I think we will maintain them as tests in the DDlog repository. As far as I am concerned, there is nothing wrong with keeping DD...

I used our Souffle converter (developed by @mbudiu-vmw) to conver the crdt example to DDlog and manually applied your skipBlank optimization to it. Here is the result I'm getting. Does...

@blp, I know you wrote these instructions in the readme, but just to double check, do you have glibc-static and friends installed on these systems? ``` dnf install glibc-static gmp-static...

@helloqirun , thanks for reporting the issue. That the timestamp is small suggests that ddlog spends this entire time instantiating the enormous dataflow graph with thousands of rules and relations....

I am not familiar with dyck, but here is a equivalent program that adds an `idx` column to `A` and `B` to model 1600 individual relations used in your code....

One way to do this is to add a provenance field to `Value`, but make it invisible to comparison operators, so that different derivations of the same Value look the...

This error means that the worker thread has crashed, so it's likely a bug. Do you see anything else on the stderr from the worker thread by any chance? Is...