balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
4,674 Commits 2 Branches 0 Tags 65 MiB
04daf776d3
Commit Graph

219 Commits

Author SHA1 Message Date
Pierre-Emmanuel Wulfman
cf7bc9374d Merge branch 'feature/get_contract_opt' into 'dev' 
add get_contract_opt and get_entrypoint_opt to ligo

See merge request ligolang/ligo!362
 2020-02-04 13:36:22 +00:00
Pierre-Emmanuel Wulfman
7c4871babc add test 2020-02-04 13:38:17 +01:00
Sander Spies
3461af53dd ReasonLIGO: Make the semicolon optional in more cases. 2020-02-04 12:52:12 +01:00
Christian Rinderknecht
87aa50f097 Merge branch 'docs/bytes-reference' into 'dev' 
Add bytes reference page to docs

See merge request ligolang/ligo!371
 2020-02-02 19:29:18 +00:00
John David Pressman
c8e0654ffe Add crypto reference page to docs 
Change 'black2b' to 'blake2b' in CameLIGO/ReasonLIGO frontend
 2020-01-31 03:34:36 -08:00
John David Pressman
e127528e95 Add bytes reference page to docs 2020-01-30 12:13:24 -08:00
Sander
6551168a56 ReasonLIGO type declaration improvements for tuples and function arguments. 
CameLIGO tests for tuples and function arguments.
 2020-01-30 17:38:01 +00:00
Suzanne Dupéron
4977c18e05 Fixed semantic conflict (split bytes into several constructor functions) 2020-01-23 11:43:43 +01:00
John David Pressman
f166748757 Merge branch 'gardening/e-bytes-split' into 'dev' 
[LIGO-374] Split e_bytes into e_bytes_hex, e_bytes_raw and e_bytes_string

See merge request ligolang/ligo!336
 2020-01-23 08:35:30 +00:00
Christian Rinderknecht
7437d6ae1a Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev 2020-01-22 11:43:35 +01:00
John David Pressman
b50479b96b Merge branch 'docs/michelson-specific' into 'dev' 
[LIGO-358] Add Tezos-specific LIGO features docs

See merge request ligolang/ligo!335
 2020-01-22 09:58:46 +00:00
Sander Spies
f104b5e512 Handle parentheses when destructuring. 2020-01-21 21:23:31 +01:00
Christian Rinderknecht
786b183d40 [WIP] 
* Reverted [pos.mli] to the previous signature, except [Pos.min]
  that now takes a labelled parameter [file].
* Reverted [ParserAPI.ml] to the previous signature.
* Reexported [shor_error] in [ParserUnit].
* Changed the modules [LexToken] so that they export one function
  to make attributes, the first, additional paramater being "[@"
  or "[@@" (and invalid in PascaLIGO).
* Added support in all [ParserLog] for attributes (pretty-printings).
* Added AST nodes [Attr] and [AttrDecl] to PascaLIGO. The simplifier
  takes care of hooking them with their respective declarations
  or discarding them. (In the future, we should issue a warning for detached
  attributes.)
 2020-01-21 18:35:36 +01:00
