John David Pressman
|
a9bac17415
|
Merge branch 'contract/id-layer' into 'dev'
[LIGO-269] ID Layer Contract
See merge request ligolang/ligo!273
|
2020-01-24 22:52:06 +00:00 |
|
John David Pressman
|
e025eab45d
|
[LIGO-269] ID Layer Contract
|
2020-01-24 22:52:06 +00:00 |
|
John David Pressman
|
62a4482ff3
|
Change commit.salted_hash to be hash, reorder salt in tests, still failing
|
2020-01-24 13:28:02 -08:00 |
|
Christian Rinderknecht
|
8843a46975
|
Added missing check for reserved names in CameLIGO.
The calls to the lexer and parser of CameLIGO through the compiler use
now their error messages, like in PascaLIGO.
|
2020-01-24 15:57:41 +01:00 |
|
Christian Rinderknecht
|
3c9dd93c8b
|
Fixed again priority of "->" vs "*" in type expressions.
Fixed negative tests.
|
2020-01-24 14:35:15 +01:00 |
|
Christian Rinderknecht
|
47a41971d7
|
Fixed the parsing of [a * b -> c] as [(a * b) -> c].
|
2020-01-24 14:15:07 +01:00 |
|
Christian Rinderknecht
|
1a1a8d986c
|
Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev
|
2020-01-24 14:04:25 +01:00 |
|
Christian Rinderknecht
|
e85486eae4
|
Improved slightly the formatting of some error messages.
Fixed the bug in the parser: I wrongly closed [stdout].
|
2020-01-24 14:03:25 +01:00 |
|
John David Pressman
|
13de36d6db
|
Merge branch 'contract/timelock-repeat' into 'dev'
[LIGO-410] Contract/timelock repeat
See merge request ligolang/ligo!353
|
2020-01-24 12:01:15 +00:00 |
|
Christian Rinderknecht
|
41d6956b66
|
[WIP] Added traces to debug
|
2020-01-24 12:56:05 +01:00 |
|
John David Pressman
|
3a320c26c8
|
Modify hashlock to use commit-reveal and add non-working commit test
|
2020-01-24 03:29:00 -08:00 |
|
John David Pressman
|
98f85bb2fe
|
Merge branch 'dev' into contract/hashlock
|
2020-01-24 02:49:53 -08:00 |
|
Rémi Lesenechal
|
85319cc0bb
|
Merge branch '46-get-a-list-of-all-functions-from-source-code' into 'dev'
Resolve "Get a list of all functions from source code"
Closes #46
See merge request ligolang/ligo!276
|
2020-01-23 22:09:56 +00:00 |
|
Lesenechal Remi
|
ba0548d6b8
|
some list-declarations tests
|
2020-01-23 22:12:33 +01:00 |
|
Lesenechal Remi
|
fd47f51031
|
add a new CLI command: list-declarations
|
2020-01-23 22:12:33 +01:00 |
|
Tom Jack
|
a8fdb46a3a
|
Merge branch 'feature/merge-ci' into 'dev'
CI for "merge_requests"
See merge request ligolang/ligo!357
|
2020-01-23 21:09:30 +00:00 |
|
Tom Jack
|
6f4c147a31
|
Don't merge to master
|
2020-01-23 11:48:27 -06:00 |
|
Tom Jack
|
6bcd75e5b6
|
CI for "merge_requests"
|
2020-01-23 11:43:43 -06:00 |
|
Christian Rinderknecht
|
4f4294bf56
|
Refactoring of the front-end towards integration of the local builds
and the globol build, using the parser error messages, for instance.
|
2020-01-23 18:28:04 +01:00 |
|
John David Pressman
|
0636994ffb
|
Fix interval advance test for repeating time lock contract
|
2020-01-23 08:32:43 -08:00 |
|
Francis Brunelle
|
af23dcaebb
|
add Telegram link
|
2020-01-23 09:20:42 -05:00 |
|
Rémi Lesenechal
|
c73c563461
|
Merge branch 'feature/fix-evaluate-value' into 'dev'
fix evaluate-value and added tests
See merge request ligolang/ligo!356
|
2020-01-23 13:59:20 +00:00 |
|
Lesenechal Remi
|
69d125b667
|
fix evaluate-value and added tests
|
2020-01-23 14:29:04 +01:00 |
|
Rémi Lesenechal
|
74c57776d8
|
Merge branch 'bugfix/bytes-constructors' into 'dev'
Fixed semantic conflict (split bytes into several constructor functions)
See merge request ligolang/ligo!354
|
2020-01-23 12:23:49 +00:00 |
|
Suzanne Dupéron
|
1592404e03
|
Merge commit '4977c18e' into bugfix/new-typer
|
2020-01-23 11:56:02 +01:00 |
|
Suzanne Dupéron
|
4977c18e05
|
Fixed semantic conflict (split bytes into several constructor functions)
|
2020-01-23 11:43:43 +01:00 |
|
John David Pressman
|
f166748757
|
Merge branch 'gardening/e-bytes-split' into 'dev'
[LIGO-374] Split e_bytes into e_bytes_hex, e_bytes_raw and e_bytes_string
See merge request ligolang/ligo!336
|
2020-01-23 08:35:30 +00:00 |
|
John David Pressman
|
d260e831d1
|
Add failing interval advance test for repeating timelock contract
|
2020-01-22 23:05:41 -08:00 |
|
John David Pressman
|
dd47d709bd
|
Merge branch 'docs/reasonligo-tuple-param' into 'dev'
Change ReasonLIGO and CameLIGO doc examples to use tuple param destructuring
See merge request ligolang/ligo!352
|
2020-01-23 06:05:51 +00:00 |
|
John David Pressman
|
f17388bd80
|
Change ReasonLIGO and CameLIGO examples to use tuple param destructuring
|
2020-01-22 21:37:22 -08:00 |
|
John David Pressman
|
eba4901a76
|
Merge branch 'docs/update-front-page-examples-2' into 'dev'
Update CameLIGO and ReasonLIGO examples on front page so they're usable in the IDE
See merge request ligolang/ligo!347
|
2020-01-23 03:19:46 +00:00 |
|
Suzanne Dupéron
|
ef6f46db5b
|
typer: bugfix: stray leftover attempt to typecheck the old way in the new typer
|
2020-01-22 15:30:38 +01:00 |
|
Suzanne Dupéron
|
c5190ac91d
|
typer: bugfix: missing case for E_skip
|
2020-01-22 15:30:29 +01:00 |
|
Suzanne Dupéron
|
d97044b581
|
typer: bugfix: arrow is now a built-in type constructor
|
2020-01-22 15:30:18 +01:00 |
|
Suzanne Dupéron
|
0f420eaaf5
|
typer: bugfix: tuple is now a built-in type constructor
|
2020-01-22 15:17:10 +01:00 |
|
Christian Rinderknecht
|
7828b57636
|
Merge branch 'rinderknecht-dev' into 'dev'
Refactoring of the front-end
See merge request ligolang/ligo!332
|
2020-01-22 13:52:03 +00:00 |
|
Suzanne Dupéron
|
30dac09494
|
typer: bugfix: use "String.equal", not "="
|
2020-01-22 13:49:32 +01:00 |
|
Suzanne Dupéron
|
77fdb739b6
|
typer: typecheck expression and subst (used e.g. to typecheck arguments of contracts)
|
2020-01-22 13:49:32 +01:00 |
|
Christian Rinderknecht
|
a2a35cc953
|
Fixed helpers.ml and promoted negative test of reserved name for PascaLIGO.
|
2020-01-22 12:47:11 +01:00 |
|
Christian Rinderknecht
|
d46d95ee90
|
Fixed CameLIGO parsing of -> vs *
Fixed reserved_name.ligo ("arguments" instead of "args").
|
2020-01-22 12:33:29 +01:00 |
|
John David Pressman
|
9781a1c8ff
|
Add rough draft of repeating timelock contract
|
2020-01-22 03:01:21 -08:00 |
|
Christian Rinderknecht
|
7437d6ae1a
|
Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev
|
2020-01-22 11:43:35 +01:00 |
|
John David Pressman
|
b50479b96b
|
Merge branch 'docs/michelson-specific' into 'dev'
[LIGO-358] Add Tezos-specific LIGO features docs
See merge request ligolang/ligo!335
|
2020-01-22 09:58:46 +00:00 |
|
John David Pressman
|
d878387424
|
Add salt to hashlock contract
|
2020-01-22 01:40:23 -08:00 |
|
John David Pressman
|
7756bfda93
|
Add rough draft of hashlock contract
|
2020-01-22 01:30:04 -08:00 |
|
John David Pressman
|
69ee6d0521
|
Update CameLIGO and ReasonLIGO examples on front page so they're usable in the IDE
|
2020-01-21 14:49:42 -08:00 |
|
John David Pressman
|
f39e006cf9
|
Change warning about top level use of self_address in docs
|
2020-01-21 14:08:26 -08:00 |
|
John David Pressman
|
c8ea510f18
|
Merge branch 'fix-tuples-reasonligo' into 'dev'
Add support for tuple destructuring in ReasonLIGO
See merge request ligolang/ligo!342
|
2020-01-21 22:04:27 +00:00 |
|
Sander Spies
|
da53758d85
|
Merge
|
2020-01-21 21:26:52 +01:00 |
|
Sander Spies
|
f104b5e512
|
Handle parentheses when destructuring.
|
2020-01-21 21:23:31 +01:00 |
|