balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • 42b05c0437 Test tuples without annotations. Sander Spies 2020-04-13 10:31:09 +0200
  • a4a8e9d2bc Remove tuple annotation. Sander Spies 2020-04-13 10:24:40 +0200
  • ce1b55e548 Merge branch 'fix-wrong-wild-call' into 'dev' Sander 2020-04-12 13:54:18 +0000
  • b23b2d1dbb Plugged the preprocessor into the compiler's CLI. Christian Rinderknecht 2020-04-12 15:26:47 +0200
  • 6f0fb02bf6 Ensure that the right error is called when using the wild pattern incorrectly. Sander Spies 2020-04-12 14:57:39 +0200
  • 6c02482bf9 Fixed the #include directive. Christian Rinderknecht 2020-04-09 18:41:55 +0200
  • 3ed303f60d In EvalOpt modules, the CLI input ["-"] is becomes now [None], like the absence of an input filename. (This simplifies all the clients codes.) Fixed the dune file for the preprocessor. Fixed the build of PreprocMain.exe and PreprocMain.byte. Restricted preprocessing errors [Preproc.Newline_in_string] and [Preproc.Open_string] to the argument of the #include directive (instead of general strings: this is for the LIGO lexer to report the error). I removed the error [Preproc.Open_comment] as this is for the LIGO lexer to report. The preprocessor scanner [Preproc.lex] does not take a parameter [is_file:bool] now: the source file (if any) is determined from the lexing buffer. Accordingly, the field [is_file] of the state of the preprocessing lexer has been removed: the lexing buffer becomes now the reference for the input source (bug fix and interface improvement). Fixed the comments of the test contract pledge.religo. I removed the data constructor [Lexer.Stdin], as redundant with [Lexer.Channel]. Christian Rinderknecht 2020-04-09 16:18:26 +0200
  • 46eecb4027 Marked the errors that should be skipped (because catched by the LIGO lexer later). Added field [is_file] to the state of the lexer to know if the input is a file or not (insert or not a first line directive). Fixed ReasonLIGO comments in entrypoints-contracts.md and website2.religo. WIP on the LIGO lexer to properly handle comments for all the syntaxes. Christian Rinderknecht 2020-04-08 20:24:34 +0200
  • 79967be726 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@preproc Christian Rinderknecht 2020-04-08 17:40:13 +0200
  • 3359848565 Merge branch 'ediv-doc' into 'dev' Sander 2020-04-08 09:55:03 +0000
  • a12febe08b Merge Sander Spies 2020-04-08 10:58:06 +0200
  • 432877f954 Merge branch 'dev' of https://gitlab.com/ligolang/ligo into ediv-doc Sander Spies 2020-04-08 10:56:54 +0200
  • 1f0519c8ee Merge branch 'feature/michelson-or-type' into 'dev' Gabriel Alfour 2020-04-07 22:35:57 +0000
  • 6613883296 Fix description Tom Jack 2020-04-07 17:33:20 -0500
  • b15694b5bc Fix some types, describe more details Tom Jack 2020-04-07 17:11:19 -0500
  • f9d1928d8e michelson_or tests and changelog Lesenechal Remi 2020-03-30 13:20:14 +0200
  • be5ad35fb9 Force annotation for michelson_or Lesenechal Remi 2020-03-27 17:20:56 +0100
  • 4af42cb1bd michelson_or types are transformed into variant types Lesenechal Remi 2020-03-27 16:22:07 +0100
  • 951348feb9 Deletion of Parser.msg Christian Rinderknecht 2020-04-07 19:56:52 +0200
  • e983ef4c94 Add ediv description Sander Spies 2020-04-07 19:27:23 +0200
  • 53223e9d8e Cosmetics. Christian Rinderknecht 2020-04-07 18:57:43 +0200
  • a343989a6b Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@preproc Christian Rinderknecht 2020-04-07 18:57:10 +0200
  • c0ee726fb2 Simple_utils is now used as a library by the local builds. Preprocessor is now a library installed by opam. Replaced ligolang@gmail.com by contact@ligolang.org in opam files. Reformatted some opam files. Removed #line directive from preprocessor. Added to the interface of ParserUnit. Script messages.sh now checks the identity of .msg and .msg.old to avoid undue warning about possibly different LR items. Christian Rinderknecht 2020-04-07 18:33:46 +0200
  • 96b3ecf248 Merge branch 'feature/EDIV' into 'dev' Pierre-Emmanuel Wulfman 2020-04-07 13:50:25 +0000
  • a021038991 Merge branch 'fix-bitwise-reasonligo-arrow' into 'dev' Sander 2020-04-06 17:07:27 +0000
  • 79540f9a40 ediv implemented and tested; parser gives error Pierre-Emmanuel Wulfman 2020-04-06 18:23:26 +0200
  • 4770a6e0d5 -> to => Sander Spies 2020-04-06 18:09:23 +0200
  • f1274497bd Merge branch 'sitemap-deployment' into 'dev' Sander 2020-04-06 15:13:58 +0000
  • 954558da60 Deploy sitemap.xml to actual website Sander Spies 2020-04-06 16:16:34 +0200
  • 38edf5ce74 Add support for record expressions of only one field. Sander Spies 2020-04-06 16:09:38 +0200
  • edb5d4b6bf Merge branch 'add-sitemap-xml' into 'dev' Sander 2020-04-06 10:52:34 +0000
  • 4f61c75799 Merge branch 'contact-page-change' into 'dev' Sander 2020-04-06 10:32:38 +0000
  • 2ed7ea4112 Add sitemap Sander Spies 2020-04-06 11:53:21 +0200
  • 1941f9ae4b Shared more code in ParserUnit.ml Rewrite of the integration of the preprocessor. Compiles bt DOES NOT PASS THE CI. Christian Rinderknecht 2020-04-03 19:08:14 +0200
  • 6c1a1f91e2 Removed error "Invalid directive" as PascaLIGO has the operator #. Christian Rinderknecht 2020-04-03 19:06:35 +0200
  • 5a8dd7233b Merge branch 'gardening/combinators' into 'dev' Pierre-Emmanuel Wulfman 2020-04-03 16:41:41 +0000
  • b41a59d2cf ast-imperative Pierre-Emmanuel Wulfman 2020-04-03 17:39:48 +0200
  • 1f118f7233 ast-sugar Pierre-Emmanuel Wulfman 2020-04-01 16:51:38 +0200
  • bc7df6a5b4 ast_core Pierre-Emmanuel Wulfman 2020-04-01 16:29:40 +0200
  • 2b09906a37 remove unwanted files at root Pierre-Emmanuel Wulfman 2020-04-01 14:52:57 +0200
  • 588306ecd3 Modify contact page Sander Spies 2020-04-03 15:39:46 +0200
  • d0ccaabf3e Documentation Sander Spies 2020-04-03 14:51:16 +0200
  • 82c60cbdd1 Merge branch 'fix-toplevel2' into 'dev' Sander 2020-04-03 09:10:53 +0000
  • d09205aebc Another toplevel fix. Sander Spies 2020-04-03 10:01:35 +0200
  • 16bf367ea7 Merge Sander Spies 2020-04-02 17:46:27 +0200
  • 13799b3181 Merge branch 'fix-toplevel-error' into 'dev' Sander 2020-04-02 14:11:20 +0000
  • d449231421 Fix wrong closing element. Sander Spies 2020-04-02 15:14:07 +0200
  • cbf2c7680e Merge branch 'wild-args-reasonligo' into 'dev' Sander 2020-04-02 11:57:32 +0000
  • 2e528e3e49 Merge branch 'toplevel-doc' into 'dev' Christian Rinderknecht 2020-04-02 11:36:24 +0000
  • c4199a9708 Merge branch 'inline-doc' into 'dev' Sander 2020-04-02 11:29:08 +0000
  • 221359ca64 Merge branch 'boolean-operations' into 'dev' Christian Rinderknecht 2020-04-02 11:29:04 +0000
  • 3d1ee50685 Tuple destructuring description Sander Spies 2020-04-02 13:28:48 +0200
  • e543c2cf9a Merge branch 'tutorial-tezos-prefixes' into 'dev' Christian Rinderknecht 2020-04-02 11:23:57 +0000
  • a7d4f6691b Forgot a word. Sander Spies 2020-04-02 13:02:44 +0200
  • d0094addd2 Add markdown files to md_file_tests Sander Spies 2020-04-02 12:40:55 +0200
  • 5c453354fc Merge. Sander Spies 2020-04-02 12:38:25 +0200
  • 7e2a09e81e Improve inline attribute description. Sander Spies 2020-04-02 12:29:32 +0200
  • 951235d105 Merge Sander Spies 2020-04-02 10:31:52 +0200
  • fdb53381d1 Merge branch 'delete-deploy-flake' into 'dev' Tom Jack 2020-04-01 23:10:53 +0000
  • d756f94c0c Merge branch 'better-pp' into 'dev' Tom Jack 2020-04-01 20:43:21 +0000
  • 803222f646 Merge branch 'no-dexter' into 'dev' Tom Jack 2020-04-01 20:20:28 +0000
  • 6fed8998bb Somewhat better PP for ast_core and mini_c Tom Jack 2020-03-23 15:14:55 -0500
  • 57fc351907 Remove dexter.ligo Tom Jack 2020-04-01 14:22:05 -0500
  • f5e0dad979 Added # line directive at the start to recover the file name. Continued integration. Christian Rinderknecht 2020-04-01 19:22:46 +0200
  • 3e46e226c0 Add toplevel page for API reference. Sander Spies 2020-04-01 19:00:39 +0200
  • 86de9d27e7 Add errors for properly handling let x = _ cases. Sander Spies 2020-04-01 18:08:31 +0200
  • 60070cc8d0 Merge branch 'syntax-switch-fix' into 'dev' Sander 2020-04-01 14:41:47 +0000
  • ec7c6e8ad9 Error message shows up again. Sander Spies 2020-04-01 16:34:36 +0200
  • c764f89881 Merge Sander Spies 2020-04-01 15:50:59 +0200
  • 3d3da33e3e Add background-color to options of Syntax Switch. Sander Spies 2020-04-01 15:35:09 +0200
  • 037c1cb302 Merge branch 'ast/e_cond_sugar' into 'dev' Pierre-Emmanuel Wulfman 2020-04-01 13:12:36 +0000
  • 1202ffc8df Add list of boolean operations Sander Spies 2020-04-01 14:49:56 +0200
  • 9dc7e7fcb9 Add E_cond as sugar (if .. then .. else ..) for match_bool Pierre-Emmanuel Wulfman 2020-03-30 14:38:18 +0200
  • 968e73b342 Integrated the library for preprocessing. The build with Makefile works. Dune build to be tested. Christian Rinderknecht 2020-03-31 19:44:10 +0200
  • 1fff3dee21 Merge branch 'ast/tuples_are_back' into 'dev' Pierre-Emmanuel Wulfman 2020-03-31 16:04:19 +0000
  • 059bbc8457 Merge branch 'wrong-type-mutez' into 'dev' Sander 2020-03-31 16:04:16 +0000
  • c9e509f636 review 1 Pierre-Emmanuel Wulfman 2020-03-31 16:41:56 +0200
  • 13e9405dee adding tuples in ast_sugar Pierre-Emmanuel Wulfman 2020-03-25 15:22:26 +0100
  • 0d46be7425 Change not existing mutez type to existing tez type Sander Spies 2020-03-31 17:00:17 +0200
  • 257821a764 Use Tezos prefix in Tutorial. Sander Spies 2020-03-31 14:39:26 +0200
  • 9fc3c3f01b merge Sander Spies 2020-03-31 14:15:32 +0200
  • c8175a7550 Inline attribute documentation Sander Spies 2020-03-31 14:11:22 +0200
  • 9cd750442a Merge branch 'ast/move_ds_to_constant' into 'dev' Pierre-Emmanuel Wulfman 2020-03-30 16:50:56 +0000
  • aac7dd3462 review 1 Pierre-Emmanuel Wulfman 2020-03-27 15:23:55 +0100
  • 6a9547e910 add type map_or_big_map to solve issue of typing big_map_empty from map_add Pierre-Emmanuel Wulfman 2020-03-25 19:10:04 +0100
  • 330c48e66a remove Map and BIG_Map Pierre-Emmanuel Wulfman 2020-03-19 16:55:13 +0100
  • a39c900b72 remove set and list Pierre-Emmanuel Wulfman 2020-03-16 18:34:43 +0100
  • c5d9c9ffa3 remove look_up Pierre-Emmanuel Wulfman 2020-03-16 18:09:12 +0100
  • 3cbd8f0113 Merge branch 'ast/e_assing_is_back' into 'dev' Pierre-Emmanuel Wulfman 2020-03-30 13:37:26 +0000
  • d91753e493 remove case e_sequance (e_assing, expr) Pierre-Emmanuel Wulfman 2020-03-30 14:40:28 +0200
  • 21e8298a4e add assign back Pierre-Emmanuel Wulfman 2020-03-23 16:00:50 +0100
  • ebff258882 The emitted line directives now have the exact same contents as with cpp. A line made of blanks is now correctly copied out (instead of single newline). Christian Rinderknecht 2020-03-27 19:30:39 +0100
  • 63793ddc76 Merge branch 'ast/loop_construct_for_ast_imperative' into 'dev' Pierre-Emmanuel Wulfman 2020-03-27 18:28:52 +0000
  • 54af2138bf Merge branch 'describe-nested-immutable-path' into 'dev' Sander 2020-03-27 16:07:19 +0000
  • 4003aa4e06 add for, for_each, while construct in ast_imperatve;\n Move the treatment of loops and handling of the assignment in imperative_to_sugar Pierre-Emmanuel Wulfman 2020-03-27 14:57:56 +0100
  • 1ac6835726 Some changes to get around the negative test errors. Sander Spies 2020-03-27 16:29:50 +0100
  • 3c65eafa7b Merge. Sander Spies 2020-03-27 09:18:08 +0100
  • 62d1a77b3d ReasonLIGO: Add support for _ as an argument Sander Spies 2020-03-26 20:40:18 +0100
  • b5a3fb9367 The directive #include is now recursive. Christian Rinderknecht 2020-03-26 19:32:48 +0100
  • 4262037a5b
         Fix flags to ppx dev Alexander Bantyev 2020-03-26 20:47:15 +0300