Commit Graph

4248 Commits

Author SHA1 Message Date
John David Pressman
c2c774ba75 Add closure test to CameLIGO 2019-11-21 06:02:47 -08:00
Tom Jack
628ba3c0ae Merge branch 'RoMarQ/ligo-patch-3' into dev 2019-11-21 07:50:09 -06:00
Tom Jack
8b0fdc9ab5 Merge branch 'RoMarQ/ligo-patch-2' into dev 2019-11-21 07:49:36 -06:00
John David Pressman
ff4c580133 Add anonymous function example for CameLIGO 2019-11-21 05:41:22 -08:00
Rémi Lesenechal
ae7c92844c Merge branch 'issue/loop-comp-bug' into 'dev'
For collection loop: also capture variable in logical blocks

See merge request ligolang/ligo!208
2019-11-21 11:18:47 +00:00
Lesenechal Remi
f27f8c10d1 For collection loop: also capture variable in logical blocks
Also, the iterated element/s are appended tot he list of local declaration
2019-11-21 11:28:32 +01:00
Pierre-Emmanuel Wulfman
a25980868e Merge branch 'gardening/remove_old_folder' into 'dev'
remove rope

See merge request ligolang/ligo!207
2019-11-20 17:23:09 +00:00
Pierre-Emmanuel Wulfman
cdb36167f9 remove rope 2019-11-20 17:27:32 +01:00
John David Pressman
bc6966dbca Merge branch 'feature/isnat-op' into 'dev'
Add is_nat operator to PascaLIGO

See merge request ligolang/ligo!190
2019-11-20 13:42:37 +00:00
John David Pressman
eb85595818 Add is_nat operator to CameLIGO 2019-11-20 12:48:55 +00:00
John David Pressman
598fbf96ed Add is_nat operator to PascaLIGO 2019-11-20 12:48:55 +00:00
John David Pressman
bdd7e5def2 Merge branch 'gardening/collection-arg-ordering' into 'dev'
[LIGO-229] Change ordering of collection operation args

Closes #50

See merge request ligolang/ligo!191
2019-11-20 12:16:31 +00:00
John David Pressman
4270cc0d22 [LIGO-229] Change ordering of collection operation args 2019-11-20 12:16:31 +00:00
Tom Jack
e9319b518c Merge branch 'fix-dev' into 'dev'
Fix semantic merge conflict in test and parser

See merge request ligolang/ligo!205
2019-11-20 00:07:21 +00:00
Tom Jack
1a3909affd Fix semantic merge conflict in test and parser 2019-11-19 17:19:26 -06:00
Rémi Lesenechal
5aada38d5d Merge branch 'feature/tests-catch-failwith-and-pack' into 'dev'
Test framework catch failwith and pack

See merge request ligolang/ligo!203
2019-11-19 23:18:07 +00:00
Lesenechal Remi
725176a59d allow to pack message (aka lambda of type unit -> operation list) 2019-11-19 23:27:43 +01:00
Tom Jack
863dfbb39d Merge branch 'feature/get-entrypoint' into 'dev'
Add `get_entrypoint`...

See merge request ligolang/ligo!184
2019-11-19 22:27:12 +00:00
John David Pressman
35cd4a75f6 Merge branch 'feature/cameligo-let-in-expand' into 'dev'
[LIGO-214] CameLIGO does not support multiple value bindings

See merge request ligolang/ligo!180
2019-11-19 21:13:52 +00:00
John David Pressman
9b0eb636fb Properly typed multi-variable binding simplification
Thanks for the help Sanders. :)
2019-11-19 21:13:52 +00:00
Lesenechal Remi
f7d6a5ea58 allow to catch failwith's in our tests 2019-11-19 15:38:23 +01:00
Rémi Lesenechal
fe76f82bb0 Merge branch 'collect-loop-last-fixes' into 'dev'
Pascaligo for collection loops: take locally declared variable into account

See merge request ligolang/ligo!202
2019-11-19 13:25:48 +00:00
Rémi Lesenechal
f0655eab28 Pascaligo for collection loops: take locally declared variable into account 2019-11-19 13:25:48 +00:00
John David Pressman
bbcacc253b Merge branch 'feature/pascaligo-anon-functions' into 'dev'
Feature/pascaligo anon functions

