New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix(timer): don't enforce advancement, just prevent moving backwards #329

Merged

Chris-Hibbert merged 1 commit into master from 328-timer-monotonicity-fix

Dec 12, 2019

Member

michaelfig commented Dec 12, 2019 •

edited

Loading

Also update docs/timer.md to document timer vat API.

Closes #328, closes #65


          fix(timer): don't enforce advancement, just prevent moving backwards

7a0a509

Also update docs/timer.md to document timer vat API.

Closes #328

michaelfig requested a review from Chris-Hibbert

December 12, 2019 17:51

Chris-Hibbert approved these changes

View reviewed changes

Chris-Hibbert merged commit 027d4b6 into master

michaelfig deleted the 328-timer-monotonicity-fix branch

March 2, 2020 19:01

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet