-
WIP: Jcb/tm58 printer 3 of 7 checklist items completedmorley!52
-
TM-20 Properly support side effects in Morley interpreter 7 of 7 checklist items completedmorley!51
- Merged
- 5
- Approved
updated -
WIP: [TM-35] Implement PACKing 6 of 7 checklist items completedmorley!50
-
[TM-29] Morley Testing Instructions: STACK, PRINT, TEST 7 of 7 checklist items completedmorley!49
- Merged
- 42
- Approved
updated -
[TM-51] Implement blockchain related commands 7 of 7 checklist items completedmorley!48
- Merged
- 24
- Approved
updated -
[TM-61] New type level machinery && property tests for contracts 5 of 5 checklist items completedmorley!47
- Merged
- 45
- Approved
updated -
[TM-39] Hide cp parameter 7 of 7 checklist items completedmorley!46
- Merged
- 3
- Approved
updated -
[TM-17] Make contract's address computation more correct 5 of 5 checklist items completedmorley!45
- Merged
- 7
- Approved
updated -
[TM-43] Clean up advanced typechecker 5 of 5 checklist items completedmorley!44
- Merged
- 2
- Approved
updated -
Graninas/TM-49 Arithmetic error handling for Mutez 5 of 5 checklist items completedmorley!43
- Merged
- 13
- Approved
updated -
[TM-53] Make `MAP` and `ITER` from `Michelson.Interpter` polymorphic 5 of 5 checklist items completedmorley!42
- Merged
- 15
- Approved
updated -
[TM-19] Improve output of Morley interpreter 5 of 5 checklist items completedmorley!41
- Merged
- 7
- Approved
updated -
[TM-34] Make all external imports explicit 5 of 5 checklist items completedmorley!40
- Merged
- 6
- Approved
updated -
[TM-54] Refactor interpreter tests 5 of 5 checklist items completedmorley!39
- Merged
- 3
- Approved
updated -
[TM-28] let-Block with new typechecking 5 of 5 checklist items completedmorley!38
- Merged
- 100
- Approved
updated -
- Merged
- 14
- Approved
updated -
[TM-48] Enhance core Tezos types and use them more widely 5 of 5 checklist items completedmorley!36
- Merged
- 8
- Approved
updated -
[TM-39] Hide `cp` type parameter 5 of 5 checklist items completedmorley!35
-
[TM-46] Move morleyProposal.md to docs/ 5 of 5 checklist items completedmorley!34
- Merged
- Approved
updated -
[TM-40] Split Michelson.Types into smaller modules 5 of 5 checklist items completedmorley!33
- Merged
- 2
- Approved
updated