Carthage 006 Changelog

Proto: remove .ocamlformat-ignore and make fmt

Apply the ocamlformat tool to the protocol codebase.

Protocol/Migration: remove babylon's vanity nonce

Protocol/Storage: initialize big_map ids only for genesis

Protocol/RPC: fix 'baking_rights' so that 'max_priority' is included

Fix a bug where the ../helpers/baking_rights RPC would exclude the
max_priority baking right from its result.

Protocol/Emmy+: fix baking and endorsement reward formulae

Fix the imprecision in the baking reward formula to make it linear in
the number of endorsements included instead of a step function.

Improve the precision on the endorsement reward computation by
applying the priority malus on the total endorsement reward.

Protocol/Michelson: fix comparable comb pairs

Allow comb pairs as map keys and set elements, not only as operands of
COMPARE.

Protocol/Michelson: allow all parameter types when typechecking a litteral

Extend the range of the typecheck_data RPC by also allowing big_map
values.

Protocol/Gas: increase the gas limits per block and operation by 30%

Bump the gas limit for blocks and operations by 30% going from 800000
per operation and 8000000 per block to 104000 per operation and
1040000 per block.

Protocol/Migration: bump gas limit constants in the context

Update the gas limit constants in the context on protocol transition.

Protocol/Michelson: remove the peephole optimisation of UNPAIR

Remove an unreachable optimisation. A proper UNPAIR instruction shall
be added in the next protocol instead.

Protocol/Michelson: handling of the bad arity error for the EMPTY_BIG_MAP instruction

Improve error reporting when checking for the arity of the
EMPTY_BIG_MAP instruction

Protocol/Michelson: fix the interpretation of the MAP instruction on maps

In the previous implementation, accumulating a value during a MAP on a
map was impossible because the initial stack tail was restored. This
was not the documented behavior of the MAP instruction and it was
inconsistent with the case of mapping over a list.

BREAKING CHANGE: originated contracts that rely on the previous and
incorrect) semantics might behave incorrectly.

Protocol/Michelson: improve the performance of the CONTRACT instruction

Add an optimisation that make the instruction cheaper in gas for
implicit contracts (tz1, tz2, tz3) by saving an I/O.