2017-11-02 Tezos dev update

2017-11-02 Tezos dev update

– Jbuilder done
– Small Michelson tweaks + a refactor to help extract the parser
and the printer
– Stack overflow in validation (with Lwt)
– Work on doc
– Stuck nodes, more debug tools
– Annotation semantics for Michelson

Related Post: