Commit Graph

4441 Commits

Author SHA1 Message Date
Lesenechal Remi
cf540a1a78 multisigv2 default entry point 2019-11-26 19:11:30 +01:00
Lesenechal Remi
c8eb1a3fa6 multisigv2 with less user uncertainty 2019-11-26 19:11:30 +01:00
Lesenechal Remi
b82383751c multisigv2 more robust to spam
Set limits to the number of approvals and message sizes
2019-11-26 19:11:30 +01:00
Lesenechal Remi
652138b115 new 'expect' test helpers working on expressions 2019-11-26 19:11:30 +01:00
Lesenechal Remi
00def6d20e Fix a bug, test added:
A never accounted message was not adding anything to the map
2019-11-26 19:11:30 +01:00
Rémi Lesenechal
48bef70a6a Merge branch 'record-accesses-fix' into 'dev'
Broken nested access to record

See merge request ligolang/ligo!225
2019-11-26 18:09:06 +00:00
Rémi Lesenechal
23d2241891 Merge branch 'quickfix-forloop-elt-name' into 'dev'
generated variable name typo

See merge request ligolang/ligo!224
2019-11-26 17:36:10 +00:00
Lesenechal Remi
c1c551e33f fix and more tests 2019-11-26 18:08:53 +01:00
Lesenechal Remi
848b902cd9 generated variable name typo 2019-11-26 17:49:23 +01:00
John David Pressman
0908338616 Remove 'imperative' from phrase 'imperative iteration' 2019-11-26 05:40:41 -08:00
John David Pressman
d23819245f Add explanation of folding to the map fold 2019-11-26 05:39:54 -08:00
John David Pressman
ebaa913c5a Add better explanation of tuples and map iterator docs 2019-11-26 04:08:16 -08:00
Tom Jack
f7ef0472be Add command for measuring contracts 2019-11-25 17:36:22 -06:00
Tom Jack
c322ca53de Merge branch 'feature/cli-tests' into 'dev'
Add some cli expect tests

See merge request ligolang/ligo!215
2019-11-25 19:59:47 +00:00
Tom Jack
569c0dffa2 Merge branch 'fix-dev' into 'dev'
Fix build: constrain dune version

See merge request ligolang/ligo!221
2019-11-25 15:01:02 +00:00
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