Tom Jack
|
be88b546a4
|
Merge branch 'docker-rm' into 'dev'
Adding `--rm` to ligo.sh
See merge request ligolang/ligo!123
|
2019-10-07 23:44:02 +00:00 |
|
Rodrigo Quelhas
|
0c756a4a46
|
Adding --rm to ligo.sh
|
2019-10-07 18:02:00 -05:00 |
|
Tom Jack
|
fdf0640e28
|
Merge branch 'fix-dev' into 'dev'
Resolve mli merge conflict
See merge request ligolang/ligo!121
|
2019-10-07 19:37:38 +00:00 |
|
Tom Jack
|
4a5e41faa4
|
Resolve mli merge conflict
|
2019-10-07 13:56:48 -05:00 |
|
Christian Rinderknecht
|
6f414a8ad2
|
Merge branch 'feature/unsupported_ass_None' into 'dev'
Feature/unsupported_ass_none
See merge request ligolang/ligo!118
|
2019-10-07 16:31:19 +00:00 |
|
Christian Rinderknecht
|
9c1be8f3a3
|
Merge branch 'feature/unsupported-string-catenation' into 'dev'
feature/unsupported_string_catenation
See merge request ligolang/ligo!120
|
2019-10-07 16:30:39 +00:00 |
|
Christian Rinderknecht
|
76b4fa3f47
|
Merge branch 'rinderknecht-dev' into 'dev'
Gardening for Ligodity and update of the documentation of PascaLIGO.
See merge request ligolang/ligo!119
|
2019-10-07 15:44:36 +00:00 |
|
Lesenechal Remi
|
44767c4b8e
|
Simplifier now emit CONCAT constant
|
2019-10-07 17:16:03 +02:00 |
|
Tom Jack
|
36ec771adf
|
Remove singleton inductive type
|
2019-10-07 16:54:28 +02:00 |
|
Tom Jack
|
e2c831a231
|
Simplify more
|
2019-10-07 16:54:28 +02:00 |
|
Tom Jack
|
1c2c6cbc43
|
Delete unused NoneExpr
|
2019-10-07 16:54:28 +02:00 |
|
Tom Jack
|
3a14ef26ef
|
Simplify?
|
2019-10-07 16:54:28 +02:00 |
|
Lesenechal Remi
|
3a3cfa341a
|
cleaning
|
2019-10-07 16:54:28 +02:00 |
|
Lesenechal Remi
|
08a3e08f57
|
add a new T_constant in ast_simplified and ast_typed
|
2019-10-07 16:54:28 +02:00 |
|
Lesenechal Remi
|
1401d03d62
|
Parser patch from Christian
|
2019-10-07 16:54:28 +02:00 |
|
Christian Rinderknecht
|
ff9584c7b7
|
Gardening.
|
2019-10-07 16:37:33 +02:00 |
|
Christian Rinderknecht
|
bb86ba6ad0
|
Merge branch 'pew-interface' into 'dev'
Interface for Ocaml code
See merge request ligolang/ligo!63
|
2019-10-07 14:18:33 +00:00 |
|
Pierre-Emmanuel Wulfman
|
59cb210b83
|
Interface for Ocaml code
|
2019-10-07 14:18:32 +00:00 |
|
Rémi Lesenechal
|
0c7bfbdecd
|
Merge branch 'feature/LIGO-GITLAB-ISSUE-23-HIGHER-ORDER' into 'dev'
Issue 23 : Higher-order functions with more than one argument give weird errors
See merge request ligolang/ligo!103
|
2019-10-03 17:16:21 +00:00 |
|
Lesenechal Remi
|
c1845c2bfe
|
Only look at arg.type_value instead of arg.content
|
2019-10-03 18:35:11 +02:00 |
|
Lesenechal Remi
|
4e333836cb
|
ignore closure error in subexpression of argument
|
2019-10-03 15:36:06 +02:00 |
|
Lesenechal Remi
|
962a98da75
|
emmit a t_function when no variables are captured
|
2019-10-03 10:21:09 +02:00 |
|
Lesenechal Remi
|
6fbe43d28a
|
Check for closure when applying a function and update tests
|
2019-10-02 18:31:15 +02:00 |
|
Lesenechal Remi
|
a7565145d5
|
add map_expression function in self_mini_c pass helpers
|
2019-10-02 18:31:15 +02:00 |
|
Lesenechal Remi
|
ae882c39ef
|
Variable name gardening
|
2019-10-02 18:31:15 +02:00 |
|
Lesenechal Remi
|
2840eb7414
|
Treat env element expression as deep_closure only if they are lambda
|
2019-10-02 18:31:15 +02:00 |
|
Sander
|
6d767e686d
|
Merge branch 'website-links' into 'dev'
Website links
See merge request ligolang/ligo!116
|
2019-10-01 10:15:51 +00:00 |
|
Sander
|
0a7fdc0486
|
Website links
|
2019-10-01 10:15:51 +00:00 |
|
Sander
|
4dd8b03e75
|
Merge branch 'fix-cameligo-ne' into 'dev'
Fix lexer
See merge request ligolang/ligo!115
|
2019-10-01 06:30:20 +00:00 |
|
Sander Spies
|
ccfe58efb8
|
Fix lexer
|
2019-10-01 07:51:10 +02:00 |
|
Sander
|
757c5433fd
|
Merge branch 'hp-improvements-4' into 'dev'
Changes for tutorials.
See merge request ligolang/ligo!113
|
2019-09-30 18:22:43 +00:00 |
|
Sander Spies
|
d7858b44db
|
More fixes
|
2019-09-30 19:43:18 +02:00 |
|
Sander
|
ee9dde90f2
|
Merge branch 'discord-icon' into 'dev'
blacken discord icon
See merge request ligolang/ligo!112
|
2019-09-30 17:34:08 +00:00 |
|
Sander Spies
|
e56e62b255
|
Changes for tutorials.
|
2019-09-30 19:23:30 +02:00 |
|
keiki
|
7e4df3e727
|
blue-en discord icon
|
2019-09-30 18:12:27 +02:00 |
|
Sander
|
23c406e415
|
Merge branch 'homepage-improvements-3' into 'dev'
Tuning.
See merge request ligolang/ligo!111
|
2019-09-30 16:09:09 +00:00 |
|
Sander
|
0b28a5a719
|
Merge branch 'eunji-fix-icons' into 'dev'
fix icons
See merge request ligolang/ligo!110
|
2019-09-30 15:29:27 +00:00 |
|
Sander Spies
|
fad72a680c
|
Tuning.
|
2019-09-30 17:27:10 +02:00 |
|
keiki
|
323efb9383
|
fix icons
|
2019-09-30 16:39:21 +02:00 |
|
Sander
|
879884f3b3
|
Merge branch 'homepage-improvements-2' into 'dev'
Homepage improvements 2
See merge request ligolang/ligo!109
|
2019-09-30 14:32:02 +00:00 |
|
Sander Spies
|
c71c246194
|
Homepage improvements
|
2019-09-30 15:50:10 +02:00 |
|
Tom Jack
|
650d8b32db
|
Merge branch 'build-deps-no-dev' into 'dev'
Always run setup_repos.sh, never setup_dev_switch.sh, upon `make build-deps`
See merge request ligolang/ligo!100
|
2019-09-30 13:21:43 +00:00 |
|
Sander
|
23c9aebf2e
|
Merge branch 'feature/homepage-syntax-highlighting' into 'dev'
Feature/homepage syntax highlighting
See merge request ligolang/ligo!107
|
2019-09-30 10:35:07 +00:00 |
|
Sander Spies
|
8e95b6e4ce
|
Merge
|
2019-09-30 11:56:08 +02:00 |
|
Sander
|
1cdfa797cb
|
Merge branch 'header-footer' into 'dev'
Header footer
See merge request ligolang/ligo!105
|
2019-09-30 09:50:53 +00:00 |
|
Sander Spies
|
59c13dc4ce
|
merge
|
2019-09-28 23:28:19 +02:00 |
|
Sander Spies
|
cb00dd2eac
|
Fix pascaligo highlighting.
|
2019-09-28 23:26:49 +02:00 |
|
Sander Spies
|
4f409cfa1f
|
Add syntax highlighting for Cameligo.
|
2019-09-28 18:06:11 +02:00 |
|
Sander Spies
|
5749123bf6
|
Add syntax highlighting for Cameligo.
|
2019-09-28 18:00:56 +02:00 |
|
keiki
|
128519e281
|
header and footer changes except hamburger menu
|
2019-09-28 16:01:44 +02:00 |
|