Pierre-Emmanuel Wulfman
|
9b192d8ba2
|
done
|
2020-03-25 16:23:56 +01:00 |
|
Christian Rinderknecht
|
ab79fe4eda
|
Added some interfaces and removed submodules [Error].
|
2020-03-24 21:05:39 +01:00 |
|
Christian Rinderknecht
|
9b6b13cda3
|
Fixed dune file.
|
2020-03-24 18:52:00 +01:00 |
|
Christian Rinderknecht
|
8ce6d00d06
|
Remove redundant \n in error messages.
|
2020-03-24 18:43:15 +01:00 |
|
Christian Rinderknecht
|
2a1167428f
|
Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@preproc
|
2020-03-24 17:48:24 +01:00 |
|
Christian Rinderknecht
|
9c9321029a
|
First working version.
|
2020-03-24 17:48:01 +01:00 |
|
Sander
|
2182054c1c
|
Merge branch 'rinderknecht@reasonligo_parsing' into 'dev'
Fixed the parsing of type t = list ((u,v));
See merge request ligolang/ligo!473
|
2020-03-24 14:17:04 +00:00 |
|
Sander Spies
|
75735cd6ed
|
Fix tutorial error.
|
2020-03-24 14:41:37 +01:00 |
|
Sander Spies
|
caac8caf8e
|
Add test for tuple list in ReasonLIGO
|
2020-03-24 14:16:08 +01:00 |
|
Sander Spies
|
af319ba236
|
Merge branch 'dev' of https://gitlab.com/ligolang/ligo into rinderknecht@reasonligo_parsing
# Conflicts:
# src/passes/1-parser/reasonligo/error.messages.checked-in
|
2020-03-24 14:10:30 +01:00 |
|
Sander Spies
|
715c3a8eac
|
Inform that it's not possible to nest a big map inside another big map
|
2020-03-24 14:01:04 +01:00 |
|
Sander Spies
|
d059cf991b
|
Give an error when nesting a big_map inside another big_map
|
2020-03-24 13:58:18 +01:00 |
|
Maksym Bykovskyy
|
cb592dfd9c
|
Updated logo and favicon
|
2020-03-23 16:39:11 -07:00 |
|
Eowyn Dean
|
5eada8c5e4
|
Merge branch 'dernhelm7-dev-patch-89863' into 'dev'
Added FAQ
See merge request ligolang/ligo!513
|
2020-03-23 20:50:43 +00:00 |
|
Eowyn Dean
|
f266b3f0ee
|
Added FAQ
|
2020-03-23 19:52:02 +00:00 |
|
Christian Rinderknecht
|
37faf9022e
|
[WIP] Does not compile yet.
|
2020-03-23 19:43:06 +01:00 |
|
Suzanne Dupéron
|
c491b826ff
|
Blank commit to trigger the CI due to some GitLab failure.
|
2020-03-23 16:34:21 +01:00 |
|
Sander Spies
|
7896de89f3
|
Make cheatsheet testable.
|
2020-03-19 21:27:58 +01:00 |
|
Pierre-Emmanuel Wulfman
|
926a83f7df
|
Merge branch 'ast/ast_imperative+sugar' into 'dev'
Adding two new stages 'Ast_imperative' and 'Ast_complex' to improve architecture
See merge request ligolang/ligo!501
|
2020-03-18 18:08:58 +00:00 |
|
Pierre-Emmanuel Wulfman
|
6cafb4026b
|
adding E_sequence in sugar
|
2020-03-18 18:13:02 +01:00 |
|
Sander Spies
|
ebbaccd064
|
wip
|
2020-03-18 16:53:59 +01:00 |
|
Pierre-Emmanuel Wulfman
|
cb1bc95d59
|
remove E_skip from core
|
2020-03-18 16:16:43 +01:00 |
|
Pierre-Emmanuel Wulfman
|
5a4c0b32fb
|
rewrite test suite to compare value from ast_imperative instead of ast_core; includes uncompiler fo stage 4 and 6
|
2020-03-18 16:00:34 +01:00 |
|
Pierre-Emmanuel Wulfman
|
6dd7afbeb1
|
change passes name concrete_to_imperative, imperative_to_sugar, sugar_to_core
|
2020-03-18 16:00:34 +01:00 |
|
Pierre-Emmanuel Wulfman
|
8b3877a92c
|
rename AST to imperative, sugar and core. Factor code in compile
|
2020-03-18 16:00:34 +01:00 |
|
Pierre-Emmanuel Wulfman
|
6dfd2dac32
|
test passed
|
2020-03-18 16:00:34 +01:00 |
|
Pierre-Emmanuel Wulfman
|
2abd737ed3
|
compiling
|
2020-03-18 16:00:34 +01:00 |
|
Gabriel Alfour
|
2c9100d6f7
|
Merge branch 'nested-functions' into 'dev'
Documentation on nested functions
See merge request ligolang/ligo!507
|
2020-03-18 10:49:32 +00:00 |
|
Sander Spies
|
626054ed66
|
Describe nested functions
|
2020-03-18 09:49:35 +01:00 |
|
Sander
|
78faa138da
|
Merge branch 'more-api-docs-syntax-headers' into 'dev'
Add remaining API docs
See merge request ligolang/ligo!503
|
2020-03-17 15:38:41 +00:00 |
|
Sander
|
78ae61c5e0
|
Add remaining API docs
|
2020-03-17 15:38:41 +00:00 |
|
Sander Spies
|
35ae307f6c
|
More language-basics changes.
|
2020-03-17 16:05:03 +01:00 |
|
Sander
|
24197f594e
|
Merge branch 'syntax-test' into 'dev'
Syntax test
See merge request ligolang/ligo!504
|
2020-03-16 22:34:50 +00:00 |
|
Sander Spies
|
16a2355294
|
Remove empty lines.
|
2020-03-16 22:30:28 +01:00 |
|
Rémi Lesenechal
|
222bc3cb5c
|
Merge branch 'feature/flag-for-michelson-typecheking' into 'dev'
add a flag to disable michelson typechecking in compile-contract
See merge request ligolang/ligo!500
|
2020-03-16 12:41:29 +00:00 |
|
Lesenechal Remi
|
97a85766d3
|
add a flag to disable michelson typechecking in compile-contract
|
2020-03-16 12:19:23 +01:00 |
|
Sander
|
cf983d45ed
|
Merge branch 'fix-ci-pages' into 'dev'
Add NotFound component to fix build. Yay, docusaurus...
See merge request ligolang/ligo!502
|
2020-03-13 15:30:34 +00:00 |
|
Sander Spies
|
78ae534913
|
Add NotFound component to fix build. Yay, docusaurus...
|
2020-03-13 15:28:24 +01:00 |
|
Jev Björsell
|
6203427d3f
|
Merge branch 'tezos-client-command' into 'dev'
Tezos client command
See merge request ligolang/ligo!497
|
2020-03-12 20:26:13 +00:00 |
|
Maksym Bykovskyy
|
1aecc4eb04
|
Tezos client command
|
2020-03-12 20:26:13 +00:00 |
|
Pierre-Emmanuel Wulfman
|
eecdbcddf7
|
Merge branch 'ast/tail_recursion' into 'dev'
Adding tail recursion in Ligo
See merge request ligolang/ligo!491
|
2020-03-12 18:47:46 +00:00 |
|
Pierre-Emmanuel Wulfman
|
8a0e1dfea4
|
dune promote
|
2020-03-12 18:50:42 +01:00 |
|
Lesenechal Remi
|
3a80fadcc8
|
rewrite interpreter recursion within the initial formalism.
|
2020-03-12 18:16:56 +01:00 |
|
Pierre-Emmanuel Wulfman
|
660dcbb79f
|
review 3
|
2020-03-12 16:05:17 +01:00 |
|
Pierre-Emmanuel Wulfman
|
c17a749078
|
review 2
|
2020-03-12 16:05:17 +01:00 |
|
Pierre-Emmanuel Wulfman
|
dbb6fbd8e6
|
review 1
|
2020-03-12 16:05:17 +01:00 |
|
Pierre-Emmanuel Wulfman
|
abbc20459c
|
add doc and test
|
2020-03-12 16:05:17 +01:00 |
|
Pierre-Emmanuel Wulfman
|
a5f44d3e88
|
clean-up junk
|
2020-03-12 16:05:17 +01:00 |
|
Sander Spies
|
51251f9464
|
Remove debug text
|
2020-03-12 16:05:17 +01:00 |
|
Sander Spies
|
8a183ff1d2
|
Fixing error.messages.
|
2020-03-12 16:05:17 +01:00 |
|