Translate proto-alpha with axioms
The goal of this task is to translate the proto_alpha
version of the protocol of Tezos https://gitlab.com/tezos/tezos/-/tree/master/src/proto_alpha/lib_protocol For this task, we can assume some functions that are hard to translate are translated as axioms. We also put the whole Script_ir_translator.v
as an axiom files by translating the .mli
instead of the .ml
.