Commit Graph

4697 Commits

Author SHA1 Message Date
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
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
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
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
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
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
Lesenechal Remi
daba161105 review request: better description for entry points 2020-01-29 15:02:07 +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
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
Lesenechal Remi
088c5560c4 test for compile-storage 2020-01-27 11:42:32 +01:00
Lesenechal Remi
1a6a682584 fix bad copy paste ? 2020-01-27 11:36:51 +01:00
John David Pressman
a9bac17415 Merge branch 'contract/id-layer' into 'dev'
[LIGO-269] ID Layer Contract

See merge request ligolang/ligo!273
2020-01-24 22:52:06 +00:00
John David Pressman
e025eab45d [LIGO-269] ID Layer Contract 2020-01-24 22:52:06 +00:00
Christian Rinderknecht
8843a46975 Added missing check for reserved names in CameLIGO.
The calls to the lexer and parser of CameLIGO through the compiler use
now their error messages, like in PascaLIGO.
2020-01-24 15:57:41 +01:00
Christian Rinderknecht
3c9dd93c8b Fixed again priority of "->" vs "*" in type expressions.
Fixed negative tests.
2020-01-24 14:35:15 +01:00
Christian Rinderknecht
47a41971d7 Fixed the parsing of [a * b -> c] as [(a * b) -> c]. 2020-01-24 14:15:07 +01:00
Christian Rinderknecht
1a1a8d986c Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev 2020-01-24 14:04:25 +01:00
Christian Rinderknecht
e85486eae4 Improved slightly the formatting of some error messages.
Fixed the bug in the parser: I wrongly closed [stdout].
2020-01-24 14:03:25 +01:00
John David Pressman
13de36d6db Merge branch 'contract/timelock-repeat' into 'dev'
[LIGO-410] Contract/timelock repeat

See merge request ligolang/ligo!353
2020-01-24 12:01:15 +00:00