Better space performance for CC work list#150

Merged

shwestrick merged 6 commits into

MPLLang:masterfrom

shwestrick:cc-work-list-opt

Mar 17, 2022

Commits on Mar 12, 2022

adapt cc work list to allow for partial progress on individual objects
shwestrick
committed

Commits on Mar 17, 2022

simplify
shwestrick
committed