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

Commit Graph

  • 6d87960147
         Merge pull request #135 from aeternity/radrow-patch-3 Radosław Rowicki 2019-08-29 15:25:22 +02:00
  • 1d962f2001 Updated some functions, renamed, added from_to radrow 2019-08-29 13:41:04 +02:00
  • cce243e513
         Remove find_all from stdlib #626 Radosław Rowicki 2019-08-28 14:17:30 +02:00
  • 60528e9128
         Merge pull request #134 from aeternity/unit-to-typerep Ulf Norell 2019-08-28 10:19:10 +02:00
  • 80075a9d36 Add missing case for builtin unit type #625 Ulf Norell 2019-08-28 09:45:25 +02:00
  • d26fcace41
         Merge pull request #133 from aeternity/stdlib-overhaul Ulf Norell 2019-08-28 08:38:40 +02:00
  • c51531f620 please dialyzer #624 Ulf Norell 2019-08-27 18:04:32 +02:00
  • 3b2daf8cd6 Better errors when using old tuple type syntax Ulf Norell 2019-08-27 15:08:56 +02:00
  • 3ff93c5c89 Fix bug in include chasing Ulf Norell 2019-08-27 14:29:24 +02:00
  • 850221aaf3 Remove no_implicit_stdlib option Ulf Norell 2019-08-27 14:05:22 +02:00
  • 3f1c23ace3 Use .. in list comprehension test Ulf Norell 2019-08-27 14:00:23 +02:00
  • 0efbcf302c Fix roundtrip test to ignore ListInternal Ulf Norell 2019-08-27 14:00:02 +02:00
  • 7705138ab2 auto-import ListInternal when using list comprehensions or [a..b] Ulf Norell 2019-08-27 13:59:36 +02:00
  • 5f733e01dd Implement [a..b] Ulf Norell 2019-08-27 13:56:39 +02:00
  • 79a928e530 Fix bad type specs Ulf Norell 2019-08-27 13:56:02 +02:00
  • d23208c191 Fix bugs in dependency analysis Ulf Norell 2019-08-27 13:55:45 +02:00
  • e7d3a5b9f2 Put flat_map in ListInternal.aes Ulf Norell 2019-08-27 11:33:43 +02:00
  • 02af75aa34 Move stdlib code to priv dir and don't do any implicit includes Ulf Norell 2019-08-27 10:52:38 +02:00
  • 9eed18f812
         Merge pull request #132 from aeternity/fate-compiler-optimizations Ulf Norell 2019-08-26 08:25:40 +02:00
  • 07cf162703 Fix performance problem in FATE optimiser caused by debug printing #623 Ulf Norell 2019-08-23 10:07:43 +02:00
  • d4c6187739
         Merge pull request #130 from aeternity/PT-168026424-prepare_sophia_4_0_RC1 v4.0.0-rc1 Hans Svensson 2019-08-22 16:02:06 +02:00
  • 2620aa64b4 Add some no_implicit_stdlib for now #621 Hans Svensson 2019-08-22 15:21:41 +02:00
  • 20064b72fa Compile tail-calls to current function to jumps Ulf Norell 2019-08-22 14:50:15 +02:00
  • a942561907 Improved optimizations of FATE code Ulf Norell 2019-08-22 14:49:48 +02:00
  • a9617a025f
         Merge pull request #129 from aeternity/deadcode-elim Ulf Norell 2019-08-22 14:25:31 +02:00
  • 1fbfe418c7
         Update CHANGELOG.md Radosław Rowicki 2019-08-22 14:23:15 +02:00
  • bde76c8580 Preparing 4.0.0-rc1 Hans Svensson 2019-08-22 13:30:00 +02:00
  • e94b5379ed Deadcode elimination pass #620 Ulf Norell 2019-08-21 11:41:47 +02:00
  • cbc8909954 Add default init function in fcode pass instead of in assembler Ulf Norell 2019-08-21 11:41:19 +02:00
  • cfd036b199 Test deadcode elimination for FATE backend Ulf Norell 2019-07-09 09:30:01 +02:00
  • bbf043f4ee
         Merge pull request #126 from radrow/listcompfixes Ulf Norell 2019-08-21 11:51:16 +02:00
  • ba41ab457d
         Merge pull request #127 from aeternity/radrow-patch-1 Ulf Norell 2019-08-21 11:51:04 +02:00
  • 49634a6024
         Merge pull request #128 from aeternity/PT-167996886-a_proper_ecverify Hans Svensson 2019-08-21 11:19:48 +02:00
  • 2dbef80249 aebytecode commit #619 Hans Svensson 2019-08-21 09:29:51 +02:00
  • ebdd38c505 Change ecverify into verify_sig and then add an actual ecverify Hans Svensson 2019-08-21 09:29:40 +02:00
  • 5dbca47d34
         Fixed intersperse in stdlib #618 Radosław Rowicki 2019-08-20 20:16:52 +02:00
  • 79d491e4a8 Fixed comprehension dependencies #617 radrow 2019-08-20 18:44:47 +02:00
  • 73b9a54172
         Merge pull request #125 from aeternity/PT-162578406-payable_modifier Hans Svensson 2019-08-19 16:27:18 +02:00
  • bb0c3b54df ACI should also track payable #616 Hans Svensson 2019-08-16 14:38:20 +02:00
  • d0485304b6 Please dialyzer Hans Svensson 2019-08-16 11:11:25 +02:00
  • 86aeaa40ef Set aebytecode commit Hans Svensson 2019-08-16 09:37:16 +02:00
  • e9505e240f Add Address.is_payable(address) Hans Svensson 2019-08-15 13:57:24 +02:00
  • f27d37d624 Add payable modifier for contracts and entrypoints Hans Svensson 2019-08-14 13:40:57 +02:00
  • e566186800
         Merge pull request #123 from aeternity/PT-167221635-remote-type-check Ulf Norell 2019-08-16 09:22:30 +02:00
  • 956b78fb01 aebytecode commit #614 Ulf Norell 2019-08-16 09:14:51 +02:00
  • 522d977be9 Remote calls now take typerep arguments Ulf Norell 2019-08-13 14:18:33 +02:00
  • dd26649f7d [PT-167805291] Add opcode for ecrecover (#122) Tino Breddin 2019-08-14 21:02:46 +02:00
  • 599e640df4 Please dialyzer #613 Hans Svensson 2019-08-14 19:29:27 +02:00
  • 1549954612 Add some type specs Tino Breddin 2019-08-14 17:42:39 +02:00
  • c323993e60 Update aebytecode Tino Breddin 2019-08-13 16:44:33 +02:00
  • 0cc4a5babf Add ecrecover to changelog Tino Breddin 2019-08-14 16:06:05 +02:00
  • 03b45b2af3 Extend signature bytes type used for ecrecover Tino Breddin 2019-08-14 09:08:06 +02:00
  • b0e07ef4e7 Add opcode for ecrecover Tino Breddin 2019-08-13 16:41:02 +02:00
  • 451b3636ac change aebytecode ver to the one from full node with my changes on top #615 aens-at-full-node-ver sennui 2019-08-14 15:22:30 +02:00
  • 514d80259e add extra argument to claim for bidding sennui 2019-08-12 18:31:42 +02:00
  • b669d2df1e Added list comprehensions and standard List, Option, Func, Pair, and Triple library (#105) Radosław Rowicki 2019-08-14 13:53:58 +02:00
  • d96f1a80d5 change version of bytecode to the one full node pulls at a time (not head of the master!) #611 pt-166866806-claim-with-name-fee sennui 2019-08-14 12:09:28 +02:00
  • 6c0ea774c4 add extra argument to claim for bidding sennui 2019-08-12 18:31:42 +02:00
  • 69ad8ce9bc
         Merge pull request #121 from aeternity/PT-166788647-fate-efficient-maps Ulf Norell 2019-08-14 08:58:54 +02:00
  • 3877174acb aebytecode commit #612 Ulf Norell 2019-08-13 15:53:49 +02:00
  • 448adb8890 Don't generate remote tail calls Ulf Norell 2019-08-12 14:43:32 +02:00
  • 864a94c59e
         Merge pull request #119 from radrow/patch-2 Hans Svensson 2019-08-12 16:59:58 +02:00
  • 518ae8e659
         Mention tuple syntax change in changelog #610 Radosław Rowicki 2019-08-12 16:42:34 +02:00
  • 66d556907d Fixed hash type #596 radrow 2019-08-07 13:00:04 +02:00
  • 4d13e01177 Fixed performance issues. Changed include management radrow 2019-08-07 12:56:16 +02:00
  • ba8138d892 Updated stdlib to new syntax. Added recursor and changed all/any functions radrow 2019-08-05 16:15:42 +02:00
  • 9101d2c7fe 2 and 3 tuple stdlib radrow 2019-07-18 14:39:31 +02:00
  • aa5b686ea8 Option stliv radrow 2019-07-18 14:13:28 +02:00
  • 70f963f4b9 Added more fail tests radrow 2019-07-18 12:59:08 +02:00
  • c68b52d78d Added if guards and let statements in list comp radrow 2019-07-17 15:45:21 +02:00
  • a05e6ba800 Fixed typo radrow 2019-07-16 17:10:50 +02:00
  • 8d4e246686 Fix iter function radrow 2019-07-16 16:36:59 +02:00
  • b41773ebae Remove typo radrow 2019-07-16 16:33:15 +02:00
  • b0b560d335 Undelete removed type spec radrow 2019-07-16 16:28:09 +02:00
  • 672ffd6ce1 Added fail test radrow 2019-07-16 16:25:19 +02:00
  • bff1acae69 Refixed imports and added few tests radrow 2019-07-16 16:13:30 +02:00
  • d170dd00eb Fixed cyclic includes radrow 2019-07-16 12:03:07 +02:00
  • d64f41dc13 More functions radrow 2019-07-10 11:31:06 +02:00
  • 45c0020101 Improved stdlib radrow 2019-07-10 01:32:10 +02:00
  • 8b06775331 Fixed type template Radosław Rowicki 2019-07-09 23:25:20 +02:00
  • 7a762be17e Extended stdlib for lists. Added error message for redefinition of stdlibx radrow 2019-07-09 17:39:58 +02:00
  • 18235e5b56 Added standard List library and list comprehensions radrow 2019-05-24 13:36:00 +02:00
  • df12f6af91
         Merge pull request #118 from aeternity/PT-167126818 Thomas Arts 2019-08-06 15:30:47 +02:00
  • 6aed5dfacb Upgrade to newer aebytecode version #609 Thomas Arts 2019-08-06 13:20:03 +02:00
  • cecc977898 Compiler returns abi_version Thomas Arts 2019-08-06 13:11:31 +02:00
  • 74933b0616
         Merge pull request #117 from aeternity/PT-167701356-split-store Ulf Norell 2019-08-06 12:27:18 +02:00
  • 6a27c4a68b
         Merge pull request #116 from aeternity/another_no_code Hans Svensson 2019-08-05 15:21:27 +02:00
  • d526e55c26 to_sophia_value should also use no_code option #607 Hans Svensson 2019-08-05 15:19:22 +02:00
  • 6f7f5fa13c
         Merge pull request #115 from aeternity/PT-166731397-add_compiler_backend Hans Svensson 2019-08-05 15:00:32 +02:00
  • 2d6381dc6f Generate INIT function which writes the state instead of returning it #608 Ulf Norell 2019-08-05 14:36:40 +02:00
  • 3663b4e5d0 Add no_code option to aeso_compile (for encode/decode calldata) #606 Hans Svensson 2019-08-05 12:00:14 +02:00
  • 4478fee6e6 Add ACI calldata test Hans Svensson 2019-08-05 10:46:56 +02:00
  • 79ae92a068 Add missing error message Ulf Norell 2019-08-05 14:01:35 +02:00
  • eb968d3cb9
         Merge pull request #114 from aeternity/latest-aebytecode Ulf Norell 2019-08-05 11:54:01 +02:00
  • 054a5a4867 Update to latest aebytecode #605 Ulf Norell 2019-08-05 11:51:10 +02:00
  • e198dd8311
         Merge pull request #113 from aeternity/test-fixes Ulf Norell 2019-08-05 09:31:31 +02:00
  • 46a996ead8 Update test case #604 Ulf Norell 2019-08-05 09:20:09 +02:00
  • 2bf6ab7655
         Merge pull request #110 from radrow/patch-1 Hans Svensson 2019-08-05 09:15:12 +02:00
  • 5ff7aa5821
         Merge pull request #109 from radrow/tuple-type Ulf Norell 2019-08-05 09:13:30 +02:00
  • 045df292be Fixed pretty printing and pattern split (#111) Radosław Rowicki 2019-07-29 13:27:01 +02:00