balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
4,506 Commits 2 Branches 0 Tags 65 MiB
72f7ac47f1
Commit Graph

4506 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
John David Pressman
71989876db Fix a bug, test added: 
A never accounted message was not adding anything to the map
 2020-01-08 20:58:26 +00:00
Christian Rinderknecht
1cc6ce548c Merge branch 'feature/update-union-find' into 'dev' 
Update union find

See merge request ligolang/ligo!307
 2020-01-08 19:01:49 +00:00
Suzanne Dupéron
13ff600509 union-find: rename partition to UnionFind for more consistency across the various names that opam and dune assign to this library 2020-01-08 18:12:00 +00:00
Suzanne Dupéron
dd9a4dfb47 update union-find library (part 2: adjust module names) 2020-01-08 18:12:00 +00:00
Suzanne Dupéron
5e444dd278 update union-find library (part 1: remove old copy, download https://github.com/rinderknecht/UnionFind.git 3fc434d0d75e40d40d17f5abb70d86a51f434771 in new folder) 2020-01-08 18:12:00 +00:00
Christian Rinderknecht
d49a72847a Merge branch 'rinderknecht-dev' into 'dev' 
Fixing and adding errors in the parser

See merge request ligolang/ligo!316
 2020-01-08 17:09:48 +00:00
Christian Rinderknecht
cfe5494608 Fixed the examples in Markdown after my last MR forbidding 
the shadowing of predefined values (like [balance] here).
 2020-01-08 17:16:09 +01:00
Christian Rinderknecht
8bdc103ec8 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev 2020-01-08 16:46:59 +01:00
Christian Rinderknecht
9e7c97637c Added support for language-specific parse errors for PascaLIGO: 
* Duplicate variants in the same type declaration
   * Duplicate parameter in the same function declaration
   * Shadowing of predefined value in a declaration

I fixed the architecture for that support: ParserMain.ml is now where
those specific errors are handled, and they are produced by the
semantic actions of the parsers.
 2020-01-08 16:39:52 +01:00
John David Pressman
e96bfc1c87 Merge branch 'docs/changelog' into 'dev' 
[LIGO-347] Add changelog

See merge request ligolang/ligo!300
 2020-01-08 10:54:21 +00:00
John David Pressman
16ac289381 [LIGO-347] Add changelog 2020-01-08 10:54:21 +00:00
Rémi Lesenechal
3fecff3a60 Merge branch 'rinderknecht@cover' into 'dev' 
cover.sh --messages ....

See merge request ligolang/ligo!312
 2020-01-07 23:16:00 +00:00
Christian Rinderknecht
6a1939553e Added --messages. 2020-01-07 22:26:47 +00:00
Sander
00233fd887 Merge branch 'initial-lexer-error-testing' into 'dev' 
Initial testing of the lexer errors.

See merge request ligolang/ligo!309
 2020-01-07 20:35:04 +00:00
Sander
8dd936ab90 Test lexer error messages. 2020-01-07 20:35:04 +00:00
Rémi Lesenechal
8fa21ffed4 Merge branch 'improve-simplifier-self-pass-errors' into 'dev' 
[LIGO-332] improve simplifier self pass errors

See merge request ligolang/ligo!302
 2020-01-07 19:27:12 +00:00
Lesenechal Remi
05afd6c8c7 improve simplifier self pass errors 2020-01-07 18:32:32 +00:00
Sander
7434db862f Merge branch 'fix-parser-errors' into 'dev' 
Show proper parser error messages in the terminal again.

See merge request ligolang/ligo!308
 2020-01-07 15:07:32 +00:00
Sander Spies
8f57f63be7 Show proper parser error messages in the terminal again. 2020-01-07 12:15:54 +00:00
Christian Rinderknecht
de0657e8f2 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev 2020-01-07 12:54:05 +01:00
John David Pressman
aeadaff42b Merge branch 'docs/map-docs-update' into 'dev' 
[LIGO-342] Add big maps to docs, change example used for ordinary maps

Closes #115

See merge request ligolang/ligo!297
 2020-01-07 07:32:44 +00:00
John David Pressman
3b806d0bb7 [LIGO-342] Add big maps to docs, change example used for ordinary maps 2020-01-07 07:32:44 +00:00
Tom Jack
6b54f43f86 Merge branch 'feature/deep-location' into 'dev' 
Show 'deepest' location for errors

See merge request ligolang/ligo!288
 2020-01-07 01:24:55 +00:00
Tom Jack
6716af9123 Eliminate some spurious synonyms of "location" 2020-01-07 00:34:41 +00:00
Tom Jack
e73c901135 Show 'deepest' location for errors 2020-01-07 00:34:41 +00:00
Rémi Lesenechal
dff0367a56 Merge branch '92-map_update-key_hash-is-not-comparable' into 'dev' 
Resolve "map_update: key_hash is not comparable"

Closes #92

See merge request ligolang/ligo!310
 2020-01-06 22:44:24 +00:00
Lesenechal Remi
d885eb8d4a check key_hash format 2020-01-06 22:52:30 +01:00
Lesenechal Remi
2667ed62b3 fix indent (unrelated) 2020-01-06 22:29:07 +01:00
Lesenechal Remi
55a8734c81 key_hash now comparable 2020-01-06 21:31:54 +01:00
Lesenechal Remi
6841609362 allow key_hash literals 2020-01-06 21:31:45 +01:00
Rémi Lesenechal
012ee0740b Merge branch 'fix-entry-point-aggregation' into 'dev' 
Fix entry point aggregation

See merge request ligolang/ligo!305
 2020-01-06 19:32:50 +00:00
Lesenechal Remi
a0a8f114c0 replaces remove_from by take which does not raise any exceptions 2020-01-06 19:24:41 +01:00
Lesenechal Remi
8ce4772ae4 add tests 2020-01-06 18:51:43 +01:00
Lesenechal Remi
7e05b7d276 now removes the entry-point declaration from the program before aggregation 2020-01-06 18:41:53 +01:00
Sander
316ea3bd9a Merge branch 'gardening_error_handling_parser' into 'dev' 
Show lexer error messages in CameLIGO + PascaLIGO.

See merge request ligolang/ligo!304
 2020-01-06 13:36:07 +00:00
Sander Spies
301defda3f Show lexer error messages in CameLIGO + PascaLIGO. 2020-01-06 13:46:11 +01:00
Christian Rinderknecht
e8a70411b8 Merge branch 'rinderknecht-dev' into 'dev' 
Sharing standalone lexers and parsers, and parser error API.

See merge request ligolang/ligo!301
 2020-01-06 10:55:56 +00:00
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
12619232df Forgot to add. 2020-01-04 23:32:50 +01:00
Christian Rinderknecht
51ccc28e3c Sharing standalone lexers and parsers, and parser error API. 2020-01-04 19:49: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