This website requires JavaScript.
6bcd75e5b6
CI for "merge_requests"
2020-01-23 10:33:09 -0600
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 +0100
0636994ffb
Fix interval advance test for repeating time lock contract
2020-01-23 08:32:43 -0800
af23dcaebb
add Telegram link
2020-01-22 10:16:08 -0500
c73c563461
Merge branch 'feature/fix-evaluate-value' into 'dev'
2020-01-23 13:59:20 +0000
69d125b667
fix evaluate-value and added tests
2020-01-23 14:29:04 +0100
74c57776d8
Merge branch 'bugfix/bytes-constructors' into 'dev'
2020-01-23 12:23:49 +0000
1592404e03
Merge commit '4977c18e' into bugfix/new-typer
2020-01-23 11:55:50 +0100
4977c18e05
Fixed semantic conflict (split bytes into several constructor functions)
2020-01-23 11:43:43 +0100
f166748757
Merge branch 'gardening/e-bytes-split' into 'dev'
2020-01-23 08:35:30 +0000
d260e831d1
Add failing interval advance test for repeating timelock contract
2020-01-22 23:05:41 -0800
dd47d709bd
Merge branch 'docs/reasonligo-tuple-param' into 'dev'
2020-01-23 06:05:51 +0000
f17388bd80
Change ReasonLIGO and CameLIGO examples to use tuple param destructuring
2020-01-22 21:37:22 -0800
eba4901a76
Merge branch 'docs/update-front-page-examples-2' into 'dev'
2020-01-23 03:19:46 +0000
ef6f46db5b
typer: bugfix: stray leftover attempt to typecheck the old way in the new typer
2019-12-06 18:34:38 +0100
c5190ac91d
typer: bugfix: missing case for E_skip
2019-12-06 18:34:09 +0100
d97044b581
typer: bugfix: arrow is now a built-in type constructor
2019-12-06 18:33:01 +0100
0f420eaaf5
typer: bugfix: tuple is now a built-in type constructor
2019-12-06 18:32:00 +0100
7828b57636
Merge branch 'rinderknecht-dev' into 'dev'
2020-01-22 13:52:03 +0000
30dac09494
typer: bugfix: use "String.equal", not "="
2019-12-06 18:31:00 +0100
77fdb739b6
typer: typecheck expression and subst (used e.g. to typecheck arguments of contracts)
2019-12-06 18:30:04 +0100
a2a35cc953
Fixed helpers.ml and promoted negative test of reserved name for PascaLIGO.
2020-01-22 12:47:11 +0100
d46d95ee90
Fixed CameLIGO parsing of -> vs * Fixed reserved_name.ligo ("arguments" instead of "args").
2020-01-22 12:33:29 +0100
9781a1c8ff
Add rough draft of repeating timelock contract
2020-01-22 03:01:21 -0800
7437d6ae1a
Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev
2020-01-22 11:43:35 +0100
b50479b96b
Merge branch 'docs/michelson-specific' into 'dev'
2020-01-22 09:58:46 +0000
d878387424
Add salt to hashlock contract
2020-01-22 01:40:23 -0800
7756bfda93
Add rough draft of hashlock contract
2020-01-22 01:30:04 -0800
69ee6d0521
Update CameLIGO and ReasonLIGO examples on front page so they're usable in the IDE
2020-01-21 14:49:42 -0800
f39e006cf9
Change warning about top level use of self_address in docs
2020-01-21 14:08:26 -0800
c8ea510f18
Merge branch 'fix-tuples-reasonligo' into 'dev'
2020-01-21 22:04:27 +0000
da53758d85
Merge
2020-01-21 21:26:52 +0100
f104b5e512
Handle parentheses when destructuring.
2020-01-21 21:23:31 +0100
8237947c4d
monad fix
2020-01-21 19:04:51 +0100
786b183d40
[WIP] * Reverted [pos.mli] to the previous signature, except [Pos.min] that now takes a labelled parameter [file]. * Reverted [ParserAPI.ml] to the previous signature. * Reexported [shor_error] in [ParserUnit]. * Changed the modules [LexToken] so that they export one function to make attributes, the first, additional paramater being "[@" or "[@@" (and invalid in PascaLIGO). * Added support in all [ParserLog] for attributes (pretty-printings). * Added AST nodes [Attr] and [AttrDecl] to PascaLIGO. The simplifier takes care of hooking them with their respective declarations or discarding them. (In the future, we should issue a warning for detached attributes.)
2020-01-21 18:35:36 +0100
483f591f62
Typo
2020-01-21 14:57:13 +0100
5ba2144f0f
Merge branch 'new-typer-bugfix1' into 'dev'
2020-01-21 13:53:27 +0000
78c740b341
Merge branch 'feature/check-pass' into 'dev'
2020-01-21 13:20:33 +0000
95205609f8
Merge.
2020-01-21 14:14:23 +0100
a2c51ddbcf
better description for bad_contract error message
2020-01-21 10:44:32 +0100
f1977b12aa
self in lambda negative test
2020-01-20 19:40:45 +0100
57aeb4e931
detect self_address when not at top level
2020-01-20 19:15:09 +0100
93d16b4b6a
typer: do multiple substitutions at once (pass a sort of map from free variables to their substitution)
2019-12-06 17:48:57 +0100
b8af818457
Merge branch 'print-cst-ast' into 'dev'
2020-01-21 12:24:51 +0000
3223f9cfe1
Add sub commands to print different stages.
2020-01-21 12:24:51 +0000
c811f0058e
Change 'touples' to 'tuples' in docs
2020-01-21 03:13:57 -0800
dd44c0d621
Add self_address docs, fix warning for PACK and UNPACK
2020-01-21 02:45:38 -0800
56135ac711
Merge branch 'docs/front-page-example-update' into 'dev'
2020-01-21 10:18:43 +0000
44dd39dcb2
Fix examples on front page of ligolang.org, add reminder to change in future
2020-01-20 19:42:22 -0800
688a636251
typer: cleanup
2019-12-06 16:32:18 +0100
614970d2d7
Implemented some missing cases of the subst. First kinda actual typer test passes!
2019-11-09 02:45:43 +0100
e959ef4f6f
Forgot to add test file.
2020-01-20 19:04:02 +0100
fbb622cc03
Add support for tuple destructuring in ReasonLIGO
2020-01-20 19:03:00 +0100
8384e3d1f7
[WIP] Refactoring of front-end.
2020-01-20 10:57:07 +0100
d351d585b0
Merge branch 'docs/pascaligo-only' into 'dev'
2020-01-18 10:41:47 +0000
673b54e6ae
Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev
2020-01-18 11:37:36 +0100
dea98d408c
Fill in empty sections of Tezos-specific function page
2020-01-17 23:19:49 -0800
e8935ffa81
Add CameLIGO and ReasonLIGO examples to docs where they didn't already exist
2020-01-17 22:56:54 -0800
481801ea91
Merge branch '105-on-failwith-and-using-format-json-ligo-return-exit-code-1-and-a-malformed-json-on-stderr' into 'dev'
2020-01-17 16:37:03 +0000
a30d59121f
review request (more regular output)
2020-01-17 17:02:54 +0100
4ca9a0243b
changelog update
2020-01-17 16:50:15 +0100
3081ec477b
add test & promote
2020-01-17 16:35:53 +0100
600ee51940
running contract or function does not fail on failwiths
2020-01-17 16:30:36 +0100
0ad8bde6d1
add missing newlines
2020-01-17 16:29:23 +0100
1d485b0242
Add signature checking to tezos specific functions page
2020-01-17 02:08:07 -0800
d6000be369
Add ReasonLIGO CHECK_SIGNATURE test to suite
2020-01-17 01:57:07 -0800
eea8e30e87
Add CameLIGO CHECK_SIGNATURE test to suite
2020-01-17 01:53:22 -0800
eb4336b0e7
Add PascaLIGO CHECK_SIGNATURE test to suite
2020-01-17 01:50:06 -0800
4835ac4d10
Split e_bytes into e_bytes_hex, e_bytes_raw and e_bytes_string
2020-01-16 22:46:28 -0800
96bcbf572a
Add rough draft documentation for hashing keys and pack/unpack operations
2020-01-16 21:50:45 -0800
411c17eb99
Add ReasonLIGO version of key_hash test
2020-01-16 21:45:40 -0800
4fcfa3df8f
Add CameLIGO key_hash test
2020-01-16 21:37:29 -0800
4ee3a29a34
Enable CameLIGO bytes_unpack test and add one for ReasonLIGO
2020-01-16 20:59:26 -0800
ca1caf2e61
Add bytes_unpack test for CameLIGO
2020-01-16 20:27:50 -0800
6ce1ca4fcd
Merge branch 'inline-attribute' into 'dev'
2020-01-16 19:36:04 +0000
88159e15b2
Add inline attribute
2020-01-16 19:36:04 +0000
5972d1d988
Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev
2020-01-14 18:37:17 +0100
cb8aaa7b9b
Additional refactoring to get local and global builds closer.
2020-01-14 18:35:30 +0100
d19b8b5cc5
Merge branch 'feature/improve-typer-errors-operators.ml' into 'dev'
2020-01-14 17:34:50 +0000
c5b5ffe51a
Merge remote-tracking branch 'origin/dev' into rinderknecht-dev
2020-01-14 12:59:32 +0100
9570caac53
Refactoring to bring local builds of the parsers closer to the global build.
2020-01-14 01:27:35 +0100
ff9370a422
Improved typer error messages in operators.ml LIGO-371
2020-01-13 23:55:26 +0100
d66cbcc1b2
Merge branch 'feature/key-sig-literals' into 'dev'
2020-01-13 11:07:52 +0000
7143b82ba8
support for key and signature literals
2020-01-13 11:37:10 +0100
f91955b299
Merge branch 'ignore-union-find' into 'dev'
2020-01-12 15:44:52 +0000
72f7ac47f1
Merge branch 'ast/reason_update' into 'dev'
2020-01-12 15:43:06 +0000
569e41e8c6
Merge branch 'ast/update_record' into 'dev'
2020-01-12 14:23:56 +0000
bbfcc9839b
Updates for ReasonLIGO
2020-01-10 14:55:14 +0100
98d6aea4e1
mr review 2
2020-01-10 17:28:45 +0100
60edd0cf5b
after review 1
2020-01-10 16:41:47 +0100
d964b057e1
Merge branch 'feature/parallel-pipelines' into 'dev'
2020-01-10 14:35:29 +0000
6bf91538c4
Some refactoring.
2020-01-10 15:32:54 +0100
812834656a
Updates for OcamLIGO and PascaLIGO
2020-01-09 18:23:37 +0100
27f99ab120
build_and_deploy_website depends on build_and_package_binaries
2020-01-10 01:43:09 +0100
8a683e1a69
Merge branch 'feature/literal-bytes-again' into 'dev'
2020-01-10 10:35:04 +0000
e7589f1a6a
Merge branch 'feature/auto-generate-folds' into 'dev'
2020-01-10 00:24:55 +0000
b3f8930633
Merge branch 'bugfix/error-messages-combinators.ml' into 'dev'
2020-01-10 00:24:36 +0000
8c6c3c1869
Run gitlab-ci pipeline stages in parallel
2020-01-09 17:33:49 +0100
65656741da
Merge branch 'docs/mligo-religo-transactions' into 'dev'
2020-01-09 23:13:53 +0000
7b1d7755d1
[LIGO-365] Add CameLIGO and ReasonLIGO transaction examples
2020-01-09 23:13:53 +0000
Tom Jack