Add support for the new reducer interface to dynamic forall#1759

Merged

artv3 merged 8 commits intodevelopfrom artv3/dynamic-forall-reductions

Dec 12, 2024

+88-96

Commits on Oct 31, 2024

Commits on Nov 1, 2024

fix tests
artv3
committed

Commits on Nov 26, 2024

Commits on Dec 5, 2024

Merge branch 'develop' into artv3/dynamic-forall-reductions
artv3
authored

Commits on Dec 11, 2024

Merge branch 'develop' into artv3/dynamic-forall-reductions
rhornung67
authored