balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • 5a15feadc1 now map over type declarations Lesenechal Remi 2020-02-21 17:07:48 +0100
  • bc7a4daa64 add 'mapi' equivalent for label and constructor maps Lesenechal Remi 2020-02-21 17:05:52 +0100
  • 5dc6980d46 Merge branch 'dev' of https://gitlab.com/ligolang/ligo into api-docs/big_map Sander Spies 2020-03-09 18:25:49 +0100
  • e436a0a08a removes loops Pierre-Emmanuel Wulfman 2020-02-18 16:55:20 +0100
  • 19848c2f67 Big_map: first example of syntax specific titles. Sander Spies 2020-03-09 18:20:21 +0100
  • 6da6fc2e59 Add SyntaxTitle component. Sander Spies 2020-03-09 18:19:46 +0100
  • 3f1ee22bbc Refactor Switch component to be a plugin. Sander Spies 2020-03-09 18:19:31 +0100
  • a734995bdc Merge branch 'feature/self' into 'dev' Rémi Lesenechal 2020-03-09 11:41:37 +0000
  • 25f004844a self: now reject capitalized entrypoint annotation Lesenechal Remi 2020-03-09 11:22:56 +0100
  • 7717ac926e changelog Lesenechal Remi 2020-03-06 18:51:56 +0100
  • 68f562ffc6 add some doc about self in the reference page Lesenechal Remi 2020-03-06 18:42:57 +0100
  • b7c08b78d5 self operator now takes an entrypoint annotation as parameter Lesenechal Remi 2020-03-06 18:25:28 +0100
  • e2776e9849 New checks in the self_ast_typed pass: Lesenechal Remi 2020-03-04 15:38:10 +0100
  • f0ad2fed04 new pass : self_ast_typed Lesenechal Remi 2020-03-02 19:26:23 +0100
  • 550e6b084b new constant : add self (michelson SELF) Lesenechal Remi 2020-02-25 15:23:28 +0100
  • 6a09ac866c Merge branch 'fix-reasonligo-functiontype-parsing' into 'dev' Pierre-Emmanuel Wulfman 2020-03-08 20:18:10 +0000
  • b7636e816f Merge branch 'upgrade-taquito' into 'dev' Jev Björsell 2020-03-08 04:08:49 +0000
  • 27fc3ffb0d Merge branch 'rename-entrypoint-fieldname' into 'dev' Jev Björsell 2020-03-08 04:07:46 +0000
  • f2e91cbfbe Updated package lock file Maksym Bykovskyy 2020-03-07 18:36:16 -0800
  • 49625001b1 Fix simplifyer and test Pierre-Emmanuel Wulfman 2020-03-07 02:39:39 +0100
  • 558f3f5e80 fix annotation for funciton in ReasonLigo Pierre-Emmanuel Wulfman 2020-03-07 02:00:29 +0100
  • c555df3ff7 Renamed entrypoint fieldname Maksym Bykovskyy 2020-03-06 13:32:50 -0800
  • 3317e8462e Upgraded taquito and using carthage network Maksym Bykovskyy 2020-03-06 13:58:50 -0800
  • efc06be1f6 Merge branch 'show-storage-after-deploy' into 'dev' Jev Björsell 2020-03-06 20:59:56 +0000
  • e61662af5f Show storage after deploy Maksym Bykovskyy 2020-03-06 20:59:56 +0000
  • 8d53bc762c Merge branch 'improve-readme' into 'dev' Jev Björsell 2020-03-06 17:35:14 +0000
  • 314b2358db Revised README Maksym Bykovskyy 2020-03-06 17:35:14 +0000
  • 7bfcadc18f Merge branch 'docs/ligo-intro-page' into 'dev' John David Pressman 2020-03-06 08:34:42 +0000
  • c95f4ee02c Merge Sander Spies 2020-03-06 08:30:55 +0100
  • 15b3dc02db Improve LIGO intro page based on Sander's suggestions John David Pressman 2020-03-05 20:22:43 -0800
  • 2b55f3ade5 Merge branch 'contract/pledge-distribute' into 'dev' John David Pressman 2020-03-05 23:34:06 +0000
  • 0f8c7876cd Merge branch 'dev' into contract/pledge-distribute John David Pressman 2020-03-05 14:22:41 -0800
  • c0b14fa38f Merge branch 'feature/balance-as-CLI-option' into 'dev' Gabriel Alfour 2020-03-05 20:52:20 +0000
  • 9de04123d3 --balance option and updated tests Lesenechal Remi 2020-03-05 20:52:47 +0100
  • cd4c8c9d29 Merge branch 'typechecking-gas' into 'dev' Gabriel Alfour 2020-03-05 17:43:24 +0000
  • d10b95357f Detect gas exhaustion while typechecking Tom Jack 2020-03-05 10:30:44 -0600
  • fe84d21208 Hack: don't log types in Michelson typecheck_code Tom Jack 2020-03-05 10:27:34 -0600
  • 1e77bd82c8 Revert "Use unlimited gas for typechecking contract" Tom Jack 2020-03-05 10:27:25 -0600
  • cc83aa1367 Merge branch 'typechecking-gas' into 'dev' Rémi Lesenechal 2020-03-05 15:38:09 +0000
  • acf3f9284e More gas for typechecking etc Tom Jack 2020-03-05 15:38:08 +0000
  • 1802ba757b Merge branch 'fix-mobile-homepage' into 'dev' Sander 2020-03-05 09:33:48 +0000
  • 2a38375f6c Fix mobile homepage Sander Spies 2020-03-05 09:35:32 +0100
  • 168a4d5b84 Add pledge-distribute contract John David Pressman 2020-03-05 00:24:55 -0800
  • 909770fd10 Merge branch 'persistent-syntax-selection' into 'dev' Sander 2020-03-04 21:40:20 +0000
  • 7b5dd8de3b Persistent syntax selection. Sander Spies 2020-03-04 21:39:57 +0100
  • c8bafdea4a Merge branch 'ci-issue' into 'dev' Sander 2020-03-04 19:36:22 +0000
  • adc31a6e01 Merge branch 'rinderknecht@contracts' into 'dev' Pierre-Emmanuel Wulfman 2020-03-04 19:26:50 +0000
  • e66ddd78ba Move to yarn Sander Spies 2020-03-04 19:39:06 +0100
  • 0871fe9c59 Merge branch 'feature/remove-assignment-mini_c' into 'dev' Tom Jack 2020-03-04 18:38:18 +0000
  • 8f6f4398dd Add working example of Crypto.check Tom Jack 2020-03-04 12:03:58 -0600
  • b8ecb79ba6 Merge branch 'docker-image-issue' into 'dev' Sander 2020-03-04 17:13:54 +0000
  • 8f0b1b9c32 I forgot to promote this negative test. Christian Rinderknecht 2020-03-04 18:05:29 +0100
  • 9f675da02f Probable cause of new website CI issue Sander Spies 2020-03-04 17:10:59 +0100
  • 2b01dd78fc Fixed the parsing of type t = list ((u,v)); Christian Rinderknecht 2020-03-04 16:45:05 +0100
  • 7f0dd0c090 Merge branch 'deployment-fix' into 'dev' Sander 2020-03-04 15:06:26 +0000
  • 8b2a182c6a Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@contracts Christian Rinderknecht 2020-03-04 15:59:47 +0100
  • bd48a56a24 Forgot to add to the previous commit. Christian Rinderknecht 2020-03-04 15:36:33 +0100
  • 38eaabb91f Merge branch 'fix-function-type-annotation-in-camel-simplifer' into 'dev' Pierre-Emmanuel Wulfman 2020-03-04 14:33:57 +0000
  • d43209f1a1 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@contracts Christian Rinderknecht 2020-03-04 15:26:43 +0100
  • 313bb0c2b3 Reverted two changes. Christian Rinderknecht 2020-03-04 15:23:51 +0100
  • da110f2199 Fix gitlab-ci. Sander Spies 2020-03-04 15:09:53 +0100
  • 72bc251868 Merge branch 'syntax-toggle' into 'dev' Sander 2020-03-04 13:19:00 +0000
  • 8f60accc24 - Improve darkmode support - Reenable code block tabs - Reeneble code blocks highlighting Sander 2020-03-04 13:19:00 +0000
  • b7e65764dd dune promote Pierre-Emmanuel Wulfman 2020-03-04 00:10:52 +0100
  • c23827e8de new negative test Pierre-Emmanuel Wulfman 2020-03-03 17:45:59 +0100
  • dfb1e1ebef add negative test Pierre-Emmanuel Wulfman 2020-03-03 16:37:46 +0100
  • 4f13a33d46 fix bug with wrong annotation at the beginning Pierre-Emmanuel Wulfman 2020-03-03 16:17:07 +0100
  • a19e2ceb3b adding negative test Pierre-Emmanuel Wulfman 2020-03-03 14:39:00 +0100
  • 32d3bb5a0f fixing doc or fonction (partial application) Pierre-Emmanuel Wulfman 2020-03-02 18:20:15 +0100
  • 89f2b44e7d Works also when the function parameter are passed in the rhs Fix some religo contract Pierre-Emmanuel Wulfman 2020-02-27 12:38:00 +0100
  • 6e35dadcc4 fix self_in_lambda.mligo Pierre-Emmanuel Wulfman 2020-02-27 12:04:53 +0100
  • 5159f293f8 Repare function annotation in let binding for Camligo and ReasonLigo and fix some contracts Pierre-Emmanuel Wulfman 2020-02-27 01:36:56 +0100
  • c092ffe1ff Merge branch 'remove-debug-printfs' into 'dev' Gabriel Alfour 2020-03-04 09:14:32 +0000
  • ac374ed2ba Remove debug printfs Tom Jack 2020-03-03 23:47:10 -0600
  • 7dfc3b01c9 Merge branch 'move-examples-folder' into 'dev' Jev Björsell 2020-03-03 22:41:17 +0000
  • e27dfa1bce Moved examples folder Maksym Bykovskyy 2020-03-03 22:41:16 +0000
  • 1866006b9f Merge branch 'feature/create-contract' into 'dev' Rémi Lesenechal 2020-03-03 13:51:15 +0000
  • a4fece03d6 doc & changelog Lesenechal Remi 2020-03-02 13:35:26 +0100
  • cf383fe327 more tests Lesenechal Remi 2020-03-02 12:53:10 +0100
  • 1e5abda3ee create contract : conservative restrictions & errors in typer, before inlining/beta optimizations Lesenechal Remi 2020-03-02 12:53:03 +0100
  • 9a30eb67c1 create_contract: add some tests Lesenechal Remi 2020-02-28 19:49:51 +0100
  • ffd792e2f8 CREATE_CONTRACT: add a check in the typer to allow only closures Lesenechal Remi 2020-02-28 19:30:09 +0100
  • ad7024c62b compiler: compile CREATE_CONTRACT Lesenechal Remi 2020-02-28 18:11:02 +0100
  • 4e48026daa typer: typing C_CREATE_CONTRACT Lesenechal Remi 2020-02-27 12:49:50 +0100
  • 3260e87d67 new constant : C_CREATE_CONTRACT Lesenechal Remi 2020-02-27 12:49:38 +0100
  • 79c15693f9 Merge branch 'ci/adjust_ci_rules' into 'dev' Rémi Lesenechal 2020-03-03 11:19:34 +0000
  • 9791b993d2 Abbreviate and de-tone LIGO introduction draft John David Pressman 2020-03-02 21:42:45 -0800
  • e91661189b
         Prevent IDE jobs running when the ide code has no changes Jev Björsell 2020-03-02 16:57:29 -0800
  • 00e6959503 Refactoring of the test contracts. Christian Rinderknecht 2020-03-02 18:01:56 +0100
  • 604330eab6 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@contracts Christian Rinderknecht 2020-03-02 10:54:26 +0100
  • 8229d6a6af Remove (unused) assignment from mini_c Tom Jack 2020-02-25 12:25:15 -0600
  • f62ea8e8fe Make new intro page use less 'we' John David Pressman 2020-02-27 19:50:25 -0800
  • b969672596 Merge branch 'compile-storage-for-server-side-deploy' into 'dev' Jev Björsell 2020-02-28 00:52:36 +0000
  • 14397157a7 Compile storage for server side deploy Maksym Bykovskyy 2020-02-27 16:08:31 -0800
  • cd3e7cf32f Merge branch 'view-in-try-michelson-ide' into 'dev' Jev Björsell 2020-02-27 23:19:54 +0000
  • 62f3304bc4 Added view in try-michelson link Maksym Bykovskyy 2020-02-27 12:22:43 -0800
  • 52b27aeffb Merge branch 'compile-storage-for-deploy' into 'dev' Jev Björsell 2020-02-27 22:20:23 +0000
  • a434b935c6 Compiling storage with compile-storage command instead of compile-expression Maksym Bykovskyy 2020-02-27 22:20:23 +0000
  • a9214f864d Reviewing again the PascaLIGO contracts. Christian Rinderknecht 2020-02-27 19:09:14 +0100
  • 93682629b4 Updating contracts. Christian Rinderknecht 2020-02-27 17:51:29 +0100