Christian Rinderknecht
fa4a7cecdf
Removed entrypoint. Added back missing error message (string cat).
2019-09-27 13:44:29 +02:00
Christian Rinderknecht
68ff421b7d
Merge remote-tracking branch 'origin/dev' into rinderknecht-dev
2019-09-26 17:11:08 +02:00
Christian Rinderknecht
ca1471612f
Merge branch 'pascaligo-tests' into 'dev'
...
Add Pascaligo tests for not kwd, (commented out) procedure and for loop
See merge request ligolang/ligo!95
2019-09-26 15:09:37 +00:00
Christian Rinderknecht
10469818c1
Removed entrypoint and storage as keywords.
...
Bug fix: `n-1` was scanned as `n` and `-1`, which was rejected by
a style constraint.
I removed useless style constraints in the lexer.
I removed dead code in `pascaligo.ml`.
I added my first draft for the reference manual of PascaLIGO: DO
NOT EDIT. Edit the website instead.
About the bug fix: This was an awkward attempt at rejecting at
lexing time negative integer literals whose sign is separated
from the digits, like `- 1`. The fix was simple: remove the
`integer` regular expression and use `natural`.
2019-09-26 16:35:16 +02:00
Tom Jack
288b7e9149
Merge branch 'hotfix' into 'dev'
...
Hotfix: display errors, fix mystery `fail`
See merge request ligolang/ligo!93
2019-09-26 11:41:53 +00:00
Tom Jack
389cbdbded
Hotfix: display errors, fix mystery fail
2019-09-26 06:01:09 -05:00
Tom Jack
0c58b19978
Merge branch 'feature/peephole' into 'dev'
...
Michelson optimizations
See merge request ligolang/ligo!79
2019-09-26 01:52:55 +00:00
Tom Jack
8a96e38f04
More failure tests, fix mligo assert
2019-09-25 20:15:21 -05:00
Tom Jack
a521c01115
some michelson optimizations
2019-09-25 20:15:19 -05:00
Tom Jack
a2240e0649
Merge branch 'feature/stderr' into 'dev'
...
Print errors to stderr, exit 1
See merge request ligolang/ligo!66
2019-09-26 00:56:55 +00:00
Gabriel Alfour
dcafce59d0
Merge branch 'fix-cli-test' into 'dev'
...
Fix cli test
See merge request ligolang/ligo!90
2019-09-25 19:20:28 +00:00
Tom Jack
1f8a801ed9
Don't test exact compiler output
2019-09-25 13:40:32 -05:00
Tom Jack
8a04ee8097
Fix bug for compile-parameter and compile-storage
2019-09-25 13:40:32 -05:00
galfour
be75fd4830
fixed minor bug
2019-09-25 17:21:44 +02:00
Matej Sima
d9afee0fad
Attempt to fix docker_build CI config
2019-09-25 13:19:44 +02:00
Matej Sima
d1c1f0c08e
Move docker_build to 'script' level in the CI
2019-09-25 13:14:41 +02:00
Matej Sima
af9e6a90b9
Move docker publishing and testing to script instead of after_script in the CI
2019-09-25 13:11:10 +02:00
Gabriel Alfour
acc13ba817
Merge branch 'fix/various-gitlab-issues' into 'dev'
...
No one saw this (inadvertently broke compile-expression)
See merge request ligolang/ligo!83
2019-09-25 09:26:01 +00:00
Matej Sima
c60a02942b
Update the CLI testing script CI pipeline
2019-09-25 10:52:26 +02:00
galfour
87bbdad553
fix stuff
2019-09-25 10:49:14 +02:00
John David Pressman
9bb0d3aa9f
Disable tests for procedures and for loops, which are unsupported
2019-09-24 16:20:52 -07:00
John David Pressman
ada8a2b703
Add (commented out) for loop test & working procedure test
...
Also clean up typo in unsupported for loop error message
2019-09-24 15:47:04 -07:00
John David Pressman
a8def8c269
Add test for boolean not
2019-09-24 12:18:07 -07:00
Gabriel Alfour
9053a74999
Merge branch 'fix/various-gitlab-issues' into 'dev'
...
Fix/various gitlab issues
See merge request ligolang/ligo!82
2019-09-24 16:25:40 +00:00
galfour
e6ac10f0ce
switch from tz to mtz
2019-09-24 14:29:18 +02:00
galfour
f72593ae85
add set literals
2019-09-24 14:00:43 +02:00
galfour
b6ee28d704
add map literals in cameligo
2019-09-24 13:54:34 +02:00
galfour
ac449d2cb3
test List.iter and List.map in cameligo
2019-09-24 10:54:14 +02:00
galfour
9c3c40c9ef
add set fold
2019-09-24 00:26:39 +02:00
galfour
c4752c5935
add map fold
2019-09-23 23:46:47 +02:00
galfour
b41b676eb8
add list fold
2019-09-23 23:33:25 +02:00
Tom Jack
c07f0633cd
Print errors to stderr, exit 1
2019-09-23 09:54:53 -07:00
Gabriel Alfour
f3c80908ee
Merge branch 'refactor/everything' into 'dev'
...
Refactor/everything
See merge request ligolang/ligo!76
2019-09-23 15:19:50 +00:00
galfour
fed4891840
Merge branch 'dev' into refactor/everything
2019-09-23 16:40:51 +02:00
galfour
7ebb0e56e8
Merge branch 'feature/LIGO-72' into refactor/everything
2019-09-23 12:18:53 +02:00
galfour
96fd0b4660
yay
2019-09-22 23:39:52 +02:00
galfour
37836f9512
adding option
2019-09-22 22:44:50 +02:00
galfour
720ef99c69
solve conflict
2019-09-22 22:17:28 +02:00
John David Pressman
ad81ab464b
Merge branch 'pascaligo-tests' into 'dev'
...
[LIGO-83] Add explanatory comments to some test contracts
See merge request ligolang/ligo!77
2019-09-22 15:56:23 +00:00
Matej Šima
a4c667c6cd
Merge branch 'refactor/add-cli-tests' into 'refactor/everything'
...
Refactor/add cli tests
See merge request ligolang/ligo!80
2019-09-22 13:06:52 +00:00
Matej Šima
5fcb426239
Refactor/add cli tests
2019-09-22 13:06:52 +00:00
John David Pressman
0cfb40f54d
Add purpose comments to some test contracts
...
Add comments explaining what a contract is/does/tests to the top of several PascaLIGO test contracts, as part of evaluating what parts of the syntax are and aren't currently tested.
2019-09-21 14:59:48 -07:00
Tom Jack
33dbd11482
Delete broken local-repo-job
2019-09-21 13:50:01 -07:00
Tom Jack
2909530b22
Ignore pp.ligos in root
2019-09-21 13:49:18 -07:00
Matej Sima
2773a2e4cd
Bring back local-repo-job for testing
2019-09-21 14:28:33 +02:00
galfour
9fb65e71e8
more lists
2019-09-21 11:30:41 +02:00
galfour
ad79188c4f
add list pattern matching
2019-09-21 09:12:00 +02:00
Lesenechal Remi
8978c5c4d7
Print expresion in error message to ease further debugging
2019-09-20 21:33:14 +02:00
Lesenechal Remi
ea6f51bd55
CLI checked, compile-storage and dry-run
...
Add a '--bigmap' option to the CLI. This way all the maps in the AST are transformed to bigmaps
2019-09-20 21:33:14 +02:00
Lesenechal Remi
b653996aae
Big_map support
...
Add big_map case in the uncompiler which takes the original big_map and apply the returned diff
Add input_to_value option which compiles input expressions to mini_c.values
2019-09-20 21:33:14 +02:00
