-
[#2084] Add TZIP-16 checks to LSP diagnostics 10 of 19 checklist items completed!3111
- Merged
- 34
- Approved
updated -
[#1889] Add benchmarks on Checker 2 of 17 checklist items completed!3110
- Merged
- 4
- Approved
updated -
Testing framework: internal refactor of entrypoint handling 2 of 18 checklist items completed!3109
- Merged
- Approved
updated -
[fix] ligo docs --mdx now link correctly mdx file 0 of 8 checklist items completed!3108updated
-
[ligo doc] in case of mdx, generated mdx files have to be in lowercase 0 of 8 checklist items completed!3107updated
-
[#2084] Trim code lenses to the file they are related to 10 of 18 checklist items completed!3106
- Merged
- 3
- Approved
updated -
[Chore] Fix test build failure 0 of 8 checklist items completed!3105
- Merged
- Approved
updated -
[#2098] Implement inlay hints for inferred types 2 of 17 checklist items completed!3104
- Merged
- 26
- Approved
updated -
Made singleton types inhabitable, and subtypes of the type of the value 2 of 18 checklist items completed!3103
- Merged
- 2
- Approved
updated -
Allowing expressions {...}.x 3 of 18 checklist items completed!3102
- Merged
- 2
- Approved
updated -
Resolve "Auto generation of TZIP16 source metadata" 0 of 18 checklist items completed!3101
-
optimize aggregation 2 of 18 checklist items completed!3100
- Merged
- 5
- Approved
updated -
[#2084] Implement code lens that suggests inserting TZIP-16 attribute 10 of 18 checklist items completed!3099
- Merged
- 47
- Approved
updated -
[#1751] Implement typer error recovery 13 of 21 checklist items completed
- Merged
- 69
- Approved
updated -
Draft: Xavierm02/discriminating unions 0 of 18 checklist items completed!3097
-
Adding top-level definition of type 'a big_set. 4 of 18 checklist items completed!3096
- Merged
- 1
- Approved
updated -
Webide-a: Move to oxford2, remove nairobinet 2 of 18 checklist items completed!3095updated
-
- Merged
- 1
- Approved
updated -
[CI] Automation to generate website api from stdlib using ligo docs 2 of 18 checklist items completed!3093
- Merged
- 1
updated -
Backend: add a new opt. for simplyfing `GET_AND_UPDATE ; DROP` to `UPDATE` 2 of 18 checklist items completed!3092
- Merged
- 1
- Approved
updated