Commit Graph

  • 1c1dac1896
    UnionFind Alexander Bantyev 2020-03-26 20:44:49 +0300
  • b8cbd8929b
    Handle variable overrides correctly Alexander Bantyev 2020-03-26 20:27:16 +0300
  • 1dabc4442d
    Make variable resolution more uniform Alexander Bantyev 2020-03-26 20:24:04 +0300
  • 4d585096ba
    Don't pin menhir Alexander Bantyev 2020-03-26 20:11:55 +0300
  • c28a0f0a60 Merge branch 'remaining-460-docs' into 'dev' Sander 2020-03-26 17:08:47 +0000
  • 9e84d29326 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@preproc Christian Rinderknecht 2020-03-26 18:03:38 +0100
  • c4796d5695 Describe nested updates. Put record patches section in a pascaligo syntax block. Sander Spies 2020-03-26 17:53:46 +0100
  • 40fd4cc2fe Merge Sander Spies 2020-03-26 17:04:50 +0100
  • ca48e152a0 I removed exceptions for error reporting through the interfaces ([Stdlib.result] instead). Christian Rinderknecht 2020-03-26 16:51:08 +0100
  • 24f4364978 Merge branch 'improve-string-doc' into 'dev' Sander 2020-03-26 11:09:21 +0000
  • 8f62a15f73 Merge branch 'cheat-sheet-testable' into 'dev' Sander 2020-03-26 11:02:18 +0000
  • 0220aac83e Merge branch 'error-tutorial' into 'dev' Sander 2020-03-26 10:58:08 +0000
  • 91a6affdad Merge branch 'enfore_not_allowing_big_maps' into 'dev' Sander 2020-03-26 10:39:18 +0000
  • 4db1af47c3
    Add comments Alexander Bantyev 2020-03-26 13:38:56 +0300
  • dc671b5151
    More cleanup Alexander Bantyev 2020-03-26 13:20:04 +0300
  • f6044d6c71
    Cleanup Alexander Bantyev 2020-03-26 03:18:13 +0300
  • dbf9ccc169
    Almost builds Alexander Bantyev 2020-03-26 02:48:32 +0300
  • 2796c9510e
    opam2nix prototype Alexander Bantyev 2020-03-25 21:14:18 +0300
  • 38a61f5cb3 Improve String.sub api documentation. Sander Spies 2020-03-26 11:06:52 +0100
  • cb54cd1210 Lambda's and keys shouldn't give errors for nesting big maps. Sander Spies 2020-03-26 09:23:43 +0100
  • 84d8da97ec Delete flaky webide test (for now) Tom Jack 2020-03-25 14:47:41 -0500
  • b24f1f6b1d Added support for -I CLI option (same behaviour as CPP). Comments are now recognised in accordance with the file extension. Christian Rinderknecht 2020-03-25 18:52:23 +0100
  • e9a26f7db7 Merge branch 'ast/add_printer_in_cli_for_new_ast' into 'dev' Pierre-Emmanuel Wulfman 2020-03-25 16:22:14 +0000
  • 7e59312454 Merge Sander Spies 2020-03-25 17:18:53 +0100
  • 9b192d8ba2 done Pierre-Emmanuel Wulfman 2020-03-23 16:07:40 +0100
  • ab79fe4eda Added some interfaces and removed submodules [Error]. Christian Rinderknecht 2020-03-24 21:05:39 +0100
  • 9b6b13cda3 Fixed dune file. Christian Rinderknecht 2020-03-24 18:52:00 +0100
  • 8ce6d00d06 Remove redundant \n in error messages. Christian Rinderknecht 2020-03-24 18:43:15 +0100
  • 2a1167428f Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@preproc Christian Rinderknecht 2020-03-24 17:48:24 +0100
  • 9c9321029a First working version. Christian Rinderknecht 2020-03-24 17:47:24 +0100
  • 2182054c1c Merge branch 'rinderknecht@reasonligo_parsing' into 'dev' Sander 2020-03-24 14:17:04 +0000
  • 75735cd6ed Fix tutorial error. Sander Spies 2020-03-24 14:41:37 +0100
  • caac8caf8e Add test for tuple list in ReasonLIGO Sander Spies 2020-03-24 14:16:08 +0100
  • af319ba236 Merge branch 'dev' of https://gitlab.com/ligolang/ligo into rinderknecht@reasonligo_parsing Sander Spies 2020-03-24 14:10:30 +0100
  • 715c3a8eac Inform that it's not possible to nest a big map inside another big map Sander Spies 2020-03-24 14:01:04 +0100
  • d059cf991b Give an error when nesting a big_map inside another big_map Sander Spies 2020-03-24 13:58:18 +0100
  • cb592dfd9c Updated logo and favicon Maksym Bykovskyy 2020-03-23 16:39:11 -0700
  • 5eada8c5e4 Merge branch 'dernhelm7-dev-patch-89863' into 'dev' Eowyn Dean 2020-03-23 20:50:43 +0000
  • f266b3f0ee Added FAQ Eowyn Dean 2020-03-23 19:52:02 +0000
  • 37faf9022e [WIP] Does not compile yet. Christian Rinderknecht 2020-03-23 19:43:06 +0100
  • c491b826ff Blank commit to trigger the CI due to some GitLab failure. Suzanne Dupéron 2020-03-23 16:34:21 +0100
  • 7896de89f3 Make cheatsheet testable. Sander Spies 2020-03-19 21:27:58 +0100
  • 926a83f7df Merge branch 'ast/ast_imperative+sugar' into 'dev' Pierre-Emmanuel Wulfman 2020-03-18 18:08:58 +0000
  • 6cafb4026b adding E_sequence in sugar Pierre-Emmanuel Wulfman 2020-03-18 17:27:27 +0100
  • ebbaccd064 wip Sander Spies 2020-03-18 16:53:59 +0100
  • cb1bc95d59 remove E_skip from core Pierre-Emmanuel Wulfman 2020-03-18 16:16:43 +0100
  • 5a4c0b32fb rewrite test suite to compare value from ast_imperative instead of ast_core; includes uncompiler fo stage 4 and 6 Pierre-Emmanuel Wulfman 2020-03-17 16:04:27 +0100
  • 6dd7afbeb1 change passes name concrete_to_imperative, imperative_to_sugar, sugar_to_core Pierre-Emmanuel Wulfman 2020-03-16 14:53:56 +0100
  • 8b3877a92c rename AST to imperative, sugar and core. Factor code in compile Pierre-Emmanuel Wulfman 2020-03-16 14:28:05 +0100
  • 6dfd2dac32 test passed Pierre-Emmanuel Wulfman 2020-03-12 23:24:10 +0100
  • 2abd737ed3 compiling Pierre-Emmanuel Wulfman 2020-03-12 23:20:39 +0100
  • 2c9100d6f7 Merge branch 'nested-functions' into 'dev' Gabriel Alfour 2020-03-18 10:49:32 +0000
  • 626054ed66 Describe nested functions Sander Spies 2020-03-18 09:49:35 +0100
  • 78faa138da Merge branch 'more-api-docs-syntax-headers' into 'dev' Sander 2020-03-17 15:38:41 +0000
  • 78ae61c5e0 Add remaining API docs Sander 2020-03-17 15:38:41 +0000
  • 35ae307f6c More language-basics changes. Sander Spies 2020-03-17 16:05:03 +0100
  • 24197f594e Merge branch 'syntax-test' into 'dev' Sander 2020-03-16 22:34:50 +0000
  • 16a2355294 Remove empty lines. Sander Spies 2020-03-16 22:30:28 +0100
  • 222bc3cb5c Merge branch 'feature/flag-for-michelson-typecheking' into 'dev' Rémi Lesenechal 2020-03-16 12:41:29 +0000
  • 97a85766d3 add a flag to disable michelson typechecking in compile-contract Lesenechal Remi 2020-03-12 20:16:50 +0100
  • cf983d45ed Merge branch 'fix-ci-pages' into 'dev' Sander 2020-03-13 15:30:34 +0000
  • 78ae534913 Add NotFound component to fix build. Yay, docusaurus... Sander Spies 2020-03-13 15:28:24 +0100
  • 6203427d3f Merge branch 'tezos-client-command' into 'dev' Jev Björsell 2020-03-12 20:26:13 +0000
  • 1aecc4eb04 Tezos client command Maksym Bykovskyy 2020-03-12 20:26:13 +0000
  • eecdbcddf7 Merge branch 'ast/tail_recursion' into 'dev' Pierre-Emmanuel Wulfman 2020-03-12 18:47:46 +0000
  • 8a0e1dfea4 dune promote Pierre-Emmanuel Wulfman 2020-03-12 18:50:42 +0100
  • 3a80fadcc8 rewrite interpreter recursion within the initial formalism. Lesenechal Remi 2020-03-12 17:32:49 +0100
  • 660dcbb79f review 3 Pierre-Emmanuel Wulfman 2020-03-12 15:41:26 +0100
  • c17a749078 review 2 Pierre-Emmanuel Wulfman 2020-03-11 17:04:49 +0100
  • dbb6fbd8e6 review 1 Pierre-Emmanuel Wulfman 2020-03-11 11:18:39 +0100
  • abbc20459c add doc and test Pierre-Emmanuel Wulfman 2020-03-10 14:24:57 +0100
  • a5f44d3e88 clean-up junk Pierre-Emmanuel Wulfman 2020-03-09 22:53:15 +0100
  • 51251f9464 Remove debug text Sander Spies 2020-03-10 10:52:07 +0100
  • 8a183ff1d2 Fixing error.messages. Sander Spies 2020-03-10 10:21:12 +0100
  • 6e76a5d96d Update messages file Sander Spies 2020-03-09 18:45:12 +0100
  • 092360de93 WIP: fix parser error Pierre-Emmanuel Wulfman 2020-03-09 17:32:57 +0100
  • 27f583266e test for tail recursion Pierre-Emmanuel Wulfman 2020-03-09 11:26:13 +0100
  • c46002b160 modifying doc and test for loops (Cameligo and pascaligo) Pierre-Emmanuel Wulfman 2020-03-09 00:13:07 +0100
  • fa5983e9d3 fix contrat religo Pierre-Emmanuel Wulfman 2020-03-07 02:54:57 +0100
  • b15d9a5123 compiling Pascaligo Pierre-Emmanuel Wulfman 2020-03-07 01:19:22 +0100
  • e7c71ae4cc passing test for Cameligo Pierre-Emmanuel Wulfman 2020-03-06 23:44:28 +0100
  • b2f0e8bbc4 WIP: adding E_recursive in ast Pierre-Emmanuel Wulfman 2020-02-28 18:58:53 +0100
  • 734620a179 Keyword add for pasca,came,reason:ligo;typing error in contract Pierre-Emmanuel Wulfman 2020-02-21 16:10:02 +0100
  • b51818bc4e Fixed parsing and source pretty-printing of recursive functions. Christian Rinderknecht 2020-02-21 12:30:32 +0100
  • 68b6e6d3b0 remove option(recursive) in Parser.mly; parse error still Pierre-Emmanuel Wulfman 2020-02-21 11:41:36 +0100
  • b438f065b5 WIP:adding rec keyword Pierre-Emmanuel Wulfman 2020-02-20 22:31:47 +0100
  • 1597d1eaf4 WIP: recursion Pierre-Emmanuel Wulfman 2020-02-19 11:51:49 +0100
  • f176d36dd8 Merge branch 'api-docs/big_map' into 'dev' Sander 2020-03-12 13:05:00 +0000
  • 678a3bee59 Fix error messages. Sander Spies 2020-03-10 16:43:29 +0100
  • a94753f720 Re-add error messages. Sander Spies 2020-03-10 16:39:05 +0100
  • d273d0fbfe Merge. Sander Spies 2020-03-10 16:33:24 +0100
  • 31e8035e6a Remove incorrect Big_map operations. Sander Spies 2020-03-10 14:52:59 +0100
  • 978c95fa76 Remove versions.json from docker compose file. Sander Spies 2020-03-10 13:50:36 +0100
  • bcb77c6305 Merge Sander Spies 2020-03-10 12:55:51 +0100
  • 608a7b7f95 - Refactor operators.ml to have shared pseudo modules. - Fix tests for big_map Sander Spies 2020-03-10 12:54:18 +0100
  • 4ed4203b46 Merge branch '145-entry-point-name-length-limit' into 'dev' Pierre-Emmanuel Wulfman 2020-03-09 18:24:09 +0000
  • 1e36c64d42 Merge branch 'ast/loop_into_recursion' into 'dev' Pierre-Emmanuel Wulfman 2020-03-09 18:24:07 +0000
  • 8806b52b68 Merge branch 'add-crypto-check-example' into 'dev' Tom Jack 2020-03-09 18:05:59 +0000
  • 66aca916bf mapping over type_operator types is useless Lesenechal Remi 2020-02-21 17:18:51 +0100
  • 503d8f771e add tests for sum type names limit length Lesenechal Remi 2020-02-21 17:08:10 +0100