Relay properties of progressions as well#127

Open

mlell wants to merge 3 commits intofutureverse:developfrom

Commits on Nov 12, 2021

Fix the number of progressor steps in the relay_progress example
mlell
committed

Commits on Nov 13, 2021

Forward progression properties when relaying a progression
mlell
committed

Commits on Jul 12, 2023

Merge branch 'HenrikBengtsson:develop' into develop
mlell
authored