-
[#863] Add timestamp to morley-client logs 0 of 8 checklist items completed!1227
- Merged
- Approved
updated -
[#868] Add tupleFromRec 0 of 8 checklist items completed!1206
- Merged
- 11
- Approved
updated -
[#908] Replace error with Bottom(no) in invalid instances 2 of 8 checklist items completed!1254
- Merged
- 6
- Approved
updated -
[#890] Add 'run_code' emulation to Morley 2 of 8 checklist items completed!1243
- Merged
- 39
- Approved
updated -
[#900] Fix MonadOriginate 3 of 8 checklist items completed!1246
- Merged
- 9
- Approved
updated -
[#757] Classified instructions (GADT version) 2 of 8 checklist items completed!1241
- Merged
- 3
- Approved
updated -
[#724] Remove old bats workaround 0 of 8 checklist items completed!1234
- Merged
- Approved
updated -
[#897] Add Constrained utility existential 2 of 8 checklist items completed!1242
- Merged
- 12
- Approved
updated -
[#837] Alter `compareWithReference` to merely intrerpret the contract 0 of 8 checklist items completed!1178
- Merged
- 59
- Approved
updated -
[#862] Refactor MorleyClientEnv 0 of 8 checklist items completed!1247
- Merged
- 11
- Approved
updated -
[#865] Remove Guard from Morley.Util.Type 3 of 8 checklist items completed!1245
- Merged
- 3
- Approved
updated -
[#813] Implement lmap for more types 2 of 8 checklist items completed!1180
- Merged
- 33
- Approved
updated -
[#877] Better `transfer` errors on bad address 2 of 8 checklist items completed!1220
- Merged
- 7
- Approved
updated -
[#861] Report contract aliases in nettest errors 4 of 8 checklist items completed!1219
- Merged
- 24
- Approved
updated -
[#707] Track delegate registration in interpreter 0 of 8 checklist items completed!1237
- Merged
- 12
- Approved
updated -
[#891] Use lazier origination in reference tests 0 of 8 checklist items completed!1236
- Merged
- 9
- Approved
updated -
[#875] Fix resolver in doctest script 8 of 8 checklist items completed!1217
- Merged
- 3
- Approved
updated -
[#881] Handle implicit default entrypoint in mkEntrypointsMap 0 of 8 checklist items completed!1228
- Merged
- 6
- Approved
updated -
[#870] Unify handling of annotated exceptions 3 of 8 checklist items completed!1211
- Merged
- 30
- Approved
updated -
[#855] Improve Forbid constraints 8 of 8 checklist items completed!1195
- Merged
- 37
- Approved
updated