Commits on Source (91)
-
Melwyn Saldanha authored
-
Nicolas Phan authored
Remove generated vars from output of `get-scope` See merge request !2422
-
Leonid Vasilev authored
Problem: there're some problems with the current duplicate locations stripping mechanism. For e.g. we may have locations `a`, `b`, `a` in dfs upper-bottom order. After current deduplication we'll have `b`, `a` locations, so, some statements will appear in the wrong order (like with statements in `switch` or local functions assignments). Solution: move stripping to typed contract and delete duplicates only in groups (e.g. in dfs order we have `a`, `a`, `b`, `a`, `a`, `b`. After stripping `a`, `b`, `a`, `b`). Note that after deduplication we'll still have some duplicates, so, I've reimplemented location recording mechanism in such a way, that it records only the first occurrence of a location.
-
Leonid Vasilev authored
Motivation: after reimplementing duplicate locations ignorance mechanism we can see some inconvenient source locations (like locations for `case` and `default` words in `JsLIGO`). Let's just strip them as for other ones. :NOTE: I fixed all the tests except for the `Builtin functions have locations`. It breaks because the current implementation of duplicate locations stripping is not perfect yet. Would be resolved in the future commits.
-
Leonid Vasilev authored
Problem: the current statements recognition mechanism doesn't comply with statement locations recording mechanism. An example: ```ocaml let sum = List.fold (fun (acc, cur) -> acc + cur) [1; 2; 3] 0 ``` If we'll go inside aux function then statement locations cache would be cleaned up and we'll record some redundant locations (like `let sum = ...`). Solution: restrict the range of statements searching. For more information read comments in `getStatements` function in `Snapshots` module.
-
Leonid Vasilev authored
Motivation: this thing is so buggy now. Sometimes it produces smth like "[!] Invalid instant-checks.rb file: invalid byte sequence in US-ASCII. Updating the Danger gem might fix the issue" and because of this CI fails.
-
Leonid Vasilev authored
[#1684] Strip duplicate locations from typed contract and rethink location recording See merge request !2408
-
-
prometheansacrifice authored
Fix bugs in `ligo publish` See merge request !2423
-
E. Rivas authored
-
prometheansacrifice authored
-
prometheansacrifice authored
Setup ligojs npm release scripts on CI See merge request !2419
-
Rémi authored
-
-
Leonid Vasilev authored
Motivation: we already have some tests on types but they check quite simple things (except for the test on function type). Let's write more complex regression tests in order to immediately be aware of new bugs on the source mapper's side.
-
Leonid Vasilev authored
Motivation: from user's perspective many instances of the polymorphic functions/values look weird. Let's mention this in the FAQ section.
-
Leonid Vasilev authored
[#1535] Add more tests on LIGO types See merge request !2426
-
Christian Rinderknecht authored
-
Christian Rinderknecht authored
Refactoring of PascaLIGO and JsLIGO See merge request !2333
-
Konstantin Ivanov authored
-
Konstantin Ivanov authored
Make MR templates automatically close the issues on MR merge See merge request !2435
-
Heitor Toledo Lassarote de Paula authored
-
Heitor Toledo Lassarote de Paula authored
[Chore] Update LSP version See merge request !2438
-
Laurent Canis authored
-
Laurent Canis authored
Revert "[Chore] Update LSP version" See merge request !2441
-
Laurent Canis authored
-
Ligo Lang authored
-
Ligo Lang authored
-
Laurent Canis authored
-
Laurent Canis authored
Release process: release/0.62.0 See merge request !2442
-
Laurent Canis authored
-
-
Melwyn Saldanha authored
Fixed a transpilation error See merge request !2440
-
-
Christian Rinderknecht authored
Transpilation: add ad-hoc typers for map/big_map operations See merge request !2431
-
Melwyn Saldanha authored
-
Melwyn Saldanha authored
Remove old implementation of `references` in `get-scope` See merge request !2446
-
-
Melwyn Saldanha authored
Scopes - New impl of scopes pass See merge request !2430
-
Laurent Canis authored
-
Laurent Canis authored
-
Laurent Canis authored
-
Laurent Canis authored
fix: NPM gitlab job See merge request !2448
-
Laurent Canis authored
update ligo reference of webide backend image into release process See merge request !2450
-
Laurent Canis authored
fix: wait more before recrawl to avoid network issue See merge request !2449
-
Leonid Vasilev authored
Problem: in LIGO some builtin types have a singleton type marker (for e.g. `sapling_state` and `sapling_transaction`). However, in `ligo-squirrel` in `Cli.Json` they are not supported. In the variables pane they'll look like `(* unsupported type Singleton *)`. Solution: copypaste `literal_value` from LIGO compiler into `Cli.Json` and add a conversion of `LigoTypeLiteralValue` to `LIGO Info`.
-
Leonid Vasilev authored
[#1711] Support singleton types Closes #1711 See merge request !2443
-
-
Melwyn Saldanha authored
Stdlib: list updating functions See merge request !2451
-
-
Christian Rinderknecht authored
Add CLi option for PascaLIGO to JsLIGO syntax-level transpilation See merge request !2453
-
E. Rivas authored
-
-
Nicolas Phan authored
New implementation of resolving types in get-scope See merge request !2447
-
Melwyn Saldanha authored
-
Melwyn Saldanha authored
-
Melwyn Saldanha authored
Temporarily run old implementation of scope in tests See merge request !2456
-
Melwyn Saldanha authored
New `uid`'s for `definitions` in `get-scope` See merge request !2459
-
prometheansacrifice authored
-
prometheansacrifice authored
E2E tests for multiplat tarballs Closes #1577 See merge request !2269
-
E. Rivas authored
-
Preetham Gujjula authored
Problem: We need to disable LSP to redeploy production from dev Solution: Comment out LSP instantiation in frontend.
-
Preetham Gujjula authored
Problem: LIGO version is out-of-date. Solution: Bump it to 0.62.0.
-
Laurent Canis authored
-
E. Rivas authored
-
Preetham Gujjula authored
[LIGO-832] Bump LIGO version in WebIDE to 0.62.0 See merge request !2461
-
Preetham Gujjula authored
Prepare new workflow for webide See merge request !2462
-
Laurent Canis authored
-
Laurent Canis authored
fix CI release version for webide See merge request !2466
-
Melwyn Saldanha authored
-
Melwyn Saldanha authored
Refactor: Move `get-scope` completely to new implementation Closes #1690 See merge request !2464
-
Laurent Canis authored
-
Laurent Canis authored
Webide-b:Differentiate backend on frontend npr package See merge request !2468
-
E. Rivas authored
-
E. Rivas authored
-
Laurent Canis authored
-
Melwyn Saldanha authored
-
Melwyn Saldanha authored
[#1718][JsLIGO]: Fix automatic semicolon insertion for if-else statements Closes #1718 See merge request !2472
-
Laurent Canis authored
CI: Automatically update nixpkgs in release process See merge request !2457
-
Rémi authored
-
prometheansacrifice authored
-
prometheansacrifice authored
Esy: pin js_of_ocaml to 5.0.1 See merge request !2473
Showing
- .ci/.gitlab-ci-npm.yml 109 additions, 18 deletions.ci/.gitlab-ci-npm.yml
- .ci/.gitlab-ci-release.yml 37 additions, 0 deletions.ci/.gitlab-ci-release.yml
- .ci/.gitlab-ci-webide-new.yml 1 addition, 1 deletion.ci/.gitlab-ci-webide-new.yml
- .ci/.gitlab-ci-webide.yml 47 additions, 16 deletions.ci/.gitlab-ci-webide.yml
- .ci/.metadata.yml 3 additions, 3 deletions.ci/.metadata.yml
- .ci/scripts/nix/generate_nixpkgs_branch_name.sh 12 additions, 0 deletions.ci/scripts/nix/generate_nixpkgs_branch_name.sh
- .ci/scripts/nix/generate_pr.sh 22 additions, 0 deletions.ci/scripts/nix/generate_pr.sh
- .ci/scripts/nix/pr_description.md 2 additions, 0 deletions.ci/scripts/nix/pr_description.md
- .ci/scripts/nix/retrieve_version.sh 7 additions, 0 deletions.ci/scripts/nix/retrieve_version.sh
- .ci/scripts/nix/update_ligo_default_nix_file.sh 23 additions, 0 deletions.ci/scripts/nix/update_ligo_default_nix_file.sh
- .ci/scripts/update_distribution_references_with_release.sh 2 additions, 7 deletions.ci/scripts/update_distribution_references_with_release.sh
- .gitlab-ci.yml 5 additions, 2 deletions.gitlab-ci.yml
- .gitlab/merge_request_templates/debugger.md 4 additions, 2 deletions.gitlab/merge_request_templates/debugger.md
- .gitlab/merge_request_templates/lsp.md 4 additions, 2 deletions.gitlab/merge_request_templates/lsp.md
- Dockerfile 4 additions, 0 deletionsDockerfile
- HomebrewFormula/ligo.rb 5 additions, 5 deletionsHomebrewFormula/ligo.rb
- HomebrewFormula/ligo@0.62.0.rb 6 additions, 6 deletionsHomebrewFormula/ligo@0.62.0.rb
- Makefile 1 addition, 1 deletionMakefile
- changelog/2333 7 additions, 0 deletionschangelog/2333
- changelog/2423 7 additions, 0 deletionschangelog/2423
.ci/scripts/nix/generate_pr.sh
0 → 100644
.ci/scripts/nix/pr_description.md
0 → 100644
.ci/scripts/nix/retrieve_version.sh
0 → 100755
changelog/2333
0 → 100644
changelog/2423
0 → 100644