-
!811
- Merged
- 1
- Approved
updated -
Upgrade LIGO to Ithaca 14 of 14 checklist items completed!1582
- Merged
-
- Approved
updated -
Fix type when accessing a record inside a module accessing 1 of 1 checklist item completed!1524
- Merged
-
- 4
- Approved
updated -
- Merged
-
- 29
- Approved
updated -
- Merged
-
- 4
- Approved
updated -
!872
- Merged
-
- 7
- Approved
updated -
- Merged
- 4
- 1
- Approved
updated -
- Merged
-
- 1
- 3
- Approved
updated -
- Merged
-
- 9
- 2
- Approved
updated -
Add some warning on deprecated constants 1 of 1 checklist item completed!1623
- Merged
-
- 2
- Approved
updated -
- Merged
- 33
- Approved
updated -
Global constants: register constants (to enable typecheck) in compile contract 1 of 1 checklist item completed!1603
- Merged
- Approved
updated -
- Merged
-
- 1
- Approved
updated -
Fix: type instantiation in polymorphism 1 of 1 checklist item completed!1587
- Merged
-
- Approved
updated -
Testing framework: add support for global constants 1 of 1 checklist item completed!1617
- Merged
- 3
- Approved
updated -
Rename (subst.) recursive function calls when doing monomorphisation 1 of 1 checklist item completed!1577
- Merged
-
- 2
updated -
Testing framework: keep no_mutation in environment reconstruction 1 of 1 checklist item completed
- Merged
-
- 1
- Approved
updated -
Testing framework: make type-checking run over aggregated program 1 of 1 checklist item completed!1559
- Merged
- Approved
updated -
Use `ppx_woo` with `ppx_import 1.9.0` 1 of 1 checklist item completed!1489
- Merged
-
- 1
- Approved
updated -
Testing framework: fix loop on embedded Michelson due to eta expansion 1 of 1 checklist item completed!1549
- Merged
- Approved
updated