Christian Rinderknecht
|
ddd438aaa8
|
Forgot to add.
|
2020-01-06 10:03:41 +00:00 |
|
Christian Rinderknecht
|
a6e4837aa0
|
Sharing standalone lexers and parsers, and parser error API.
|
2020-01-06 10:03:41 +00:00 |
|
Rémi Lesenechal
|
387a248100
|
Merge branch 'doc-typo' into 'dev'
fix definition of predecessor_timestamp
See merge request ligolang/ligo!299
|
2020-01-05 14:23:50 +00:00 |
|
Lesenechal Remi
|
f133729318
|
fix dune file warnings
|
2020-01-05 14:32:15 +01:00 |
|
Lesenechal Remi
|
b1dd35b56d
|
fix definition of predecessor_timestamp
|
2020-01-05 14:29:22 +01:00 |
|
Christian Rinderknecht
|
357d83283f
|
Merge branch 'rinderknecht-dev' into 'dev'
Adding to the infrastructure for using the incremental API of Menhir
See merge request ligolang/ligo!277
|
2020-01-04 17:35:53 +00:00 |
|
Christian Rinderknecht
|
e23350071f
|
Merge remote-tracking branch 'origin/dev' into rinderknecht-dev
|
2020-01-04 17:47:20 +01:00 |
|
Sander
|
0cc5240c21
|
Show lexer error messages in ReasonLIGO
|
2020-01-04 08:24:16 +00:00 |
|
John David Pressman
|
10b26f610f
|
Show lexer error messages in ReasonLIGO
|
2020-01-04 08:24:16 +00:00 |
|
John David Pressman
|
d3fa06d62a
|
Merge branch '129-allow-passing-timestamp-literals' into 'dev'
Resolve "Allow passing timestamp literals"
Closes #129
See merge request ligolang/ligo!298
|
2020-01-03 21:46:46 +00:00 |
|
John David Pressman
|
e89aace91c
|
Clean up description of --predecessor-timestamp flag in logs
|
2020-01-03 12:49:42 -08:00 |
|
Lesenechal Remi
|
0ce29e22b9
|
add some timestamp doc
|
2020-01-03 21:39:25 +01:00 |
|
Lesenechal Remi
|
0a676d72a5
|
add --predecessor-timestamp to compile-storage/parameter
|
2020-01-03 18:11:44 +01:00 |
|
Lesenechal Remi
|
1a2a29bc03
|
negative timestamp literal test
|
2020-01-03 18:11:37 +01:00 |
|
Lesenechal Remi
|
c805a27b99
|
adding timestamp literals as string or int
|
2020-01-03 18:11:27 +01:00 |
|
Rémi Lesenechal
|
90955c35b2
|
Merge branch '123-unbound-variable-errors-are-hard-to-decipher' into 'dev'
Resolve "Unbound variable errors are hard to decipher"
Closes #123
See merge request ligolang/ligo!296
|
2020-01-03 16:14:19 +00:00 |
|
Christian Rinderknecht
|
1806d6d74c
|
Merge remote-tracking branch 'origin/dev' into rinderknecht-dev
|
2020-01-03 16:58:37 +01:00 |
|
Lesenechal Remi
|
a3a09dc0e5
|
functionize the name in the error
|
2020-01-03 16:23:18 +01:00 |
|
Lesenechal Remi
|
4d56a71bd1
|
propagate location for cameligo variables
|
2020-01-03 16:23:18 +01:00 |
|
Lesenechal Remi
|
3288696784
|
add the name of the variable in the unbound variable error message title
|
2020-01-03 16:23:18 +01:00 |
|
Rémi Lesenechal
|
3b73a7a5c8
|
Merge branch '104-seemingly-simple-contract-does-not-typecheck-error-is-uninformative' into 'dev'
Resolve "Seemingly simple contract does not typecheck, error is uninformative"
Closes #104
See merge request ligolang/ligo!290
|
2020-01-03 15:17:23 +00:00 |
|
Lesenechal Remi
|
72f4ed35f1
|
print ill-typed michelson code
|
2020-01-03 15:25:37 +01:00 |
|
John David Pressman
|
5108b820cf
|
Fix minor typos in wrong michelson contract parameter/storage msgs
|
2020-01-03 15:25:37 +01:00 |
|
Lesenechal Remi
|
e834e2ac20
|
More informative errors when calling michelson typecheck function
|
2020-01-03 15:25:37 +01:00 |
|
Sander
|
5f1182468c
|
Add support for empty constructors.
|
2020-01-03 13:01:13 +00:00 |
|
Sander
|
ce6ccab728
|
Add support for empty constructors.
|
2020-01-03 13:01:13 +00:00 |
|
John David Pressman
|
d11949b172
|
Merge branch 'docs/loop-doc' into 'dev'
Add docs page for loops
Closes #107
See merge request ligolang/ligo!291
|
2020-01-02 21:19:04 +00:00 |
|
John David Pressman
|
fcd33026bb
|
Fix loops page with ReasonLIGO
|
2020-01-02 12:26:02 -08:00 |
|
John David Pressman
|
2f25c4b683
|
Merge branch 'docs/loop-doc' of ssh://gitlab.com/ligolang/ligo into docs/loop-doc
|
2020-01-02 12:23:26 -08:00 |
|
Lesenechal Remi
|
e25c5bac35
|
adding loops.md to the list of tested file and fixed "loops.md"
|
2020-01-02 20:38:45 +01:00 |
|
John David Pressman
|
6b469ac869
|
Add docs page for loops
|
2020-01-02 20:35:04 +01:00 |
|
Christian Rinderknecht
|
2b25fbe4b9
|
Merge branch 'docs/include-doc' into 'dev'
[LIGO-330] Add inclusion directive docs and inclusion tests for CameLIGO and ReasonLIGO
Closes #116
See merge request ligolang/ligo!293
|
2020-01-02 17:00:07 +00:00 |
|
John David Pressman
|
7c4f59035f
|
Add inclusion directive docs and inclusion tests for CameLIGO and ReasonLIGO
|
2020-01-02 16:11:03 +00:00 |
|
Rémi Lesenechal
|
280c6fc3c4
|
Merge branch '127-unsupported-bytes_unpack-in-pascaligo' into 'dev'
Resolve "unsupported `bytes_unpack` in pascaligo"
Closes #127
See merge request ligolang/ligo!295
|
2020-01-02 16:10:51 +00:00 |
|
Lesenechal Remi
|
2d7c3eb216
|
support bytes_unpack operator in pascaligo + tests
|
2020-01-02 16:19:21 +01:00 |
|
Rémi Lesenechal
|
78276f451e
|
Merge branch '125-invalid-address-literals-are-rejected-with-a-catch-all-contract-did-not-typecheck' into 'dev'
Resolve "Invalid address literals are rejected with a catch-all "contract did not typecheck""
Closes #125
See merge request ligolang/ligo!294
|
2020-01-02 15:12:11 +00:00 |
|
Christian Rinderknecht
|
c18e6e9748
|
Handling of EOF in ParserAPI messages.
|
2020-01-02 15:44:21 +01:00 |
|
Lesenechal Remi
|
46027de719
|
Proper error with location
|
2020-01-02 15:21:56 +01:00 |
|
Lesenechal Remi
|
8584bacf83
|
test & dune promote
|
2020-01-02 15:21:56 +01:00 |
|
Lesenechal Remi
|
42cbabac69
|
check ast_simplified address literals to be well formatted
|
2020-01-02 15:20:48 +01:00 |
|
Rémi Lesenechal
|
c0e959044b
|
Merge branch '113-status-error-does-not-preserve-the-failwith-string' into 'dev'
Resolve "status="error" does not preserve the failwith string"
Closes #113
See merge request ligolang/ligo!289
|
2020-01-02 14:20:20 +00:00 |
|
Christian Rinderknecht
|
345ffe22e4
|
Improved formatting of error messages (EOF is handled now).
|
2020-01-02 15:08:14 +01:00 |
|
Lesenechal Remi
|
98ac18ccef
|
propagate failwith strings (also support for others) in the error
|
2020-01-02 12:50:45 +01:00 |
|
Christian Rinderknecht
|
a09e87369a
|
Merge remote-tracking branch 'origin' into rinderknecht-dev
|
2020-01-02 11:15:28 +01:00 |
|
Rémi Lesenechal
|
f946a14ca0
|
Merge branch 'feature/coverage-tool' into 'dev'
Use bisect for code coverage
See merge request ligolang/ligo!245
|
2020-01-02 01:07:39 +00:00 |
|
John David Pressman
|
0e7b79026d
|
Add docs page for loops
|
2020-01-01 12:30:55 -08:00 |
|
Lesenechal Remi
|
f16f16e4b3
|
coverage resutlts as a CI artifact
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
d0ea94b472
|
'dune runtest' also execute 'md files tests'
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
c171ce7ad9
|
fully tested md_files
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
eac5e9b82e
|
fix "timestamps-addresses.md"
|
2019-12-31 14:23:51 +01:00 |
|