formal: relax the pending set to cover over-warning; intra-round compaction lemmas - #779

formal: relax the pending set to cover over-warning; intra-round compaction lemmas#779

frankmcsherry merged 2 commits into

TimelyDataflow:master-nextTimelyDataflow/differential-dataflow:master-nextfrom

frankmcsherry:reduce-model-refinementsfrankmcsherry/differential-dataflow:reduce-model-refinementsCopy head branch name to clipboard