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

Commit Graph

  • 8c0275b42c Tuples of types are pretty-printed now. Christian Rinderknecht 2020-05-12 19:25:02 +0200
  • 599944343d Merge branch 'bugfix@recompute-environment' into 'dev' Suzanne Dupéron 2020-05-09 22:30:25 +0000
  • 673fb67c1c Added test case from GitLab issue Suzanne Dupéron 2020-05-09 22:02:16 +0100
  • da5b9c1612 Remove erroneous comment Gabriel Alfour 2020-05-09 20:15:33 +0000
  • 98d49959b7
         add a pass to recompute environments galfour 2020-05-09 13:21:02 +0200
  • 546856e14a Fixed ParserLog. First complete version of the pretty-printer. Christian Rinderknecht 2020-05-08 19:01:51 +0200
  • 2b96bbbdc3 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-05-08 19:00:57 +0200
  • c307f251c8 Merge branch 'docker-version-info' into 'dev' Tom Jack 2020-05-08 15:50:25 +0000
  • f1c444da22 A bit more nodes added. Christian Rinderknecht 2020-05-07 20:26:47 +0200
  • 0160c1b7ef Merge branch 'unblock_pages_ci' into 'dev' Jev Björsell 2020-05-07 17:32:31 +0000
  • eb098d12e3 remove compact-ligo-ide import and implementation Edmond Lee 2020-05-07 17:32:31 +0000
  • 19866476d7 Merge branch 'cleanup/environment' into 'dev' Rémi Lesenechal 2020-05-07 15:53:09 +0000
  • 9eeac11628 some environment cleanup Lesenechal Remi 2020-05-07 16:08:31 +0200
  • 736860611f Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-05-07 15:41:33 +0200
  • a1c5b471fe More cases added. Christian Rinderknecht 2020-05-07 11:11:16 +0200
  • 5d06630b2c Export COMMIT_DATE also in build_binary Tom Jack 2020-05-06 06:04:29 -0500
  • e93e3ccbdd Merge branch 'docker-version-info' into 'dev' Tom Jack 2020-05-05 20:25:46 +0000
  • ec99230c63 Pass version info through to docker Tom Jack 2020-05-05 20:25:46 +0000
  • 288e6646eb Merge branch 'bugfix/default_env_for_interpret_and_expression' into 'dev' Pierre-Emmanuel Wulfman 2020-05-05 16:56:33 +0000
  • e0be6fc36f done Pierre-Emmanuel Wulfman 2020-05-05 17:24:03 +0200
  • 77b5e15088 Merge branch 'feature/fix-michelson-pair-detection' into 'dev' Rémi Lesenechal 2020-05-05 14:47:09 +0000
  • c54d650a2a now check the label to detect michelson pairs Lesenechal Remi 2020-05-05 15:21:28 +0200
  • cadd0d66a9 Merge branch 'feature/quickfix-uncapitalize-michelson-or' into 'dev' Rémi Lesenechal 2020-05-05 12:40:00 +0000
  • 7bbfa9ff97 uncapitalize micheslon_or's %-annotations Lesenechal Remi 2020-05-04 18:22:26 +0200
  • 38af497cc3 Merge branch 'feature/adt-generator-promote-until-clean' into 'dev' Suzanne Dupéron 2020-05-04 15:19:05 +0000
  • 29de1278b4 Merge branch 'feature/converter-generation' into 'dev' Rémi Lesenechal 2020-05-04 13:45:26 +0000
  • ddb2eac6ca add test Pierre-Emmanuel Wulfman 2020-05-04 15:14:56 +0200
  • 426a1b6620 adding ReasonLigo contract Pierre-Emmanuel Wulfman 2020-05-04 15:12:44 +0200
  • 51c043b7cb Merge branch 'feature/new-typer-3' into 'dev' Rémi Lesenechal 2020-05-04 13:08:00 +0000
  • 5891a6f4cc 'convert_from_left_comb' and 'convert_from_right_comb' for sum types Lesenechal Remi 2020-04-30 23:58:57 +0200
  • 059a566d4b add PascaLigo contract Pierre-Emmanuel Wulfman 2020-05-04 13:39:44 +0200
  • 66aea1b8d1 Added more cases. Christian Rinderknecht 2020-05-04 12:34:42 +0200
  • 0aa69ed35b Fixed last commit (renaming of TStringLiteral, adding --pretty) Christian Rinderknecht 2020-05-03 10:40:11 +0200
  • 8fdf9a8b95 fix weird bug in matching cases Lesenechal Remi 2020-04-30 19:04:01 +0200
  • 0a44a22cac 'michelson_or_right_comb' and 'michelson_or_left_comb' type operators Lesenechal Remi 2020-04-30 15:12:26 +0200
  • 8e3230bf29 'Layout.convert_to_right_comb' and 'Layout.convert_to_left_comb' for sum types Lesenechal Remi 2020-04-29 23:17:29 +0200
  • b54bcb8db7 rename 'michelson_right/left_comb' to 'michelson_pair_right/left_comb' Lesenechal Remi 2020-04-28 21:29:21 +0200
  • fb2f3e89e7 replace field name 'decl_position' by 'field_decl_pos' Lesenechal Remi 2020-04-28 16:58:47 +0200
  • 1f6bc4fc6b convert_from for pairs/record Lesenechal Remi 2020-04-28 00:34:03 +0200
  • 9d200a1b56 michelson_right_comb and michelson_left_comb type operators Lesenechal Remi 2020-04-24 21:47:19 +0200
  • 3333742037 Converters for michelson types Lesenechal Remi 2020-04-22 19:44:21 +0200
  • f4b9261104 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@pprint Christian Rinderknecht 2020-05-01 20:34:34 +0200
  • 2667c10990 * Renamed [TStringLiteral] as [TString]. * LexToken.mll for CameLIGO: Fixed printing of "Str" into "String". * Added CLI option --pretty to call the pretty-printer from ParserMain. * Use the package Terminal_size to try to determine the width of the terminal where the source is pretty-printed. Christian Rinderknecht 2020-05-01 20:32:48 +0200
  • 716751553e add cameligo contract Pierre-Emmanuel Wulfman 2020-04-30 18:27:49 +0200
  • 82b3d634c1 Merge branch 'parser-promote-generated-error-files' into 'dev' Christian Rinderknecht 2020-04-30 09:48:23 +0000
  • 62f97e2f7f replace type_value by type_expresion end expression' by expression_content for conformity Pierre-Emmanuel Wulfman 2020-04-20 18:55:04 +0200
  • b0998f417a Merge branch 'ast/remove-match-bool' into 'dev' Pierre-Emmanuel Wulfman 2020-04-30 09:05:58 +0000
  • 8d59389f7d review Pierre-Emmanuel Wulfman 2020-04-29 19:39:46 +0200
  • 2c62f9d32e remove match_bool from the ast Pierre-Emmanuel Wulfman 2020-04-23 17:28:05 +0200
  • f4deb32561 Merge branch 'bugfix/new-typer-2' into 'dev' Suzanne Dupéron 2020-04-30 04:30:46 +0000
  • 71e0509910 Merge branch 'bugfix/new-typer' into 'dev' Suzanne Dupéron 2020-04-30 03:37:45 +0000
  • 61ef304a46 Merge branch 'feature/typer-print-internal-state-1' into 'dev' Suzanne Dupéron 2020-04-29 22:27:05 +0000
  • 2372f30ed3 ADT generator: promote until-clean Suzanne Dupéron 2020-04-29 18:06:36 +0100
  • 057bd19ca7 Add a reason string explaining why constraints are added by the typer Suzanne Dupéron 2020-04-29 17:54:52 +0100
  • 4587862da7 Fix in new typer: propagator for break_ctor was too permissive Suzanne Dupéron 2020-04-28 01:03:38 +0100
  • cf492f03cb Solve T_arrow vs. TC_arrow bug by removing TC_arrow Suzanne Dupéron 2020-04-23 22:28:12 +0100
  • 9b1e66622a Functor for applying a fold over any ADT node (e.g. generate all print functions in one go) Suzanne Dupéron 2020-04-27 13:16:33 +0100
  • 94b9404d1b Union-Find: function to extract the list of partitions Suzanne Dupéron 2020-04-27 13:15:21 +0100
  • dfb82aa479 improve printer: constructors with no arguments Suzanne Dupéron 2020-04-27 13:03:28 +0100
  • 40474dcc68 printer: use boxes Suzanne Dupéron 2020-04-27 13:03:04 +0100
  • c8f3bb4f04 improve printer: Var name Suzanne Dupéron 2020-04-27 13:01:09 +0100
  • 164a32a9b2 ADT generator: missing dependency Suzanne Dupéron 2020-04-22 19:50:58 +0100
  • 8e9ee21cd4 Fix Not_found bug (remove redeclaration of the exception) Suzanne Dupéron 2020-04-22 19:47:43 +0100
  • 0580f21896 moved core and solver types to the AST, removed functor hell (Map, Set, UnionFind) Suzanne Dupéron 2020-04-13 19:19:49 +0200
  • 12cbc9ca07 Prepare ADT generator for new error monad Suzanne Dupéron 2020-04-16 17:31:38 +0200
  • a0b450a34d Merge branch 'balsoft/nix' into 'dev' Suzanne Dupéron 2020-04-29 20:05:07 +0000
  • 31858a7a24 Merge branch 'feature/default-environment' into 'dev' Pierre-Emmanuel Wulfman 2020-04-29 18:40:12 +0000
  • edb3fce642 Add nix as a build system Alexander Bantyev 2020-03-25 21:14:18 +0300
  • e467642f14 review Pierre-Emmanuel Wulfman 2020-04-29 14:41:54 +0200
  • 92d741f5f8 Add bool in default environment Pierre-Emmanuel Wulfman 2020-04-22 17:56:27 +0200
  • 7bcf706fcc wip Pierre-Emmanuel Wulfman 2020-04-20 14:53:13 +0200
  • d0d495ccce Merge branch 'rinderknecht@michelson' into 'dev' Sander 2020-04-29 14:19:29 +0000
  • 6ce6ebfec3 Simplified the interface of the lexer by not exporting the scanner [init] (which reads the BOM, if any). Christian Rinderknecht 2020-04-28 21:17:34 +0200
  • de7864a500 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@michelson Christian Rinderknecht 2020-04-28 19:26:39 +0200
  • 005b7fd69b Finished refactoring of lexer. Christian Rinderknecht 2020-04-28 19:26:31 +0200
  • 5c61bfaa95 Merge branch 'fix/arbitrary_procesion_for_numerals' into 'dev' Pierre-Emmanuel Wulfman 2020-04-28 15:12:38 +0000
  • 877c86b6e4 Merge branch 'less-dippy' into 'dev' Pierre-Emmanuel Wulfman 2020-04-28 11:07:18 +0000
  • 56fe3b6021 Don't dip for the second var either Tom Jack 2020-02-03 17:34:52 -0600
  • 94c35e15dd Don't dip for vars after the second Tom Jack 2020-02-03 17:33:47 -0600
  • b05e7ef613 Less dippy fold Tom Jack 2020-01-11 19:52:05 -0600
  • 710f1699a6 Less dippy constants Tom Jack 2020-01-11 19:44:10 -0600
  • 0895467f74 Less dippy application Tom Jack 2020-01-11 19:37:38 -0600
  • 6b00a60986 done Pierre-Emmanuel Wulfman 2020-04-27 16:15:26 +0200
  • 9618a48848 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@michelson Christian Rinderknecht 2020-04-25 20:51:33 +0200
  • 8e34c4a678 Merge branch 'compact-ide' into 'dev' Sander 2020-04-25 10:51:01 +0000
  • 7dd63652cf Added compact IDE component Maksym Bykovskyy 2020-04-25 10:51:01 +0000
  • f3777b4af8 The preprocessor library depends now on the kinds of comments instead of a closed set of languages. I also removed the offsets: I simply use the current region to determine whether the preprocessing directie starts at the beginning of a line. I also removed scanning line indicators, to make the lexer simpler. Christian Rinderknecht 2020-04-24 21:06:18 +0200
  • ce5464f9af The preprocessor library depends now on the kinds of comments instead of a closed set of languages. I also removed the offsets: I simply use the current region to determine whether the preprocessing directie starts at the beginning of a line. I also removed scanning line indicators, to make the lexer simpler. Christian Rinderknecht 2020-04-24 20:54:13 +0200
  • 51eb1a2855 Merge branch 'update-logo' into 'dev' Jev Björsell 2020-04-24 16:50:20 +0000
  • b62dfa1920 Merge branch 'gardening/e_cond_and_loop' into 'dev' Pierre-Emmanuel Wulfman 2020-04-23 18:11:05 +0000
  • 2d3b68f57b Merge branch 'webide-add-build-info-metrics' into 'dev' Jev Björsell 2020-04-23 16:46:23 +0000
  • 9de281e7ef Add build info to ide metrics and state Maksym Bykovskyy 2020-04-23 16:46:23 +0000
  • 8dfc8a0469 reorder generated variable in for_each Pierre-Emmanuel Wulfman 2020-04-23 18:01:07 +0200
  • 30f2581f8b done Pierre-Emmanuel Wulfman 2020-04-23 17:53:10 +0200
  • ca3549bdee Merge branch 'optim/nested_record_update' into 'dev' Pierre-Emmanuel Wulfman 2020-04-23 10:01:47 +0000
  • 0e452ffbf1 Merge branch 'small-reasonligo-record-punning-improvement' into 'dev' Christian Rinderknecht 2020-04-22 17:13:01 +0000
  • c58e3220a7 fix bad sed Tom Jack 2020-04-22 12:04:21 -0500
  • b47b5b1c37 s/expression_eq/equal_variables/ to match the behavior Tom Jack 2020-04-22 11:44:57 -0500
  • 2a8edb53da reduce expression_eq to equal variable Pierre-Emmanuel Wulfman 2020-04-21 18:01:46 +0200
  • 1cbadbc7cf add expression_eq in ast_typed Pierre-Emmanuel Wulfman 2020-03-20 14:28:20 +0100