Open
Milestone
Michelson reference: Full integration
This is milestone following %Michelson reference: Integrating in tezos/tezos code base, consisting of a fuller integration between the reference and the Michelson language, such that new instructions and data types cannot be added without some level of static verification of their documentation. See e.g. #30.