balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
5,031 Commits 2 Branches 0 Tags 65 MiB
222bc3cb5c
Commit Graph

5031 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Tom Jack
8f6f4398dd Add working example of Crypto.check 2020-03-04 12:03:58 -06: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
Christian Rinderknecht
bd48a56a24 Forgot to add to the previous commit. 2020-03-04 15:36:33 +01:00
Pierre-Emmanuel Wulfman
38eaabb91f Merge branch 'fix-function-type-annotation-in-camel-simplifer' into 'dev' 
Repare function annotation in let binding for Camligo and ReasonLigo and fix some contracts

See merge request ligolang/ligo!458
 2020-03-04 14:33:57 +00:00
Christian Rinderknecht
d43209f1a1 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@contracts 2020-03-04 15:26:43 +01:00
Christian Rinderknecht
313bb0c2b3 Reverted two changes. 2020-03-04 15:23:51 +01:00
Sander Spies
da110f2199 Fix gitlab-ci. 2020-03-04 15:09:53 +01:00
Sander
72bc251868 Merge branch 'syntax-toggle' into 'dev' 
Docusaurus 2 + site wide syntax toggle

See merge request ligolang/ligo!468
 2020-03-04 13:19:00 +00:00
Sander
8f60accc24 - Improve darkmode support 
- Reenable code block tabs
- Reeneble code blocks highlighting
 2020-03-04 13:19:00 +00:00