Lesenechal Remi
|
8c12a0ea31
|
git ingore .vscode
|
2019-10-14 17:45:52 +02:00 |
|
Christian Rinderknecht
|
d7baebdb2f
|
Merge branch 'feature/pascaligo-set-patch' into 'dev'
[LIGO-127] Add set patch functionality to PascaLIGO
See merge request ligolang/ligo!127
|
2019-10-12 20:35:14 +00:00 |
|
John David Pressman
|
b304772928
|
Change set patch to use left fold
|
2019-10-12 12:38:05 -07:00 |
|
Gabriel Alfour
|
9d133338c0
|
Merge branch 'tez-div-tez' into 'dev'
Expose tez/tez division
See merge request ligolang/ligo!133
|
2019-10-12 02:09:45 +00:00 |
|
Tom Jack
|
c2a3fd473c
|
Fix test
|
2019-10-11 15:27:41 -05:00 |
|
Tom Jack
|
b64f82dff7
|
Add failing test
|
2019-10-11 15:24:46 -05:00 |
|
Tom Jack
|
c5361c57d4
|
Simplify a bit
|
2019-10-11 15:10:11 -05:00 |
|
Tom Jack
|
e672d10029
|
Expose tez mod tez, too
|
2019-10-11 14:54:22 -05:00 |
|
John David Pressman
|
d947f3b462
|
Change set patch to chain calls and only use one assignment
|
2019-10-11 12:38:00 -07:00 |
|
Tom Jack
|
d87d0aab73
|
Expose tez/tez division
|
2019-10-11 14:35:23 -05:00 |
|
John David Pressman
|
58b8e537e4
|
Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/pascaligo-set-patch
|
2019-10-11 09:02:45 -07:00 |
|
Tom Jack
|
d6badf030c
|
Merge branch 'delete-vestigial-local-repo' into 'dev'
Delete vestigial local repo stuff
See merge request ligolang/ligo!81
|
2019-10-11 15:12:07 +00:00 |
|
Tom Jack
|
047065f8ee
|
Delete vestigial local repo stuff
|
2019-10-11 15:12:07 +00:00 |
|
Tom Jack
|
f06161ea42
|
Merge branch 'feature/dry-run-sender-source' into 'dev'
Accept fake values for SENDER/SOURCE in dry-run
See merge request ligolang/ligo!130
|
2019-10-11 15:09:16 +00:00 |
|
Tom Jack
|
039d82a18f
|
Merge branch 'feature/LIGO-27-improve-packaging-and-distribution' into 'dev'
Add build & packaging scripts for multiplatform ligo binary distribution
See merge request ligolang/ligo!114
|
2019-10-11 02:26:03 +00:00 |
|
John David Pressman
|
0de17f4b57
|
Add empty set patches, add test for empty set patches
|
2019-10-10 13:35:38 -07:00 |
|
John David Pressman
|
c82076281f
|
Add test for set patch functionality
Resolves LIGO-127
|
2019-10-09 23:13:25 -07:00 |
|
John David Pressman
|
2f60c85aa8
|
Add rough draft of set patch functionality
|
2019-10-09 17:08:58 -07:00 |
|
Rémi Lesenechal
|
dfe6f144bb
|
Merge branch 'feature/unsupported-deep-map-ops' into 'dev'
fix unsupported deep_map assignements and remove. add tests
See merge request ligolang/ligo!125
|
2019-10-09 19:57:17 +00:00 |
|
Tom Jack
|
e8afba9581
|
Accept fake values for SENDER/SOURCE in dry-run
|
2019-10-09 12:08:02 -05:00 |
|
Christian Rinderknecht
|
cbaac2d124
|
Merge branch 'rinderknecht-dev' into 'dev'
Printing of tokens from the AST is now done in a Buffer.t
See merge request ligolang/ligo!128
|
2019-10-09 16:18:04 +00:00 |
|
Christian Rinderknecht
|
bcf73d01bf
|
Printing of tokens from the AST is now done in a Buffer.t
|
2019-10-09 16:07:13 +02:00 |
|
Lesenechal Remi
|
8c29dc6df3
|
cleaning (using name return by simpl_path which is equivalent)
|
2019-10-09 11:54:48 +02:00 |
|
Lesenechal Remi
|
54662db2f6
|
use simpl_projection to build accessor
|
2019-10-09 11:54:48 +02:00 |
|
Lesenechal Remi
|
d59cd771c9
|
fix unsupported deep_map assignements and remove. add tests
|
2019-10-09 11:54:48 +02:00 |
|
Sander
|
8dfb2a967f
|
Merge branch 'feature/pascaligo-remove-simplify' into 'dev'
Add test for PascaLIGO remove syntax which appears to work
See merge request ligolang/ligo!126
|
2019-10-08 19:35:09 +00:00 |
|
John David Pressman
|
88de350264
|
Add test for PascaLIGO remove syntax which appears to work
|
2019-10-08 11:54:49 -07:00 |
|
Christian Rinderknecht
|
a4ad62ad16
|
Merge branch 'rinderknecht-dev' into 'dev'
Made big_map a keyword, like map.
See merge request ligolang/ligo!124
|
2019-10-08 11:37:31 +00:00 |
|
Christian Rinderknecht
|
aa3b035c9f
|
Merge branch 'feature/pascaligo-remove-simplify' into 'dev'
[LIGO-121] Add simplified AST representation of PascaLIGO's set remove syntax
See merge request ligolang/ligo!122
|
2019-10-08 10:32:03 +00:00 |
|
Christian Rinderknecht
|
1362fbae9e
|
Made big_map a keyword, like map.
|
2019-10-08 12:24:56 +02:00 |
|
John David Pressman
|
7cf75c54c8
|
Untested rough draft of pascaligo set removal
|
2019-10-07 21:41:36 -07:00 |
|
Tom Jack
|
be88b546a4
|
Merge branch 'docker-rm' into 'dev'
Adding `--rm` to ligo.sh
See merge request ligolang/ligo!123
|
2019-10-07 23:44:02 +00:00 |
|
Rodrigo Quelhas
|
0c756a4a46
|
Adding --rm to ligo.sh
|
2019-10-07 18:02:00 -05:00 |
|
Tom Jack
|
fdf0640e28
|
Merge branch 'fix-dev' into 'dev'
Resolve mli merge conflict
See merge request ligolang/ligo!121
|
2019-10-07 19:37:38 +00:00 |
|
Tom Jack
|
4a5e41faa4
|
Resolve mli merge conflict
|
2019-10-07 13:56:48 -05:00 |
|
Christian Rinderknecht
|
6f414a8ad2
|
Merge branch 'feature/unsupported_ass_None' into 'dev'
Feature/unsupported_ass_none
See merge request ligolang/ligo!118
|
2019-10-07 16:31:19 +00:00 |
|
Christian Rinderknecht
|
9c1be8f3a3
|
Merge branch 'feature/unsupported-string-catenation' into 'dev'
feature/unsupported_string_catenation
See merge request ligolang/ligo!120
|
2019-10-07 16:30:39 +00:00 |
|
Christian Rinderknecht
|
76b4fa3f47
|
Merge branch 'rinderknecht-dev' into 'dev'
Gardening for Ligodity and update of the documentation of PascaLIGO.
See merge request ligolang/ligo!119
|
2019-10-07 15:44:36 +00:00 |
|
Lesenechal Remi
|
44767c4b8e
|
Simplifier now emit CONCAT constant
|
2019-10-07 17:16:03 +02:00 |
|
Tom Jack
|
36ec771adf
|
Remove singleton inductive type
|
2019-10-07 16:54:28 +02:00 |
|
Tom Jack
|
e2c831a231
|
Simplify more
|
2019-10-07 16:54:28 +02:00 |
|
Tom Jack
|
1c2c6cbc43
|
Delete unused NoneExpr
|
2019-10-07 16:54:28 +02:00 |
|
Tom Jack
|
3a14ef26ef
|
Simplify?
|
2019-10-07 16:54:28 +02:00 |
|
Lesenechal Remi
|
3a3cfa341a
|
cleaning
|
2019-10-07 16:54:28 +02:00 |
|
Lesenechal Remi
|
08a3e08f57
|
add a new T_constant in ast_simplified and ast_typed
|
2019-10-07 16:54:28 +02:00 |
|
Lesenechal Remi
|
1401d03d62
|
Parser patch from Christian
|
2019-10-07 16:54:28 +02:00 |
|
Christian Rinderknecht
|
ff9584c7b7
|
Gardening.
|
2019-10-07 16:37:33 +02:00 |
|
Christian Rinderknecht
|
bb86ba6ad0
|
Merge branch 'pew-interface' into 'dev'
Interface for Ocaml code
See merge request ligolang/ligo!63
|
2019-10-07 14:18:33 +00:00 |
|
Pierre-Emmanuel Wulfman
|
59cb210b83
|
Interface for Ocaml code
|
2019-10-07 14:18:32 +00:00 |
|
Rémi Lesenechal
|
0c7bfbdecd
|
Merge branch 'feature/LIGO-GITLAB-ISSUE-23-HIGHER-ORDER' into 'dev'
Issue 23 : Higher-order functions with more than one argument give weird errors
See merge request ligolang/ligo!103
|
2019-10-03 17:16:21 +00:00 |
|