balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
3,501 Commits 2 Branches 0 Tags 65 MiB
6a0948a6ac
Commit Graph

3501 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Christian Rinderknecht
6a0948a6ac Fixed regression. Enabled type annotations for all expressions 
(between parentheses).

The error was to use COMMA to separate instructions in a block, instead of SEMI (semicolons), as before. This is corrected here.
 2019-07-30 11:27:32 +02:00
Christian Rinderknecht
9e6bff4741 Renamings. Additions. 2019-07-29 12:33:02 +02:00
Christian Rinderknecht
25437f5ed5 Fixed some rules. 2019-07-29 12:31:10 +02:00
Christian Rinderknecht
100bf1119a First rewrites of the PascaLIGO grammar to make it suitbale for stream 
parsing.
 2019-07-26 17:47:16 +02:00
Christian Rinderknecht
9b34b13e15 Replacing map_injection by injection(Map,binding). 2019-07-26 16:23:12 +02:00
Christian Rinderknecht
295f94a09a Further streamlining PascaLIGO and Ligodity parsers. 2019-07-25 16:11:33 +02:00
Christian Rinderknecht
2a44e0f084 Merge branch 'dev' into 'rinderknecht-dev' 
# Conflicts:
#   src/contracts/website2.ligo
#   src/simplify/pascaligo.ml
 2019-07-25 10:33:07 +00:00
Christian Rinderknecht
fe2c56aedb Miscellanea. 2019-07-24 15:43:51 +02:00
Christian Rinderknecht
dc4f14d469 Parsing the command line by calling [EvalOpt.read], not a side-effect. 2019-07-24 15:41:52 +02:00
Christian Rinderknecht
d2f4d00011 Refactored module EvalOpt by removing useless command line options. 2019-07-24 14:34:26 +02:00
Georges Dupéron
8675c85b9c Merge branch 'FIX-typo-in-error-message-in-ast_simplified/combinator.ml' into 'dev' 
FIX - typo in error message in ast_simplified/combinator.ml

See merge request ligolang/ligo!55
 2019-07-24 09:35:22 +00:00
Pierre-Emmanuel Wulfman
7414893cd5 FIX - typo in error message in ast_simplified/combinator.ml 2019-07-24 09:35:22 +00:00
Gabriel Alfour
8a4d49fd21 Merge branch 'feature/better-error-messages' into 'dev' 
Feature/better error messages

See merge request ligolang/ligo!54
 2019-07-21 18:47:33 +00:00
galfour
88261fd5e2 Merge branch 'dev' into feature/better-error-messages 2019-07-21 11:58:09 +02:00
Gabriel Alfour
18f5601035 Merge branch 'feature/new-operators' into 'dev' 
Feature/new operators

See merge request ligolang/ligo!53
 2019-07-21 09:53:34 +00:00
galfour
d7a16c47c1 add iterators for maps 2019-07-20 16:42:34 +02:00
galfour
564a4df145 add map to lists ; fix error with lists 2019-07-20 16:18:50 +02:00
galfour
9dd8e63cbf add iter for set and lists 2019-07-20 13:46:42 +02:00
galfour
33101820ec add set tests 2019-07-19 14:35:47 +02:00
galfour
5c3d801c78 add bitwise arithmetic and string arithmetic tests 2019-07-19 12:42:01 +02:00
galfour
7b9d861a34 type new operators 2019-07-19 12:13:09 +02:00
galfour
4b6a58907d get rid of useless units ; make compiler.ml less brittle 2019-07-18 15:19:25 +02:00
galfour
25566bc3fe selection of environment can be done both ways 2019-07-18 13:04:13 +02:00
Christian Rinderknecht
685c25de9a First import of my first designs for a front-end generator for Ligodity. 2019-07-14 16:41:52 +02:00
galfour
68014c6e95 add blog post about update 2019-07-11 15:20:58 +02:00
Galfour
6e3209fa4f add manual tests; change display of errors; minor refactorings 2019-06-28 12:05:04 +00:00
Christian Rinderknecht
6d3679290d Fixed typo in comment. 2019-06-27 10:32:07 +02:00
Matej Šima
86396933a2 Merge branch 'feature/pascaligo-pattern-parens' into 'dev' 
Add parentheses in Pascaligo constructor patterns

