Commit Graph

  • 5f5444ca9e Provide info for tracing. Erik Stenman 2019-06-29 16:28:51 +02:00
  • 76ae61b66c
    Merge pull request #61 from aeternity/PT-166927306-names-as-strings Tobias Lindahl 2019-06-28 13:48:42 +02:00
  • edea526f38 Renum ordinals #178 Tobias Lindahl 2019-06-28 11:22:33 +02:00
  • 487e087287 Use string instead of name hash for transfer and revoke Tobias Lindahl 2019-06-26 15:33:24 +02:00
  • c63ac888dd
    Pt 166233700 fate nameservice (#60) Tobias Lindahl 2019-06-26 13:19:44 +02:00
  • 1ca0551700 And fix another rebase mistake #177 Tobias Lindahl 2019-06-26 12:55:24 +02:00
  • fc7f7bb6e6 Fix rebase mistake Tobias Lindahl 2019-06-26 12:54:04 +02:00
  • b4455a0526 Remove name object and fixup some documentation Tobias Lindahl 2019-06-26 10:36:30 +02:00
  • 98fe2fda5e Introduce AENS instructions in FATE Tobias Lindahl 2019-06-20 14:13:51 +02:00
  • 4d12b124f3
    Merge pull request #59 from aeternity/PT-164629640-limit_fate_in_auth_context Hans Svensson 2019-06-26 12:29:17 +02:00
  • 35ce283736 Add in_auth field to aeb_fate_generate_ops #176 Hans Svensson 2019-06-26 10:25:29 +02:00
  • 677712b0b8
    Merge pull request #58 from aeternity/PT-166233670-fate-events Ulf Norell 2019-06-25 19:56:56 +02:00
  • 5171b800cc Add FATE oracle check instructions (and others) #175 Ulf Norell 2019-06-25 10:01:22 +02:00
  • bf05e14661
    Merge pull request #57 from aeternity/bytes-to-x Ulf Norell 2019-06-24 14:24:28 +02:00
  • e3a00905de Add bytes_to_int and bytes_to_str instructions to FATE #174 Ulf Norell 2019-06-24 10:55:12 +02:00
  • 59af12bf34
    Merge pull request #56 from aeternity/PT-166788837-bytes Hans Svensson 2019-06-20 15:37:12 +02:00
  • f7f0dfde51 Update and fix quickcheck fuzz test #173 Ulf Norell 2019-06-20 11:59:23 +02:00
  • 33a1d5f4fb Perform sanity checks both in serialize and deserialize Ulf Norell 2019-06-20 11:59:04 +02:00
  • eeaf646a86 Allow variants as map keys Ulf Norell 2019-06-20 11:20:57 +02:00
  • 7fdc7a6cee Update asm tests Ulf Norell 2019-06-20 11:20:46 +02:00
  • f13ba67a2c Update and clean up quickcheck tests Ulf Norell 2019-06-19 14:08:12 +02:00
  • f421c1e361 Add bytes type and values Ulf Norell 2019-06-20 11:18:57 +02:00
  • f91c8fabdd
    Merge pull request #51 from aeternity/PT-166696064-decode-calldata-fate Thomas Arts 2019-06-20 13:05:44 +02:00
  • 9dfc5f4f1d
    Merge pull request #55 from aeternity/PT-166786424-check-oracle-types Tobias Lindahl 2019-06-20 09:21:23 +02:00
  • 1fda6912da Fix error #168 Thomas Arts 2019-06-19 17:41:22 +02:00
  • cb83224c60 Add query to generate QuickCheck data Thomas Arts 2019-06-18 14:29:01 +02:00
  • 9840b22546 Add decoding function Thomas Arts 2019-06-18 12:22:46 +02:00
  • e3f843fd91 Do not return types, create_calldata does not need those Thomas Arts 2019-06-17 13:57:41 +02:00
  • 803ebc0854 Three new opcodes had been added Thomas Arts 2019-06-17 13:57:01 +02:00
  • 7e96e3baef
    Merge pull request #54 from aeternity/fix-bad-spec Hans Svensson 2019-06-19 13:26:54 +02:00
  • 768e0d4fbb Fix incorrect type spec #171 Hans Svensson 2019-06-19 13:25:05 +02:00
  • f92e23c955 Add oracle types to some oracle instructions #172 Tobias Lindahl 2019-06-19 12:11:22 +02:00
  • e321882b98
    Pt 166233685 fate oracles (#52) Tobias Lindahl 2019-06-18 13:56:48 +02:00
  • 496ee2734c Add unit tests for all oracle instructions #169 Tobias Lindahl 2019-06-18 13:13:13 +02:00
  • d363bc75c3 Document oracle ops Tobias Lindahl 2019-06-18 12:53:27 +02:00
  • 0e975b9d88 Adapt oracle respond and extend Tobias Lindahl 2019-06-14 13:15:59 +02:00
  • 8a0dbe3920 Stub the remaining oracle instructions Tobias Lindahl 2019-06-11 09:11:47 +02:00
  • 68d8533bf7 Introduce oracle query object and ORACLE_QUERY operation Tobias Lindahl 2019-06-10 14:48:35 +02:00
  • 3c010bed71 Add TTL to oracle register Tobias Lindahl 2019-06-07 14:24:26 +02:00
  • 0d57563b49 Use typereps for registering oracles Tobias Lindahl 2019-06-07 13:10:13 +02:00
  • 2357813f49 Introduce typereps Tobias Lindahl 2019-06-07 13:09:54 +02:00
  • b45509962e
    Merge pull request #53 from aeternity/fate_abi_fun Hans Svensson 2019-06-18 13:54:21 +02:00
  • c1fb3a47c7 More functions in aeb_fate_abi #170 Hans Svensson 2019-06-18 13:51:06 +02:00
  • a0c3a990ed Add function_name_from_function_hash to aeb_fate_abi Hans Svensson 2019-06-18 10:08:57 +02:00
  • 506f9ca72e Add AUTH_TX_HASH operation PT-164629640-add_auth_tx_hash Hans Svensson 2019-06-11 13:29:29 +02:00
  • 7dd9c29cc0
    Merge pull request #50 from aeternity/PT-166602172-calldat-for-fate Thomas Arts 2019-06-11 14:58:40 +02:00
  • 242700e084 Add creation of fate calldata #167 Thomas Arts 2019-06-11 14:27:49 +02:00
  • 29b5ee3e68
    Merge pull request #49 from aeternity/fate-crypto-ops Hans Svensson 2019-06-11 11:57:57 +02:00
  • 896290ad3b contract_to_address instruction #166 Hans Svensson 2019-06-11 09:20:13 +02:00
  • 876e8504c8 crypto instructions Ulf Norell 2019-06-05 14:13:36 +02:00
  • 53a055b90a
    Merge pull request #48 from aeternity/PT-166407568-polymoprhic-functions Ulf Norell 2019-06-05 12:10:50 +02:00
  • 409d761b18 Add serialization of any and type variables #165 Ulf Norell 2019-06-05 11:13:34 +02:00
  • f15315adb7
    Merge pull request #44 from aeternity/PT-165173962-fuzz-testing-aefate Thomas Arts 2019-06-03 18:37:49 +02:00
  • b8b316aae0 Make sorting idempotent #161 Thomas Arts 2019-06-03 14:49:13 +02:00
  • 985e5358c9 Sorting should be idempotent Thomas Arts 2019-06-03 14:49:02 +02:00
  • ffebc13d08 Make sort testable Thomas Arts 2019-06-03 14:45:08 +02:00
  • 3ff4df42ff Make sure arguments not provided are maskes 2#00. Thomas Arts 2019-06-03 13:43:49 +02:00
  • d6fbc73450 Quicker testing with smaller terms Thomas Arts 2019-06-03 13:34:37 +02:00
  • 3d6ac9df92 Slightly different property Thomas Arts 2019-06-03 11:08:08 +02:00
  • e8390e52d1 Bug fix and little different way of writing logic Thomas Arts 2019-06-03 11:07:00 +02:00
  • 58daf1bb5c Add quick check test for order and handle variants. Erik Stenman 2019-05-31 14:42:00 +02:00
  • cb8e2b07a4 Use FATE order to sort maps iterator. Erik Stenman 2019-05-31 13:52:07 +02:00
  • 46f9d34447 Total order for FATE types. Erik Stenman 2019-05-31 13:17:50 +02:00
  • 942c7fb069 Add first draft of total order for FATE terms. Erik Stenman 2019-05-30 12:31:40 +02:00
  • 53130fc638 Add FATE_BOOLEAN_VALUE Erik Stenman 2019-05-30 12:31:01 +02:00
  • 8bf19dc060 Do not generate maps and variants as keys in fate maps Thomas Arts 2019-05-29 16:10:49 +02:00
  • a5bfdf63d5 Define a specific sorting for key-Value pairs Thomas Arts 2019-05-29 15:38:52 +02:00
  • 41860b041e We should not deserialize function blocks only containing opcodes, but not a function Thomas Arts 2019-05-29 14:20:20 +02:00
  • 25ef7e7fe3 Remove special cases for NIL and empty MAP Thomas Arts 2019-05-29 11:18:41 +02:00
  • bcc409f302 serialize and deserialize integers with validity check Thomas Arts 2019-05-29 11:17:13 +02:00
  • 42719e7000 Fail on deserializing negative zero Thomas Arts 2019-05-29 08:52:24 +02:00
  • 0d6322c0aa Fix property Thomas Arts 2019-05-29 08:31:04 +02:00
  • f7a4c40c50 Only decode correctly encoded negative binaries Thomas Arts 2019-05-29 08:21:25 +02:00
  • ec0af8046a Safer serialization of opcode arguments Thomas Arts 2019-05-28 19:09:42 +02:00
  • 73c80e1168 Extend model to find {stack, N} errors as argument Thomas Arts 2019-05-28 19:09:25 +02:00
  • 45ff418699 More dsitintc fault injection Thomas Arts 2019-05-28 18:23:39 +02:00
  • 032277ae8b model so far Thomas Arts 2019-05-28 13:44:45 +02:00
  • 0bb4ac0fea Rough model to fuzz test aeb_fate_code Thomas Arts 2019-05-27 13:30:38 +02:00
  • 4a90e3b2b4 Add two more opcodes Thomas Arts 2019-05-28 12:23:21 +02:00
  • 8b7fefc8a9 Extend tests to encoded opcodes Thomas Arts 2019-05-27 15:43:41 +02:00
  • 6f59ef7a7c Fuzz test aeb_fate_encoding Thomas Arts 2019-05-28 18:07:50 +02:00
  • 302c1c211d Erik's fix to LONG strings Thomas Arts 2019-05-28 18:09:22 +02:00
  • 74791cfe52 typo Thomas Arts 2019-05-28 18:10:11 +02:00
  • 453f68fa39 Serialize only code blocks that have operators in right order Thomas Arts 2019-05-28 18:09:05 +02:00
  • aa9d2bf893 Do not allow empty code blocks Thomas Arts 2019-05-27 15:24:11 +02:00
  • 23b98f7d65 Add unit test to trigger eqc property Thomas Arts 2019-05-27 14:20:20 +02:00
  • 5d7bd73bcb Serialization of functions only succeeds for 4 byte iudentifiers Thomas Arts 2019-05-27 14:42:43 +02:00
  • 34b9684b6b Deserialize code without functions Thomas Arts 2019-05-27 14:17:51 +02:00
  • ccbb0ed6c7 Make code easier to test Thomas Arts 2019-05-27 14:11:52 +02:00
  • f1298870e5
    Merge pull request #47 from aeternity/add-target-register-to-tuple Ulf Norell 2019-05-28 14:17:16 +02:00
  • 9cfd369c5d Update tests #164 Ulf Norell 2019-05-28 12:54:10 +02:00
  • f115feb16d Print state variables as storeN instead of var-N Ulf Norell 2019-05-28 11:53:13 +02:00
  • 241a96ebaa
    Change the correct function name to not shadow builting guard (#46) Tobias Lindahl 2019-05-28 11:32:52 +02:00
  • aa3a857bb5 Change the correct function name to not shadow builting guard #163 Tobias Lindahl 2019-05-28 11:28:33 +02:00
  • 880cf573aa Add a target register to TUPLE instruction Ulf Norell 2019-05-28 11:24:38 +02:00
  • 89f5ebc84b
    Add missing basic instructions (#45) Tobias Lindahl 2019-05-28 11:15:04 +02:00
  • be83fda790 Change name of erlang function to not shadow builtin guard #162 Tobias Lindahl 2019-05-28 11:02:42 +02:00
  • ca293f8449 Add missing basic instructions Tobias Lindahl 2019-05-28 10:52:06 +02:00
  • e98298cce4
    Add accepted types to operator declarations. Check opcode numbering. (#43) Erik Stenman 2019-05-24 13:21:49 +02:00
  • a5cc7a298e Fix store type. #160 Erik Stenman 2019-05-24 09:25:04 +02:00