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

Commit Graph

  • b6fad5df2e Remove trailing new lines and at POS from error messages Gaith Hallak 2021-12-17 16:17:59 +02:00
  • d8d82737d4 Revert "Add raw error message for 2 errors" Gaith Hallak 2021-12-17 13:38:02 +02:00
  • 0db6d16140 Add raw error message for 2 errors Gaith Hallak 2021-12-17 13:00:49 +02:00
  • c98a073805 Deployed 60f3a48 to master with MkDocs 1.2.3 and mike 1.0.1 GitHub Action 2021-12-16 11:54:36 +00:00
  • 60f3a484e6
         Solve constraints together and in the order they are added (#360) Gaith Hallak 2021-12-16 13:54:06 +02:00
  • 7ac5e9dd5b Remove unused function #851 Gaith Hallak 2021-12-10 14:59:21 +02:00
  • 5d0a0eea85 Add comment on solve_known_record_types Gaith Hallak 2021-12-10 14:57:20 +02:00
  • 2ed9b1102a Fix dialyzer warnings Gaith Hallak 2021-12-10 14:40:42 +02:00
  • fee2c574aa Solve constraints together and in order Gaith Hallak 2021-12-06 14:39:28 +02:00
  • c61e10a2b9 Revert "Solve named argument constraints when record type dereferencing fails" Gaith Hallak 2021-12-06 13:05:35 +02:00
  • 6d7a1f9fe2 Solve named argument constraints when record type dereferencing fails Gaith Hallak 2021-12-04 18:14:05 +02:00
  • 658e066191 Deployed 40c78c1 to master with MkDocs 1.2.3 and mike 1.0.1 GitHub Action 2021-12-10 13:52:41 +00:00
  • 40c78c1707
         Merge pull request #361 from aeternity/clarify_protected_calls Hans Svensson 2021-12-10 14:52:11 +01:00
  • cf08aeee04 Clarify documentation on protected calls #852 Hans Svensson 2021-12-10 11:29:04 +01:00
  • efad43d8f5 Deployed a04dd6c to master with MkDocs 1.2.3 and mike 1.0.1 GitHub Action 2021-12-03 16:26:49 +00:00
  • a04dd6c86d
         Merge pull request #359 from marc0olo/feature/syntax-highlighting Marco Walz 2021-12-03 17:26:14 +01:00
  • f488b35f2e chore: make sure python libs are updated on install #850 marc0olo 2021-12-01 10:06:07 +01:00
  • cc1de9baba feat: activate Sophia syntax highlighting by using specific pygments version marc0olo 2021-12-01 08:37:49 +01:00
  • 6bdb7ca540 Deployed fe5f554 to master with MkDocs 1.2.3 and mike 1.0.1 GitHub Action 2021-11-24 09:46:49 +00:00
  • fe5f5545d3
         Add compiler warnings (#346) Gaith Hallak 2021-11-24 11:46:21 +02:00
  • eae1b38bd9 Add bitwise operations, Address.to_bytes and Crypto.poseidon #843 Hans Svensson 2021-10-29 13:34:40 +02:00
  • 49843095d4 Deployed 98a4049 to master with MkDocs 1.2.3 and mike 1.0.1 GitHub Action 2021-11-11 21:08:56 +00:00
  • 98a4049f03
         Use OTP 21 for builds (#332) Dincho Todorov 2021-11-11 23:08:31 +02:00
  • 30b3a3bb0c Deployed 3dce0e6 to master with MkDocs 1.2.3 and mike 1.0.1 GitHub Action 2021-11-11 09:52:07 +00:00
  • 3dce0e627b
         Merge pull request #353 from aeternity/otp-24-deps seanhinde 2021-11-11 10:51:40 +01:00
  • 6b46fc268b Use older rebar3 for upgrade #844 Sean Hinde 2021-11-10 14:32:29 +01:00
  • 30bedad164 Use older rebar3 for upgrade Sean Hinde 2021-11-10 14:25:33 +01:00
  • 4d6938c741 Update aebytecode dep for otp-24 Sean Hinde 2021-11-10 14:21:23 +01:00
  • a99e5e855f Update CHANGELOG #837 Gaith Hallak 2021-11-09 12:07:46 +02:00
  • fa4a7acc37 Add compiler warnings Gaith Hallak 2021-09-08 17:38:38 +03:00
  • 11ad35fb47 Let CERES compiler be v7.0.0 tentatively Hans Svensson 2021-11-04 10:40:18 +01:00
  • b28418bf76
         Update sophia_stdlib.md #841 Nikita Fuchs 2021-10-28 17:58:34 +02:00
  • 6d747b0334
         Update sophia_stdlib.md Nikita Fuchs 2021-10-21 15:43:13 +02:00
  • 3b306ff8e1 Deployed 10fc88a to master with MkDocs 1.2.3 and mike 1.0.1 GitHub Action 2021-10-21 12:17:00 +00:00
  • 10fc88a21d
         Merge pull request #349 from aeternity/fix_oracle_expiry_doc Hans Svensson 2021-10-21 14:16:32 +02:00
  • 3218a2c172 Fix docs Oracle.expire -> Oracle.expiry #840 Hans Svensson 2021-10-21 14:08:03 +02:00
  • 525048a801 Deployed 5ad5270 to v6.1.0 with MkDocs 1.2.3 and mike 1.0.1 GitHub Action 2021-10-20 09:55:32 +00:00
  • 0b160181b2 Deployed 5ad5270 to master with MkDocs 1.2.3 and mike 1.0.1 GitHub Action 2021-10-20 09:43:12 +00:00
  • 5ad5270e38
         Bump version to 6.1.0 and fix CHANGELOG (#348) v6.1.0 Gaith Hallak 2021-10-20 12:42:48 +03:00
  • 48dd1b89b8 Bump version to 6.1.0 and fix CHANGELOG #839 Gaith Hallak 2021-10-20 11:21:02 +03:00
  • 575e19ec93 Deployed a982f25 to master with MkDocs 1.2.3 and mike 1.0.1 GitHub Action 2021-10-20 08:04:31 +00:00
  • a982f25262
         Pattern guards for functions and switch statements (#339) Gaith Hallak 2021-10-20 11:04:00 +03:00
  • 8f54fe4fac Revert "Disable aevm related tests" #830 Gaith Hallak 2021-10-18 18:10:23 +03:00
  • a715cccd03 Compile to icode when no guards are used Gaith Hallak 2021-10-18 18:10:02 +03:00
  • 6fa6dfbbc0 Fix docs Gaith Hallak 2021-10-18 12:32:58 +03:00
  • 303ca21317 Fix incomplete patterns bug Gaith Hallak 2021-10-12 12:10:52 +03:00
  • 1653a1ff1d Desugar clauses with guards Gaith Hallak 2021-10-11 12:52:13 +03:00
  • 2d8db5f4ce Add test for non-boolean guards Gaith Hallak 2021-10-10 20:08:39 +03:00
  • 2a15626c3c Change tests to include multiple guards Gaith Hallak 2021-10-10 20:08:08 +03:00
  • 06118542f2 Fix pretty printing Gaith Hallak 2021-10-10 19:16:12 +03:00
  • c30201cdba Implement multiple exprs in the same guard Gaith Hallak 2021-10-06 13:17:33 +03:00
  • c6acb94921 Fix type in docs Gaith Hallak 2021-10-04 09:05:50 +03:00
  • 751fd2e15b Split the sentence before if and otherwise Gaith Hallak 2021-10-04 08:55:00 +03:00
  • 878f18e9eb Disable aevm related tests Gaith Hallak 2021-10-04 08:39:36 +03:00
  • 0d81af771e Fix tests Gaith Hallak 2021-10-04 08:22:49 +03:00
  • 842e39d09d Implement multiple guards Gaith Hallak 2021-10-03 15:45:46 +03:00
  • 36fa3d1d2b Add failing test for stateful pattern guards Gaith Hallak 2021-09-18 19:27:15 +03:00
  • 15ddec00bd Elaborate on guards Gaith Hallak 2021-09-18 18:33:07 +03:00
  • eadd00cc4d Remove stateful context from Env for guards Gaith Hallak 2021-09-18 18:09:57 +03:00
  • ac7a3f98ab Update CHANGELOG.md Gaith Hallak 2021-09-02 13:07:09 +03:00
  • 059059ac87 Update docs Gaith Hallak 2021-09-02 13:02:18 +03:00
  • 74e8064a1b Add test for patterns guards Gaith Hallak 2021-09-02 12:52:34 +03:00
  • 4bfae33945 Add functions guards Gaith Hallak 2021-09-02 12:41:23 +03:00
  • f437ee564e Add pattern guards to infer types and fcode generation Gaith Hallak 2021-08-30 11:41:12 +03:00
  • 9e85658ca4 Add case guards to parser Gaith Hallak 2021-08-25 12:12:00 +03:00
  • 269261d215 Deployed 20cab3a to master with MkDocs 1.2.3 and mike 1.0.1 GitHub Action 2021-10-18 08:33:36 +00:00
  • 20cab3ae57
         Merge pull request #347 from marc0olo/chore/update-mkdocs-version Hans Svensson 2021-10-18 10:33:10 +02:00
  • 1ffb20178c chore: mkdocs v1.2.3 #838 marc0olo 2021-10-15 12:03:46 +02:00
  • 368d76dff4 Deployed 6d79d2d to master with MkDocs 1.2.1 and mike 1.0.1 GitHub Action 2021-09-30 17:11:29 +00:00
  • 6d79d2d558
         GH344 - Add builtin types in decoder (#345) Hans Svensson 2021-09-30 19:11:00 +02:00
  • 486bb7e93b Add builtin types to the calldata/result decoder for FATE #836 Hans Svensson 2021-09-24 14:31:30 +02:00
  • 1d7125afb1 Only use basic types in type_env Hans Svensson 2021-09-24 14:29:56 +02:00
  • 505d96a538 Deployed 24c579a to master with MkDocs 1.2.1 and mike 1.0.1 GitHub Action 2021-09-24 12:22:09 +00:00
  • 24c579a5d3
         Merge pull request #342 from aeternity/fix_aci_rendering Hans Svensson 2021-09-24 14:21:42 +02:00
  • 1be24c94c5 Don't forget stateful when rendering the ACI #833 Hans Svensson 2021-09-20 14:49:12 +02:00
  • 803f4c21cf Deployed ebb1f9e to master with MkDocs 1.2.1 and mike 1.0.1 GitHub Action 2021-09-16 08:49:27 +00:00
  • ebb1f9ecf9
         Merge pull request #340 from aeternity/add_bitwise_stdlib Hans Svensson 2021-09-16 10:49:00 +02:00
  • 9cb3158dfd Fix documentation and comments #831 Hans Svensson 2021-09-12 16:24:08 +02:00
  • becafe4001 Add Bitwise.aes to stdlib Hans Svensson 2021-09-10 19:30:41 +02:00
  • 737673ffe5 Upgraded weakening and constraint anns #825 radrow 2021-09-11 16:37:29 +02:00
  • 94517093ca Deployed e8a171d to master with MkDocs 1.2.1 and mike 1.0.1 GitHub Action 2021-09-11 14:18:57 +00:00
  • e8a171dc45
         Allow assigning patterns to variables (#336) Gaith Hallak 2021-09-11 17:18:30 +03:00
  • 34faf7bb57 Use Plus instead of Scoped #827 Gaith Hallak 2021-09-07 17:41:53 +03:00
  • 9d200bc347 Add letpat to aeso_syntax_utils:fold Gaith Hallak 2021-09-07 17:25:48 +03:00
  • 27e2170545 Update docs and changelog Gaith Hallak 2021-08-20 15:56:30 +03:00
  • 0d6bcf688b Update CHANGELOG.md Gaith Hallak 2021-08-13 12:40:20 +03:00
  • 9540c7d200 Add tests Gaith Hallak 2021-08-13 12:01:34 +03:00
  • 8645aa586f Implement rename_spat for assign pattern Gaith Hallak 2021-08-11 17:52:27 +03:00
  • 90759ed738 Add fcode generation for assign pattern Gaith Hallak 2021-08-11 12:06:49 +03:00
  • e9a210cb8d Use check_expr instead of hard-coded type Gaith Hallak 2021-08-10 15:23:31 +03:00
  • 7744c8c2a0 Add assign pattern to type inference Gaith Hallak 2021-08-07 18:30:17 +03:00
  • eb5ef3a628 Change syntax tree and parser Gaith Hallak 2021-08-04 13:09:47 +03:00
  • e98108e39a Deployed a7b7aaf to master with MkDocs 1.2.1 and mike 1.0.1 GitHub Action 2021-09-07 14:45:58 +00:00
  • a7b7aafced
         Implement loading namespaces with the using keyword (#338) Gaith Hallak 2021-09-07 17:45:28 +03:00
  • 7fabbff11e Update the docs about the same alias for multiple namespaces #829 Gaith Hallak 2021-09-06 17:53:25 +03:00
  • c948591c86 Update the docs Gaith Hallak 2021-08-23 18:30:57 +03:00
  • 5725307643 Code cleaning Gaith Hallak 2021-08-24 12:52:39 +03:00
  • fc55cfe059 Update CHANGELOG.md Gaith Hallak 2021-08-23 18:30:33 +03:00
  • 2d916733d8 Add tests for using namespace parts Gaith Hallak 2021-08-20 19:33:09 +03:00
  • c29e9a7b2e Add using namespace parts to ast type inference Gaith Hallak 2021-08-20 19:11:32 +03:00