Commit Graph

  • 697629022e Fix hash function arguments. Erik Stenman 2019-05-24 09:11:08 +02:00
  • 723b46afa0 Fix call types. Erik Stenman 2019-05-24 09:07:37 +02:00
  • 21016885a0 Add accepted types to operator declarations. Check opcode numbering. Erik Stenman 2019-05-24 08:44:11 +02:00
  • 0d1899b32a
    Pt 165352420 dissallow stack n (#42) Erik Stenman 2019-05-23 13:40:49 +02:00
  • 97db9a86e4
    Merge branch 'master' into PT-165352420-dissallow-stack-N #159 Erik Stenman 2019-05-23 13:39:05 +02:00
  • 3e0e289f2f
    Get rid of redundant arity field from op defs. Reorder and renumber ops. Fix bb_end for abort and exit. (#41) Erik Stenman 2019-05-23 13:37:32 +02:00
  • 590697503e FATE does not accept arbitrary stack positions, only the accumulator aka stack 0. Erik Stenman 2019-05-23 12:35:24 +02:00
  • 8aed4d5cc6 Get rid of redundant arity field from op defs. Reorder and renumber ops. Fix bb_end for abort and exit. #158 Erik Stenman 2019-05-23 11:44:04 +02:00
  • 11a8997ac7
    Pt 166148534 refactor fate code (#40) Tobias Lindahl 2019-05-23 08:15:18 +02:00
  • cb47c92b9b
    Fix spelling #157 Tobias Lindahl 2019-05-22 15:13:25 +02:00
  • 6640414b38 More compact implementation of serialization/deserialization Tobias Lindahl 2019-05-22 14:42:21 +02:00
  • f3c30b059a Fix documentation of the SPEND op Tobias Lindahl 2019-05-22 10:42:00 +02:00
  • fd55b58125 Break out fate code to separate adt module Tobias Lindahl 2019-05-21 17:11:41 +02:00
  • 949837ff2b Change names of generated aeb_fate_code -> aeb_fate_ops Tobias Lindahl 2019-05-21 17:08:05 +02:00
  • 2f4e1888c2
    Merge pull request #38 from aeternity/PT-165857097-add-gas-and-value-to-calls Tobias Lindahl 2019-05-09 14:18:15 +02:00
  • a9389e4e69 Add the CALL_VALUE instruction #155 Tobias Lindahl 2019-05-08 15:35:59 +02:00
  • 2d3cede235 Add value to remote calls and the new ops CALL_GR and CALL_GTR Tobias Lindahl 2019-05-07 18:26:04 +02:00
  • 08a09b065b
    Merge pull request #39 from aeternity/PT-165440601-165713319-sophia_addons Hans Svensson 2019-05-09 09:51:40 +02:00
  • 5fd076f043 Add CREATOR opcode and address check primops #156 Hans Svensson 2019-05-09 09:35:48 +02:00
  • 2555868990
    Merge pull request #37 from aeternity/fate-compiler Ulf Norell 2019-05-07 13:04:53 +02:00
  • 7eafbc22ae
    Merge pull request #36 from aeternity/PT-165760129-fix-object-parsing Tobias Lindahl 2019-05-07 12:40:20 +02:00
  • 3ed0fcbe05 Add test for parsing immediate objects #153 Tobias Lindahl 2019-05-07 11:28:54 +02:00
  • b6019eb81b Fix object parsing Tobias Lindahl 2019-05-07 11:16:05 +02:00
  • 6eab9a32c9 Bump aeserialization dependency #154 Ulf Norell 2019-05-07 10:11:20 +02:00
  • 91fc56c322 Change local calls to allow dynamic function name Ulf Norell 2019-05-06 10:24:54 +02:00
  • 1887486d36 Replace STR_EQ by APPEND Ulf Norell 2019-04-30 11:48:11 +02:00
  • bf6741eac4 Format of li should be {immediate, [integer()]} Ulf Norell 2019-04-29 13:37:00 +02:00
  • 491489ca7d Change ~w to ~p Ulf Norell 2019-04-29 09:53:51 +02:00
  • 91c4ab5bea
    Merge pull request #35 from aeternity/PT-property-based-tests Thomas Arts 2019-05-06 14:51:04 +02:00
  • 163e805f55 Enable running properties as Eunit tests #152 #151 Run-property-based-tests-as-tests Thomas Arts 2019-04-11 13:39:42 +02:00
  • d69375e72b Fix types Thomas Arts 2019-05-02 13:07:14 +02:00
  • 2b3603e86f
    Merge pull request #33 from aeternity/PT-165760129-FATE-blockhash Tobias Lindahl 2019-05-02 12:28:58 +02:00
  • 31d188ce81 Update test of BLOCKHASH to correct arity #150 Tobias Lindahl 2019-05-02 10:52:07 +02:00
  • dfca41c98d Correct arity for BLOCKHASH Tobias Lindahl 2019-05-02 10:33:26 +02:00
  • 1526ad3bf0
    Merge pull request #32 from aeternity/remove_bytes_from_aevm Hans Svensson 2019-04-23 17:43:41 +02:00
  • 4e325ff203 Revert bytes(N) from ABI encode it in word/tuple #149 Hans Svensson 2019-04-23 16:21:11 +02:00
  • e8253b0970
    Merge pull request #31 from aeternity/PT-164629541-generic_hash_and_signature Hans Svensson 2019-04-23 10:34:23 +02:00
  • 230e2187ce Add bytes(int) as type + ecverify_secp256k1 #148 Hans Svensson 2019-04-12 14:10:56 +02:00
  • a6a2686d53
    Fixing edoc build the easy way. Real documentation in Readme.md. (#30) Erik Stenman 2019-04-15 12:18:16 +02:00
  • 885955335a Fixing edoc build the easy way. Real documentation in Readme.md. #147 Erik Stenman 2019-04-15 09:58:08 +02:00
  • 56cf62b487
    Add setelement instruction. (#29) Erik Stenman 2019-04-12 15:47:16 +02:00
  • f190f3ea1a Add setelement instruction. #146 Erik Stenman 2019-04-12 15:42:35 +02:00
  • 15628c9a05
    Merge pull request #28 from aeternity/PT-165079561-fate-chain-api Tobias Lindahl 2019-04-12 11:43:13 +02:00
  • 431b311ae5 Differ between BALANCE for the current contract and BALANCE_OTHER for a remote address #145 Tobias Lindahl 2019-04-12 11:04:56 +02:00
  • 28f6c42647
    Merge pull request #27 from aeternity/PT-165246396-prepare-remove-dependency Thomas Arts 2019-04-11 08:56:47 +02:00
  • 734c8e8e40 ignore generated aefate file #144 Thomas Arts 2019-04-10 15:44:53 +02:00
  • 436ba457e9 Robuster way to create binaries from strings Thomas Arts 2019-04-10 15:43:50 +02:00
  • 0261b76314 tuple_to_list is now replaced by a constructor and the "convenience" functions will be moved to apps/aefate tests were they are needed Thomas Arts 2019-04-10 15:43:25 +02:00
  • e1e2236a26 If we have destructors for maps, lists, etc, we need one for tuples as well Thomas Arts 2019-04-10 15:42:33 +02:00
  • 04d64dfe9b Extend QuickCheck model to use the make_BLA functions to create the fate data Thomas Arts 2019-04-10 15:41:59 +02:00
  • afcc6fd31a
    Merge pull request #26 from aeternity/PT-165180296-fix-fate-scanner Thomas Arts 2019-04-10 10:49:33 +02:00
  • 6466ddb866 Bump version #143 Thomas Arts 2019-04-09 14:02:21 +02:00
  • 75f3eeffa7 Add quickcheck properties Thomas Arts 2019-04-09 10:32:08 +02:00
  • a670d1ca6c Remove the quotes from scanned string Thomas Arts 2019-04-09 09:05:26 +02:00
  • 96c0fab3ab Remove fate_type_type is not a fate_type Thomas Arts 2019-04-09 08:29:55 +02:00
  • 90659342c0 Quote the string Thomas Arts 2019-04-08 16:29:55 +02:00
  • f88fe008bf Add fate_bits as type Thomas Arts 2019-04-08 16:29:45 +02:00
  • f5f007e74d Since the binaries are likely to be strings, unicode conversion makes more sense. Thomas Arts 2019-04-08 16:29:31 +02:00
  • 0c01215b6a fix arities formatting Thomas Arts 2019-04-08 14:49:17 +02:00
  • fa64bbb56c Don't forget z Thomas Arts 2019-04-08 13:41:23 +02:00
  • fe7e3a638a Fix scan error Thomas Arts 2019-04-08 12:29:18 +02:00
  • d2c70509dd ignore more Thomas Arts 2019-04-08 11:52:43 +02:00
  • 15ee836ddb Explanatory comment Thomas Arts 2019-04-08 11:50:12 +02:00
  • 68e6a2163e fate_type_type should be {variant, List} without explicitly storing the size Thomas Arts 2019-04-08 11:50:01 +02:00
  • 9041423906
    Merge pull request #25 from aeternity/generalized_accounts Hans Svensson 2019-04-08 11:30:09 +02:00
  • 913abb6c7b Add AUTH primops + primop range #142 Hans Svensson 2019-03-26 13:09:28 +01:00
  • 2d599df0ea
    Merge pull request #24 from aeternity/PT-164597852-move-aesophia-heap Robert Virding 2019-04-02 10:06:55 +02:00
  • 54aace97af Remove local blake2 module #141 Robert Virding 2019-04-01 16:51:35 +02:00
  • 7e7f061b34 Move TYPEREP defs to aebytecode Robert Virding 2019-03-30 23:04:11 +01:00
  • 333bf53537 Change function references from aeso_sophia to aeb_aevm_data Robert Virding 2019-03-27 18:28:34 +01:00
  • 0528ee1229 Fix (some) references to aeso_ types Robert Virding 2019-03-20 23:34:23 +01:00
  • 8425eb80c5 Remove old_create_calldata function Robert Virding 2019-03-20 23:31:32 +01:00
  • c00c4a5ac3 First commit of moved functions Robert Virding 2019-03-20 17:20:48 +01:00
  • 662b611e6d
    New representation of variant values. (#23) Erik Stenman 2019-03-29 14:52:22 +01:00
  • e4d18c7f29 Specify type of elments (byte) in arities list. #140 Erik Stenman 2019-03-29 10:37:34 +01:00
  • cd8f7f3b2d New representation of variant values. Erik Stenman 2019-03-29 10:09:52 +01:00
  • 9abeb21eee
    Pt 164601244 add hash and signature type (#22) Erik Stenman 2019-03-25 17:57:12 +01:00
  • fef56ad695 Fix module name typo. #139 Erik Stenman 2019-03-25 13:45:53 +01:00
  • 429175f235 Use aeserialization for base58c encoding/decoding. Erik Stenman 2019-03-25 13:30:44 +01:00
  • ff37438ccf Fix spelling. Erik Stenman 2019-03-25 10:39:29 +01:00
  • a1adfc6f1c Document new types. Erik Stenman 2019-03-22 09:34:11 +01:00
  • f12e80a5bc Add serilaize/deserialize test for new types. Erik Stenman 2019-03-22 09:13:34 +01:00
  • 83fb49254d Fix testcase. Erik Stenman 2019-03-14 16:52:57 +01:00
  • c614da15e0 Add hash, signature and object types. Erik Stenman 2019-03-14 16:45:10 +01:00
  • 34ae94e3e7
    Merge pull request #21 from aeternity/PT-164626753-new-aeserialization Tobias Lindahl 2019-03-14 10:55:56 +01:00
  • d4da5e69ad New version of aeserialization #138 Tobias Lindahl 2019-03-14 10:53:28 +01:00
  • 417a34ecd1
    Remove typespec from element op. (#20) Erik Stenman 2019-03-14 10:48:34 +01:00
  • b35ccb8eb6
    Pt 164460201 generate fate dispatch (#18) Erik Stenman 2019-03-14 10:48:11 +01:00
  • 8f24a5aa8a Remove unused code from pretty printer. #137 Erik Stenman 2019-03-13 15:03:46 +01:00
  • 51c420a3ef Remove typespec from element op. Erik Stenman 2019-03-13 14:57:50 +01:00
  • 04571f757a
    Merge pull request #19 from aeternity/fortuna Tobias Lindahl 2019-03-13 10:57:27 +01:00
  • 262ba1e1af
    Merge branch 'fortuna' into PT-164460201-generate-fate-dispatch #135 Erik Stenman 2019-03-08 08:00:50 +01:00
  • 9763a1a6f5
    Pt 164460166 generate documentation (#17) #136 fortuna Erik Stenman 2019-03-08 07:59:09 +01:00
  • 2b5478288c Export ops definitions. Erik Stenman 2019-03-07 12:36:53 +01:00
  • f2930ae169 Test lists of length 16. #134 Erik Stenman 2019-03-07 11:10:25 +01:00
  • 6d2be99c63 Generate docs. Erik Stenman 2019-03-07 11:09:04 +01:00
  • 6c60f1e37f
    Pre hook to build sources on Windoes also. (#16) Erik Stenman 2019-03-06 11:41:16 +01:00
  • beb670554e Pre hook to build sources on Windoes also. #133 Erik Stenman 2019-03-05 13:19:01 +01:00
  • 23695330ef
    Make rebar use make (#15) Erik Stenman 2019-03-04 13:28:15 +01:00
  • 4480d0bcb0 Make CI use rebar to build to make sure it works on top level without make. #132 Erik Stenman 2019-03-04 11:04:11 +01:00