CCounter observed-reset operation
mweidner037 opened this issue · comments
Add a reset() method to CCounter that resets the value to 0, undoing all causally-prior increments.
This is not much harder than the current state-based counter implementation, and can probably written so it has minimal perf penalty if you never call reset().
Closing this until there is demonstrated interest.