milestone goals for 2019-06-14

IntersectMBO · Jun 12, 2019 · ac317f0 · ac317f0
1 parent 04c5f4a
commit ac317f0
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/weekly-reports/2019-06-14/milestone.org b/weekly-reports/2019-06-14/milestone.org
@@ -0,0 +1,7 @@
+* Shelley Ledger Team Milestone 2019-06-14
+** TODO Update the formal spec with the new update mechanism.
+   - [ ] Issue #448
+** TODO Update the formal spec to get the new header validation properties.
+   - [ ] Issue #565
+** TODO update executable spec with changes not affected by changes to the update mechanism.
+   - [ ] Issue #TBD