See merge request ligolang/ligo!48
 2019-06-24 17:26:56 +00:00
Tom Jack
7492657790 Update Pascaligo parentheses in docs 2019-06-24 08:42:06 -07:00
Christian Rinderknecht
2f6e17c837 I fixed the heterogeneity in parentheses around constructors in 
patterns.
 2019-06-24 08:42:06 -07:00
Georges Dupéron
4492117589 Merge branch 'bugfix/odoc-url' into 'dev' 
Fixed link to /odoc

See merge request ligolang/ligo!47
 2019-06-22 16:21:49 +00:00
Georges Dupéron
cba9c00ee5 Fixed link to /odoc 2019-06-22 17:41:45 +02:00
Matej Sima
5f49d20fbb FIx missing images from payouts tutorial 2019-06-21 17:20:49 +02:00
Matej Šima
01fe9669e4 Merge branch 'feature/tutorial-taco-shop-payouts' into 'dev' 
Add a tutorial for taco shop payouts

See merge request ligolang/ligo!44
 2019-06-21 13:19:46 +00:00
Matej Šima
a5f9a6d27c Merge branch 'feature/hide-installation-from-master-for-now' into 'dev' 
Hide installation from master in the docs until we have a stable release

See merge request ligolang/ligo!42
 2019-06-21 12:47:14 +00:00
Matej Šima
34c84f5bed Merge branch 'feature/website-fixes' into 'dev' 
Small fixes to the doc and to the odoc build script

See merge request ligolang/ligo!43
 2019-06-21 12:46:54 +00:00
Matej Sima
b5087298f7 Add a tutorial for taco shop payouts 2019-06-21 14:45:52 +02:00
Georges Dupéron
8b639e5231 Small fixes to the doc and to the odoc build script 2019-06-20 21:11:37 +02:00
Georges Dupéron
d59618d860 Hide installation from master for now. 2019-06-14 14:53:11 +02:00
Georges Dupéron
ec4db9b01e Merge branch 'bugfix/bad-syntax-shell-script' into 'dev' 
typo: used both [ ] and test in shell script

See merge request ligolang/ligo!41
 2019-06-13 23:20:53 +00:00
Georges Dupéron
123b255809 typo: used both [ ] and test in shell script 2019-06-14 00:44:55 +02:00
Christian Rinderknecht
77a55172ef I fixed the heterogeneity in parentheses around constructors in 
patterns.
 2019-06-13 16:57:40 +02:00
Georges Dupéron
a142565e7f Merge branch 'hotfix/draft-leftover' into 'dev' 
Cleared draft leftover

See merge request ligolang/ligo!39
 2019-06-13 14:05:46 +00:00
Georges Dupéron
d5caa495cd Cleared draft leftover 2019-06-13 16:04:00 +02:00
Georges Dupéron
779a82699e Merge branch 'feature/#3-add-odoc-to-website' into 'dev' 
Feature/#3 add odoc to website

See merge request ligolang/ligo!23
 2019-06-13 11:06:47 +00:00
Matej Šima
f7d013bbab Merge branch 'feature/launch-tutorial-and-blog-post' into 'dev' 
Feature/launch tutorial and blog post

See merge request ligolang/ligo!38
 2019-06-13 10:34:48 +00:00
Georges Dupéron
148daa32a2 Merge remote-tracking branch 'origin/dev' into HEAD 2019-06-13 12:03:46 +02:00
Georges Dupéron
134f308889 odoc link in footer, not sidebar, for now 2019-06-13 12:01:36 +02:00
Matej Sima
1d0f1dd9e9 Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/launch-tutorial-and-blog-post 2019-06-13 11:59:38 +02:00
Matej Sima
5051482cea Fix typos, fix links 2019-06-13 11:59:02 +02:00