balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
5,160 Commits 2 Branches 0 Tags 65 MiB
951348feb9
Commit Graph

5160 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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