Chase Wilson

I'm working on this rn

That's correct, each job is separated so no race conditions will/can happen

With code like this ```prolog input relation R(x: u32) primary key (r) r.x R(1). ``` If you try to issue a `DeleteKey` command for `1` it'll fail even though the...

I think a really good step towards making a good to use Rust API would be to translate ddlog modules into rust modules as separate files (only slightly different than...

If lack of data is an issue at all, the [`heapsize`](https://crates.io/crates/heapsize) crate could help a lot with getting the sizes of objects

Yes, those are files that were changed from CLRF to LF, I'll make a PR that bites the bullet and standardizes things after this. In the diff view select the...

I don't think that a static option for this is feasible with our current setup since the timely/ddflow sides of things are pretty much opaque to the compiler. It has...

That is very unfortunate and complicates things significantly. Do you think we could at least push the unsoundness back a level (and hopefully out of the range of normal users)...

I have a partial solution that allows users to be checked and internals not to be ```rust // This is what is currently DDValue would become struct DDValueInner { ......

Yes, that's why I specified for match statements since this is just a small syntatic tweak