See merge request ligolang/ligo!201
2019-11-19 08:33:54 +00:00
John David Pressman
e1a05a27c5 Remove vestigial commented-out code 2019-11-18 23:45:26 -08:00
Matej Sima
5ba34b3ac3 Updated docs with blockless & anonymous functions, added variable mutation disclaimer, updated landing page pascaligo example. 2019-11-19 01:44:36 +01:00
galfour
63822e0430 test anon function 2019-11-18 18:44:15 +01:00
Tom Jack
723201ce5e Add get_entrypoint... 2019-11-18 09:28:20 -06:00
galfour
ddc4b7b7a5 add anon functions; remove pre-block declarations; update tests 2019-11-18 16:10:48 +01:00
Rémi Lesenechal
ef25bcddaa Merge branch 'nested-collect-loop-issue' into 'dev'
Fix issue with nested collection loop where inner loop iterated elements were...

See merge request ligolang/ligo!199
2019-11-18 14:37:21 +00:00
Lesenechal Remi
91e245ef70 Fix issue with nested collection loop where inner loop iterated elements were shadowing outer loop iterated element 2019-11-18 14:14:54 +01:00
Gabriel Alfour
122d0d5520 Merge branch 'feature/more-applications-pascaligo' into 'dev'
add and test more ways to do function application in pascaligo

See merge request ligolang/ligo!196
2019-11-18 12:46:05 +00:00
galfour
5422049dba Merge branch 'dev' into feature/more-applications-pascaligo 2019-11-18 09:53:57 +01:00
John David Pressman
f3b378e401 Merge branch 'feature/finish-for-collect-loop-impl' into 'dev'
fix last problems with nested for collection loop

See merge request ligolang/ligo!197
2019-11-15 22:30:35 +00:00
Lesenechal Remi
e689d3d3b7 more doc 2019-11-15 20:05:35 +01:00
Lesenechal Remi
683bc0a72b fix problems with nested for collection loop 2019-11-15 20:05:35 +01:00
Tom Jack
22ae4c30b1 Merge branch 'fix-dev' into 'dev'
Work around upstream in-place update

See merge request ligolang/ligo!198
2019-11-15 16:51:56 +00:00
Tom Jack
a73ede31e7 Work around upstream in-place update 2019-11-15 10:02:22 -06:00
galfour
d0efbd9f92 add and test more ways to do function application in pascaligo 2019-11-14 20:13:15 +01:00
Gabriel Alfour
533cbaa1b5 Merge branch 'improve-dead-elim' into 'dev'
Improve purity test for dead code elimination

See merge request ligolang/ligo!193
2019-11-14 14:31:29 +00:00
Tom Jack
5b60109606 Improve purity test for dead code elimination 2019-11-13 14:05:22 -06:00
John David Pressman
28b650d32e Merge branch 'feature/pascaligo-balance' into 'dev'
Add ability to access balance to PascaLIGO

Closes #68

See merge request ligolang/ligo!189
2019-11-13 02:04:14 +00:00
John David Pressman
3675aed76d Merge branch 'dev' of ssh://gitlab.com/ligolang/ligo into feature/pascaligo-balance 2019-11-12 17:16:07 -08:00
Pierre-Emmanuel Wulfman
49da281bbb Merge branch 'fix/deep-access' into 'dev'
Fix: deep access

See merge request ligolang/ligo!182
2019-11-12 17:07:09 +00:00
Pierre-Emmanuel Wulfman
29a86ad411 Fix: deep access 2019-11-12 17:07:09 +00:00
John David Pressman
273ec8c280 Add ability to access balance to PascaLIGO 2019-11-12 08:01:18 -08:00
Pierre-Emmanuel Wulfman
8febb9f580 Merge branch 'gardening/cleaning-ast' into 'dev'
remove 'Access_Map'

See merge request ligolang/ligo!177
2019-11-12 14:28:58 +00:00
Pierre-Emmanuel Wulfman
f91de985d0 remove 'Access_Map' 2019-11-12 14:28:58 +00:00
Rodrigo Quelhas
bb173cd994 Added cameligo syntax to "Empty sets" section 2019-11-10 19:13:28 +00:00
Rodrigo Quelhas
c705950a53 Fixed cameligo syntax "Defining a set" section 2019-11-10 19:04:20 +00:00