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

Commit Graph

  • be88b546a4 Merge branch 'docker-rm' into 'dev' Tom Jack 2019-10-07 23:44:02 +0000
  • 0c756a4a46 Adding --rm to ligo.sh Rodrigo Quelhas 2019-09-28 15:42:50 +0000
  • fdf0640e28 Merge branch 'fix-dev' into 'dev' Tom Jack 2019-10-07 19:37:38 +0000
  • 4a5e41faa4 Resolve mli merge conflict Tom Jack 2019-10-07 13:56:48 -0500
  • 6f414a8ad2 Merge branch 'feature/unsupported_ass_None' into 'dev' Christian Rinderknecht 2019-10-07 16:31:19 +0000
  • 9c1be8f3a3 Merge branch 'feature/unsupported-string-catenation' into 'dev' Christian Rinderknecht 2019-10-07 16:30:39 +0000
  • 76b4fa3f47 Merge branch 'rinderknecht-dev' into 'dev' Christian Rinderknecht 2019-10-07 15:44:36 +0000
  • 44767c4b8e Simplifier now emit CONCAT constant Lesenechal Remi 2019-10-07 17:16:03 +0200
  • 36ec771adf Remove singleton inductive type Tom Jack 2019-10-07 09:24:56 -0500
  • e2c831a231 Simplify more Tom Jack 2019-10-07 09:12:10 -0500
  • 1c2c6cbc43 Delete unused NoneExpr Tom Jack 2019-10-07 08:47:51 -0500
  • 3a14ef26ef Simplify? Tom Jack 2019-10-07 08:11:46 -0500
  • 3a3cfa341a cleaning Lesenechal Remi 2019-10-07 12:03:19 +0200
  • 08a3e08f57 add a new T_constant in ast_simplified and ast_typed Lesenechal Remi 2019-10-07 11:54:27 +0200
  • 1401d03d62 Parser patch from Christian Lesenechal Remi 2019-10-07 11:53:07 +0200
  • ff9584c7b7 Gardening. Christian Rinderknecht 2019-10-07 16:33:34 +0200
  • bb86ba6ad0 Merge branch 'pew-interface' into 'dev' Christian Rinderknecht 2019-10-07 14:18:33 +0000
  • 59cb210b83 Interface for Ocaml code Pierre-Emmanuel Wulfman 2019-10-07 14:18:32 +0000
  • 0207d1f88f Add .mli for SAST pretty printer with minimal comments John David Pressman 2019-10-04 15:33:50 -0700
  • 0e5c9802ec More tests with lambdas Georges Dupéron 2019-06-12 00:50:48 +0200
  • 606f7ca907 More tests, integration of some of the operators Georges Dupéron 2019-06-11 01:27:59 +0200
  • 8c37fe355d test: contract for mligo version of the example on the website Georges Dupéron 2019-06-10 21:39:43 +0200
  • fcfbbcb9c1 Delete dead code and add .mli docs to simplify/pascaligo.ml John David Pressman 2019-10-03 15:32:16 -0700
  • c2489fd310 ocamldoc-ify Markup.mli John David Pressman 2019-10-03 14:07:12 -0700
  • 30d25ee247 Convert top comment in LexToken.mli to ocamldoc comment John David Pressman 2019-10-03 13:59:53 -0700
  • 211d5ea37f Add explanation of AST relationship to Parser.mly to AST.mli John David Pressman 2019-10-03 13:42:33 -0700
  • 51e6c441f2 Add documentation for pascaligo parser interface as .mli John David Pressman 2019-10-03 13:32:43 -0700
  • e3c581ff02 Fix typo in transpiler.ml explanation John David Pressman 2019-10-03 11:47:09 -0700
  • b02c241a01 Add short explanation to transpiler.ml John David Pressman 2019-10-03 11:37:07 -0700
  • 0c7bfbdecd Merge branch 'feature/LIGO-GITLAB-ISSUE-23-HIGHER-ORDER' into 'dev' Rémi Lesenechal 2019-10-03 17:16:21 +0000
  • c1845c2bfe Only look at arg.type_value instead of arg.content Lesenechal Remi 2019-10-03 18:35:11 +0200
  • 4e333836cb ignore closure error in subexpression of argument Lesenechal Remi 2019-10-03 15:36:06 +0200
  • 962a98da75 emmit a t_function when no variables are captured Lesenechal Remi 2019-10-03 10:21:09 +0200
  • 6fbe43d28a Check for closure when applying a function and update tests Lesenechal Remi 2019-10-02 17:28:11 +0200
  • a7565145d5 add map_expression function in self_mini_c pass helpers Lesenechal Remi 2019-10-02 17:20:48 +0200
  • ae882c39ef Variable name gardening Lesenechal Remi 2019-09-30 16:34:20 +0200
  • 2840eb7414 Treat env element expression as deep_closure only if they are lambda Lesenechal Remi 2019-09-27 17:31:38 +0200
  • 804281b206 Copy debian packages into gitlab-pages Tom Jack 2019-10-01 09:21:01 -0500
  • 6d767e686d Merge branch 'website-links' into 'dev' Sander 2019-10-01 10:15:51 +0000
  • 0a7fdc0486 Website links Sander 2019-10-01 10:15:51 +0000
  • 4dd8b03e75 Merge branch 'fix-cameligo-ne' into 'dev' Sander 2019-10-01 06:30:20 +0000
  • ccfe58efb8 Fix lexer Sander Spies 2019-10-01 07:49:32 +0200
  • 78c6cbae68 Add build & packaging scripts for multiplatform ligo binary distribution Matej Sima 2019-08-12 10:41:53 +0200
  • 757c5433fd Merge branch 'hp-improvements-4' into 'dev' Sander 2019-09-30 18:22:43 +0000
  • d7858b44db More fixes Sander Spies 2019-09-30 19:43:18 +0200
  • ee9dde90f2 Merge branch 'discord-icon' into 'dev' Sander 2019-09-30 17:34:08 +0000
  • e56e62b255 Changes for tutorials. Sander Spies 2019-09-30 19:23:30 +0200
  • 7e4df3e727 blue-en discord icon keiki 2019-09-30 18:07:52 +0200
  • 23c406e415 Merge branch 'homepage-improvements-3' into 'dev' Sander 2019-09-30 16:09:09 +0000
  • 0b28a5a719 Merge branch 'eunji-fix-icons' into 'dev' Sander 2019-09-30 15:29:27 +0000
  • fad72a680c Tuning. Sander Spies 2019-09-30 17:27:10 +0200
  • 323efb9383 fix icons keiki 2019-09-30 16:34:17 +0200
  • 879884f3b3 Merge branch 'homepage-improvements-2' into 'dev' Sander 2019-09-30 14:32:02 +0000
  • c71c246194 Homepage improvements Sander Spies 2019-09-30 15:42:33 +0200
  • 650d8b32db Merge branch 'build-deps-no-dev' into 'dev' Tom Jack 2019-09-30 13:21:43 +0000
  • 23c9aebf2e Merge branch 'feature/homepage-syntax-highlighting' into 'dev' Sander 2019-09-30 10:35:07 +0000
  • 8e95b6e4ce Merge Sander Spies 2019-09-30 11:56:08 +0200
  • 1cdfa797cb Merge branch 'header-footer' into 'dev' Sander 2019-09-30 09:50:53 +0000
  • c1ca3184af WIP: fixing the build errors Georges Dupéron 2019-09-29 18:28:19 -0400
  • 2b5b23f266 WIP: fixing the build errors + missing non-merged code Georges Dupéron 2019-09-29 18:25:02 -0400
  • 81569b9c54 add subst galfour 2019-09-29 18:52:38 +0200
  • 74a09c5ba6 WIP: cleaning up some TODOs Georges Dupéron 2019-09-28 23:58:34 +0100
  • 4dbd2d5873 revert indentation change Georges Dupéron 2019-09-29 00:05:54 +0100
  • 59c13dc4ce merge Sander Spies 2019-09-28 23:28:19 +0200
  • cb00dd2eac Fix pascaligo highlighting. Sander Spies 2019-09-28 23:26:17 +0200
  • fc80c627fd WIP : instantiation of foralls in some cases Georges Dupéron 2019-09-28 19:59:56 +0100
  • 271a524920 WIP; commenting Pierre-Emmanuel Wulfman 2019-09-23 11:03:46 +0200
  • 4f409cfa1f Add syntax highlighting for Cameligo. Sander Spies 2019-09-28 18:00:56 +0200
  • 5749123bf6 Add syntax highlighting for Cameligo. Sander Spies 2019-09-28 18:00:56 +0200
  • 128519e281 header and footer changes except hamburger menu keiki 2019-09-28 15:55:02 +0200
  • 9487d21536 - Prevent jumping around of elements. - Set a maximum width for the content. - Enlarge certain elements for mobile Sander Spies 2019-09-28 10:19:22 +0200
  • e4e77da97c add change for typer.ml Pierre-Emmanuel Wulfman 2019-09-28 01:56:09 +0200
  • 9455d871a1 [LIGO-93] redesign profile pics Sarah Fowler 2019-09-25 11:45:37 -0400
  • bfb2ea6dc4 Merge branch 'feature/LIGO-100-map-tests' into 'dev' Rémi Lesenechal 2019-09-27 15:52:40 +0000
  • 6850d21650 Feature/ligo 100 map tests Rémi Lesenechal 2019-09-27 15:52:40 +0000
  • 210bd665c0 Merge branch 'rinderknecht-dev' into 'dev' Sander 2019-09-27 15:47:56 +0000
  • 889a4d643d Forgot to fully resolved conflict due to removal of keyword fail. Christian Rinderknecht 2019-09-27 17:08:07 +0200
  • 8257c5e6fe Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2019-09-27 17:07:36 +0200
  • 1023e6c557 Merge branch 'css-fixes' into 'dev' Sarah Fowler 2019-09-27 14:50:40 +0000
  • 909dc43dc5 Minor css fixes Sarah Fowler 2019-09-27 10:11:05 -0400
  • 8e8824c74a Always run setup_repos.sh, never setup_dev_switch.sh, upon make build-deps Tom Jack 2019-09-27 08:43:57 -0500
  • 85f267540b Merge branch 'feature/ligodity_shared_parser' into 'dev' Christian Rinderknecht 2019-09-27 13:33:25 +0000
  • 5bcf3cae6e Refactor Ligodity parser to use shared parser. Sander 2019-09-27 13:33:25 +0000
  • f657c71753 Merge done and repo build with no error Pierre-Emmanuel Wulfman 2019-09-27 14:55:09 +0200
  • 81868ca3b2 Merge branch 'rinderknecht-dev' of gitlab.com:ligolang/ligo into rinderknecht-dev Christian Rinderknecht 2019-09-27 14:36:59 +0200
  • 814a37b477 Merge remote-tracking branch 'origin/dev' into rinderknecht-dev Christian Rinderknecht 2019-09-27 14:35:47 +0200
  • e5e9fb8e2f Merge branch 'dev' into 'rinderknecht-dev' Christian Rinderknecht 2019-09-27 11:47:59 +0000
  • fa4a7cecdf Removed entrypoint. Added back missing error message (string cat). Christian Rinderknecht 2019-09-27 13:44:29 +0200
  • 0c6f233507 Merge branch 'feature/auto-field-annotations' into 'dev' Gabriel Alfour 2019-09-27 07:34:51 +0000
  • ebf699cde7 Merge branch 'feature/failwith-typed' into 'dev' Gabriel Alfour 2019-09-26 20:25:46 +0000
  • de057bc318 Merge branch 'feature/tez-fix' into 'dev' Tom Jack 2019-09-26 19:08:07 +0000
  • e1503e40ad Merge branch 'site-redesign-init' into 'dev' Sarah Fowler 2019-09-26 18:32:27 +0000
  • 6fc1b6430b Add a little bit of tez tests, fix cameligo lexer bug Tom Jack 2019-06-12 23:27:54 -0700
  • 7974469159 remove fail galfour 2019-09-26 19:30:17 +0200
  • 519a445a05 Merge branch 'LIGO-94-feature-cards' into 'site-redesign-init' Sarah Fowler 2019-09-26 17:21:18 +0000
  • ef2f6060d5 deprecate fail galfour 2019-09-26 19:13:25 +0200
  • 08809f8a5d type failwith galfour 2019-09-26 19:01:07 +0200
  • e0e5228254 failwith test galfour 2019-09-26 18:47:46 +0200
  • c4a4942b09 minor merge galfour 2019-09-26 16:53:25 +0200
  • 09496ce4ca Generate field annotations for sum/record Tom Jack 2019-08-26 18:34:00 -0700