hydroflow icon indicating copy to clipboard operation
hydroflow copied to clipboard

feat(dfir_lang): add `last_iteration()` operator

Open MingweiSamuel opened this issue 10 months ago • 2 comments

Un-windowing operator which takes only items produced on the final iteration of the loop block

MingweiSamuel avatar Feb 20 '25 18:02 MingweiSamuel

Of all the operators, this can probably come last. It is not in the Flo paper, since it would require either a) all input streams-of-streams to be bounded which is fairly atypical b) there to be a guarantee of fixpoint termination, which is difficult to prove automatically

shadaj avatar Feb 20 '25 18:02 shadaj

Oops, it is actually in the Flo paper, but only for (a).

shadaj avatar Feb 20 '25 18:02 shadaj