-
[TM-82] Forbid unordered set/map constants 7 of 7 checklist items completedmorley!71
- Merged
- Approved
updated -
[TM-78] Testing eDSL improvements 7 of 7 checklist items completedmorley!70
- Merged
- 3
- Approved
updated -
michelson-tutorial!7
- Closed
- 9
- Approved
updated -
[TM-58] Update Michelson.Printer 1 of 7 checklist items completedmorley!69
- Merged
- 107
- Approved
updated -
Jcb/tm66 rename type 7 of 7 checklist items completedmorley!68
- Merged
- 3
- Approved
updated -
[TM-71] Update .cabal files 7 of 7 checklist items completedmorley!67
- Merged
- 7
- Approved
updated -
Allow passing test arguments in Makefile 7 of 7 checklist items completedmorley!66
- Merged
- 2
- Approved
updated -
[TM-78] Add `Eq` for typed types 7 of 7 checklist items completedmorley!65
- Merged
- 1
- Approved
updated -
WIP: [TM-47] Prohibit creation a contract wrong literal 7 of 7 checklist items completedmorley!64
-
[TM-72] Remove golden tests for JSON serialization 7 of 7 checklist items completedmorley!63
- Merged
- Approved
updated -
[TM-45] Describe our typechecker and Michelson types 7 of 7 checklist items completedmorley!62
- Merged
- 9
- Approved
updated -
[TM-75] Improve CLI 6 of 7 checklist items completedmorley!61
- Merged
- 4
- Approved
updated -
[TM-71] Pack executable in docker image 7 of 7 checklist items completedmorley!60
- Merged
- 76
- Approved
updated -
[TM-79] Describe interpreter 7 of 7 checklist items completedmorley!59
- Merged
- 6
- Approved
updated -
[TM-56] Fix Haddock 7 of 7 checklist items completedmorley!58
- Merged
- 1
- Approved
updated -
[TM-74] Type check a contract before origination 7 of 7 checklist items completedmorley!57
- Merged
- Approved
updated -
[TM-67] Make `valToOpOrValue` call recursivelly itself 7 of 7 checklist items completedmorley!56
- Merged
- 9
- Approved
updated -
Extract `Prelude` module 7 of 7 checklist items completedmorley!55
- Merged
- 5
- Approved
updated -
gitlab-ci: Exclude Docker from the CI pipeline 2 of 2 checklist items completedmorley!54
- Merged
- 13
- Approved
updated -
WIP: [TM-68] Initial WIP draft of Lorentz DSL 1 of 7 checklist items completedmorley!53