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

Commit Graph

  • 6099566cfe fix wrong regex for sophia constructors #991 prh-docs-fix pharpend 2026-05-13 00:37:44 -07:00
  • 4f6529ed9d update deps, add mldsa-related byte codes #990 uw-mldsa-crypto Ulf Wiger 2026-02-02 20:05:07 +01:00
  • ed72e393ab 1st commit: add MLDSA sig verification Ulf Wiger 2026-01-29 14:14:33 +01:00
  • dbab49936d Renaming and preparing to remove oracles (#985) master zxq9 2025-03-13 12:53:01 +09:00
  • b116d77883 Changed deps, rename modules, remove oracles #987 uw-rename-fix-deps Ulf Wiger 2025-03-10 13:09:30 +01:00
  • e30d99d87b Bump gmserialization to v1.2.0 v7.5.0 #986 bump_gmserialization Dimitar Ivanov 2025-03-01 14:55:42 +02:00
  • 3771b6a5f2 Meta update zomp zxq9 2024-11-12 19:13:20 +09:00
  • ec316d2a0d Include shuffle zxq9 2024-11-08 11:33:09 +09:00
  • 6c6bf38d8c WIP zxq9 2024-11-01 14:04:45 +09:00
  • 9f90396023 Merge branch 'master' into zomp zxq9 2024-11-01 13:58:32 +09:00
  • 927cd42592 Add check for number of type variables in type signature (#512) Hans Svensson 2024-08-26 13:34:02 +02:00
  • 16308a7840 Docs: Move poseidon outside of create (#510) Denis Davidyuk 2024-08-12 11:02:56 +04:00
  • 46a307432f Docs: Fix return value type in Auction example (#511) Denis Davidyuk 2024-08-12 11:02:29 +04:00
  • 83dcc6dbc4 Upgrade to the latest aebytecode to fix C warnings (#509) Gaith Hallak 2024-05-24 15:46:21 +03:00
  • ffdd4ecf26 Prepare release v8.0.0 (#506) Hans Svensson 2024-04-18 09:15:34 +02:00
  • 51bae61736 Add signature literals (#505) Hans Svensson 2024-04-10 16:34:29 +02:00
  • 31301911a2 Docs: Mention the unit type in the literals section (#504) Gaith Hallak 2024-02-16 19:11:08 +03:00
  • de426a210b Fix parser/pretty printer for OTP-27 (#502) Hans Svensson 2024-02-16 09:57:23 +01:00
  • 944ed49f0b Allow self-qualification (#503) Hans Svensson 2024-02-16 09:56:26 +01:00
  • 1387e814f8 Fix printing FCode with lifted lambdas (#501) Radosław Rowicki 2024-02-04 09:24:41 +01:00
  • 44d6982d66 Prepare release v8.0.0-rc1 Hans Svensson 2024-01-24 11:42:52 +01:00
  • aa532046d3 [Ceres]: Improve documentation of new features Hans Svensson 2024-01-26 10:39:06 +01:00
  • fbaab570f2 [Ceres]: Handle Bytes.to_any_size in calldata (#495) Hans Svensson 2024-01-23 16:09:37 +01:00
  • 1a80f3faa0 [Ceres]: Update delegation signature documentation (#494) Hans Svensson 2024-01-23 15:59:30 +01:00
  • 745eeda858 [Ceres]: Raw pointers as bytes (#493) Hans Svensson 2023-12-15 13:27:12 +01:00
  • 78b758c337 [Ceres]: Allow arbitrary sized message in Crypto.verify_sig (#481) Hans Svensson 2023-08-24 16:14:40 +02:00
  • 108cb1f948 [Ceres]: Add Chain.network_id (#468) Hans Svensson 2023-07-03 08:04:16 +02:00
  • 2c8dcf8032 [Ceres]: Add arbitrary size byte arrays (#456) Hans Svensson 2023-06-30 16:21:50 +02:00
  • c51d0a5e21 [Ceres]: Document generic all names delegation signatures (#440) Hans Svensson 2023-03-22 08:55:57 +01:00
  • e44174b71c [Ceres]: document changes to Auth.tx_hash (#439) Hans Svensson 2023-03-03 10:06:45 +01:00
  • dcea538e11 [Ceres]: Introduce AENSv2 to add raw data pointers (#426) Hans Svensson 2022-11-16 21:31:44 +01:00
  • f60f9122ba [Ceres]: Add bitwise ops, Address.to_bytes and Crypto.poseidon Hans Svensson 2021-10-29 13:34:40 +02:00
  • 5c3b42aff1 Fix Typo and whitespace in sophia_features.md (#500) Hans Svensson 2024-01-25 09:57:08 +01:00
  • dbeb792ca5 Prepare release v4.7.1 (#497) Hans Svensson 2024-01-23 16:14:03 +01:00
  • f75455bb85 Bump pygments version (#496) Hans Svensson 2024-01-23 15:55:12 +01:00
  • a8d708cae0 [Ceres] Raw pointers as bytes (#493) ceres Hans Svensson 2023-12-15 13:27:12 +01:00
  • 72f583fa52 Deployed cdbd430 to master with MkDocs 1.4.2 and mike 1.1.2 gh-pages GitHub Action 2023-11-27 09:12:50 +00:00
  • cdbd430f23 Disable unused type warnings for type used inside of records (#492) Gaith Hallak 2023-11-27 12:12:24 +03:00
  • 9bcbd93ab9 Deployed 03d6dd6 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-09-14 13:01:06 +00:00
  • 03d6dd6ca2 Improve resolution of relative includes (#489) Hans Svensson 2023-09-14 15:00:30 +02:00
  • 19f9f3338c Deployed 33229c3 to v7.4.0 with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-09-05 08:08:26 +00:00
  • 8166b97d85 Deployed 33229c3 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-09-05 08:05:14 +00:00
  • 33229c3513 Prepare release v7.4.0 (#487) v7.4.0 Hans Svensson 2023-09-05 10:04:46 +02:00
  • 52643fcfeb Deployed 002e55d to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-09-04 16:51:00 +00:00
  • 002e55d529 Name lambdas by their locations (#486) Radosław Rowicki 2023-09-04 18:50:37 +02:00
  • 8032bad915 changelog #977 gh-485 radrow 2023-09-02 17:41:18 +02:00
  • 8f950ed5c5 Name lambdas by their locations radrow 2023-09-02 17:31:15 +02:00
  • 8f508383e0 [Ceres] Allow arbitrary sized message in Crypto.verify_sig (#481) Hans Svensson 2023-08-24 16:14:40 +02:00
  • 8668fd053e [Ceres] Add Chain.network_id (#468) Hans Svensson 2023-07-03 08:04:16 +02:00
  • b7ba430d65 [Ceres]: Add arbitrary size byte arrays (#456) Hans Svensson 2023-06-30 16:21:50 +02:00
  • 6bc7813f70 [Ceres]: Document generic all names delegation signatures (#440) Hans Svensson 2023-03-22 08:55:57 +01:00
  • bc020cf0b7 [Ceres]: document changes to Auth.tx_hash (#439) Hans Svensson 2023-03-03 10:06:45 +01:00
  • 31f8f36eb5 [Ceres]: Introduce AENSv2 to add raw data pointers (#426) Hans Svensson 2022-11-16 21:31:44 +01:00
  • 88a23621f3 [Ceres]: Add bitwise ops, Address.to_bytes and Crypto.poseidon Hans Svensson 2021-10-29 13:34:40 +02:00
  • 5ed5c11b00 Let CERES compiler be v8.0.0 tentatively Hans Svensson 2021-11-04 10:40:18 +01:00
  • 9e8b5f2207 Deployed 9b51815 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-08-24 11:01:17 +00:00
  • 9b518150c3 Fix typo in CHANGELOG Hans Svensson 2023-08-24 13:00:42 +02:00
  • 1c6d1d648c Deployed 6794851 to v7.3.0 with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-08-24 09:20:45 +00:00
  • d31a2e04fc Deployed 6794851 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-08-24 09:00:09 +00:00
  • 67948513d5 Prepare v7.3.0 (#484) v7.3.0 Hans Svensson 2023-08-24 10:59:42 +02:00
  • aa42a753e2 Deployed 08fa372 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-08-24 07:44:10 +00:00
  • 08fa372c24 Improve independence analysis in code optimizer (#483) Hans Svensson 2023-08-24 09:43:40 +02:00
  • 88096513c4 Deployed 3b0ca28 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-08-23 07:44:20 +00:00
  • 3b0ca28c8e Improve constraint solving (#480) Hans Svensson 2023-08-23 09:43:49 +02:00
  • a809c12b95 Bump pygments from 2.14.0 to 2.15.0 in /.github/workflows #964 dependabot/pip/dot-github/workflows/pygments-2.15.0 dependabot[bot] 2023-07-20 11:28:03 +00:00
  • 5c60e41de2 Deployed 86d7b36 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-07-17 10:32:36 +00:00
  • 86d7b36ba7 Unify typesigs when implementing interface funs (#469) Gaith Hallak 2023-07-17 13:32:11 +03:00
  • 1538af79ed [Ceres] Add Chain.network_id (#468) old_ceres Hans Svensson 2023-07-03 08:04:16 +02:00
  • c3788b2b5a [Ceres]: Add arbitrary size byte arrays (#456) Hans Svensson 2023-06-30 16:21:50 +02:00
  • fcca1bab15 Deployed 43c8328 to v7.2.1 with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-06-29 11:51:31 +00:00
  • 32a98112d3 [Ceres]: Document generic all names delegation signatures (#440) Hans Svensson 2023-03-22 08:55:57 +01:00
  • acd2fa8184 [Ceres]: document changes to Auth.tx_hash (#439) Hans Svensson 2023-03-03 10:06:45 +01:00
  • c5394c3068 [Ceres]: Introduce AENSv2 to add raw data pointers (#426) Hans Svensson 2022-11-16 21:31:44 +01:00
  • a347795475 [Ceres]: Add bitwise ops, Address.to_bytes and Crypto.poseidon Hans Svensson 2021-10-29 13:34:40 +02:00
  • c6df9e875f Let CERES compiler be v8.0.0 tentatively Hans Svensson 2021-11-04 10:40:18 +01:00
  • 7cfe77e9aa Deployed 43c8328 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-06-29 11:46:55 +00:00
  • 43c8328615 Prepare v7.2.1 release (#466) v7.2.1 Gaith Hallak 2023-06-29 15:46:23 +04:00
  • d7436dce28 Deployed c15d411 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-06-28 14:44:10 +00:00
  • c15d411660 Fix bugs caused by the addition of debugging symbols (#464) Gaith Hallak 2023-06-28 18:43:41 +04:00
  • ca30cd9783 Deployed b902226 to v7.2.0 with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-06-19 10:23:59 +00:00
  • c75dbd1079 Deployed b902226 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-06-19 10:22:09 +00:00
  • b902226c26 Prepare v7.2.0 release (#462) v7.2.0 Gaith Hallak 2023-06-19 13:21:44 +03:00
  • b3e72689b2 Deployed c1e8195 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-06-19 09:49:31 +00:00
  • c1e8195fd8 Document Chain.spend and sort Chain functions (#460) Hans Svensson 2023-06-19 11:49:03 +02:00
  • 43702221f3 Deployed d5ff9d4 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-06-15 20:46:04 +00:00
  • d5ff9d4a2f fix AENS.update stdlib doc (#459) Hans Svensson 2023-06-15 22:45:39 +02:00
  • 733ce955a5 Deployed c395849 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-06-13 11:37:14 +00:00
  • c395849684 Introduce debugging symbols (#424) Gaith Hallak 2023-06-13 14:36:48 +03:00
  • 92fe53cb61 Deployed 7bac159 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-06-01 11:23:53 +00:00
  • 7bac15949c Introduce encode/decode_value to compiler (#457) Hans Svensson 2023-06-01 13:23:21 +02:00
  • 9a95df2108 Remove unexported functions ghallak/split-typechecker Gaith Hallak 2023-05-06 20:08:16 +03:00
  • adb37fa510 Revert "Remove unused functions" Gaith Hallak 2023-05-06 20:04:18 +03:00
  • f835862a48 Remove unused functions Gaith Hallak 2023-05-06 16:34:22 +03:00
  • 8475b024df Break the dependecy between constraints and env Gaith Hallak 2023-05-06 14:07:14 +03:00
  • b98af0fab6 Move fresh_uvar to type utils Gaith Hallak 2023-05-06 13:48:52 +03:00
  • 6193d144a2 Remove unknown wanring error from type errors Gaith Hallak 2023-05-06 13:28:57 +03:00
  • add858a1ad Move bind_consts to aeso_ast_infer_types Gaith Hallak 2023-05-06 13:22:59 +03:00
  • fa94b96997 Move freshening functions to aeso_tc_env Gaith Hallak 2023-05-06 12:14:24 +03:00
  • ac428d1e36 Move error reporting to aeso_tc_env Gaith Hallak 2023-04-30 21:15:14 +03:00
  • de4c8f5412 Remove the dependency of type_utils on errors Gaith Hallak 2023-04-30 13:48:23 +03:00