-
[TO BE CLOSED] Michelson: Encode has_big_map in the GADT 2 of 2 checklist items completed
- Closed
- 13
updated -
Add Unit, Union, Option as comparable types 4 of 4 checklist items completed
- Merged
- 17
- 1
updated -
LEVEL instruction 3 of 3 checklist items completed
- Merged
- 25
updated -
WIP: Fix comparable type parser error handling 0 of 1 checklist item completed
-
- Merged
- 11
- Approved
updated -
Simplify/refactor merge_types/ty_eq 1 of 1 checklist item completed
- Merged
- 2
updated -
Michelson: allow non-comb comparable pairs 2 of 2 checklist items completed
- Merged
- 17
updated -
- Merged
- 1
- Approved
updated -
-
-
- Merged
- Approved
updated -
- Merged
- 49
- Approved
updated -
- Merged
- 28
- Approved
updated -
- Merged
- 148
- Approved
updated -
- Merged
- 17
- Approved
updated -
WIP: Implement environment V2 (closed) 6 of 6 checklist items completed
-
WIP: Michelson: ROLLS opcode 0 of 1 checklist item completed