-
[TM-82] Forbid unordered set/map constants 7 of 7 checklist items completedmorley!71
- Merged
- Approved
updated -
Extract `Prelude` module 7 of 7 checklist items completedmorley!55
- Merged
- 5
- Approved
updated -
TM-20 Properly support side effects in Morley interpreter 7 of 7 checklist items completedmorley!51
- Merged
- 5
- Approved
updated -
[TM-67] Make `valToOpOrValue` call recursivelly itself 7 of 7 checklist items completedmorley!56
- Merged
- 9
- Approved
updated -
[TM-14] Describe some experiments with Michelson 5 of 5 checklist items completedmorley!21
- Merged
- 7
- Approved
updated -
[TM-17] Make contract's address computation more correct 5 of 5 checklist items completedmorley!45
- Merged
- 7
- Approved
updated -
[TM-39] Hide cp parameter 7 of 7 checklist items completedmorley!46
- Merged
- 3
- Approved
updated -
[TM-28] let-Block with new typechecking 5 of 5 checklist items completedmorley!38
- Merged
- 100
- Approved
updated -
[TM-53] Make `MAP` and `ITER` from `Michelson.Interpter` polymorphic 5 of 5 checklist items completedmorley!42
- Merged
- 15
- Approved
updated -
[TM-61] New type level machinery && property tests for contracts 5 of 5 checklist items completedmorley!47
- Merged
- 45
- Approved
updated -
[TM-19] Improve output of Morley interpreter 5 of 5 checklist items completedmorley!41
- Merged
- 7
- Approved
updated -
[TM-51] Implement blockchain related commands 7 of 7 checklist items completedmorley!48
- Merged
- 24
- Approved
updated -
Graninas/TM-49 Arithmetic error handling for Mutez 5 of 5 checklist items completedmorley!43
- Merged
- 13
- Approved
updated -
[TM-54] Refactor interpreter tests 5 of 5 checklist items completedmorley!39
- Merged
- 3
- Approved
updated -
[TM-43] Clean up advanced typechecker 5 of 5 checklist items completedmorley!44
- Merged
- 2
- Approved
updated -
- Merged
- 14
- Approved
updated -
[TM-34] Make all external imports explicit 5 of 5 checklist items completedmorley!40
- Merged
- 6
- Approved
updated -
[TM-48] Enhance core Tezos types and use them more widely 5 of 5 checklist items completedmorley!36
- Merged
- 8
- Approved
updated -
refactor modules to separate parsing and macros from typechecking and printing 5 of 5 checklist items completedmorley!5 pva/tm2
- Merged
- 2
- Approved
updated -
[TM-15] Fix `value` parser 5 of 5 checklist items completedmorley!12
- Merged
- 1
- Approved
updated