-
Add db.json to .gitignore 5 of 5 checklist items completedmorley!17
- Merged
- Approved
updated -
[TM-16] Advanced type pure interpreter 5 of 5 checklist items completedmorley!30
- Merged
- 85
- Approved
updated -
[TM-74] Type check a contract before origination 7 of 7 checklist items completedmorley!57
- Merged
- Approved
updated -
TM-36 Implement Address properly 5 of 5 checklist items completedmorley!32
- Merged
- 3
- Approved
updated -
[TM-29] Morley Testing Instructions: STACKTYPE, PRINT, TEST 4 of 5 checklist items completedmorley!29
- Merged
- 48
- Approved
updated -
[TM-46] Move morleyProposal.md to docs/ 5 of 5 checklist items completedmorley!34
- Merged
- Approved
updated -
Allow passing test arguments in Makefile 7 of 7 checklist items completedmorley!66
- Merged
- 2
- Approved
updated -
[TM-42] Remove simple typechecker 5 of 5 checklist items completedmorley!31
- Merged
- 14
- Approved
updated -
[TM-72] Remove golden tests for JSON serialization 7 of 7 checklist items completedmorley!63
- Merged
- Approved
updated -
[TM-40] Split Michelson.Types into smaller modules 5 of 5 checklist items completedmorley!33
- Merged
- 2
- Approved
updated -
morley!25
- Merged
- 53
- Approved
updated -
[TM-75] Improve CLI 6 of 7 checklist items completedmorley!61
- Merged
- 4
- Approved
updated -
Jcb/tm66 rename type 7 of 7 checklist items completedmorley!68
- Merged
- 3
- Approved
updated -
[TM-29] Morley Testing Instructions: STACK, PRINT, TEST 7 of 7 checklist items completedmorley!49
- Merged
- 42
- Approved
updated -
gitlab-ci: Exclude Docker from the CI pipeline 2 of 2 checklist items completedmorley!54
- Merged
- 13
- Approved
updated -
[TM-45] Describe our typechecker and Michelson types 7 of 7 checklist items completedmorley!62
- Merged
- 9
- Approved
updated -
[TM-71] Update .cabal files 7 of 7 checklist items completedmorley!67
- Merged
- 7
- Approved
updated -
[TM-56] Fix Haddock 7 of 7 checklist items completedmorley!58
- Merged
- 1
- Approved
updated -
[TM-78] Add `Eq` for typed types 7 of 7 checklist items completedmorley!65
- Merged
- 1
- Approved
updated -
[TM-79] Describe interpreter 7 of 7 checklist items completedmorley!59
- Merged
- 6
- Approved
updated