-
Multiplat builds with esy (with Github CI) 1 of 1 checklist item completed!1538
- Merged
- 24
updated -
Make variables, type variables and module variables not compatible 0 of 1 checklist item completed!1535
- Merged
- 66
- Approved
updated -
- Merged
- 9
- Approved
updated -
Fix type when accessing a record inside a module accessing 1 of 1 checklist item completed!1524
- Merged
- 4
- Approved
updated -
Tests for ModuleResolutions 1 of 1 checklist item completed!1523
- Merged
- 24
- Approved
updated -
Add uncurry of recursive functions 1 of 1 checklist item completed!1516
- Merged
- 2
- 1
- Approved
updated -
Improve representaiton of polymorphism in Cameligo 1 of 1 checklist item completed!1511
- Merged
- 37
- Approved
updated -
Use operators in decompilation 1 of 1 checklist item completed!1508
- Merged
- Approved
updated -
Testing framework: keep no_mutation in environment reconstruction 1 of 1 checklist item completed
- Merged
- 1
- Approved
updated -
Remove unused decls. (including potential `Test.` usages) when compiling parameter/storage 1 of 1 checklist item completed!1500
- Merged
- 1
- Approved
updated -
Revert "Self mini_c optimizations: apply a single inline per round" 1 of 1 checklist item completed!1499
- Merged
- Approved
updated -
Rework the Var module 1 of 1 checklist item completed!1494
- Merged
- 42
- Approved
updated -
Use `ppx_woo` with `ppx_import 1.9.0` 1 of 1 checklist item completed!1489
- Merged
- 1
- Approved
updated -
Move ReasonLIGO ES6FUN token insertion to pre-parser 1 of 1 checklist item completed!1465
- Merged
- 1
- Approved
updated -
Fix compile storage & compile parameter 1 of 1 checklist item completed
- Merged
- 7
- Approved
updated -
Fix REASONLIGO LEFTOVER 1 of 1 checklist item completed!1445
- Merged
- 5
- 1
- Approved
updated -
- Merged
- Approved
updated -
Resolve "Using #import produce contract that doesn't typecheck" 0 of 1 checklist item completed!1422
- Merged
- 4
- Approved
updated -
Ligo package management 1 of 1 checklist item completed!1394
- Merged
- 42
- Approved
updated -
Emit n-ary pair types `pair a b c...` for comb records 1 of 1 checklist item completed!1372
- Merged
- 8
- Approved
updated