search

TimelyDataflow / differential-dataflow

An implementation of differential dataflow using timely dataflow on Rust.
MIT License
2.59k stars 184 forks source link

Cursor based on trace's upper #527

Closed antiguru closed 1 week ago

antiguru commented 1 month ago

Fixes a bug where we'd obtain a trace's cursor based on a batch's lower frontier. The trace can be compacted past the batch's lower frontier, which violates cursor_through's assumptions. Instead, we use the trace's upper to obtain the cursor.

Fixes #526.

antiguru commented 1 week ago

This is incorrect!