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

Commit Graph

  • 7898d2a17d Mention void type radrow 2021-05-11 14:30:13 +02:00
  • 821fe63d03 CHANGELOG radrow 2021-05-11 14:28:31 +02:00
  • a77261c1d6 Cleanup radrow 2021-05-11 14:19:59 +02:00
  • 9b1b36f4c1 Fix default argument for clone radrow 2021-05-11 14:03:20 +02:00
  • b1b2dc849a Fix some tests. Remove optimization of singleton tuples radrow 2021-05-11 11:39:33 +02:00
  • 5c43be22b9 cleanup radrow 2021-05-10 16:17:53 +02:00
  • c8853b2103 works, needs cleanup radrow 2021-05-10 15:04:59 +02:00
  • 614c60f04a Fix some scoping/constraint issues radrow 2021-04-27 13:11:32 +02:00
  • c47169a4a4 CREATE sometimes compiles and sometimes not radrow 2021-04-26 14:04:34 +02:00
  • 6a46bb74ab Fixed some error messages. Type inference of child contract still does some random shit\n(mistakes arguments with result type) radrow 2021-04-21 16:21:41 +02:00
  • b13a3a5d53 move some logic away radrow 2021-04-21 13:01:48 +02:00
  • fdcfcd25a2 Refactor 2 radrow 2021-04-21 12:54:43 +02:00
  • c869270724 Refactor radrow 2021-04-21 12:53:52 +02:00
  • 8e6cf7ddfc Bytecode hash fixes radrow 2021-04-20 16:31:06 +02:00
  • 545f16da65 Fix dependent type in CLONE radrow 2021-04-20 14:55:24 +02:00
  • 851952987c CLONE compiles radrow 2021-04-20 09:48:27 +02:00
  • 59b9036a7b Pushed the clone example through the typechecker radrow 2021-04-19 15:43:20 +02:00
  • dcb311a754 Add missing files radrow 2021-04-07 08:42:17 +02:00
  • 0bea3030bc Support for CREATE, CLONE and BYTECODE_HASH radrow 2021-04-07 08:41:54 +02:00
  • d82b42518e
         Merge pull request #311 from aeternity/docs_fixing Hans Svensson 2021-05-10 16:00:32 +02:00
  • 00a3a51d0d Add missing Auth.tx #802 Hans Svensson 2021-05-10 09:54:57 +02:00
  • 6858329faa
         Merge pull request #309 from aeternity/prepare_5.0.0 v5.0.0 Hans Svensson 2021-04-30 15:17:48 +02:00
  • c2a3e333c7 Preparing v5.0.0 #800 Hans Svensson 2021-04-30 13:50:55 +02:00
  • 4787830861
         Merge pull request #308 from aeternity/merge_lima_to_master Hans Svensson 2021-04-30 14:43:16 +02:00
  • a0111066e7 Merge branch 'lima' into merge_lima_to_master #799 Hans Svensson 2021-04-30 14:07:06 +02:00
  • b25339bb8f
         Merge pull request #303 from aeternity/radrow-patch-1 Hans Svensson 2021-04-29 18:51:13 +02:00
  • cf793667ca
         Merge pull request #304 from aeternity/clarify-aesocompiler Hans Svensson 2021-04-29 18:50:32 +02:00
  • 5ccece4635
         Update docs/sophia.md #773 Nikita Fuchs 2021-04-26 11:35:30 +02:00
  • 2311d19602
         Merge pull request #291 from aeternity/GH-3282-aens_pointers_cleanup call-fee Hans Svensson 2021-04-15 10:26:56 +02:00
  • c54a0cec3d
         Clarify aeso_compiler use #795 Artur Puzio 2021-03-24 10:34:39 +00:00
  • bc47c25138
         Mention init quirk with Call.value #794 Radosław Rowicki 2021-03-22 10:26:34 +01:00
  • 3b2ce63fa7
         Merge pull request #300 from aeternity/erlps-lima Radosław Rowicki 2021-03-08 13:33:34 +01:00
  • 8b4a1aaf0d Trampoline #791 radrow 2021-03-08 12:45:21 +01:00
  • c6e7db2381
         Merge pull request #299 from aeternity/fix-ets Radosław Rowicki 2021-03-05 10:42:16 +01:00
  • 4e60d019ca Fix constraints ordering #790 fix-ets radrow 2021-02-23 11:05:02 +01:00
  • b8002029cf
         Merge pull request #294 from aeternity/mergesort Radosław Rowicki 2021-02-23 08:58:36 +01:00
  • 4630f8a09b
         Use consistent event definitions between examples #787 Denis Davidyuk 2021-02-16 14:52:37 +03:00
  • 1a14602f36 Upgrade sorting function #785 mergesort radrow 2021-02-09 14:18:42 +01:00
  • e2ef95d6fd
         Merge pull request #293 from aeternity/GH-292-desugar_error Hans Svensson 2021-02-05 11:14:47 +01:00
  • 22aaeceba8 Properly handle type errors during desugar #784 Hans Svensson 2021-01-25 21:24:08 +01:00
  • 2a78189f31 Add note about legacy (Lima) AENS pointers in update/lookup #782 Hans Svensson 2021-01-07 12:14:04 +01:00
  • 7313957182 take care of Hans' remarks Nikita Fuchs 2020-10-21 16:01:04 +02:00
  • f1d95484a5
         Merge pull request #288 from aeternity/expose-interface-fix-lima Radosław Rowicki 2020-10-21 14:01:21 +02:00
  • 4504fb8dcf
         Merge pull request #286 from aeternity/expose-interface-fix Radosław Rowicki 2020-10-21 14:00:48 +02:00
  • 7e65f26211 Fix interface exposure #779 radrow 2020-10-21 12:40:13 +02:00
  • 8798e0b2c9 Fix interface exposure #778 #777 radrow 2020-10-21 12:40:13 +02:00
  • 1dfc349065
         Merge pull request #285 from aeternity/lima-master-merge Radosław Rowicki 2020-10-15 19:50:48 +02:00
  • 1266d9ea99 Fix one test2 #776 lima-master-merge radrow 2020-10-13 10:42:38 +02:00
  • bbb049cb2e Merge branch 'lima' into lima-master-merge radrow 2020-10-13 10:33:30 +02:00
  • 787551b8bc Fix one test radrow 2020-10-13 10:29:14 +02:00
  • ac673602b9 Merge branch 'lima' into master radrow 2020-10-13 10:22:05 +02:00
  • 0b83422189
         Merge pull request #284 from aeternity/hermetization-turnoff Radosław Rowicki 2020-10-12 13:17:40 +02:00
  • 694a9e13af Merge branch 'lima' of github.com:nikita-fuchs/aesophia into lima Nikita Fuchs 2020-10-10 14:20:02 +02:00
  • b7289dfadd fixes hans marked to do, fix broken sophia.md references Nikita Fuchs 2020-10-10 14:19:10 +02:00
  • 1a5017ce2b Debug mode turns off hermetization #775 radrow 2020-10-08 17:09:24 +02:00
  • 079b3a45c9
         Merge pull request #283 from aeternity/GH-3002-blockhash_at_current_height Hans Svensson 2020-10-08 10:48:41 +02:00
  • c0d9759e60 Whitespace fixes #774 Hans Svensson 2020-10-07 16:53:24 +02:00
  • b7b242bc66 Document the (changed) behavior of Chain.block_hash Hans Svensson 2020-10-07 16:53:10 +02:00
  • 6b66b47144
         cherrypick lima changes Nikita Fuchs 2020-10-07 16:42:04 +02:00
  • a7ea6deae3
         cherrypick to remove iris content Nikita Fuchs 2020-10-07 16:39:02 +02:00
  • 8251c4f8b5
         Update sophia.md Nikita Fuchs 2020-10-06 22:16:45 +02:00
  • 7ad6f57a8d add note to sophia.md Nikita Fuchs 2020-10-06 17:17:46 +02:00
  • 29cccb8c95 restructure docs for readTheDocs Nikita Fuchs 2020-10-06 17:09:21 +02:00
  • 25fa365c29
         Merge pull request #280 from aeternity/optionally_generate_aci Grzegorz Uriasz 2020-09-10 10:05:51 +02:00
  • bb728db51b
         Provide the ACI along with the bytecode #771 optionally_generate_aci Grzegorz Uriasz 2020-09-09 18:17:21 +02:00
  • 1fee306daa
         Merge pull request #279 from aeternity/optimize_calldata_generation Grzegorz Uriasz 2020-09-09 15:50:36 +02:00
  • c4eaf2249a Don't regenerate the AST #770 Grzegorz Uriasz 2020-09-09 15:33:34 +02:00
  • 6c23fd0d41
         Merge pull request #278 from aeternity/contains-fun Hans Svensson 2020-08-27 11:25:38 +02:00
  • 3d73e52d48 Fix tests #769 radrow 2020-08-26 15:56:21 +02:00
  • 89b3ec3d17 minor optimization radrow 2020-08-26 12:10:24 +02:00
  • 7e32ef57c2 Added contains functions in List and Option. Fixed one type error catch radrow 2020-08-26 11:56:18 +02:00
  • ed5447e430
         Merge pull request #273 from aeternity/GH272-singleton_record_calldata_decode Hans Svensson 2020-08-11 07:58:36 +02:00
  • db4de5d926 Fix singleton record calldata decode + test #764 Hans Svensson 2020-08-10 16:35:37 +02:00
  • 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
  • 4661225b66 Fixed ordering of diffs in CHANGELOG #746 radrow 2020-04-02 15:06:45 +02:00
  • 19f52c0d63 Version push – 4.3.0 radrow 2020-04-02 14:29:58 +02:00
  • 85b151aa65
         Prepare 4.3.0 (#254) Radosław Rowicki 2020-04-02 13:59:22 +02:00
  • 525fe0cb44 Prepare 4.3.0 #745 radrow 2020-04-02 13:51:11 +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
  • 01a64b0367 Updated docs #742 radrow 2020-03-27 16:41:48 +01:00