Chase Wilson

Currently we have the [config option for debug regions](https://github.com/vmware/differential-datalog/blob/b0a74ef18c5309d02b5f1adc7b4b01b7a2f22e75/rust/template/differential_datalog/src/program/config.rs#L20-L26) but they haven't been implemented yet Blocked on [timely/#392](https://github.com/TimelyDataflow/timely-dataflow/issues/392)

Improve support for rust "FFI"

4

I've got no idea how things would work, but as-is writing rust alongside ddlog kinda sucks, especially if you write relation transformers. In an ideal scenario we'd check all these...

Program does not contain primary keys from inital ddlog state

5

When a program has initial state within it, primary keys are not propagated to the indexed value map, causing errors when trying to manipulate those values by key

Allow user context in relation transformers

9

I've got a situation where I'd like to construct one of two different dataflows within a transformer based on the external context of the program. When in the program using...

If an input is never used within a computation, ddlog still keeps the session and relations around even though they can't do anything meaningful and are relatively expensive to keep...

[Optimization] Remove intermedeate concatenations

1

I see a lot of concat chains where each concat feeds into another without the output of the intermediates being used. These could all be compressed into a single concat...

[Optimization] Reduce the number of redundant maps

2

As of now we seem to generate a lot of `FlatMap` -> `Map`, `Map` -> `Map` and `FlatMap` -> `FlatMap` chains. I'm not really sure *why*, but this could be...

Consolidation is [just an arrangement](https://github.com/TimelyDataflow/differential-dataflow/blob/master/src/operators/consolidate.rs#L57-L62), so we should avoid consolidating collections directly before we arrange them since the consolidate is both expensive and redundant 

Don't aggregate collections twice

4

For relations that are both [distinct](https://github.com/vmware/differential-datalog/blob/master/rust/template/differential_datalog/src/program/worker.rs#L654-L659) and [output](https://github.com/vmware/differential-datalog/blob/master/rust/template/differential_datalog/src/program/worker.rs#L701-L704) they'll be aggregated twice, first at the distinct/threshold total and again at the consolidation. This can save non-trivial amounts of time (over...

D3Log doesn't compile on Windows

3

D3log has compile errors on Windows, which makes it really annoying to try and work on the whole of ddlog since it errors out constantly Errors ```rust error[E0433]: failed to...