We call Byron 1.0 the spec released at the 2019 Summit.
Specify more properties of the transition system and write tests for them.
Solve minor issues, including discrepancies between formal and executable spec.
List view
0 issues of 0 selected
There are no open issues in this milestone
Add issues to milestones to help organize your work for a particular release or project. Find and add issues with no milestones in this repo.