Commit Graph

5513 Commits

Author SHA1 Message Date
Sander
c9426f7cf9 Merge branch 'dune-menhir' into 'dev'
Move error.messages support to dune

See merge request ligolang/ligo!372
2020-01-31 19:34:56 +00:00
Sander Spies
bc9cb36d97 Typo. 2020-01-31 19:31:51 +01:00
Sander Spies
6c3879403b Enable incremental parser by default \o/
Fix test.
2020-01-31 17:45:48 +01:00
Sander Spies
ff16af9331 Merge 2020-01-31 16:06:47 +01:00
Sander Spies
c3cb69a0d0 Move error.messages handling to dune. 2020-01-31 16:05:59 +01:00
Christian Rinderknecht
e25bb00961 Forgot to add those fixes to the previous commit. 2020-01-31 14:11:56 +01:00
John David Pressman
be658bd65e Merge branch 'docs/crypto-reference' into 'dev'
Add crypto reference page to docs

See merge request ligolang/ligo!370
2020-01-31 12:39:52 +00:00
Christian Rinderknecht
729ecd3f12 Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/doc-pascaligo-loop 2020-01-31 13:30:28 +01:00
John David Pressman
ef83e2c39a Add correction of 'black2b' to changelog 2020-01-31 03:40:59 -08:00
John David Pressman
c8e0654ffe Add crypto reference page to docs
Change 'black2b' to 'blake2b' in CameLIGO/ReasonLIGO frontend
2020-01-31 03:34:36 -08:00
Christian Rinderknecht
a9b3d295fd Fixes to the lexer and the parser API.
* The parameter for logging the lexer is now mandatory.
  * The ParserAPI now thread the logging of the lexer.
  * LexerMain.ml now call the logging of the lexers (CameLIGO, ReasonLIGO).
  * Fixed bug in lexer when a line comment ends with EOF.
2020-01-31 12:31:25 +01:00
Christian Rinderknecht
fa9372c595 Updated ParErr.ml for ReasonLIGO (may have caused Not_found). 2020-01-31 12:24:25 +01:00
John David Pressman
e127528e95 Add bytes reference page to docs 2020-01-30 12:13:24 -08:00
Suzanne Dupéron
0abc4cd206 Started adding typer for constants 2020-01-30 18:50:19 +00:00
Suzanne Dupéron
a6f0d7297c Improved temporary internal error message 2020-01-30 18:50:19 +00:00
Suzanne Dupéron
96468bd8ff Disabled conversion of records & variants to type constructor + argument list in new typer, the current implementation is just wrong. 2020-01-30 18:50:19 +00:00
Suzanne Dupéron
7ab2ffa156 New typer: fix tuples 2020-01-30 18:50:19 +00:00
Sander
199ec77c2c Merge branch 'cameligo-type-tuple-bug' into 'dev'
ReasonLIGO improvements to better handle tuples and function arguments

See merge request ligolang/ligo!365
2020-01-30 17:38:01 +00:00
Sander
6551168a56 ReasonLIGO type declaration improvements for tuples and function arguments.
CameLIGO tests for tuples and function arguments.
2020-01-30 17:38:01 +00:00
Tom Jack
780e8e956c Merge branch 'bugfix/religo-missing-in-some-docs' into 'dev'
Updated some docs that did not include reasonligo / .religo yet

See merge request ligolang/ligo!368
2020-01-29 19:57:01 +00:00
Rémi Lesenechal
61e293da64 Merge branch 'bugfix/doc-declaration-constant' into 'dev'
bugfix/doc declaration constant

See merge request ligolang/ligo!367
2020-01-29 18:34:05 +00:00
Suzanne Dupéron
8eb6472b00 Updated some docs that did not include reasonligo / .religo yet 2020-01-29 18:02:55 +00:00
Suzanne Dupéron
c534d6dff2 Cleanup 2020-01-29 17:37:10 +00:00
Suzanne Dupéron
821c980e3e documentation for Declaration_constant 2020-01-29 17:36:34 +00:00
Christian Rinderknecht
d938dd0492 Merge branch 'rinderknecht-dev' into 'dev'
Refactoring of the front-end towards integration of the local and global builds