Sander Spies
fbb622cc03 Add support for tuple destructuring in ReasonLIGO 2020-01-20 19:03:00 +01:00
John David Pressman
d6000be369 Add ReasonLIGO CHECK_SIGNATURE test to suite 2020-01-17 01:57:07 -08:00
John David Pressman
eea8e30e87 Add CameLIGO CHECK_SIGNATURE test to suite 2020-01-17 01:53:22 -08:00
John David Pressman
eb4336b0e7 Add PascaLIGO CHECK_SIGNATURE test to suite 2020-01-17 01:50:06 -08:00
John David Pressman
4835ac4d10 Split e_bytes into e_bytes_hex, e_bytes_raw and e_bytes_string 2020-01-16 22:46:28 -08:00
John David Pressman
411c17eb99 Add ReasonLIGO version of key_hash test 2020-01-16 21:45:40 -08:00
John David Pressman
4fcfa3df8f Add CameLIGO key_hash test 2020-01-16 21:37:29 -08:00
John David Pressman
4ee3a29a34 Enable CameLIGO bytes_unpack test and add one for ReasonLIGO 2020-01-16 20:59:26 -08:00
John David Pressman
ca1caf2e61 Add bytes_unpack test for CameLIGO 2020-01-16 20:27:50 -08:00
Sander
88159e15b2 Add inline attribute 2020-01-16 19:36:04 +00:00
Pierre-Emmanuel Wulfman
bbfcc9839b Updates for ReasonLIGO 2020-01-10 18:00:23 +01:00
Pierre-Emmanuel Wulfman
60edd0cf5b after review 1 2020-01-10 16:41:47 +01:00
Pierre-Emmanuel Wulfman
812834656a Updates for OcamLIGO and PascaLIGO 2020-01-10 13:52:05 +01:00
Christian Rinderknecht
d123abd46f Added new error for duplicated record fields. 
Removed interface for the AST (for maintenance sake).
 2020-01-09 14:26:47 +01:00
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
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
Sander
ce6ccab728 Add support for empty constructors. 2020-01-03 13:01:13 +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
Lesenechal Remi
2d7c3eb216 support bytes_unpack operator in pascaligo + tests 2020-01-02 16:19:21 +01:00
John David Pressman
dcfc8d6391 Horrible hack to rewrite CST for tuple param destruct, 
Fails because Let In doesn't support multi-bind
 2019-12-29 01:24:22 +00:00
John David Pressman
2d9de2aef0 Clean up let ... in multi-bind 2019-12-24 15:35:05 -08:00
John David Pressman
7454e8b01f Add let-in multi bind test 2019-12-24 13:48:14 -08:00
John David Pressman
1bf04574c1 Merge branch 'dev' into feature/set-delegate 2019-12-20 08:37:01 -08:00
John David Pressman
310dde6dc9 [LIGO-286] Tuple destructuring doesn't do left hand type inference in CameLIGO 2019-12-17 21:04:53 +00:00
John David Pressman
7067644b1d Merge branch 'dev' into feature/set-delegate 2019-12-17 12:17:02 -08:00
John David Pressman
a4b1c9951d Add ReasonLIGO and CameLIGO tests for SET_DELEGATE 2019-12-17 09:50:47 -08:00
John David Pressman
fdeb95288d Passing SET_DELEGATE test for PascaLIGO 2019-12-17 09:34:05 -08:00
Lesenechal Remi
ffb225e269 fix address arity and update test 2019-12-17 11:10:29 +01:00
John David Pressman
20285f2b9e Add broken set_delegate test to LIGO, get to typer error 2019-12-16 16:26:39 -08:00
Lesenechal Remi
9d83159e89 merge with dev 2019-12-10 16:01:26 +01:00
Lesenechal Remi
1c346ead28 remove useless code in test helper 2019-12-10 15:58:53 +01:00
Lesenechal Remi
16fc55482d Remove wrapper. Flatten everything for now. 
Now have a run function for contracts and a run function for everything else.
Run function for contract is only used in CLI dry-run
 2019-12-10 15:58:53 +01:00
Lesenechal Remi
bbf6b7b860 sséssaoupa? 2019-12-10 15:58:53 +01:00
Sander
95a7e19be6 Add ReasonLIGO support 2019-12-10 13:47:31 +00:00
John David Pressman
f043135df1 Add Michelson map membership to CameLIGO and PascaLIGO 2019-12-06 09:35:08 -08:00
John David Pressman
6a4d58d467 Overkill the tuple ordering bug 2019-12-03 11:10:53 -08:00
John David Pressman
085a756ed3 Fix bug where tuples are destructured with the members in the wrong order 2019-12-03 10:49:58 -08:00