Add summation feature#777

Draft

prescod wants to merge 4 commits into

mainfrom

feature/summation_feature

Commits on Dec 23, 2022

Add a summation feature.
Paul Prescod
committed
Semi-deterministic testing
Paul Prescod
committed
Rename some files
Paul Prescod
committed

Commits on Dec 24, 2022

Handle a corner case.
Paul Prescod
committed