Commit Graph

5391 Commits

Author SHA1 Message Date
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
Matej Šima
d0c0fcff14 Merge branch 'feature/smaller-docker-image' into 'dev'
Feature/smaller docker image

See merge request ligolang/ligo!185
2019-11-09 22:34:20 +00:00
Matej Šima
aa231cec27 Feature/smaller docker image 2019-11-09 22:34:20 +00:00
Matej Šima
0ed882ff16 Merge branch 'feature/fix-docs' into 'dev'
Feature/fix docs

See merge request ligolang/ligo!181
2019-11-09 14:40:53 +00:00
Matej Šima
dbda9df321 Feature/fix docs 2019-11-09 14:40:53 +00:00
Matej Šima
628d818163 Revert "Merge with dev"
This reverts commit 6ffe220d928dc3137496bcea0cc0f4d72edc2846.
2019-11-07 23:19:27 +00:00
John David Pressman
c177a60077 Merge branch 'feature/updated-docs' into 'dev'
Updating the docs with stove-labs/ligo-training

See merge request ligolang/ligo!169
2019-11-07 23:19:27 +00:00
Rémi Lesenechal
73919e3a5c Merge branch 'rinderknecht-dev' into 'dev'
Removing the type annotation for variables iterating over collections.

See merge request ligolang/ligo!178
2019-11-07 11:23:31 +00:00
Christian Rinderknecht
c7c9d6a194 Merge branch 'feature/balance-unrecognized-constant' into 'dev'
Finish balance operator and add test for CameLIGO

Closes #61

See merge request ligolang/ligo!179
2019-11-06 20:01:38 +00:00