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

Commit Graph

  • 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
  • bd726a8902 . radrow 2022-07-03 19:10:47 +02:00
  • 7277a968f8 . radrow 2022-07-03 19:06:56 +02:00
  • d8558df6a4 . radrow 2022-07-03 18:57:01 +02:00
  • 4d6b13bcf1 . radrow 2022-07-03 18:53:27 +02:00
  • cf7830e4f5 . radrow 2022-07-03 18:44:46 +02:00
  • 03e53f60cd . radrow 2022-07-03 18:26:25 +02:00
  • c0330be3b4 . radrow 2022-07-03 18:25:49 +02:00
  • 701a24553a . radrow 2022-07-03 18:23:26 +02:00
  • 54c8c50a58 . radrow 2022-07-03 18:20:48 +02:00
  • cdcc119c9e . radrow 2022-07-03 18:19:06 +02:00
  • 1aa476318f . radrow 2022-07-03 17:48:48 +02:00
  • 97db569b9b . radrow 2022-07-03 17:32:05 +02:00
  • 5c14fc3fe6 . radrow 2022-07-03 17:27:21 +02:00
  • 85c14c512b . radrow 2022-07-03 17:18:00 +02:00
  • 126a78455b . radrow 2022-07-03 17:09:21 +02:00
  • ffc63704fb . radrow 2022-07-03 17:08:44 +02:00
  • c4243fb1da . radrow 2022-07-03 17:08:04 +02:00
  • a64e9643fd . radrow 2022-07-03 16:04:01 +02:00
  • ed934019db . radrow 2022-07-03 16:01:50 +02:00
  • 0f5daafc29 . radrow 2022-07-03 15:57:28 +02:00
  • e050618d7a Fix stupid radrow 2022-07-02 23:23:13 +02:00
  • 62a0ff2e4c Add loop operator in fcode radrow 2022-07-02 21:53:42 +02:00
  • 9256a7d31d Move type-env radrow 2022-06-29 18:35:10 +02:00
  • 3bbb8a9874 Move radrow 2022-06-29 18:34:39 +02:00
  • 0575983260
         Update CHANGELOG.md #888 Radosław Rowicki 2022-06-28 21:07:55 +02:00
  • 7762782307 docs radrow 2022-06-28 21:06:48 +02:00
  • ae0d4309cc changelog radrow 2022-06-28 21:02:13 +02:00
  • 397f809c00 EXIT op radrow 2022-06-28 21:00:41 +02:00
  • d59498914b Docs: first part (subtyping) Gaith Hallak 2022-06-27 19:13:16 +04:00
  • 9163718a47 Docs: first part Gaith Hallak 2022-06-26 16:29:18 +04:00
  • 53461d60e7 Remove the file aeso_code_errors.erl Gaith Hallak 2022-06-25 00:02:52 +04:00
  • 6ccaa7b1d5 Move old code errors tests to compilable_contracts Gaith Hallak 2022-06-24 17:45:09 +04:00
  • eb77ae4137 Move invalid_oracle_type error to type checker Gaith Hallak 2022-06-24 15:12:16 +04:00
  • f22c1aa82e Add test for AENS.resolve with using Gaith Hallak 2022-06-23 22:26:16 +04:00
  • d4d16a66eb Add more tests for AENS.resolve Gaith Hallak 2022-06-22 20:09:36 +04:00
  • 55e5482e84 Move invalid_aens_resolve_type error to type checker Gaith Hallak 2022-06-22 19:41:36 +04:00
  • e5e1f0212d Move the higher order entrypoint error to type checker Gaith Hallak 2022-06-22 17:08:01 +04:00
  • 4645b279fa Remove found_void error Gaith Hallak 2022-06-22 12:43:29 +04:00
  • 6b309c9381 Expand the tests for missing init function Gaith Hallak 2022-06-21 20:19:24 +04:00
  • 64682aa10c Remove the code error last_declaration_must_be_main_contract Gaith Hallak 2022-06-21 19:57:01 +04:00
  • 9df883b155 Move missing_init_function to the type checker Gaith Hallak 2022-06-21 19:31:21 +04:00
  • f0c1a96213 Remove check_state_and_event_types from ast_to_fcode Gaith Hallak 2022-06-21 16:29:53 +04:00
  • a7602b1cae Move the parameterised_event and parameterised_state errors to the type checker Gaith Hallak 2022-06-21 15:54:32 +04:00
  • 878c229ebd Move the missing_definition error to the type checker Gaith Hallak 2022-06-21 14:39:38 +04:00
  • 21cc6f2b3e Add constrained_t to fold #881 ghallak/229 Gaith Hallak 2022-06-20 10:23:39 +04:00
  • e8da0a7cfe
         Update docs/sophia_features.md Gaith Hallak 2022-06-19 21:44:47 +04:00
  • 4562a7166c Fix the tests after changing address to ord Gaith Hallak 2022-06-19 21:07:41 +04:00
  • fc2875965e Make address comparable by inequality Gaith Hallak 2022-06-19 20:54:58 +04:00
  • 9d296f04cb Formatting fix Gaith Hallak 2022-06-19 19:19:15 +04:00
  • ea98fc97bb Add an example of address type to the docs Gaith Hallak 2022-06-19 19:18:10 +04:00
  • 4478a9306b Deployed 7b8957b to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-06-18 10:04:08 +00:00
  • 7b8957b46a
         Update sophia_stdlib.md (#350) Nikita Fuchs 2022-06-18 12:03:46 +02:00
  • 4a652d53c1 Update CHANGELOG Gaith Hallak 2022-06-17 14:14:18 +04:00
  • 37478116cf Deployed e46226a to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-06-17 09:09:31 +00:00
  • e46226a693
         Polymorphism support (#357) Gaith Hallak 2022-06-17 13:09:07 +04:00
  • 46ac9bfa82 Update the docs Gaith Hallak 2022-06-14 22:19:35 +04:00
  • 75f2711148 Update CHANGELOG Gaith Hallak 2022-06-14 19:04:20 +04:00
  • 8e6c6d81ad Add char type to the docs Gaith Hallak 2022-06-14 18:20:47 +04:00
  • 2d17ce3ee2 Add test for unknown tvar constraints Gaith Hallak 2022-06-14 14:55:50 +04:00
  • fc08fe09a5 Add tests for calling constrained functions Gaith Hallak 2022-06-14 13:27:00 +04:00
  • 6c17e57a7c Fix dialyzer warnings Gaith Hallak 2022-06-14 11:58:40 +04:00
  • 69713036d0 Add constraints to typechecker, fix old tests, add new ones Gaith Hallak 2022-06-13 21:37:00 +04:00
  • f56eeb0b2b Use id() for constraints instead of keywords Gaith Hallak 2022-06-11 21:52:23 +04:00
  • 3f177d363f Add constraints to the syntax and parser Gaith Hallak 2022-06-11 17:26:13 +04:00
  • e44b274b2d Deployed b599d58 to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-06-14 08:23:02 +00:00
  • b599d581ee
         Fix warnings reporting and stdlib warnings (#367) Gaith Hallak 2022-06-14 12:22:32 +04:00
  • 1e1c2c1dfd Fix warning in Func.aes #858 Gaith Hallak 2022-02-02 12:26:35 +04:00
  • e93167c6c4 Fix dialyzer warning Gaith Hallak 2022-02-01 19:55:29 +04:00
  • e839218971 Fix failing tests Gaith Hallak 2022-02-01 19:46:19 +04:00
  • 0a4c49215e Return warnings as a sorted list Gaith Hallak 2022-02-01 19:37:16 +04:00
  • 9153735a85 Consider functions passed as args as used Gaith Hallak 2022-02-01 19:04:20 +04:00
  • 9700bd9efe Remove unused include from Option.aes Gaith Hallak 2022-01-30 18:49:14 +04:00
  • e6e6df9d21 Show unused include warning only for files that are never used Gaith Hallak 2022-01-30 18:25:04 +04:00
  • 1b8be7a749 Do not mark indirectly included files as unused Gaith Hallak 2022-01-30 17:48:51 +04:00
  • c943148d2d Mark unused includes when used from non-included files Gaith Hallak 2022-01-30 17:11:17 +04:00
  • a3405ee0d2 Fix stdlib warnings Gaith Hallak 2022-01-30 15:02:43 +04:00
  • bed468b762 Deployed b376707 to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-06-03 09:12:51 +00:00
  • b3767071a8
         Allow binary operators to be used as lambdas (#385) Gaith Hallak 2022-06-03 13:12:23 +04:00
  • 642f5a4da3 Rename the function sum to any #876 Gaith Hallak 2022-06-02 13:36:38 +04:00
  • 8851629fc7 Do not allow (..) to be used as a lambda Gaith Hallak 2022-06-02 13:36:25 +04:00
  • 7f19cf1700 Update the docs Gaith Hallak 2022-06-01 14:38:16 +04:00
  • 4b81eb9646 Update CHANGELOG Gaith Hallak 2022-06-01 14:32:04 +04:00
  • c3f057c438 Add tests Gaith Hallak 2022-06-01 14:28:30 +04:00
  • 8b2fdd5ab9 Do not register anonymous functions as called functions Gaith Hallak 2022-06-01 14:27:51 +04:00
  • 9308f5b416 Add operator lambdas Gaith Hallak 2022-06-01 14:27:21 +04:00
  • 24972fe223 Test all cases for bivariant #848 Gaith Hallak 2022-05-31 00:33:56 +04:00
  • 0237353ea7 Eliminate redundant tests Gaith Hallak 2022-05-31 00:25:53 +04:00
  • 113d699b01 Fix variance inference Gaith Hallak 2022-05-27 15:45:26 +04:00
  • 24178f15d0 Rename functions in variance switching tests for readability Gaith Hallak 2022-05-25 21:10:06 +04:00
  • e4db742c72 Rename test files to have common prefix Gaith Hallak 2022-05-25 19:55:01 +04:00
  • 9e3f42db2c Default to invariant when the variance of the type vars is unknown Gaith Hallak 2022-05-25 18:46:53 +04:00
  • 8d419bc54f Add test for accessing maps with the wrong type Gaith Hallak 2022-05-25 18:35:13 +04:00
  • 0c8b95c16d Change the variance of the oracle_query type vars Gaith Hallak 2022-05-25 17:43:58 +04:00
  • ef3b0dece9 Rename datatypes in custom types variance switching test for readability Gaith Hallak 2022-05-25 17:28:30 +04:00
  • 025e0f7b8f Handle comments about polymorphism_variance_switching.aes Gaith Hallak 2022-05-24 23:17:17 +04:00
  • 8067d15a41 Give clear names to the records in records variance switching test Gaith Hallak 2022-05-24 22:36:45 +04:00
  • e5c6efc8ae Test variance switching for bivariant records Gaith Hallak 2022-05-24 22:16:34 +04:00