Commit Graph

  • 6dc1eb23cd
    Remove excess params of Parser.{many,some} Kirill Andreev 2020-05-08 20:11:12 +0400
  • b62cd58add
    Add some more documentation Kirill Andreev 2020-05-08 01:18:26 +0400
  • eace901195
    Remove debug print, document Parser.hs Kirill Andreev 2020-05-08 00:52:33 +0400
  • e6299a50ff
    Make parser recognise all src/tests/contracts Kirill Andreev 2020-05-08 00:09:14 +0400
  • b4e6231340
    Add [Big]Map literal/removal/projection parser Kirill Andreev 2020-05-07 00:31:05 +0400
  • 2f269e32ea
    Add attribute parser Kirill Andreev 2020-05-06 23:19:28 +0400
  • d928aaa39c
    Add lists, if, assignments, string, tez parsers Kirill Andreev 2020-05-06 22:45:33 +0400
  • 6e862bf5b9
    Untie AST builder from comment accumulation Kirill Andreev 2020-05-06 22:15:19 +0400
  • 1ed617c7d0
    Convert parsers to applicative interface Kirill Andreev 2020-05-06 21:59:34 +0400
  • a8b898d396
    Improve grammar, add Parsers for many things Kirill Andreev 2020-05-06 21:26:00 +0400
  • 83cc13dd48
    Convert into GLR-way of operator parsing Kirill Andreev 2020-05-06 16:34:47 +0400
  • f3c537d2ca
    Make it parse let-expressions Kirill Andreev 2020-05-01 22:41:07 +0400
  • ad7650ea48
    Stabilise parsing of let-expressions Kirill Andreev 2020-05-01 22:10:10 +0400
  • 0cec59988e
    Prevent many/some from making last error-element Kirill Andreev 2020-05-01 19:04:29 +0400
  • 00b4dabe36
    Add Pretty instance to AST, Error and Range Kirill Andreev 2020-04-30 21:46:37 +0400
  • efe1afb61d
    Add byte offsets to Range Kirill Andreev 2020-04-30 21:06:01 +0400
  • c603cd399d
    Refactor AST -> types/parser, extract Range/Printer Kirill Andreev 2020-04-30 17:58:35 +0400
  • 017db45f8d
    Fix bulk of function header parser Kirill Andreev 2020-04-30 17:46:39 +0400
  • cb40392554
    Add README.md with install/run instructions Kirill Andreev 2020-04-30 14:49:26 +0400
  • 510cda6613
    Initial commit of LIGO tooling Kirill Andreev 2020-04-30 14:39:51 +0400
  • 0c0889f514 Merge branch 'optimize-inserted-michelson' into 'dev' Gabriel Alfour 2020-07-05 07:36:10 +0000
  • 9b4e881827 fix expect test Tom Jack 2020-07-04 23:16:42 -0500
  • b905c49579 Beta-reduce "inserted" Michelson lambdas Tom Jack 2020-07-04 16:26:33 -0500
  • fcb6647551 Strip annots in PUSH type Tom Jack 2020-07-04 16:16:54 -0500
  • 0b0de1ea59 Merge branch 'rinderknecht@fix-verbatim' into 'dev' Sander 2020-07-04 13:02:22 +0000
  • ca50603a7c Added to the scanning of verbatim strings: new line and preprocessor line directive. Christian Rinderknecht 2020-07-04 14:38:47 +0200
  • c489989cd3 Merge branch 'disable_id_contract_examples' into 'dev' Jev Björsell 2020-07-03 18:17:06 +0000
  • 61898eb52d
    chore(ide) Disable the ID Example contracts until LIGO-676 is resolved Jev Björsell 2020-07-03 10:42:50 -0700
  • 42c0baa00b Merge branch 'dont-trace-strong' into 'dev' Gabriel Alfour 2020-07-03 16:22:42 +0000
  • 99448ef371 Merge branch '199-add-an-option-to-specify-output' into 'dev' Rémi Lesenechal 2020-07-03 13:45:48 +0000
  • cbf1680e36 Remove trace_strong in compiler Tom Jack 2020-07-03 08:24:50 -0500
  • ec2c1571af CLI: --output option for compile-contract Rémi 2020-07-03 12:46:52 +0200
  • ab773a56a4 errors are printed to std err: Lesenechal Remi 2020-07-01 17:52:13 +0200
  • 567515a5ce Merge branch 'feature/initial_req_serokell' into 'dev' Rémi Lesenechal 2020-07-03 11:57:53 +0000
  • f25c9bd33a get-scope: adding a test with includes Lesenechal Remi 2020-07-01 16:50:10 +0200
  • 93d96b2e7b Merge branch 'fix/order_of_match_bool' into 'dev' Pierre-Emmanuel Wulfman 2020-07-02 21:42:11 +0000
  • 2893fc0412 fix detection of matching on bool in the spiller Pierre-Emmanuel Wulfman 2020-07-02 23:21:14 +0200
  • 43b70361bc Merge branch 'gardening/improve_on_error_formatting' into 'dev' Rémi Lesenechal 2020-07-02 18:10:56 +0000
  • d0071ca0e8 bunch of fixes to the PPs: Rémi 2020-07-02 13:14:14 +0200
  • 2f0ffc10ac Merge branch 'dont-strip-annots' into 'dev' Tom Jack 2020-07-02 09:29:38 +0000
  • 3656d9e1ff Merge branch 'rinderknecht@pprint_comments' into 'dev' Christian Rinderknecht 2020-07-01 19:12:01 +0000
  • 6c50ec0ed1 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint_comments Christian Rinderknecht 2020-07-01 20:49:05 +0200
  • 42893548c5 Merge branch 'gardening/bad_pp_error_stacking' into 'dev' Rémi Lesenechal 2020-07-01 16:54:20 +0000
  • e1177de402 fix bad error PP that can appear in tests Lesenechal Remi 2020-07-01 16:40:12 +0200
  • 6a3ab09f7c get_scope: scopes for records update/access, constants and applications Lesenechal Remi 2020-07-01 15:37:49 +0200
  • 728cf3f1ba get_scope fixes: - merge inner_def maps in the main fold - make use of the expression variable locations Lesenechal Remi 2020-07-01 13:10:52 +0200
  • 01423174b2 Don't strip annots when running Michelson Tom Jack 2020-07-01 04:39:11 -0500
  • f9b3887753 get_scope : fix definition_id bug Lesenechal Remi 2020-07-01 01:21:44 +0200
  • 50a1e48f28 get_scope command: fix recursive handling Lesenechal Remi 2020-07-01 01:21:33 +0200
  • 8a551114c3 ignore generated variables Lesenechal Remi 2020-06-30 13:15:07 +0200
  • 4026411e10 get-scope --with-types flag Lesenechal Remi 2020-06-29 18:31:44 +0200
  • 21904f7e53 get_scope command : tests Lesenechal Remi 2020-06-29 18:04:39 +0200
  • 2659570b8a get-scope command. New module Ligo.scopes Lesenechal Remi 2020-06-24 15:28:10 +0200
  • 2a9ef440db to_json for locations Lesenechal Remi 2020-06-24 12:27:09 +0200
  • ca2ec3d795 use Yojson.t isntead of Yojson.Basic.t Lesenechal Remi 2020-06-24 12:11:12 +0200
  • bff67e3779 Merge branch 'feature/expression_variable_locations' into 'dev' Rémi Lesenechal 2020-06-30 22:30:09 +0000
  • ead7832c50 Fix some polymorphic comparison bugs Tom Jack 2020-06-30 14:31:04 -0500
  • e9db0afffa WIIP Lesenechal Remi 2020-06-30 19:15:04 +0200
  • b304b82e11 Merge branch 'dev' into rinderknecht@pprint_comments Christian Rinderknecht 2020-06-30 17:10:48 +0200
  • d1b7388550 Refactoring of the dune files, minimised dependencies. Christian Rinderknecht 2020-06-30 14:34:15 +0200
  • b1ccaef07e Merge branch 'feature/transpiler' into 'dev' Pierre-Emmanuel Wulfman 2020-06-29 13:05:35 +0000
  • bc259fcde7 Feature/transpiler Pierre-Emmanuel Wulfman 2020-06-29 13:05:34 +0000
  • 12f7b7c904 Merge branch 'typer-error-revert-rename' into 'dev' Rémi Lesenechal 2020-06-24 19:54:17 +0000
  • 0dc4315359 compare (lowercase) has a bit of a special meaning in OCaml, renaming the Compare module to Compare_types for now to avoid potential confusion (?) Suzanne Dupéron 2020-06-24 20:23:36 +0100
  • e319e2d2cd Merge branch 'typer-error-revert' into 'dev' Rémi Lesenechal 2020-06-24 17:44:31 +0000
  • 351018f8d2 errors for compare in the new typer Lesenechal Remi 2020-06-22 15:26:47 +0200
  • 9e02cb2969 Merge branch 'feature-weakly-typed-adt-creation' into 'dev' Suzanne Dupéron 2020-06-24 10:33:37 +0000
  • 1bd7af80b8 Merge branch 'feature-new-typer-14-debug-prints' into 'dev' Suzanne Dupéron 2020-06-24 10:18:44 +0000
  • 5589d47123 Merge branch 'bugfix-temporarily-disable-webide-test' into 'dev' Suzanne Dupéron 2020-06-24 10:18:37 +0000
  • a4e414bd76 Temporarily disable webide stage, because it contains a randomly failing test. Suzanne Dupéron 2020-06-24 10:37:57 +0100
  • 2eb16c2c56 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint_comments Christian Rinderknecht 2020-06-24 11:20:13 +0200
  • b07c57c159 Fixed variable. Christian Rinderknecht 2020-06-24 11:19:56 +0200
  • 942000065b Weakly-typed creation of ADT elements Suzanne Dupéron 2020-06-19 03:45:25 +0100
  • c1d211d98c Debug prints for the new typer: output JSON Suzanne Dupéron 2020-06-17 22:39:14 +0100
  • 1cc64d6812 reasons for failing tests Suzanne Dupéron 2020-06-17 23:18:58 +0100
  • 283dcf418a Debug prints for the new typer Suzanne Dupéron 2020-06-17 23:15:17 +0100
  • bd8a57df44 Add a pretty-printer to the heuristics Suzanne Dupéron 2020-06-17 22:59:35 +0100
  • 018e269b2e Have separate ppf and Yojson modules for PP_json Suzanne Dupéron 2020-06-24 02:04:59 +0100
  • 65161148d3 Merge branch 'feature/new-typer-13-json-printer' into 'dev' Suzanne Dupéron 2020-06-23 22:47:18 +0000
  • 2351dda44e Apply 1 suggestion(s) to 1 file(s) Rémi Lesenechal 2020-06-23 11:30:04 +0000
  • 362e33c7f9 Apply 1 suggestion(s) to 1 file(s) Rémi Lesenechal 2020-06-23 11:27:32 +0000
  • 27d7856e52 Apply 1 suggestion(s) to 1 file(s) Rémi Lesenechal 2020-06-23 11:27:29 +0000
  • d743605aee Apply 1 suggestion(s) to 1 file(s) Rémi Lesenechal 2020-06-23 11:27:09 +0000
  • b4bf0ae159 using yojson to print typed AST program Lesenechal Remi 2020-06-22 19:10:31 +0200
  • db051e7d3b Generic JSON pretty-printer for the typer's AST Suzanne Dupéron 2020-06-17 22:37:39 +0100
  • 7a2e4b35d2 Merge branch 'fix/compare_sum_type_error' into 'dev' Suzanne Dupéron 2020-06-23 22:13:52 +0000
  • 242d99fd5e Improve error message Suzanne Dupéron 2020-06-17 23:14:50 +0100
  • 0cf9dc576e rework error when comparing two sum types Lesenechal Remi 2020-06-17 18:40:32 +0200
  • ae4a13b63f Merge branch 'bugfix-url-mainnet-tezos' into 'dev' Suzanne Dupéron 2020-06-23 21:27:39 +0000
  • 5cbeab0a3b Use xrefcheck's config to increase the timeout Suzanne Dupéron 2020-06-23 21:55:08 +0100
  • 2b790b0ebc Disable remote link checks and use static version of xrefcheck because it's faster to install than the whole Haskell environment Suzanne Dupéron 2020-06-23 21:48:21 +0100
  • 72bff930cc Update URL to tezos documentation (the /mainnet/ path component was removed) Suzanne Dupéron 2020-06-23 20:44:00 +0100
  • 591f28014d Merge branch 'bugfix-typer-12' into 'dev' Suzanne Dupéron 2020-06-23 19:36:25 +0000
  • 64c6b8896d comment Suzanne Dupéron 2020-06-03 12:54:40 +0100
  • 19f02a4b36 bugfix: forgot to explicitly discard new typer state Suzanne Dupéron 2020-06-17 23:27:00 +0100
  • 424a0b0ba7 Bugfix: equality Suzanne Dupéron 2020-06-03 01:31:33 +0100
  • 2c5f1f0e2b Bugfix in printer Suzanne Dupéron 2020-06-17 22:38:05 +0100
  • 60c4f591fb Merge branch 'fix/xreftest' into 'dev' Rémi Lesenechal 2020-06-23 16:08:04 +0000
  • 18e645c73f fixing broken links Lesenechal Remi 2020-06-23 17:12:55 +0200
  • 8e558041f0 Merge branch 'refactor/passes' into 'dev' Pierre-Emmanuel Wulfman 2020-06-23 14:59:13 +0000