This repository has been archived by the owner on Feb 7, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
Issues: softminus/mirage-ntp
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
properly put functions and types in the right modules and right .mli files
#15
opened Jun 19, 2016 by
softminus
properly document the provenance of all physical parameters and add units
#13
opened Jun 19, 2016 by
softminus
clean everything to make sure no exceptions get thrown unless TSC invariant is violated
#7
opened Jun 17, 2016 by
softminus
ProTip!
Follow long discussions with comments:>50.