beta release
Milestone ID: 1218508
The goal of this milestone is to have a compiler, with a solid architecture, outputing relatively decent Michelson code.
The user experience should not be too awful, meaning we should have understandable error messages.
Debugging the compiler, while not as appealing as proving it correct should be feasible, using some options to output intermediate representations, expected stack state at each point of the michelson program, ...
Spec and code should be documented.