Ulf Norell
|
bf05e14661
|
Merge pull request #57 from aeternity/bytes-to-x
Add bytes_to_int and bytes_to_str instructions to FATE
|
2019-06-24 14:24:28 +02:00 |
|
Ulf Norell
|
e3a00905de
|
Add bytes_to_int and bytes_to_str instructions to FATE
|
2019-06-24 10:55:12 +02:00 |
|
Hans Svensson
|
59af12bf34
|
Merge pull request #56 from aeternity/PT-166788837-bytes
PT-166788837 bytes
|
2019-06-20 15:37:12 +02:00 |
|
Ulf Norell
|
f7f0dfde51
|
Update and fix quickcheck fuzz test
|
2019-06-20 15:27:16 +02:00 |
|
Ulf Norell
|
33a1d5f4fb
|
Perform sanity checks both in serialize and deserialize
|
2019-06-20 14:30:04 +02:00 |
|
Ulf Norell
|
eeaf646a86
|
Allow variants as map keys
|
2019-06-20 14:30:04 +02:00 |
|
Ulf Norell
|
7fdc7a6cee
|
Update asm tests
|
2019-06-20 14:30:04 +02:00 |
|
Ulf Norell
|
f13ba67a2c
|
Update and clean up quickcheck tests
|
2019-06-20 14:29:34 +02:00 |
|
Ulf Norell
|
f421c1e361
|
Add bytes type and values
and remove hash and signature
|
2019-06-20 14:27:18 +02:00 |
|
Thomas Arts
|
f91c8fabdd
|
Merge pull request #51 from aeternity/PT-166696064-decode-calldata-fate
Pt 166696064 decode calldata fate
|
2019-06-20 13:05:44 +02:00 |
|
Tobias Lindahl
|
9dfc5f4f1d
|
Merge pull request #55 from aeternity/PT-166786424-check-oracle-types
Add oracle types to some oracle instructions
|
2019-06-20 09:21:23 +02:00 |
|
Thomas Arts
|
1fda6912da
|
Fix error
|
2019-06-19 17:41:47 +02:00 |
|
Thomas Arts
|
cb83224c60
|
Add query to generate QuickCheck data
|
2019-06-19 17:41:47 +02:00 |
|
Thomas Arts
|
9840b22546
|
Add decoding function
|
2019-06-19 17:41:47 +02:00 |
|
Thomas Arts
|
e3f843fd91
|
Do not return types, create_calldata does not need those
|
2019-06-19 17:41:47 +02:00 |
|
Thomas Arts
|
803ebc0854
|
Three new opcodes had been added
|
2019-06-19 17:41:47 +02:00 |
|
Hans Svensson
|
7e96e3baef
|
Merge pull request #54 from aeternity/fix-bad-spec
Fix incorrect type spec
|
2019-06-19 13:26:54 +02:00 |
|
Hans Svensson
|
768e0d4fbb
|
Fix incorrect type spec
|
2019-06-19 13:25:05 +02:00 |
|
Tobias Lindahl
|
f92e23c955
|
Add oracle types to some oracle instructions
|
2019-06-19 12:11:22 +02:00 |
|
Tobias Lindahl
|
e321882b98
|
Pt 166233685 fate oracles (#52)
* Introduce typereps
* Use typereps for registering oracles
* Add TTL to oracle register
* Introduce oracle query object and ORACLE_QUERY operation
* Stub the remaining oracle instructions
* Adapt oracle respond and extend
* Document oracle ops
* Add unit tests for all oracle instructions
|
2019-06-18 13:56:48 +02:00 |
|
Hans Svensson
|
b45509962e
|
Merge pull request #53 from aeternity/fate_abi_fun
Auth.tx_hash + new functions in aeb_fate_abi
|
2019-06-18 13:54:21 +02:00 |
|
Hans Svensson
|
c1fb3a47c7
|
More functions in aeb_fate_abi
|
2019-06-18 13:51:06 +02:00 |
|
Hans Svensson
|
a0c3a990ed
|
Add function_name_from_function_hash to aeb_fate_abi
|
2019-06-18 11:59:54 +02:00 |
|
Hans Svensson
|
506f9ca72e
|
Add AUTH_TX_HASH operation
|
2019-06-11 15:31:16 +02:00 |
|
Thomas Arts
|
7dd9c29cc0
|
Merge pull request #50 from aeternity/PT-166602172-calldat-for-fate
Add creation of fate calldata
|
2019-06-11 14:58:40 +02:00 |
|
Thomas Arts
|
242700e084
|
Add creation of fate calldata
|
2019-06-11 14:47:38 +02:00 |
|
Hans Svensson
|
29b5ee3e68
|
Merge pull request #49 from aeternity/fate-crypto-ops
Fate crypto ops + contract_to_address
|
2019-06-11 11:57:57 +02:00 |
|
Hans Svensson
|
896290ad3b
|
contract_to_address instruction
|
2019-06-11 09:20:13 +02:00 |
|
Ulf Norell
|
876e8504c8
|
crypto instructions
|
2019-06-05 14:21:47 +02:00 |
|
Ulf Norell
|
53a055b90a
|
Merge pull request #48 from aeternity/PT-166407568-polymoprhic-functions
Add serialization of any and type variables
|
2019-06-05 12:10:50 +02:00 |
|
Ulf Norell
|
409d761b18
|
Add serialization of any and type variables
|
2019-06-05 11:13:52 +02:00 |
|
Thomas Arts
|
f15315adb7
|
Merge pull request #44 from aeternity/PT-165173962-fuzz-testing-aefate
Pt 165173962 fuzz testing aefate
|
2019-06-03 18:37:49 +02:00 |
|
Thomas Arts
|
b8b316aae0
|
Make sorting idempotent
|
2019-06-03 14:49:13 +02:00 |
|
Thomas Arts
|
985e5358c9
|
Sorting should be idempotent
|
2019-06-03 14:49:02 +02:00 |
|
Thomas Arts
|
ffebc13d08
|
Make sort testable
|
2019-06-03 14:45:08 +02:00 |
|
Thomas Arts
|
3ff4df42ff
|
Make sure arguments not provided are maskes 2#00.
|
2019-06-03 13:43:49 +02:00 |
|
Thomas Arts
|
d6fbc73450
|
Quicker testing with smaller terms
|
2019-06-03 13:34:37 +02:00 |
|
Thomas Arts
|
3d6ac9df92
|
Slightly different property
|
2019-06-03 11:08:08 +02:00 |
|
Thomas Arts
|
e8390e52d1
|
Bug fix and little different way of writing logic
|
2019-06-03 11:07:00 +02:00 |
|
Erik Stenman
|
58daf1bb5c
|
Add quick check test for order and handle variants.
|
2019-05-31 14:42:00 +02:00 |
|
Erik Stenman
|
cb8e2b07a4
|
Use FATE order to sort maps iterator.
|
2019-05-31 13:52:07 +02:00 |
|
Erik Stenman
|
46f9d34447
|
Total order for FATE types.
|
2019-05-31 13:17:50 +02:00 |
|
Erik Stenman
|
942c7fb069
|
Add first draft of total order for FATE terms.
|
2019-05-30 12:31:40 +02:00 |
|
Erik Stenman
|
53130fc638
|
Add FATE_BOOLEAN_VALUE
|
2019-05-30 12:31:01 +02:00 |
|
Thomas Arts
|
8bf19dc060
|
Do not generate maps and variants as keys in fate maps
|
2019-05-29 16:23:45 +02:00 |
|
Thomas Arts
|
a5bfdf63d5
|
Define a specific sorting for key-Value pairs
Sort on key and check: no duplicates and no maps and variants as key
|
2019-05-29 16:23:43 +02:00 |
|
Thomas Arts
|
41860b041e
|
We should not deserialize function blocks only containing opcodes, but not a function
|
2019-05-29 16:23:43 +02:00 |
|
Thomas Arts
|
25ef7e7fe3
|
Remove special cases for NIL and empty MAP
|
2019-05-29 11:18:41 +02:00 |
|
Thomas Arts
|
bcc409f302
|
serialize and deserialize integers with validity check
|
2019-05-29 11:17:13 +02:00 |
|
Thomas Arts
|
42719e7000
|
Fail on deserializing negative zero
|
2019-05-29 08:52:24 +02:00 |
|