Milestone Nov 2, 2017–Nov 23, 2017
Definition of HOA structure
This includes defining data types that are close to the HOA representation as well as their semantics.
Furthermore, the data structures need to be converted to actual strings in SML code.
All issues for this milestone are closed. You may close this milestone now.
Unstarted Issues (open and unassigned)
Ongoing Issues (open and assigned)