QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Commit Graph

  • 36f46bb163 Document include_child_contract_symbols option Gaith Hallak 2022-10-07 15:42:03 +03:00
  • 66d05535ee Make child contracts symbols optional Gaith Hallak 2022-10-07 15:11:55 +03:00
  • ac614e1366 Extract adding child symbols into a separate fun Gaith Hallak 2022-10-07 14:04:28 +03:00
  • 0af50160fe Use update_symbols exported from aebytecode Gaith Hallak 2022-10-07 13:49:14 +03:00
  • 07877e14e1 Deployed 1c83287 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-10-07 09:10:19 +00:00
  • 1c83287d45
         Add separate flags for each scode optimization (#410) Gaith Hallak 2022-10-07 12:09:53 +03:00
  • 28f2b8ddd0 Prefix rules functions with optimize_ instead of r_ #901 Gaith Hallak 2022-10-04 17:21:06 +03:00
  • b84c134c29
         Update docs/aeso_compiler.md Gaith Hallak 2022-10-04 16:59:47 +03:00
  • 273d5998dc Deployed da92ddb to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-10-04 09:41:17 +00:00
  • da92ddbd5d
         Polymorphism fixes (#415) Gaith Hallak 2022-10-04 12:40:50 +03:00
  • 2a55823633 Match only with function name and without typesig #906 Gaith Hallak 2022-10-03 14:09:35 +03:00
  • 06879fdf73 Rename delete_if_implementation Gaith Hallak 2022-09-29 13:31:33 +03:00
  • e3335358ee remove improper wording radrow 2022-09-16 11:44:11 +02:00
  • d13c1fdaa8 . radrow 2022-09-16 11:38:20 +02:00
  • 4892b749c8 Include all functions in the symbols map radrow 2022-09-16 11:03:44 +02:00
  • 670f00935d Unify functions with decls from implemented interfaces Gaith Hallak 2022-09-07 18:53:16 +03:00
  • 2374b06734 Add test for void supertype Gaith Hallak 2022-09-07 17:29:38 +03:00
  • 04e1c94bae Assume that void is a supertype of all types Gaith Hallak 2022-09-03 13:46:01 +03:00
  • 9db09ac53c Update CONTRIBUTING.md Gaith Hallak 2022-09-01 18:17:49 +03:00
  • 62240dde9f Add a list of available optimizations to docs Gaith Hallak 2022-09-01 18:15:39 +03:00
  • ec4ad40309 Add separate flags for each scode optimization Gaith Hallak 2022-08-30 13:48:20 +03:00
  • d4fbdf7bef Deployed c1c1692 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-08-30 07:15:45 +00:00
  • c1c169273c
         Add options to enable/disable certain optimizations (#409) Gaith Hallak 2022-08-30 10:14:46 +03:00
  • f663bce7bf Remove optimize_all option #900 Gaith Hallak 2022-08-27 18:18:32 +03:00
  • 33a5388936 Update CHANGELOG.md Gaith Hallak 2022-08-26 20:07:54 +03:00
  • 65da15a6e2 Enable/disable scode optimization Gaith Hallak 2022-08-26 19:54:24 +03:00
  • 0dbdf207bf Fix typos Gaith Hallak 2022-08-26 19:53:00 +03:00
  • c1c7be4d3e Add flags to enable/disable specific optimizations Gaith Hallak 2022-08-26 19:47:37 +03:00
  • 051eb66c9a Deployed ad4c341 to v7.0.1 with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-08-04 17:39:45 +00:00
  • e5d0840847 Deployed ad4c341 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-08-04 17:38:54 +00:00
  • ad4c341a4a
         Bump version to 7.0.1 (#408) v7.0.1 Gaith Hallak 2022-08-04 21:38:24 +04:00
  • daba367daa Bump version to 7.0.1 and update CHANGELOG.md #899 Gaith Hallak 2022-08-04 19:52:15 +04:00
  • 038a440c29 Fix broken link in CONTRIBUTING.md Gaith Hallak 2022-08-04 19:48:04 +04:00
  • fc3a61ebd1 Deployed f964fa8 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-08-04 15:36:23 +00:00
  • f964fa89a1
         Add CONTRIBUTING.md (#406) Gaith Hallak 2022-08-04 19:35:48 +04:00
  • 2251a97f02 Add a section about creating a new aesophia release #897 Gaith Hallak 2022-08-04 16:25:11 +04:00
  • 9d20221c52 Update the entire list of keywords in sophia syntax doc Gaith Hallak 2022-08-04 16:05:27 +04:00
  • bb137ae642 Add missing using keyword Gaith Hallak 2022-08-04 15:19:47 +04:00
  • 321edb0e7b Rename to Sophia Gaith Hallak 2022-08-04 01:34:55 +04:00
  • b87ce6f7fb Deployed 8d8d9c6 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-08-03 20:26:11 +00:00
  • 8d8d9c6b83
         Update Sophia syntax docs to include missing information about existing syntax (#405) Gaith Hallak 2022-08-04 00:25:42 +04:00
  • f9f5dfd3b0 Deployed c98ea25 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-08-03 20:24:48 +00:00
  • c98ea25e8b
         Fix: Get the type of Chain.create() from its application (#407) Gaith Hallak 2022-08-04 00:24:22 +04:00
  • 543e5cc7e2 Add a note about tests Gaith Hallak 2022-08-03 20:21:33 +04:00
  • d4e5de732d Update tests again #898 Gaith Hallak 2022-08-03 20:11:23 +04:00
  • a87eb36778 Update the tests Gaith Hallak 2022-08-03 19:59:12 +04:00
  • be3cb5cc76 Add missing precedence of the operator '|>' Gaith Hallak 2022-08-03 19:31:44 +04:00
  • 94511290d0 Mention fold and pretty printing Gaith Hallak 2022-08-03 19:31:19 +04:00
  • 791e736e60 Use "If a PR" instead of "If the PR" Gaith Hallak 2022-08-03 19:11:25 +04:00
  • 51a6b704fa Update CHANGELOG.md Gaith Hallak 2022-08-03 19:01:46 +04:00
  • e3c82e954d Add test contract Gaith Hallak 2022-08-03 18:59:50 +04:00
  • 53abda625a Get the type of Chain.create() from its application Gaith Hallak 2022-08-03 18:55:51 +04:00
  • 62f14e3583 Update CONTRIBUTING.md Gaith Hallak 2022-08-03 16:02:02 +04:00
  • 312eb347b9 Update CONTRIBUTING.md Gaith Hallak 2022-08-03 16:00:55 +04:00
  • cbd0ba18fc Fix broken links Gaith Hallak 2022-08-03 15:57:02 +04:00
  • 11488ad4f7 Include CONTRIBUTING.md in README.md Gaith Hallak 2022-08-03 15:55:11 +04:00
  • ceffb78be2 Add CONTRIBUTING.md Gaith Hallak 2022-08-03 15:51:25 +04:00
  • a589adeafe Add polymorphism implmented interface syntax #896 Gaith Hallak 2022-08-03 15:10:57 +04:00
  • 1de552d713 Fix typos Gaith Hallak 2022-08-03 14:52:32 +04:00
  • edd9348fb1 Add assign patter Gaith Hallak 2022-08-03 14:51:52 +04:00
  • 0222c9eda0 Add '|>' binary operator to aeso_syntax Gaith Hallak 2022-08-03 14:35:51 +04:00
  • e6159b8014 Add Using Gaith Hallak 2022-08-03 14:12:58 +04:00
  • 47d027c73f Change '=' to '::=' in GuardedDef Gaith Hallak 2022-08-03 14:11:16 +04:00
  • 7623cc2f35 Add guarded case for switches Gaith Hallak 2022-08-03 00:26:06 +04:00
  • c4061701b0 Use Sep1 instead of Sep for the GuardedDef Gaith Hallak 2022-08-03 00:23:56 +04:00
  • 6ff8463db4 Add main contract, contract interface, and guards to the docs syntax Gaith Hallak 2022-08-03 00:10:44 +04:00
  • 81731908eb Deployed 4dbc985 to v7.0.0 with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-07-31 14:22:21 +00:00
  • 5ef7227a58 Deployed 4dbc985 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-07-28 19:38:47 +00:00
  • 4dbc9858fb
         Prepare 7.0.0 release, upgrade to OTP24 (#402) v7.0.0 Radosław Rowicki 2022-07-28 21:38:18 +02:00
  • f84242af6b Update rebar.lock #893 Gaith Hallak 2022-07-27 17:43:45 +04:00
  • a908361c28
         Update CHANGELOG.md Radosław Rowicki 2022-07-27 15:01:31 +02:00
  • a81dca015f aeb 3.1.1 radrow 2022-07-26 19:24:17 +02:00
  • 73ebfc8dc3 Update aebytecode radrow 2022-07-26 18:55:11 +02:00
  • caa36b170f Try OTP24 radrow 2022-07-26 18:30:38 +02:00
  • 9de1adcac4 OTP25 radrow 2022-07-26 18:29:03 +02:00
  • 10e2056c1a Prepare v7.0.0 release radrow 2022-07-26 18:12:06 +02:00
  • fbe36af315 Deployed 51f9eaa to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-07-25 16:47:43 +00:00
  • 9774024b93 Deployed 0ebcf00 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-07-25 16:47:17 +00:00
  • 51f9eaa934
         Update the documentation and changelog to include polymorphism (#396) Gaith Hallak 2022-07-25 20:47:16 +04:00
  • 0ebcf006e2
         Prepare for new repl (#401) Radosław Rowicki 2022-07-25 18:46:54 +02:00
  • 136f96a422
         Update docs/sophia_features.md #887 Gaith Hallak 2022-07-25 20:31:28 +04:00
  • fb621807a9 Add a flag to allow higher-order entrypoints #892 Gaith Hallak 2022-07-25 20:00:30 +04:00
  • 3301deb57b Cleanup radrow 2022-07-24 20:10:21 +02:00
  • 73f040afb6 Prepare for repl radrow 2022-06-21 21:36:55 +02:00
  • 2721405b19 Deployed 381a7c9 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-07-25 15:49:18 +00:00
  • 381a7c98cd
         Handle all user generated code errors in the type checker (#394) Gaith Hallak 2022-07-25 19:48:46 +04:00
  • 2ea56ce7ef Note about type variance Gaith Hallak 2022-07-25 01:10:00 +04:00
  • 6c8715ea74 Formatting for subtyping rules Gaith Hallak 2022-07-25 00:38:44 +04:00
  • 41c0609837 Change "the same type" to "compatible types" Gaith Hallak 2022-07-25 00:31:36 +04:00
  • 2dd461b2b0
         Update docs/sophia_features.md Gaith Hallak 2022-07-25 00:28:58 +04:00
  • df9f258394 Add comment about state type #885 Gaith Hallak 2022-07-25 00:12:54 +04:00
  • 2bad4023f8 Deployed 4bec4e5 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-07-08 13:56:53 +00:00
  • 4bec4e5107
         Added support for EXIT op (#397) Radosław Rowicki 2022-07-08 15:56:29 +02:00
  • 66f56a0eb2
         Update docs/sophia_features.md Gaith Hallak 2022-07-07 20:30:07 +04:00
  • 1514cb2949
         Update docs/sophia_features.md Gaith Hallak 2022-07-07 20:28:59 +04:00
  • 0f96020f0d Deployed 4dd247b to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-07-06 11:16:24 +00:00
  • 4dd247b159
         Merge pull request #399 from aeternity/mkdocs-updates Marco Walz 2022-07-06 13:15:58 +02:00
  • d926c4a7e3 chore: update deps and remove caching of python libs #890 marc0olo 2022-07-06 10:05:44 +02:00
  • 9335db65d0 Fix liveness #889 loop-op radrow 2022-07-03 19:25:10 +02:00
  • 0bc9cfb957 Readd tests radrow 2022-07-03 19:17:02 +02:00