Tom Jack
|
3323c7f7d2
|
Fix build: constrain dune version
|
2019-11-25 08:15:11 -06:00 |
|
Tom Jack
|
e16ddf7ddc
|
Merge branch 'region-invalid' into 'dev'
Fix a Region.Invalid error in Cameligo simplifier
See merge request ligolang/ligo!214
|
2019-11-22 21:53:59 +00:00 |
|
Rémi Lesenechal
|
b8020315d9
|
Merge branch '73-error-when-dry-running-a-contract-having-a-storage-which-contains-a-lambda' into 'dev'
Resolve "Error when dry-running a contract (having a storage which contains a lambda)"
Closes #73
See merge request ligolang/ligo!219
|
2019-11-22 20:28:55 +00:00 |
|
Rémi Lesenechal
|
c7dfd54f7e
|
Resolve "Error when dry-running a contract (having a storage which contains a lambda)"
|
2019-11-22 20:28:55 +00:00 |
|
Rémi Lesenechal
|
1219a0188c
|
Merge branch 'contract-multisigv2' into 'dev'
Multisig v2
See merge request ligolang/ligo!218
|
2019-11-22 17:04:35 +00:00 |
|
Lesenechal Remi
|
6555c39c9d
|
some review request
|
2019-11-22 17:15:49 +01:00 |
|
Lesenechal Remi
|
cd94fd850b
|
move common funciton test helpers
|
2019-11-22 15:52:46 +01:00 |
|
Lesenechal Remi
|
30a410413a
|
mulisig contract v2 and test
|
2019-11-22 15:41:30 +01:00 |
|
John David Pressman
|
ecaa1a3aea
|
Merge branch 'test/cameligo-higher-order-2' into 'dev'
Add higher order function test to CameLIGO
See merge request ligolang/ligo!217
|
2019-11-22 11:08:03 +00:00 |
|
John David Pressman
|
0b50d94071
|
Add higher order function test to CameLIGO
|
2019-11-22 02:22:29 -08:00 |
|
Tom Jack
|
7f7d5972ac
|
Fix a Region.Invalid error in Cameligo simplifier
|
2019-11-21 16:53:17 -06:00 |
|
Tom Jack
|
6f9778f578
|
Add some cli expect tests
|
2019-11-21 16:46:38 -06:00 |
|
Tom Jack
|
dbb36e6fdc
|
Use runtest to run tests
|
2019-11-21 12:28:38 -06:00 |
|
Rémi Lesenechal
|
f4c3828866
|
Merge branch 'contract-multisig' into 'dev'
Contracts : multisig
See merge request ligolang/ligo!204
|
2019-11-21 17:58:21 +00:00 |
|
Lesenechal Remi
|
17ecf12fa3
|
multisig : non quadratic signature check
|
2019-11-21 17:21:39 +01:00 |
|
Lesenechal Remi
|
88a0f33fca
|
add key_hash type and crypto_key_hash operator to pascaligo
|
2019-11-21 17:21:39 +01:00 |
|
Lesenechal Remi
|
87d0064113
|
Multisig made robust to replay attack
|
2019-11-21 17:21:39 +01:00 |
|
Lesenechal Remi
|
1185b8abda
|
add chain_id type and operator
|
2019-11-21 17:21:39 +01:00 |
|
Lesenechal Remi
|
4edf58726a
|
multisig tests
|
2019-11-21 17:21:39 +01:00 |
|
Lesenechal Remi
|
beeba317d6
|
multisig contract
|
2019-11-21 17:19:11 +01:00 |
|
Lesenechal Remi
|
edb1e3d607
|
add crypto_check function to pascaligo
|
2019-11-21 17:19:11 +01:00 |
|
Lesenechal Remi
|
2fa78bd0bd
|
add key and signature types
|
2019-11-21 17:19:11 +01:00 |
|
Tom Jack
|
5ab3bf85e9
|
Merge branch 'mystery-bigmap' into 'dev'
Fix/simplify big_maps using Babylon
See merge request ligolang/ligo!173
|
2019-11-21 15:04:37 +00:00 |
|
Tom Jack
|
ad2a537e63
|
Merge branch 'romarq_empty_set_annots' into 'dev'
RoMarQ's empty set doc patches
See merge request ligolang/ligo!211
|
2019-11-21 14:58:47 +00:00 |
|
John David Pressman
|
8b1b9bed82
|
Merge branch 'test/cameligo-closure' into 'dev'
Add CameLIGO closure test
See merge request ligolang/ligo!155
|
2019-11-21 14:53:31 +00:00 |
|
John David Pressman
|
6ed178e721
|
Merge branch 'docs/cameligo-function-expr' into 'dev'
Add anonymous function example for CameLIGO
See merge request ligolang/ligo!209
|
2019-11-21 14:31:15 +00:00 |
|
Tom Jack
|
81c49f4342
|
Fix/simplify big_maps using Babylon
|
2019-11-21 08:18:18 -06:00 |
|
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 |
|