balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
5,028 Commits 2 Branches 0 Tags 65 MiB
78ae534913
Commit Graph

5028 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Sander Spies
78ae534913 Add NotFound component to fix build. Yay, docusaurus... 2020-03-13 15:28:24 +01:00
Jev Björsell
6203427d3f Merge branch 'tezos-client-command' into 'dev' 
Tezos client command

See merge request ligolang/ligo!497
 2020-03-12 20:26:13 +00:00
Maksym Bykovskyy
1aecc4eb04 Tezos client command 2020-03-12 20:26:13 +00:00
Pierre-Emmanuel Wulfman
eecdbcddf7 Merge branch 'ast/tail_recursion' into 'dev' 
Adding tail recursion in Ligo

See merge request ligolang/ligo!491
 2020-03-12 18:47:46 +00:00
Pierre-Emmanuel Wulfman
8a0e1dfea4 dune promote 2020-03-12 18:50:42 +01:00
Lesenechal Remi
3a80fadcc8 rewrite interpreter recursion within the initial formalism. 2020-03-12 18:16:56 +01:00
Pierre-Emmanuel Wulfman
660dcbb79f review 3 2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
c17a749078 review 2 2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
dbb6fbd8e6 review 1 2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
abbc20459c add doc and test 2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
a5f44d3e88 clean-up junk 2020-03-12 16:05:17 +01:00
Sander Spies
51251f9464 Remove debug text 2020-03-12 16:05:17 +01:00
Sander Spies
8a183ff1d2 Fixing error.messages. 2020-03-12 16:05:17 +01:00
Sander Spies
6e76a5d96d Update messages file 2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
092360de93 WIP: fix parser error 2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
27f583266e test for tail recursion 2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
c46002b160 modifying doc and test for loops (Cameligo and pascaligo) 2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
fa5983e9d3 fix contrat religo 2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
b15d9a5123 compiling Pascaligo 2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
e7c71ae4cc passing test for Cameligo 2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
b2f0e8bbc4 WIP: adding E_recursive in ast 2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
734620a179 Keyword add for pasca,came,reason:ligo;typing error in contract 2020-03-12 16:05:17 +01:00
Christian Rinderknecht
b51818bc4e Fixed parsing and source pretty-printing of recursive functions. 2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
68b6e6d3b0 remove option(recursive) in Parser.mly; parse error still 2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
b438f065b5 WIP:adding rec keyword 2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
1597d1eaf4 WIP: recursion 2020-03-12 16:05:17 +01:00
Sander
f176d36dd8 Merge branch 'api-docs/big_map' into 'dev' 
Add syntax specific titles to Big_map

See merge request ligolang/ligo!493
 2020-03-12 13:05:00 +00:00
Sander Spies
31e8035e6a Remove incorrect Big_map operations. 2020-03-10 14:52:59 +01:00
Sander Spies
978c95fa76 Remove versions.json from docker compose file. 2020-03-10 13:50:36 +01:00
Sander Spies
bcb77c6305 Merge 2020-03-10 12:55:51 +01:00
Sander Spies
608a7b7f95 - Refactor operators.ml to have shared pseudo modules. 
- Fix tests for big_map
 2020-03-10 12:54:18 +01:00
Pierre-Emmanuel Wulfman
4ed4203b46 Merge branch '145-entry-point-name-length-limit' into 'dev' 
Resolve "Entry point name length limit"

Closes #145

See merge request ligolang/ligo!446
 2020-03-09 18:24:09 +00:00
Pierre-Emmanuel Wulfman
1e36c64d42 Merge branch 'ast/loop_into_recursion' into 'dev' 
Removes loops

See merge request ligolang/ligo!492
 2020-03-09 18:24:07 +00:00
Tom Jack
8806b52b68 Merge branch 'add-crypto-check-example' into 'dev' 
Add working example of Crypto.check

See merge request ligolang/ligo!475
 2020-03-09 18:05:59 +00:00
Lesenechal Remi
66aca916bf mapping over type_operator types is useless 2020-03-09 18:29:07 +01:00
Lesenechal Remi
503d8f771e add tests for sum type names limit length 2020-03-09 18:29:07 +01:00
Lesenechal Remi
5a15feadc1 now map over type declarations 2020-03-09 18:29:07 +01:00
Lesenechal Remi
bc7a4daa64 add 'mapi' equivalent for label and constructor maps 2020-03-09 18:29:05 +01:00
Sander Spies
5dc6980d46 Merge branch 'dev' of https://gitlab.com/ligolang/ligo into api-docs/big_map 2020-03-09 18:25:49 +01:00
Pierre-Emmanuel Wulfman
e436a0a08a removes loops 2020-03-09 18:24:02 +01:00
Sander Spies
19848c2f67 Big_map: first example of syntax specific titles. 2020-03-09 18:20:21 +01:00
Sander Spies
6da6fc2e59 Add SyntaxTitle component. 2020-03-09 18:19:46 +01:00
Sander Spies
3f1ee22bbc Refactor Switch component to be a plugin. 2020-03-09 18:19:31 +01:00
Rémi Lesenechal
a734995bdc Merge branch 'feature/self' into 'dev' 
[LIGO-502] add self & make sure it it typechecked against the main function

See merge request ligolang/ligo!453
 2020-03-09 11:41:37 +00:00
Lesenechal Remi
25f004844a self: now reject capitalized entrypoint annotation 2020-03-09 11:23:08 +01:00
Lesenechal Remi
7717ac926e changelog 2020-03-09 11:23:08 +01:00
Lesenechal Remi
68f562ffc6 add some doc about self in the reference page 2020-03-09 11:23:08 +01:00
Lesenechal Remi
b7c08b78d5 self operator now takes an entrypoint annotation as parameter 2020-03-09 11:23:08 +01:00
Lesenechal Remi
e2776e9849 New checks in the self_ast_typed pass: 
* Ast_typed stage is now aware of the main function name
* main function type is checked against expected contract types
* Tezos.self (returning contract type) is checked against main function type
* In general, Ast_typed.compile signature has been changed to enable/disable contract-related checks
 2020-03-09 11:23:08 +01:00
Lesenechal Remi
f0ad2fed04 new pass : self_ast_typed 2020-03-09 11:23:08 +01:00