Remove diffs as internal data structure#213

Merged

RazinShaikh merged 4 commits intozxcalc:masterfrom wlcsm:remove-diffs

Jan 25, 2024

+46-50

Commits on Jan 25, 2024

Fix variable names

Will Cashman
authored and
RazinShaikh
committed
Remove graph diffs

Will Cashman
authored and
RazinShaikh
committed
minor changes to the pr
RazinShaikh
committed
replace the proof test file to match new file format
RazinShaikh
committed