-
Refactor: Move type syntax to a common place 1 of 1 checklist item completed!1567
- Merged
- Approved
updated -
Nix flakes / update nix setup 0 of 1 checklist item completed!1566
-
Enabled attributes for type declarations. 1 of 1 checklist item completed
- Merged
- Approved
updated -
Fix locations for pattern matching - jsligo 1 of 1 checklist item completed!1560
- Merged
- Approved
updated -
Testing framework: make type-checking run over aggregated program 1 of 1 checklist item completed!1559
- Merged
- Approved
updated -
Refactor: compiler options 3 of 3 checklist items completed!1557
- Merged
- 5
- 1
- Approved
updated -
BugFix : Use Loop_left instead of Fold_while in compilng imperative loop; remove Fold_while completely 1 of 1 checklist item completed!1556
- Merged
- 4
- Approved
updated -
Testing framework: fix loop on embedded Michelson due to eta expansion 1 of 1 checklist item completed!1549
- Merged
- Approved
updated -
Testing framework: baker accounts and register delegate 1 of 1 checklist item completed!1547
- Merged
- 2
- 1
- Approved
updated -
Add voting_power & total_voting_power to test interpreter 1 of 1 checklist item completed!1542
- Merged
- 1
- Approved
updated -
Multiplat builds with esy (with Github CI) 1 of 1 checklist item completed!1538
- Merged
- 24
updated -
Add syntax highlighting to modules 1 of 1 checklist item completed!1536
-
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 -
Testing framework: a library 1 of 1 checklist item completed!1518
-
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