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 |
|
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 |
|
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
|
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
|
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
|
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 |
|
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
|
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 |
|
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
|
cdb36167f9
|
remove rope
|
2019-11-20 17:27:32 +01: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
|
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
|
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
|
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 |
|
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 |
|
galfour
|
5422049dba
|
Merge branch 'dev' into feature/more-applications-pascaligo
|
2019-11-18 09:53:57 +01: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
|
a73ede31e7
|
Work around upstream in-place update
|
2019-11-15 10:02:22 -06:00 |
|