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

Commit Graph

  • 6b60fde2df Merge pull request #267 from aeternity/option-fix Radosław Rowicki 2020-06-18 15:05:55 +02:00
  • dd8eea0d55 Merge pull request #261 from aeternity/fixes Radosław Rowicki 2020-06-07 18:01:03 +02:00
  • eb71abc665 Fixed force function #758 Radosław Rowicki 2020-06-06 14:36:46 +02:00
  • eff1ad4688 Merge pull request #265 from aeternity/improve_docs Hans Svensson 2020-06-05 13:00:42 +02:00
  • cb2588fae2 Make the network id an explicit part of the signature material #756 Hans Svensson 2020-05-29 08:47:01 +02:00
  • 08261a319b Merge pull request #264 from aeternity/update_readme Hans Svensson 2020-05-29 08:45:23 +02:00
  • f21717a9c0 Make README less outdated #755 Hans Svensson 2020-05-29 08:35:19 +02:00
  • 9753f90034 Merge pull request #262 from aeternity/fix_types Hans Svensson 2020-05-27 08:10:18 +02:00
  • 8f240a7ddf Fix AENS types + whitespace #753 Hans Svensson 2020-05-27 08:06:06 +02:00
  • 54e43764ca Ban empty contracts, ban function blocks with mismatched declarations #752 radrow 2020-05-15 19:09:08 +02:00
  • 05b87fe200 Merge pull request #259 from kryptokrauts/master Hans Svensson 2020-05-07 16:07:10 +02:00
  • cc07e3a638 fix param description for AENS interface #750 Marco Walz 2020-05-05 11:21:27 +02:00
  • ea5850cf93 Merge pull request #256 from radrow/master Radosław Rowicki 2020-04-30 13:52:50 +02:00
  • d2dcb9e249 Add AENS example, readd delegation signature chapter, fix links #747 radrow 2020-04-30 00:02:26 +02:00
  • adb3cf5406 Update documentation to master radrow 2020-04-29 15:27:40 +02:00
  • ad78f440d9 Merge lima radrow 2020-04-02 15:32:26 +02:00
  • 962ddf5303 Version push – 4.3.0 (#255) v4.3.0 #748 Radosław Rowicki 2020-04-02 15:10:53 +02:00
  • 85b151aa65 Prepare 4.3.0 (#254) Radosław Rowicki 2020-04-02 13:59:22 +02:00
  • 93341dc13b Prepared for REPL usage (#218) Radosław Rowicki 2020-04-02 12:29:14 +02:00
  • 98036eff65 Update TOC in sophia.md (#245) Radosław Rowicki 2020-04-01 13:11:02 +02:00
  • dc977f7354 Fixed example (#249) Radosław Rowicki 2020-03-31 13:14:13 +02:00
  • 4f554acee6 Fix error messages for some illegal constructions, fix absolute path includes (#251) Radosław Rowicki 2020-03-30 14:52:16 +02:00
  • 48b52cb501 Enchanted Frac library a bit (#253) Radosław Rowicki 2020-03-29 17:14:01 +02:00
  • 515838e2f9 Handle negative numbers in aci (#247) Ulf Norell 2020-03-23 18:11:00 +01:00
  • a5cbf2fd79 Updated CHANGELOG #741 changelog-update radrow 2020-03-23 12:48:47 +01:00
  • 83e03f3013 Added documentation (#239) Radosław Rowicki 2020-03-10 12:39:39 +01:00
  • 42cd47d1b3 Merge pull request #241 from aeternity/GH-203-protected-calls Ulf Norell 2020-03-02 16:15:05 +01:00
  • 93d2086ddf aebytecode commit #732 Ulf Norell 2020-03-02 08:51:54 +01:00
  • 9487b79f42 Fix dialyzer complaints Ulf Norell 2020-03-02 11:53:27 +01:00
  • e64ac9396a Test cases for protected calls Ulf Norell 2020-03-02 11:41:45 +01:00
  • 4a812b6f3b Error message tweaks Ulf Norell 2020-02-25 10:45:38 +01:00
  • fe2d93ea8a Compile protected calls to CALL_PGR Ulf Norell 2020-02-24 15:02:19 +01:00
  • ecbc15db1b Add 'protected' named argument to remote calls Ulf Norell 2020-02-24 14:32:04 +01:00
  • d0caee24d9 Merge pull request #240 from aeternity/GH-176-additional_documentation Hans Svensson 2020-02-28 11:16:38 +01:00
  • 57eb77f2f8 Add some comments to String.aes #731 Hans Svensson 2020-02-28 10:55:39 +01:00
  • 53ed60b498 Merge pull request #238 from aeternity/GH-176-more_string_functions Hans Svensson 2020-02-26 20:01:10 +01:00
  • e49738c90c New aebytecode reference #729 Hans Svensson 2020-02-26 14:16:13 +01:00
  • a38a365181 Change Char.to_lower/upper into String.to_lower/upper Hans Svensson 2020-02-26 14:15:49 +01:00
  • d7fa4d65ec More comments in stdlib (#237) Radosław Rowicki 2020-02-25 12:56:51 +01:00
  • 0dddac3d86 Merge pull request #236 from aeternity/GH-176-more_string_functions Hans Svensson 2020-02-25 09:49:00 +01:00
  • 3da694e798 New aebytecode commit hash #727 Hans Svensson 2020-02-24 15:36:19 +01:00
  • e98edd4eef Handle UTF-8 in character literals Hans Svensson 2020-02-24 15:35:54 +01:00
  • 2bad76314f More efficient implementations in String.aes Hans Svensson 2020-02-24 15:34:23 +01:00
  • bd7ed2ef8c Instant unification error on arguments count mismatch (#225) Radosław Rowicki 2020-02-21 10:28:55 +01:00
  • b9acf24dca Make String.aes a stdlib + add more string functions Hans Svensson 2020-02-21 09:45:11 +01:00
  • 2bf65cfd98 Add Frac (#222) Radosław Rowicki 2020-02-13 11:02:47 +01:00
  • 6682b24156 Merge pull request #223 from aeternity/GH-202-Auth_tx_introspection Hans Svensson 2020-02-11 15:48:46 +01:00
  • b31be6227d Update aebytecode reference #714 Hans Svensson 2020-02-11 10:00:59 +01:00
  • bbc8555331 Auth.tx implementation and types Hans Svensson 2020-02-11 10:00:46 +01:00
  • 13bc821211 Optimize stdlib (#215) Radosław Rowicki 2020-02-07 19:51:12 +01:00
  • 34c10e1518 Merge pull request #214 from aeternity/GH-188-AENS_lookup Hans Svensson 2020-02-03 14:37:55 +01:00
  • bb79e7dd89 Update aebytecode reference #705 Hans Svensson 2020-02-03 13:32:16 +01:00
  • c3426f0e65 Add AENS.lookup Hans Svensson 2020-02-03 12:52:00 +01:00
  • db01e237c1 Add Oracle.expiry Hans Svensson 2020-02-03 12:24:27 +01:00
  • 760d2841d1 From Iris (with AENS.update) AENS.resolve is not Pure Hans Svensson 2020-02-03 12:22:34 +01:00
  • 43013ec920 Merge pull request #213 from aeternity/merge_lima_to_master Hans Svensson 2020-01-15 15:54:41 +01:00
  • d821de6381 Merge 'origin/lima' into 'origin/master' #704 Hans Svensson 2020-01-15 15:03:11 +01:00
  • efd45df820 Merge pull request #212 from aeternity/GH-211-prepare_release_4_2_0 v4.2.0 Hans Svensson 2020-01-15 11:58:47 +01:00
  • a6f51d23f3 Bump version to 4.2.0 and fix CHANGELOG #703 Hans Svensson 2020-01-15 11:39:25 +01:00
  • 4d4a14a9ab GH-196 pattern matching lhs (#210) Ulf Norell 2020-01-15 09:41:03 +01:00
  • 282f743925 Merge pull request #209 from aeternity/merge_lima_to_master Hans Svensson 2019-12-19 15:34:26 +01:00
  • cf1072140e Merge 'origin/lima' into merge_lima_to_master #700 Hans Svensson 2019-12-19 15:09:48 +01:00
  • f7abaf07fa Add list comprehension match to test case Ulf Norell 2019-12-16 14:07:16 +01:00
  • d019e44924 Compile values to immediates when possible Ulf Norell 2019-12-16 08:46:58 +01:00
  • ad54134961 Parse negative literal patterns Ulf Norell 2019-12-16 08:46:35 +01:00
  • b51a79b5e1 Allow patterns in lets and list comprehension binds Ulf Norell 2019-12-10 16:12:08 +01:00
  • d844c4d276 Fix missing type annotation in list comprehension body Ulf Norell 2019-12-12 08:50:17 +01:00
  • 64e2fff91a Handle list comprehensions in pretty printer Ulf Norell 2019-12-12 08:49:54 +01:00
  • d4f291f252 Handle qualified constructors in patterns Ulf Norell 2019-12-11 09:02:32 +01:00
  • b9f585ebaf Merge pull request #205 from aeternity/fate-flatten-store Ulf Norell 2019-12-12 09:22:37 +01:00
  • 954af13f59 Fix debug printing of store registers #696 Ulf Norell 2019-12-12 09:14:34 +01:00
  • 2e4558b3b4 Changelog Ulf Norell 2019-12-10 12:57:52 +01:00
  • a403a9d227 Unbox singleton tuples and records Ulf Norell 2019-11-26 15:08:57 +01:00
  • c7b846cbfe Merge pull request #190 from aeternity/GH-189-parse-error-crash Ulf Norell 2019-12-09 10:27:20 +01:00
  • bf5e2e2443 Fix parse errors causing crashes instead of nice errors #681 Ulf Norell 2019-12-06 17:09:48 +01:00
  • 75797686ad Merge pull request #187 from aeternity/GH-2850-add_fancy_crypto_bls12_381 Hans Svensson 2019-11-29 15:27:38 +01:00
  • ed9384c2af Merge pull request #185 from aeternity/tb-rebar-lock-check Tino Breddin 2019-11-27 17:28:31 +01:00
  • 1c24a700dc Add BLS12-381 operations (to FATE) #678 Hans Svensson 2019-11-27 10:41:14 +01:00
  • f2e9fbcc51 Merge pull request #186 from aeternity/merge_lima Hans Svensson 2019-11-27 10:50:29 +01:00
  • 2d49426fe0 Merge 'origin/lima' into master #677 Hans Svensson 2019-11-27 10:46:18 +01:00
  • f5df2c1a5f Add CI workflow #676 Tino Breddin 2019-11-26 17:27:26 +01:00
  • 04445e4dee Add CI check to verify rebar.lock Tino Breddin 2019-11-26 17:24:02 +01:00
  • 46a30b118f Get rid of unnecessary return instruction after tail-call Ulf Norell 2019-09-30 11:59:27 +02:00
  • bb1a45c557 Improve case-on-constructor optimisation Ulf Norell 2019-09-24 16:22:56 +02:00
  • 0a22c7a34a More let-floating Ulf Norell 2019-09-24 16:22:41 +02:00
  • c8153f94a6 More aggressive freshening to avoid shadowing issues Ulf Norell 2019-09-24 16:22:25 +02:00
  • 63d51baaa3 Dialyzer issues Ulf Norell 2019-09-24 11:00:10 +02:00
  • cb045b0256 whitespace Ulf Norell 2019-09-24 10:43:21 +02:00
  • c84064da7f Inline local functions and simplify case-on-constructor Ulf Norell 2019-09-24 10:29:36 +02:00
  • ad88797cef Proper handling of lets in term_to_fate Ulf Norell 2019-09-24 10:29:08 +02:00
  • 6c3932b10c Flattened state layout Ulf Norell 2019-09-23 21:57:08 +02:00
  • 8d7c637241 Don't confuse variables and store registers in fate asm generation Ulf Norell 2019-09-23 16:49:48 +02:00
  • a8119f1219 Track state layout Ulf Norell 2019-09-23 15:56:40 +02:00
  • d0fdd06d66 Change get_state and set_state fcode primitives to take a register Ulf Norell 2019-09-23 14:51:15 +02:00
  • 99ecda4b7b Fix warnings in test suites Ulf Norell 2019-09-23 12:17:22 +02:00
  • e645a8d034 Optimize before lambda lifting Ulf Norell 2019-09-02 11:17:13 +02:00
  • 499e2f8200 Handle records and type aliases correctly in fcode Ulf Norell 2019-08-30 16:40:17 +02:00
  • 5465b74ac9 Allow specifying store register in FATE backend Ulf Norell 2019-08-30 16:39:51 +02:00
  • 6ca63e4b40 Merge pull request #184 from aeternity/GH-181-prepare-4.1.0 v4.1.0 Hans Svensson 2019-11-26 09:02:56 +01:00
  • 08b6148223 Bump version to 4.1.0 #675 Ulf Norell 2019-11-26 09:00:44 +01:00