balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
4,988 Commits 2 Branches 0 Tags 65 MiB
66aca916bf
Commit Graph

4988 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Lesenechal Remi
66aca916bf mapping over type_operator types is useless 2020-03-09 18:29:07 +01:00
Lesenechal Remi
503d8f771e add tests for sum type names limit length 2020-03-09 18:29:07 +01:00
Lesenechal Remi
5a15feadc1 now map over type declarations 2020-03-09 18:29:07 +01:00
Lesenechal Remi
bc7a4daa64 add 'mapi' equivalent for label and constructor maps 2020-03-09 18:29:05 +01:00
Rémi Lesenechal
a734995bdc Merge branch 'feature/self' into 'dev' 
[LIGO-502] add self & make sure it it typechecked against the main function

See merge request ligolang/ligo!453
 2020-03-09 11:41:37 +00:00
Lesenechal Remi
25f004844a self: now reject capitalized entrypoint annotation 2020-03-09 11:23:08 +01:00
Lesenechal Remi
7717ac926e changelog 2020-03-09 11:23:08 +01:00
Lesenechal Remi
68f562ffc6 add some doc about self in the reference page 2020-03-09 11:23:08 +01:00
Lesenechal Remi
b7c08b78d5 self operator now takes an entrypoint annotation as parameter 2020-03-09 11:23:08 +01:00
Lesenechal Remi
e2776e9849 New checks in the self_ast_typed pass: 
* Ast_typed stage is now aware of the main function name
* main function type is checked against expected contract types
* Tezos.self (returning contract type) is checked against main function type
* In general, Ast_typed.compile signature has been changed to enable/disable contract-related checks
 2020-03-09 11:23:08 +01:00
Lesenechal Remi
f0ad2fed04 new pass : self_ast_typed 2020-03-09 11:23:08 +01:00
Lesenechal Remi
550e6b084b new constant : add self (michelson SELF) 2020-03-09 11:23:08 +01:00
Pierre-Emmanuel Wulfman
6a09ac866c Merge branch 'fix-reasonligo-functiontype-parsing' into 'dev' 
fix annotation for funciton in ReasonLigo

Closes #164

See merge request ligolang/ligo!489
 2020-03-08 20:18:10 +00:00
Jev Björsell
b7636e816f Merge branch 'upgrade-taquito' into 'dev' 
Upgraded taquito and using carthage network

See merge request ligolang/ligo!488
 2020-03-08 04:08:49 +00:00
Jev Björsell
27fc3ffb0d Merge branch 'rename-entrypoint-fieldname' into 'dev' 
Renamed entrypoint fieldname

See merge request ligolang/ligo!487
 2020-03-08 04:07:46 +00:00
Maksym Bykovskyy
f2e91cbfbe Updated package lock file 2020-03-07 18:36:16 -08:00
Pierre-Emmanuel Wulfman
49625001b1 Fix simplifyer and test 2020-03-07 02:39:39 +01:00
Pierre-Emmanuel Wulfman
558f3f5e80 fix annotation for funciton in ReasonLigo 2020-03-07 02:00:29 +01:00
Maksym Bykovskyy
c555df3ff7 Renamed entrypoint fieldname 2020-03-06 14:05:56 -08:00
Maksym Bykovskyy
3317e8462e Upgraded taquito and using carthage network 2020-03-06 13:58:50 -08:00
Jev Björsell
efc06be1f6 Merge branch 'show-storage-after-deploy' into 'dev' 
Show storage after deploy

See merge request ligolang/ligo!486
 2020-03-06 20:59:56 +00:00
Maksym Bykovskyy
e61662af5f Show storage after deploy 2020-03-06 20:59:56 +00:00
Jev Björsell
8d53bc762c Merge branch 'improve-readme' into 'dev' 
Revised README

See merge request ligolang/ligo!469
 2020-03-06 17:35:14 +00:00
Maksym Bykovskyy
314b2358db Revised README 2020-03-06 17:35:14 +00:00
John David Pressman
7bfcadc18f Merge branch 'docs/ligo-intro-page' into 'dev' 
[LIGO-504] Change LIGO documentation introduction to be about LIGO

Closes LIGO-504

