Commit Graph

  • 0dc647f139 Move typedefs to a separate module Gaith Hallak 2023-04-30 11:12:26 +03:00
  • fceb124f89 Remove freshening from the type checker Gaith Hallak 2023-04-30 11:01:51 +03:00
  • dab0e4b758 Move opposite_variance to type utils Gaith Hallak 2023-04-30 10:00:46 +03:00
  • fbf12cf8b4 Split unfolding from the type checker Gaith Hallak 2023-04-30 09:20:08 +03:00
  • 2cdd3ed576 Split unification from the type checker Gaith Hallak 2023-04-29 14:26:32 +03:00
  • 5f277bed08 Remove aeso_ast module Gaith Hallak 2023-04-29 13:50:11 +03:00
  • 565863681c Split constraints from type checker Gaith Hallak 2023-04-29 11:25:55 +03:00
  • 9fe2696432 Split env from the type checker Gaith Hallak 2023-04-29 07:26:04 +03:00
  • f11697da1a Fix Sophia stdlib path resolution. zxq9 2023-04-28 23:43:05 +09:00
  • fc2731fbbb Merge branch 'master' into zomp zxq9 2023-04-28 17:12:02 +09:00
  • cc76f93dd7 Fix includes zxq9 2023-04-28 17:11:07 +09:00
  • 4c90b00fd0 Implement env getters and setters Gaith Hallak 2023-04-26 12:55:23 +03:00
  • 9f8f3c2ac8 Move blocks processing to desugar module Gaith Hallak 2023-04-24 17:45:32 +03:00
  • 4a8870fb1d Rename ets_manager and type_utils Gaith Hallak 2023-04-24 16:30:50 +03:00
  • a91470fe3c Split desugaring from the type checker Gaith Hallak 2023-04-24 16:23:18 +03:00
  • ab69b6c2a7 Split warnings from the type checker Gaith Hallak 2023-04-22 12:11:28 +03:00
  • 296b2a4bb0 Remove duplicated record definition Gaith Hallak 2023-04-21 21:13:29 +03:00
  • 1f0726fad7 Split type errors from type checker Gaith Hallak 2023-04-21 21:06:46 +03:00
  • 433d180c17 Split pretty printing from type checker Gaith Hallak 2023-04-21 20:28:56 +03:00
  • 30a179bfcc Move smaller functions outside of aeso_ast_infer_types Gaith Hallak 2023-04-21 20:07:53 +03:00
  • 0e4c24958c Remove the access of scopes Gaith Hallak 2023-04-21 19:51:40 +03:00
  • 0baedfeede Move typesig_to_fun_t to type utils Gaith Hallak 2023-04-20 20:23:58 +03:00
  • 36058df924 Split utils and ets management Gaith Hallak 2023-04-20 20:05:23 +03:00
  • 411399a39a . gh-400 radrow 2023-04-16 21:59:48 +02:00
  • 8289f4af9d WIP split into files radrow 2023-04-16 17:40:31 +02:00
  • 3cd8c37399 . radrow 2023-04-16 16:02:09 +02:00
  • 176ac3b3ed Deployed 7b6eba5 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-04-12 11:21:10 +00:00
  • 7b6eba5319 Introduce contract-level compile-time constants (#432) Gaith Hallak 2023-04-12 14:20:41 +03:00
  • 8d7025f794 Cleanup pretty printing radrow 2023-04-07 12:06:29 +02:00
  • 8e191b0c88 [Ceres]: Document generic all names delegation signatures (#440) new_ceres Hans Svensson 2023-03-22 08:55:57 +01:00
  • 5130153b91 Deployed 99bb3fe to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-03-21 10:55:42 +00:00
  • 99bb3fe1fb Mark only included files as potentially unused (#442) Gaith Hallak 2023-03-21 13:55:18 +03:00
  • add82fe5ee Package for ZX/Zomp zxq9 2023-03-16 16:12:45 +09:00
  • f70fc56df8 Ceres: document changes to Auth.tx_hash (#439) Hans Svensson 2023-03-03 10:06:45 +01:00
  • 4ecafdae17 Deployed 311bf49 to v7.1.0 with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-02-24 08:42:59 +00:00
  • 7d6ff5e6a1 Deployed 311bf49 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-02-24 08:40:36 +00:00
  • 311bf49505 Prepare v7.1.0 release (#438) v7.1.0 Hans Svensson 2023-02-24 09:40:06 +01:00
  • 28f896971b Deployed 0e3bcba to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-02-15 10:27:57 +00:00
  • 0e3bcba07d Fix markup in sophia_features.md (#437) Denis Davidyuk 2023-02-15 14:27:29 +04:00
  • 565c1a5383 Deployed 699d1f7 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-02-02 07:33:23 +00:00
  • 699d1f7ab8 fix: use latest pygments version to generate docs (#435) Marco Walz 2023-02-02 08:32:54 +01:00
  • 1a40a93157 chore(deps): mkdocs version update (#434) Marco Walz 2023-02-02 08:16:27 +01:00
  • dfc7f0b9c9 Deployed c078119 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2023-01-12 13:24:00 +00:00
  • c078119bc4 Add hole expression (#433) Gaith Hallak 2023-01-12 16:23:36 +03:00
  • c8788911a5 Deployed 31fd8fe to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-12-12 08:44:48 +00:00
  • 31fd8fe24f Hide warning when calling with non-0 value arg (#431) Gaith Hallak 2022-12-12 11:44:24 +03:00
  • 7556284dc6 Deployed 9ad8e26 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-12-07 14:35:23 +00:00
  • 9ad8e26e88 Add clarification for Chain.timestamp in the stdlib docs (#429) Nikita Fuchs 2022-12-07 15:34:55 +01:00
  • 4ae24722f4 Remove unused variable in AENSCompat Hans Svensson 2022-12-01 08:33:59 +01:00
  • e2908b4962 Deployed 5adeb6c to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-11-23 09:03:45 +00:00
  • 5adeb6c93e Ban using contracts as namespaces (#428) Gaith Hallak 2022-11-23 12:03:24 +03:00
  • 48ff7a8764 Deployed 256df25 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-11-17 08:41:23 +00:00
  • 256df25af4 Check contracts and entrypoints modifiers when implementing interfaces (#427) Gaith Hallak 2022-11-17 11:40:57 +03:00
  • 55a97852ed Introduce AENSv2 namespace to introduce raw data pointers (#426) Hans Svensson 2022-11-16 21:31:44 +01:00
  • 1380142082 Add bitwise operations, Address.to_bytes and Crypto.poseidon Hans Svensson 2021-10-29 13:34:40 +02:00
  • 1754763e23 Let CERES compiler be v8.0.0 tentatively Hans Svensson 2021-11-04 10:40:18 +01:00
  • bc5603430b Deployed 83abfae to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-11-01 16:11:18 +00:00
  • 83abfae32b Ban the unification of uvars and var_args functions (#423) Gaith Hallak 2022-11-01 18:10:57 +02:00
  • a6ce997e4a Deployed 4ca90fe to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-11-01 06:55:21 +00:00
  • 4ca90feea0 Rename type_defs to typedefs in ACI to increase compatibility (#421) Denis Davidyuk 2022-11-01 07:55:00 +01:00
  • e497d0f53a Deployed 09638da to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-10-25 06:42:25 +00:00
  • 09638daa90 Return mapping from variables to registers in fate compilation (#411) Gaith Hallak 2022-10-25 09:42:02 +03:00
  • 1111b125e6 Deployed d59023a to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-10-23 12:01:50 +00:00
  • d59023a9f4 Allow calling a different instance of the current contract (#379) Gaith Hallak 2022-10-23 15:01:28 +03:00
  • d16391173e Deployed 34b5273 to master with MkDocs 1.2.4 and mike 1.1.2 GitHub Action 2022-10-07 12:57:59 +00:00
  • 34b52739fd Include all functions in the symbols map (#418) Radosław Rowicki 2022-10-07 14:57:37 +02: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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 89afa9ec8f . radrow 2022-07-03 19:13:02 +02:00
  • 5575d3cb17 . radrow 2022-07-03 19:12:33 +02:00
  • 1d6f24965b . radrow 2022-07-03 19:11:50 +02:00