# Carthage 006 Changelog

* [Baking RPC](https://gitlab.com/nomadic-labs/tezos/merge_requests/108)
* [Baking/Endorsement Formula](https://gitlab.com/nomadic-labs/tezos/merge_requests/110)
* [Gas Limit Increases](https://gitlab.com/nomadic-labs/tezos/merge_requests/117)
* [Dead Code Removal](https://gitlab.com/nomadic-labs/tezos/merge_requests/118)
* [Comparable Pairs](https://gitlab.com/nomadic-labs/tezos/merge_requests/106)
* [Michelson Fix for MAP instruction](https://gitlab.com/nomadic-labs/tezos/merge_requests/120)
* [Improve CONTRACT instruction](https://gitlab.com/nomadic-labs/tezos/merge_requests/95)
* [Improve BIG_MAP error message](https://gitlab.com/nomadic-labs/tezos/merge_requests/121)
* [Move BIG_MAP initialisation](https://gitlab.com/nomadic-labs/tezos/merge_requests/119)

## 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.