Pierre-Emmanuel Wulfman
|
ffe0bfb428
|
Merge branch 'bugfix/docker-run-dev' into 'dev'
Run dev pipeline for *-run-dev branches: fix "docker push" to the next-attempt tag
See merge request ligolang/ligo!442
|
2020-02-20 17:57:02 +00:00 |
|
Tom Jack
|
4c53fa4ae6
|
Fix non-tail fail avoidance
|
2020-02-20 09:58:17 -06:00 |
|
Suzanne Dupéron
|
c4c79e69f2
|
Run dev pipeline for *-run-dev branches: fix "docker push" to the next-attempt tag
|
2020-02-20 16:57:04 +01:00 |
|
Suzanne Dupéron
|
ce4c2ee783
|
Merge branch 'feature/ast-cleanup-ocaml-tuples' into 'dev'
AST cleanup + replace OCaml tuples with record in ast_typed
See merge request ligolang/ligo!429
|
2020-02-20 14:57:07 +00:00 |
|
Suzanne Dupéron
|
4f36ff3bcb
|
Replace OCaml tuples with record in ast_typed
|
2020-02-20 14:21:30 +01:00 |
|
Suzanne Dupéron
|
ea74ed8a2c
|
Normalize indentation etc. of ast_typed in preparation for the ADT generator
|
2020-02-20 14:21:30 +01:00 |
|
John David Pressman
|
b46978dc19
|
Merge branch 'revert-8d01fcb9' into 'dev'
Revert "Merge branch 'fix/pascal-tuples-in-doc' into 'dev'"
See merge request ligolang/ligo!439
|
2020-02-20 06:49:27 +00:00 |
|
John David Pressman
|
62fe576bc9
|
Revert "Merge branch 'fix/pascal-tuples-in-doc' into 'dev'"
This reverts merge request !437
|
2020-02-20 05:25:30 +00:00 |
|
Rémi Lesenechal
|
e8129c5be3
|
Merge branch 'feature/variable-in-dry-run' into 'dev'
Allow using top level variables defined in source code in dry-run PARAMETER and STORAGE
See merge request ligolang/ligo!436
|
2020-02-19 20:41:37 +00:00 |
|
Pierre-Emmanuel Wulfman
|
8d01fcb9f7
|
Merge branch 'fix/pascal-tuples-in-doc' into 'dev'
Make Tuple in PascaLigo starting at one
See merge request ligolang/ligo!437
|
2020-02-19 17:15:29 +00:00 |
|
Pierre-Emmanuel Wulfman
|
0b10b7188b
|
Merge branch 'test-contract-religo' into 'dev'
Multisig contract test for Cameligo and ReasonLigo
See merge request ligolang/ligo!421
|
2020-02-19 17:08:30 +00:00 |
|
Pierre-Emmanuel Wulfman
|
e1606c4700
|
add multisig test for cameligo and reasonligo
|
2020-02-19 16:40:55 +01:00 |
|
Pierre-Emmanuel Wulfman
|
dcb342e031
|
add primitive to cameligo
|
2020-02-19 16:40:55 +01:00 |
|
Pierre-Emmanuel Wulfman
|
b8af9a56d9
|
fix contract with tuples starting at one
|
2020-02-19 16:15:43 +01:00 |
|
Lesenechal Remi
|
44ff5d580d
|
Allow using top level variables defined in source code in dry-run PARAMETER and STORAGE
|
2020-02-19 16:10:50 +01:00 |
|
Pierre-Emmanuel Wulfman
|
a6fc8a3f6a
|
Merge branch 'for-loop-bugs' into 'dev'
For loop bugs fixed
See merge request ligolang/ligo!434
|
2020-02-19 15:08:01 +00:00 |
|
Pierre-Emmanuel Wulfman
|
eee6dbaeb2
|
make while_loop, for_int and for_collect more similar
|
2020-02-19 14:41:16 +01:00 |
|
John David Pressman
|
892f813a6c
|
Merge branch 'contract/hashlock' into 'dev'
[LIGO-406] Hashlock contract
See merge request ligolang/ligo!359
|
2020-02-19 00:15:39 +00:00 |
|
John David Pressman
|
a7b86ce1af
|
Merge branch 'docs/reference-doc-sidebar' into 'dev'
Add reference pages to docs sidebar, change titles to include description like python
See merge request ligolang/ligo!422
|
2020-02-19 00:12:30 +00:00 |
|
John David Pressman
|
b0eeb596df
|
Merge branch 'dev' into docs/reference-doc-sidebar
|
2020-02-18 14:34:42 -08:00 |
|
Suzanne Dupéron
|
3f21cf7b26
|
Merge branch 'bugfix/gitlab-typo' into 'dev'
Fix typo in script (third)
See merge request ligolang/ligo!435
|
2020-02-18 15:20:06 +00:00 |
|
Suzanne Dupéron
|
2c677c2b73
|
Fix typo in script (third)
|
2020-02-18 16:18:59 +01:00 |
|
Pierre-Emmanuel Wulfman
|
9de45285b2
|
remove Var.show
|
2020-02-18 14:19:11 +01:00 |
|
Pierre-Emmanuel Wulfman
|
c468cb94a1
|
remove unused code
|
2020-02-18 14:16:05 +01:00 |
|
Tom Jack
|
e262f9e103
|
Demonstrate a couple simple_for_collect bugs
|
2020-02-18 14:09:29 +01:00 |
|
Rémi Lesenechal
|
abfd561ffb
|
Merge branch 'feature/carthage-comparable-pairs' into 'dev'
[LIGO-460] Feature/carthage comparable pairs
See merge request ligolang/ligo!419
|
2020-02-18 12:56:06 +00:00 |
|
Lesenechal Remi
|
38c99eca53
|
carthage: add tests for comparable pairs
|
2020-02-18 12:31:19 +01:00 |
|
Suzanne Dupéron
|
b23ae21579
|
Merge branch 'bugfix/gitlab-typo' into 'dev'
Fix typo in script (again)
See merge request ligolang/ligo!432
|
2020-02-18 11:28:38 +00:00 |
|
Suzanne Dupéron
|
b594f85594
|
Fix typo in script (again)
|
2020-02-18 12:27:14 +01:00 |
|
Suzanne Dupéron
|
dafc574dc2
|
Merge branch 'bugfix/gitlab-typo' into 'dev'
Fix typo in gitlab script
See merge request ligolang/ligo!431
|
2020-02-18 11:25:41 +00:00 |
|
Lesenechal Remi
|
fd28da98a0
|
comparable pairs in the backend
|
2020-02-18 12:19:19 +01:00 |
|
Suzanne Dupéron
|
9f7b39afd3
|
Fix typo in script
|
2020-02-18 11:37:02 +01:00 |
|
Suzanne Dupéron
|
d2dee99bef
|
Merge branch 'feature/run-dev' into 'dev'
Run dev pipeline for *-run-dev branches
See merge request ligolang/ligo!428
|
2020-02-18 10:33:04 +00:00 |
|
John David Pressman
|
b2c654ec65
|
Merge branch 'dev' into contract/hashlock
|
2020-02-17 20:51:31 -08:00 |
|
Rémi Lesenechal
|
3a1cd0bc94
|
Merge branch 'feature/move-to-carthage' into 'dev'
[LIGO-460] carthage update
See merge request ligolang/ligo!414
|
2020-02-17 17:14:28 +00:00 |
|
Suzanne Dupéron
|
f9d2daf7f3
|
Run dev pipeline for *-run-dev branches
|
2020-02-17 17:45:11 +01:00 |
|
Jev Björsell
|
2c3409f5cf
|
Merge branch 'copy-download-output' into 'dev'
Added copy and download to output. Improved tooltip component
See merge request ligolang/ligo!426
|
2020-02-17 14:52:28 +00:00 |
|
Lesenechal Remi
|
e63f2407c2
|
carthage update:
* update dune & opam files
* update modules in source
|
2020-02-17 13:10:51 +01:00 |
|
Lesenechal Remi
|
395b4890eb
|
update the dune.inc magic trick
|
2020-02-17 13:10:51 +01:00 |
|
Lesenechal Remi
|
5bb8c28959
|
carthage: update tezos copy/pasted files
|
2020-02-17 13:10:51 +01:00 |
|
Christian Rinderknecht
|
c04cd69103
|
Merge branch 'feature/literal-bytes-again-again' into 'dev'
Fix literal bytes printing again
See merge request ligolang/ligo!423
|
2020-02-16 11:47:57 +00:00 |
|
Maksym Bykovskyy
|
ddd148a290
|
Added copy and download to output. Improved tooltip component
|
2020-02-15 17:50:40 -08:00 |
|
Tom Jack
|
9f09506f58
|
Fix literal bytes printing again
|
2020-02-15 11:50:20 -06:00 |
|
Jev Björsell
|
26332f396e
|
Merge branch 'ci/pin_dind_image' into 'dev'
Pin docker image to a working one.
See merge request ligolang/ligo!424
|
2020-02-15 15:54:36 +00:00 |
|
Jev Björsell
|
1d06dd4f74
|
Pin docker image to a working one.
Related to ci job timeout tracked here: https://gitlab.com/gitlab-org/gitlab-runner/issues/6697
|
2020-02-15 06:49:39 -08:00 |
|
John David Pressman
|
ee4d62be46
|
Add reference pages to docs sidebar, change titles to include description like python
|
2020-02-15 00:14:46 -08:00 |
|
Jev Björsell
|
b4ef2ed76f
|
Merge branch 'compile-json-output' into 'dev'
Added JSON output to compile command
See merge request ligolang/ligo!417
|
2020-02-15 02:19:31 +00:00 |
|
John David Pressman
|
eaa0c12d63
|
e_ez_record -> e_record_ez in hashlock contract tests
|
2020-02-13 22:00:25 -08:00 |
|
John David Pressman
|
741374fa24
|
Merge branch 'dev' into contract/hashlock
|
2020-02-13 21:59:54 -08:00 |
|
John David Pressman
|
5764f53ed1
|
Refactor commitment mechanism, add reveal tests to hashlock contract
|
2020-02-13 21:54:16 -08:00 |
|