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 |
|
Matej Šima
|
07bfa14ab0
|
Merge branch 'feature/launch-tutorial-and-blog-post' into 'master'
Feature/launch tutorial and blog post
See merge request ligolang/ligo!36
|
2019-06-13 01:36:35 +00:00 |
|
Matej Sima
|
2446d52f3e
|
Added algolia search
|
2019-06-13 03:00:27 +02:00 |
|
Matej Sima
|
df5e88608d
|
Add a taco-shop tutorial & launch blog post
|
2019-06-13 02:50:55 +02:00 |
|
Tom Jack
|
b1b0597510
|
Merge branch 'bugfix/auto-detect-syntax' into 'dev'
Fix auto-detection of syntax
See merge request ligolang/ligo!34
|
2019-06-13 00:34:06 +00:00 |
|