See merge request ligolang/ligo!456
 2020-03-06 08:34:42 +00:00
Sander Spies
c95f4ee02c Merge 2020-03-06 08:38:07 +01:00
John David Pressman
15b3dc02db Improve LIGO intro page based on Sander's suggestions 2020-03-05 20:22:43 -08:00
John David Pressman
2b55f3ade5 Merge branch 'contract/pledge-distribute' into 'dev' 
Add pledge-distribute contract

See merge request ligolang/ligo!481
 2020-03-05 23:34:06 +00:00
John David Pressman
0f8c7876cd Merge branch 'dev' into contract/pledge-distribute 2020-03-05 14:22:41 -08:00
Gabriel Alfour
c0b14fa38f Merge branch 'feature/balance-as-CLI-option' into 'dev' 
--balance option and updated tests

See merge request ligolang/ligo!485
 2020-03-05 20:52:20 +00:00
Lesenechal Remi
9de04123d3 --balance option and updated tests 2020-03-05 20:52:47 +01:00
Gabriel Alfour
cd4c8c9d29 Merge branch 'typechecking-gas' into 'dev' 
More more typechecking gas

See merge request ligolang/ligo!484
 2020-03-05 17:43:24 +00:00
Tom Jack
d10b95357f Detect gas exhaustion while typechecking 2020-03-05 10:43:40 -06:00
Tom Jack
fe84d21208 Hack: don't log types in Michelson typecheck_code 2020-03-05 10:43:40 -06:00
Tom Jack
1e77bd82c8 Revert "Use unlimited gas for typechecking contract" 
This reverts commit 97aad1c5ea65375d464a278495cb3dc696c28c70.
 2020-03-05 10:43:40 -06:00
Rémi Lesenechal
cc83aa1367 Merge branch 'typechecking-gas' into 'dev' 
More gas for typechecking etc

Closes #162

See merge request ligolang/ligo!479
 2020-03-05 15:38:09 +00:00
Tom Jack
acf3f9284e More gas for typechecking etc 2020-03-05 15:38:08 +00:00
Sander
1802ba757b Merge branch 'fix-mobile-homepage' into 'dev' 
Fix mobile homepage

See merge request ligolang/ligo!482
 2020-03-05 09:33:48 +00:00
Sander Spies
2a38375f6c Fix mobile homepage 2020-03-05 09:35:32 +01:00
John David Pressman
168a4d5b84 Add pledge-distribute contract 2020-03-05 00:24:55 -08:00
Sander
909770fd10 Merge branch 'persistent-syntax-selection' into 'dev' 
Persistent syntax selection

See merge request ligolang/ligo!478
 2020-03-04 21:40:20 +00:00
Sander Spies
7b5dd8de3b Persistent syntax selection. 2020-03-04 21:39:57 +01:00
Sander
c8bafdea4a Merge branch 'ci-issue' into 'dev' 
Move to yarn

See merge request ligolang/ligo!476
 2020-03-04 19:36:22 +00:00
Pierre-Emmanuel Wulfman
adc31a6e01 Merge branch 'rinderknecht@contracts' into 'dev' 
Refactoring of the test contracts

See merge request ligolang/ligo!465
 2020-03-04 19:26:50 +00:00
Sander Spies
e66ddd78ba Move to yarn 2020-03-04 19:39:06 +01:00
Tom Jack
0871fe9c59 Merge branch 'feature/remove-assignment-mini_c' into 'dev' 
Remove (unused) assignment from mini_c

See merge request ligolang/ligo!454
 2020-03-04 18:38:18 +00:00
Sander
b8ecb79ba6 Merge branch 'docker-image-issue' into 'dev' 
Probable cause of new website CI issue

See merge request ligolang/ligo!474
 2020-03-04 17:13:54 +00:00
Sander Spies
9f675da02f Probable cause of new website CI issue 2020-03-04 17:10:59 +01:00
Sander
7f0dd0c090 Merge branch 'deployment-fix' into 'dev' 
Fix gitlab-ci issue with the updated website

See merge request ligolang/ligo!471
 2020-03-04 15:06:26 +00:00
Christian Rinderknecht
8b2a182c6a Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@contracts 2020-03-04 15:59:47 +01:00