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

Commit Graph

  • 98c521d90a Do not reverse constants declarations Gaith Hallak 2022-12-16 12:53:15 +03:00
  • a9548e77d8 Disable some warnings for toplevel constants Gaith Hallak 2022-12-16 12:46:37 +03:00
  • 719dfdf240 Allow data constructors in compile-time constants Gaith Hallak 2022-12-16 12:33:49 +03:00
  • cb817d6c76 Allow records to be used as compile time constants Gaith Hallak 2022-12-16 12:22:02 +03:00
  • e438fbbaf4 Warn when shadowing a constant Gaith Hallak 2022-12-15 16:11:29 +03:00
  • 2dfe5eefb0 Remove the test that fails on toplevel consts Gaith Hallak 2022-12-15 14:32:51 +03:00
  • 49f73f8201 Allow compile-time constants as toplevel declarations Gaith Hallak 2022-12-15 14:16:51 +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
  • b69e19be1d Add test #933 Gaith Hallak 2023-03-20 08:00:14 +03:00
  • 9c7f942bca Update CHANGELOG Gaith Hallak 2023-03-20 07:45:15 +03:00
  • add82fe5ee Package for ZX/Zomp Craig Everett 2023-03-16 16:12:45 +09:00
  • 45d0c5996a Mark only included files as potentially unused Gaith Hallak 2023-03-15 10:21:59 +03:00
  • f70fc56df8
         Ceres: document changes to Auth.tx_hash (#439) Hans Svensson 2023-03-03 10:06:45 +01:00
  • fe61b13133 [Ceres]: Document generic all names delegation signatures #931 Hans Svensson 2023-03-02 15:01:57 +01:00
  • c82ffefa95 Ceres: document changes to Auth.tx_hash #930 Hans Svensson 2023-03-02 14:38:59 +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
  • fb41b76121 Prepare v7.1.0 release #929 Hans Svensson 2023-02-24 09:29:48 +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
  • 8935b9f7bd Fix markup in sophia_features.md #928 Denis Davidyuk 2023-02-10 15:43:39 +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
  • 24a334ea52 fix: use latest pygments version to generate docs #926 marc0olo 2023-02-02 08:24:56 +01:00
  • 1a40a93157
         chore(deps): mkdocs version update (#434) Marco Walz 2023-02-02 08:16:27 +01:00
  • 8b21d31d17 chore(deps): mkdocs version update #925 marc0olo 2023-02-01 13:02:16 +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
  • cdf801e267
         Update docs/sophia_features.md #924 Gaith Hallak 2023-01-12 12:04:13 +03:00
  • 3b25c298fa Update docs Gaith Hallak 2023-01-10 07:52:37 +03:00
  • 50d2507c43 Do not treat hole as a special type Gaith Hallak 2023-01-10 07:37:03 +03:00
  • f772276fb6 Add hole expression to the docs Gaith Hallak 2023-01-08 10:48:01 +03:00
  • 361bdd4daa Update CHANGELOG Gaith Hallak 2023-01-08 09:14:29 +03:00
  • abb1a3f4e8 New line in the end of the test file Gaith Hallak 2023-01-08 09:14:17 +03:00
  • 48f87c7cc7 Add tests Gaith Hallak 2023-01-07 23:56:11 +03:00
  • abee3d89ed Fix the issue of unreported holes Gaith Hallak 2023-01-07 23:56:04 +03:00
  • 7cdd2de6e4 Add hole expressions Gaith Hallak 2023-01-02 23:15:48 +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
  • 377e294c5f Update CHANGELOG #922 Gaith Hallak 2022-12-10 13:46:24 +03:00
  • 36d8e5d871 Update the tests Gaith Hallak 2022-12-10 13:44:21 +03:00
  • 775b834ee5 Hide warning when calling with non-0 value arg Gaith Hallak 2022-12-10 13:32:48 +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
  • cf841f5d57
         add clarification for Chain.timestamp #920 Nikita Fuchs 2022-11-28 14:27:21 +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
  • 3838a47694 Separate guards with a semicolon #919 Gaith Hallak 2022-11-21 13:15:12 +03:00
  • f2c4ba42c0 Update CHANGELOG Gaith Hallak 2022-11-18 17:13:32 +03:00
  • 6499823e5f Add tests Gaith Hallak 2022-11-18 17:11:12 +03:00
  • 3b7f083817 Ban using contracts as namespaces Gaith Hallak 2022-11-18 16:59:57 +03:00
  • 9e95e8efb6 Ban calling contracts functions as functions namespaces Gaith Hallak 2022-11-18 16:59:42 +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
  • cb458c3fdf Introduce AENSv2 namespace to introduce raw data pointers #917 Hans Svensson 2022-11-11 16:08:38 +01:00
  • 4a4461b98f Update CHANGELOG #918 Gaith Hallak 2022-11-11 20:58:05 +03:00
  • a41576fc26 Update docs Gaith Hallak 2022-11-11 20:56:42 +03:00
  • ed2ef02d68 Add failing tests Gaith Hallak 2022-11-11 20:31:13 +03:00
  • d063040ac1 Add passing tests Gaith Hallak 2022-11-11 20:22:18 +03:00
  • c6a89e3aa9 Fix existing tests Gaith Hallak 2022-11-11 20:17:57 +03:00
  • 0f8be670c9 Check contracts and entrypoints modifiers when implementing interfaces Gaith Hallak 2022-11-11 20:16:07 +03: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
  • 5d162dd7b0 Change the error message for unify_varargs #914 Gaith Hallak 2022-11-01 18:38:18 +03:00
  • 78666e803b Undo indent Gaith Hallak 2022-11-01 18:34:19 +03:00
  • 855c8f1614 Fix the tests Gaith Hallak 2022-11-01 12:03:42 +03:00
  • d6ebd60b27 Update CHANGELOG Gaith Hallak 2022-11-01 11:59:27 +03:00
  • d36642cbc1 Ban the unification of uvar and var_args function Gaith Hallak 2022-11-01 11:55:48 +03: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
  • f4e0b56cfb Rename type_defs to typedefs in ACI to increase compatibility #912 Denis Davidyuk 2022-10-27 19:32:57 +02: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
  • 2c6afd5ee0 Remove empty saved_fresh_names map from fcode env #902 Gaith Hallak 2022-10-25 08:20:30 +03:00
  • 99f20f2523 Update docs about the new flag Gaith Hallak 2022-10-25 08:17:38 +03:00
  • ee37e187e8 Make variables registers optional Gaith Hallak 2022-10-25 08:14:40 +03:00
  • d84e21a5ad Update CHANGELOG Gaith Hallak 2022-10-23 12:59:37 +03:00
  • cb588dc04b Manually handle making function names Gaith Hallak 2022-10-23 12:45:38 +03:00
  • 20f6d0d130 Use function names as strings Gaith Hallak 2022-10-23 12:12:29 +03:00
  • 4aa3a6b505 Formatting fix Gaith Hallak 2022-10-23 11:26:22 +03:00
  • f9b8114c0c Fix dialyzer warnings Gaith Hallak 2022-10-23 11:23:28 +03:00
  • ce24f0bc67 Undo whitespace changes Gaith Hallak 2022-10-23 11:18:19 +03:00
  • 4715894471 Report saved fresh names as part of fcode env Gaith Hallak 2022-10-23 11:02:48 +03:00
  • f8f67ced47 Record real names Gaith Hallak 2022-10-17 19:13:37 +03:00
  • 49200a6c55 Fix dialyzer issues Gaith Hallak 2022-10-13 11:28:44 +03:00
  • ebd72d9203 Return mapping from variables to registers Gaith Hallak 2022-09-01 15:31:23 +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
  • 99364222ea Add functions as fields before inferring #870 Gaith Hallak 2022-04-06 19:52:48 +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
  • 94846b5065
         Merge branch 'master' into symbols-map #909 Gaith Hallak 2022-10-07 15:52:13 +03:00