-
Proto-compiler: do not manually list the cmis to embed. 0 of 6 checklist items completed
- Merged
- +6
- 11
- Approved
updated -
Proto-env: include camlInternalFormatBasic 0 of 6 checklist items completed
- Merged
- 4
- Approved
updated -
Proto-env: remove unused modules from stdlib-compat 0 of 6 checklist items completed
- Merged
- 7
- Approved
updated -
Proto-compiler: refactor cmi embedding 0 of 6 checklist items completed
- Merged
- 6
- Approved
updated -
Proto-env: Reduce tezos_protocol_environment interface. 0 of 6 checklist items completed
- Merged
- 2
- Approved
updated -
Everywhere: Tezos_protocol_NAME.Environment instead of Tezos_protocol_NAME.Protocol.Environment 0 of 6 checklist items completed
- Merged
- 6
- Approved
updated -
Proto-env: remove (wrapped false) 0 of 6 checklist items completed
- Merged
- 2
- Approved
updated -
Proto-env: simplify module type T 0 of 6 checklist items completed
- Merged
- 6
- Approved
updated -
Proto-env: remove dead code found by activating warning 60 0 of 6 checklist items completed
- Merged
- 2
- Approved
updated -
Replace s_packer by a template based generator 0 of 6 checklist items completed
- Merged
- 16
- Approved
updated -
Proto-env: remove redundant type equality from signatures 0 of 6 checklist items completed
- Merged
- Approved
updated -
Proto-env: remove dependency from structs to s_packer 0 of 6 checklist items completed
- Merged
- 10
- 1
- Approved
updated