-
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 -
[Chore] Bump tooling version 2 of 18 checklist items completed
- Merged
- Approved
updated -
Beta: ligo doc --mdx 2 of 18 checklist items completed
- Merged
- 6
- Approved
updated -
[Chore] LSP: fix "on save" diagnostics pull mode 2 of 17 checklist items completed!3089
- Merged
- Approved
updated -
[Chore] Bump `linol` version to `0.5` 2 of 17 checklist items completed!3088
- Merged
- 1
- Approved
updated -
Testing framework: add primitive for timelock verification 2 of 18 checklist items completed!3087
- Merged
- 1
- Approved
updated -
[#2084] Add attribute for TZIP-16 compatibility 10 of 18 checklist items completed!3086
- Merged
- 6
- Approved
updated -
Stdlib: add extra functions in `Test.Next` 0 of 8 checklist items completed!3085
- Merged
- 1
- Approved
updated -
[#1697] Reduce number of get-scope calls by LSP 2 of 17 checklist items completed!3084
- Merged
- 29
- Approved
updated -
big set literal fix 2 of 18 checklist items completed!3083
- Merged
- 1
- Approved
updated -
Stdlib: add `deprecated` messages on `Test` (for `Test.Next`) 2 of 18 checklist items completed!3082
- Merged
- 1
- Approved
updated -
Internal: use bigger params. in `memo_rec` 0 of 8 checklist items completed!3081
- Merged
- 1
updated