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

Commit Graph

  • dbab49936d Renaming and preparing to remove oracles (#985) master Craig Everett 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
  • d9f0f95bf7 Verup, new stdlib dir discovery #985 Craig Everett 2025-02-25 16:08:31 +09:00
  • a7ca22c209 Update test Craig Everett 2025-02-24 20:57:55 +09:00
  • 75043d0254 Update test Craig Everett 2025-02-24 20:55:54 +09:00
  • 937f9ed873 Add tests Craig Everett 2025-02-24 20:54:45 +09:00
  • 1b7a8e8fcd Renaming and preparing to remove oracles Craig Everett 2025-02-24 20:46:47 +09:00
  • b3e2f687dd Merge branch 'gm' into 'master' Craig Everett 2024-12-02 20:01:55 +00:00
  • 543a304a43 New build script (old deps were wonky) #984 Craig Everett 2024-11-22 14:31:15 +09:00
  • 1cff73c0e5 Update docs Craig Everett 2024-11-21 16:38:00 +09:00
  • 3771b6a5f2 Meta update zomp Craig Everett 2024-11-12 19:13:20 +09:00
  • ec316d2a0d Include shuffle Craig Everett 2024-11-08 11:33:09 +09:00
  • 6c6bf38d8c WIP Craig Everett 2024-11-01 14:04:45 +09:00
  • 9f90396023 Merge branch 'master' into zomp Craig Everett 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
  • 18609c2927 Update CHANGELOG.md #983 Gaith Hallak 2023-11-27 11:41:04 +03:00
  • 8edc922d9d Exclude .vscode in .gitignore Gaith Hallak 2023-11-27 11:36:02 +03:00
  • a037466f2d Do not show warning for types used in records Gaith Hallak 2023-11-27 11:35:15 +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
  • 7f36e980dd Properly keep track of src_dir #980 Hans Svensson 2023-09-08 16:30:46 +02:00
  • 3ce4e7360c Add a test case Hans Svensson 2023-09-08 16:27:49 +02:00
  • 628046c007 Add documentation Hans Svensson 2023-09-08 16:27:09 +02:00
  • 46cdf80661 Add CHANGELOG Hans Svensson 2023-09-07 22:23:06 +02:00
  • dee5dd027b Add current file directory when resolving includes Hans Svensson 2023-09-07 22:20:33 +02:00
  • f94a37b02a Add aeso_utils:canonical_dir/1 Hans Svensson 2023-09-07 22:20:05 +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
  • 8048fe2cd5 Prepare release v7.4.0 #978 Hans Svensson 2023-09-05 08:54:05 +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
  • b60ecbd5bf Move Address.to_bytes documentation to correct place #972 Hans Svensson 2023-08-08 15:56:07 +02:00
  • 51c523d6b0 Allow arbitrary sized msg in signature verification Hans Svensson 2023-08-08 15:55:43 +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
  • 8819693fcf Prepare v7.3.0 #975 Hans Svensson 2023-08-24 09:50:56 +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
  • 3a822e5aef Changelog updated #974 Hans Svensson 2023-08-23 13:44:46 +02:00
  • 17229f4014 Improve independence analysis Hans Svensson 2023-08-23 13:16:57 +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
  • 887840cfd9 More cleanup #971 Hans Svensson 2023-08-08 14:03:22 +02:00
  • 20e57a29d4 Fix formatting of if_branches error Hans Svensson 2023-08-08 13:43:31 +02:00
  • 71454efda1 Better structure for constraint solving Hans Svensson 2023-08-08 13:42:56 +02:00
  • ff190b0c66 Remove unused unify_throws field from Env Hans Svensson 2023-08-07 22:19:49 +02:00
  • fad37364a5 Make unify always return true or false Hans Svensson 2023-08-07 22:17:27 +02:00
  • 6207cd09e2 Clean up constraint solving a bit Hans Svensson 2023-08-07 17:45:01 +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
  • 90ded1b4bc Unify typesigs when implementing interface funs #960 Gaith Hallak 2023-07-06 17:34:48 +04:00
  • 1538af79ed
         [Ceres] Add Chain.network_id (#468) old_ceres Hans Svensson 2023-07-03 08:04:16 +02:00
  • 3dfe1b44fd Bump aebytecode version #959 Hans Svensson 2023-06-30 18:28:09 +02:00
  • 527bca4917 Add Chain.network_id Hans Svensson 2023-06-22 09:13:49 +02:00
  • c3788b2b5a
         [Ceres]: Add arbitrary size byte arrays (#456) Hans Svensson 2023-06-30 16:21:50 +02:00
  • df88a13e92 fix wording in documentation #947 Hans Svensson 2023-06-26 13:43:17 +02:00
  • 1d16998b2b Changelog + update documentation Hans Svensson 2023-05-30 10:31:04 +02:00