See merge request ligolang/ligo!358
2020-01-29 16:50:42 +00:00
Francis Brunelle
562f7d1b10 Merge branch 'dev' into 'dev'
# Conflicts:
#   gitlab-pages/docs/advanced/entrypoints-contracts.md
#   gitlab-pages/docs/language-basics/boolean-if-else.md
#   gitlab-pages/docs/language-basics/functions.md
2020-01-29 16:31:09 +00:00
Christian Rinderknecht
df584c7006 Merge branch 'feature/LIGO-258-update-docs' into 'dev'
LIGO-258 Docs updates

Closes LIGO-258

See merge request ligolang/ligo!272
2020-01-29 16:15:03 +00:00
Matej Šima
518c743172 LIGO-258 Docs updates 2020-01-29 16:15:03 +00:00
Christian Rinderknecht
a6bf16cbe2 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev 2020-01-29 16:49:42 +01:00
Christian Rinderknecht
e2363d558c Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/doc-pascaligo-loop 2020-01-29 16:32:47 +01:00
Christian Rinderknecht
04381b9dcf Merge branch 'feature/doc-pascaligo-loop' into 'dev'
Some doc update for Ligo training

See merge request ligolang/ligo!364
2020-01-29 14:56:50 +00:00
Christian Rinderknecht
037f33a2c5 Merge branch 'feature/doc-pascaligo-loop' of gitlab.com:ligolang/ligo into feature/doc-pascaligo-loop 2020-01-29 15:07:48 +01:00
Lesenechal Remi
daba161105 review request: better description for entry points 2020-01-29 15:02:07 +01:00
Christian Rinderknecht
4c115e7fdd Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/doc-pascaligo-loop 2020-01-29 12:18:32 +01:00
Suzanne Dupéron
27df6df8bb Merge branch 'bugfix/new-typer-7' into 'dev'
bugfix/new typer 7

See merge request ligolang/ligo!366
2020-01-28 23:30:53 +00:00
Suzanne Dupéron
5ff9803989 Merge remote-tracking branch 'origin/dev' into dev 2020-01-28 22:30:31 +00:00
Suzanne Dupéron
a9a12ae244 Changes requested in MR review 2020-01-28 20:23:11 +00:00
Sander
378dfe5cef Merge branch 'reasonligo-docs-improvements' into 'dev'
ReasonLIGO cheat-sheet.

See merge request ligolang/ligo!363
2020-01-28 16:36:55 +00:00
Sander
c3137d9fa8 ReasonLIGO cheat-sheet. 2020-01-28 16:36:55 +00:00
Lesenechal Remi
e55c8400a7 better explaination for entry points 2020-01-28 17:00:51 +01:00
Christian Rinderknecht
149242a371 Updates. 2020-01-28 17:00:51 +01:00
Christian Rinderknecht
729575af11 Updates. 2020-01-28 15:13:50 +01:00
Pierre-Emmanuel Wulfman
391b06733b Merge branch 'ast/update_with_path' into 'dev'
Modify record update, using path for update

See merge request ligolang/ligo!338
2020-01-28 14:12:46 +00:00
Pierre-Emmanuel Wulfman
f36d6a01de Modify record update, using path for update 2020-01-28 14:12:46 +00:00
Christian Rinderknecht
a29b5acb31 Finished refactoring the front-end. 2020-01-27 17:28:31 +01:00
Christian Rinderknecht
8047e98124 WIP: Refactoring of the front-end. 2020-01-27 16:36:04 +01:00
Suzanne Dupéron
1734d31a41 Merge branch 'dev' of gitlab.com:ligolang/ligo into dev 2020-01-27 15:10:30 +00:00
Christian Rinderknecht
fc3385389b [WIP] Refactoring the front-end. 2020-01-27 16:05:47 +01:00
Christian Rinderknecht
0131b0c23d Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev 2020-01-27 13:00:18 +01:00
Rémi Lesenechal
334deea8ec Merge branch 'feature/fix-compile-storage' into 'dev'
fix bad copy paste ?

See merge request ligolang/ligo!360
2020-01-27 11:38:30 +00:00