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

Commit Graph

  • 79f2df2314 optim for record Pierre-Emmanuel Wulfman 2020-03-20 11:54:31 +0100
  • 1fbbc09313 promote (until-clean) (only *) ? Tom Jack 2020-04-22 11:37:18 -0500
  • d659b32169 Merge branch 'fix/order-of-sequence' into 'dev' Pierre-Emmanuel Wulfman 2020-04-22 14:13:02 +0000
  • 3cb72f8ec2 add test Pierre-Emmanuel Wulfman 2020-04-09 16:24:55 +0200
  • c46210b656 fix order Pierre-Emmanuel Wulfman 2020-04-08 18:00:03 +0200
  • eafbe83151 Also promote ParErr.ml Sander Spies 2020-02-17 17:49:48 +0100
  • bd8cf09f9e Promote generated error files by dune. Sander Spies 2020-02-17 13:41:59 +0100
  • e6cba7c34f Merge branch 'feature/env-impurity' into 'dev' Pierre-Emmanuel Wulfman 2020-04-22 09:35:51 +0000
  • f67bd010c4 Treat transaction environment operators as impure Tom Jack 2020-01-21 00:35:58 -0600
  • 3788dac613 Merge branch 'bugfix/reset_var_counter_between_expect_test' into 'dev' Pierre-Emmanuel Wulfman 2020-04-22 08:02:23 +0000
  • 54dadc33d6 move Var.reset_counter () to run_ligo Pierre-Emmanuel Wulfman 2020-04-21 16:59:12 +0200
  • 0bf6d09e85 reset Var counter at the begening of cli run Pierre-Emmanuel Wulfman 2020-04-21 16:39:51 +0200
  • 79270d6022 Merge branch 'failwith-int' into 'dev' Pierre-Emmanuel Wulfman 2020-04-21 15:35:41 +0000
  • 8066e4df26 Allow to failwith an int (or nat) Tom Jack 2020-04-21 15:35:41 +0000
  • 16ecd532b9 Merge branch 'print-optimized-mini-c' into 'dev' Rémi Lesenechal 2020-04-21 13:28:39 +0000
  • 5df005f4b7 Add print-mini-c --optimize=entrypoint to print optimized mini_c Tom Jack 2020-04-21 13:28:39 +0000
  • c302a1a9d5 Merge branch '181-cannot-declare-michelson_or-michelson_pair-element-w-o-annotation' into 'dev' Gabriel Alfour 2020-04-20 21:15:08 +0000
  • 5323475097 empty string singleton is not annotated anymore Lesenechal Remi 2020-04-20 20:21:49 +0200
  • 40f2d41b13 Merge branch 'fix/code_smell_in_operators' into 'dev' Christian Rinderknecht 2020-04-20 17:36:56 +0000
  • 173a0c4031 Replace function that returns result by function that returns option Pierre-Emmanuel Wulfman 2020-04-20 17:39:36 +0200
  • 85222c1d65 Merge branch 'feature/michelson_type_layout' into 'dev' Rémi Lesenechal 2020-04-19 20:56:25 +0000
  • c892c469f4 Merge branch 'ubuntu-eoan' into 'dev' Gabriel Alfour 2020-04-19 13:46:07 +0000
  • 5622b52a36 updating tests Lesenechal Remi 2020-04-18 00:13:50 +0200
  • 5bed9dadef WIP: michelson_pair Lesenechal Remi 2020-04-18 00:02:33 +0200
  • e94f445a51 michelson_or custom layout and annotations Lesenechal Remi 2020-04-16 22:48:34 +0200
  • 5d35aaec58 add fold for ast_core Lesenechal Remi 2020-04-16 19:29:08 +0200
  • 2d7e177ba7 Build Ubuntu 19.10 instead of 19.04 Tom Jack 2020-04-16 18:03:49 -0500
  • 53cf214f80 Merge branch 'eta' into 'dev' Tom Jack 2020-04-16 20:27:09 +0000
  • f2a23029bd Always inline variable-for-variable lets in Self_mini_c Tom Jack 2020-04-08 19:11:18 -0500
  • 6acf91a3f2 Perform basic eta contraction in Self_mini_c Tom Jack 2020-04-08 19:11:01 -0500
  • 11f4e6e3a6 Merge branch 'rinderknecht@preproc' into 'dev' Sander 2020-04-16 16:07:25 +0000
  • f27bbb317e Bug fix: the environment has to be threaded through #include Christian Rinderknecht 2020-04-16 16:56:11 +0200
  • 8848226b85 Merge branch 'bugfix-url-errors' into 'dev' Suzanne Dupéron 2020-04-15 17:22:32 +0000
  • 7a18cbd8fc Merge branch 'srcloc_for_types' into 'dev' Pierre-Emmanuel Wulfman 2020-04-15 16:41:27 +0000
  • c5c1e4d657 Merge branch 'feature/add_step_to_for_loop' into 'dev' Pierre-Emmanuel Wulfman 2020-04-15 16:29:14 +0000
  • f547caa80f Fix link to docs in error message, closes LIGO-547 Suzanne Dupéron 2020-04-15 15:44:30 +0200
  • 7b5acbcef0 Merge branch 'rinderknecht@gcc' into 'dev' Pierre-Emmanuel Wulfman 2020-04-15 15:56:45 +0000
  • 7c29b075bb add srcloc for types Pierre-Emmanuel Wulfman 2020-04-09 18:19:22 +0200
  • 2a24290ed0 Fix error messages. Sander Spies 2020-04-12 13:14:27 +0200
  • 9796cd2e8f for loop have a optional step parameter Pierre-Emmanuel Wulfman 2020-04-09 19:17:51 +0200
  • 23912411e1 Merge branch 'attempt-to-fix-search' into 'dev' Sander 2020-04-15 11:23:24 +0000
  • 4e9ee0bcb2 Merge branch 'rinderknecht@doc' into 'dev' Sander 2020-04-15 11:06:43 +0000
  • 0680633806 Attempt to fix search. Sander Spies 2020-04-15 12:17:04 +0200
  • a2c03ad848 Removed redundant constant named origin. Christian Rinderknecht 2020-04-15 12:00:54 +0200
  • 990ae0e3a8 Make it possible to pun the first argument of a record. Sander Spies 2020-04-14 21:15:12 +0200
  • fb7abe045f Merge branch 'bugfix/adt-generator-whitespace-eol' into 'dev' Pierre-Emmanuel Wulfman 2020-04-14 16:22:32 +0000
  • b7c3e77c82 Remove trailing whitespace while parsing in ADT generator Suzanne Dupéron 2020-04-14 17:09:48 +0200
  • 1f0491e367 Merge branch 'less-annotations' into 'dev' Sander 2020-04-14 12:19:16 +0000
  • 313afab565 Merge branch 'tuple-destructuring' into 'dev' Sander 2020-04-14 11:49:18 +0000
  • 422623ce1e Fix build. Sander Spies 2020-04-14 13:13:07 +0200
  • 3e447c40b7 Merge Sander Spies 2020-04-14 13:11:44 +0200
  • 741bfcf9b4 Merge branch 'feature/new-typer-rough-cleanup' into 'dev' Suzanne Dupéron 2020-04-14 11:10:26 +0000
  • f8c16e5764 Merge branch 'reasonligo-record-improvement' into 'dev' Christian Rinderknecht 2020-04-14 11:01:11 +0000
  • 5f4c5299d8 Merge branch 'more-api' into 'dev' Christian Rinderknecht 2020-04-14 10:53:11 +0000
  • d49e856ece Forgot to remove gcc as a dependency so the docker image is smaller. Christian Rinderknecht 2020-04-14 11:51:24 +0200
  • 2b82a74d93 Merge Sander Spies 2020-04-14 10:32:12 +0200
  • b9310023ad Merge branch 'feature-poly-maps-and-set-and-unionfind' into 'dev' Suzanne Dupéron 2020-04-13 22:14:46 +0000
  • 0d77cbe1c4 Gitignore ….install in vendors/Preprocessor Suzanne Dupéron 2020-04-13 23:06:51 +0200
  • 9e21123de0 Generic PP: use PPF, split test for parentheses to separate fold Suzanne Dupéron 2020-04-10 03:13:22 +0200
  • 22fce03844 Improve a typer print Suzanne Dupéron 2020-04-10 03:10:12 +0200
  • 1f0ab67baa Moved new typer's wrap module to a separate file Suzanne Dupéron 2020-04-09 11:52:30 +0200
  • 93063d8c70 More cleanup new of the typer Suzanne Dupéron 2020-04-08 13:26:00 +0200
  • 1b710bd952 Very rough cleanup new of the typer Suzanne Dupéron 2020-04-08 13:13:10 +0200
  • 3171001395 Added a polymorphic version of one of the UnionFind implementations Suzanne Dupéron 2020-04-09 14:28:04 +0200
  • 0e699702ad Merge branch 'feature/adt-generator-8-run-dev' into 'dev' Suzanne Dupéron 2020-04-13 20:54:19 +0000
  • ed3343cd76 Merge branch 'feature/adt-generator-7-run-dev' into 'dev' Suzanne Dupéron 2020-04-13 19:32:14 +0000
  • 4a7edafcb7 Dunification of the Red-Black_Trees library Suzanne Dupéron 2020-04-09 14:26:43 +0200
  • 0704676724 Imported Christian Rinderknecht's polymorphic Red-Black_Trees library from commit 98b1131281 Suzanne Dupéron 2020-04-09 14:02:06 +0200
  • e001154714 with_xxx shorthands for fold configurations Suzanne Dupéron 2020-04-05 20:17:55 +0200
  • b536d3f591 Remove early Perl 5 and Python versions of the ADT generator Suzanne Dupéron 2020-04-02 19:14:43 +0200
  • ded76b41d6 Adt generator: split structure into smaller structures; use the monad; reordered function, state and value arguments to match the order of List.fold_left. Suzanne Dupéron 2020-04-01 16:14:43 +0200
  • 1e1728e5dd [WIP, does not build] Remove some polymorphism : customized visitors must be specific to their accumulator type Suzanne Dupéron 2020-03-31 23:26:01 +0200
  • 642c947ee4 [WIP, does not build] adt_generator move polymorphism into the fields, start getting rid of the large let rec Suzanne Dupéron 2020-03-31 21:58:48 +0200
  • 253da1e9f5 Break down the large fold_config structure into smaller structures Suzanne Dupéron 2020-03-28 22:28:28 +0100
  • 2991e48ce6 Implemented folds for the collections (lists and maps) Suzanne Dupéron 2020-03-28 00:45:25 +0100
  • 9639c2f775 WIP on making the AST compatibile with the ADT generator Suzanne Dupéron 2020-03-27 16:40:48 +0100
  • ba9441a134 moved adt_generator tests to a separate folder Suzanne Dupéron 2020-03-27 16:29:40 +0100
  • 9d25773d61 Records in ast_typed for match_variant and declaration_constant Suzanne Dupéron 2020-03-23 23:52:09 +0100
  • fcbcea9382 Turned some of the mathcing_content tuples into records Suzanne Dupéron 2020-03-23 01:19:32 +0100
  • 79593e6f3e Turned some of the tuples into records Suzanne Dupéron 2020-04-10 04:39:44 +0200
  • 58fc08b6a7 ADT generator: add support for open and include Suzanne Dupéron 2020-04-03 15:20:50 +0200
  • 516a3a85ff Inlined stage common in ast_typed (fix OCaml type errors) Suzanne Dupéron 2020-03-21 19:37:28 +0100
  • b3b8fab26d [does not build] Inlined stage common in ast_typed Suzanne Dupéron 2020-03-17 15:30:38 +0100
  • 08aefa4580 Use unique field names in generic.ml and re-enable warning 30 there Suzanne Dupéron 2020-03-13 17:16:17 +0100
  • 12aec6edd0 Generic fold example: OCaml printer for an arbitrary ADT Suzanne Dupéron 2020-03-13 15:34:43 +0100
  • a49f0806c0 ADT generator: produce info for metaprogramming Suzanne Dupéron 2020-03-06 00:17:48 +0100
  • be38b5269c ADT generator: Stop promoting the generated file, because it breaks the build on the CI (why?) Suzanne Dupéron 2020-03-05 02:00:55 +0100
  • ab8274eae2 Install perl6 instead of the painful-to-install python3+fstrings Suzanne Dupéron 2020-03-04 14:51:13 +0100
  • 20a51381bc ADT generator: Parser for OCaml ADTs, WIP on adding info Suzanne Dupéron 2020-03-03 22:02:55 +0100
  • e92ba202cf Added Perl 5 and Raku (A.K.A. Perl 6) translations of the ADT generator. Their outputs are identical. Suzanne Dupéron 2020-02-27 22:59:49 +0100
  • 6585ce3a09 Install future-fstrings to get f-strings in Python 3.5 and earlier. Suzanne Dupéron 2020-02-11 18:51:58 +0100
  • 2cbc8bbf0c Revert "Revert "Merge branch 'feature/adt-generator-poly-3' into 'dev'"" Suzanne Dupéron 2020-02-11 18:55:31 +0100
  • f524692370 Merge branch 'rinderknecht@preproc' into 'dev' Christian Rinderknecht 2020-04-13 16:07:09 +0000
  • bdb8c5a612 Removed cpp as a dependency in the dockerfile. Christian Rinderknecht 2020-04-13 17:08:39 +0200
  • 1ccf6f247d Fixed format of syntax error messages. Christian Rinderknecht 2020-04-13 16:31:56 +0200
  • ffb3d05864 Changed a bit how syntax error messages are formulated. Resolved a warning. Christian Rinderknecht 2020-04-13 14:19:56 +0200
  • af48efe195 Fix by Sander. Christian Rinderknecht 2020-04-13 14:03:30 +0200
  • f7b0c4fe6b Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@preproc Christian Rinderknecht 2020-04-13 14:01:41 +0200
  • d9148699cc Fix contract tests Sander Spies 2020-04-13 11:44:52 +0200
  • 6a6c8468a6 Remove annotations from michelson or. Sander Spies 2020-04-13 10:59:36 +0200