QPQ-AG/sophia
11
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity

Commit Graph

  • 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
  • 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
  • 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
  • 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
  • 87e2c62b9f Deployed b0e6418 to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-05-25 14:00:18 +00:00
  • b0e6418161 Ban empty record definitions (#384) Gaith Hallak 2022-05-25 17:59:46 +04:00
  • 4e3e06d8bd Deployed a894876 to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-05-10 14:27:38 +00:00
  • a894876f56 Show the file name in the location if the file is included (#383) Gaith Hallak 2022-05-10 18:27:06 +04:00
  • 6c07d19890 Deployed 0af45df to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-05-10 13:34:31 +00:00
  • 0af45dfd19 Deprecate AEVM (#375) Radosław Rowicki 2022-05-10 15:33:59 +02:00
  • b0b1aa837d Deployed c5bfcd3 to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-05-05 09:20:27 +00:00
  • c5bfcd3bdc Add MCL_BLS12_381 types to from_fate_builtin (#382) Gaith Hallak 2022-05-05 13:19:43 +04:00
  • 3f367fe783 Deployed 85879f5 to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-04-27 14:11:43 +00:00
  • 85879f5380 Fix BLS12_381.fp and BLS12_381.fr size in the docs (#377) Dincho Todorov 2022-04-27 17:10:56 +03:00
  • d897007640 Deployed 8897cc6 to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-04-26 17:10:38 +00:00
  • 8897cc6cbd Fix bls12_381 anchor in the stdlib docs (#376) Dincho Todorov 2022-04-26 20:10:11 +03:00
  • 01a40e6baf Deployed 0ec7fdc to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-04-12 10:50:09 +00:00
  • 0ec7fdc6ac Merge pull request #368 from aeternity/docs/improve-stdlib-structure Marco Walz 2022-04-12 12:49:40 +02:00
  • 7dfc5766c9 Deployed 74aff54 to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-04-12 09:40:57 +00:00
  • 74aff5401b Introduce pipe operator |> (#371) Gaith Hallak 2022-04-12 12:40:32 +03:00
  • ed59f97a76 Deployed cfcf0a8 to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-03-28 10:09:57 +00:00
  • cfcf0a8a81 Merge pull request #372 from aeternity/pygments-version Marco Walz 2022-03-28 12:09:20 +02:00
  • ca31db7cad chore(deps): bump mkdocs version from 1.2.3 to 1.2.4 #863 marc0olo 2022-03-28 10:43:37 +02:00
  • 196460a607 chore(deps): bump pygments version marc0olo 2022-03-22 13:19:11 +01:00
  • bf04362f9a docs: order namespaces alphabetically and place Set in includables #859 marc0olo 2022-02-04 01:24:24 +01:00
  • d4ea7d5d3b Clarify signature format for ecverify/ecrecover (#365) Hans Svensson 2022-01-11 14:02:40 +01:00
  • c1c3c29393 Add oneline error pretty-printing (#364) Hans Svensson 2022-01-11 14:02:05 +01:00
  • b474bb22cd Implement caching for compiled child contracts (#363) Gaith Hallak 2022-01-11 16:50:59 +04:00
  • c04f66a00a Merge pull request #362 from aeternity/ghallak/354 Hans Svensson 2022-01-05 11:22:22 +01:00
  • 37d86ad45b Simplify error messages reported by the compiler Gaith Hallak 2021-12-17 13:00:49 +02:00
  • 64bd702e83 Deployed 2e3caab to master with MkDocs 1.2.3 and mike 1.0.1 GitHub Action 2022-01-05 10:22:58 +00: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
  • 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
  • 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
  • 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
  • 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