Ulf Norell
91fc56c322
Change local calls to allow dynamic function name
2019-05-07 09:04:24 +02:00
Ulf Norell
1887486d36
Replace STR_EQ by APPEND
...
STR_EQ is not needed, the regular EQ instruction can handle strings as well. Having
an instruction for list append is quite handy though (would need two passes to do it
tail recursive in FATE assembly)
2019-05-07 09:04:24 +02:00
Ulf Norell
bf6741eac4
Format of li should be {immediate, [integer()]}
2019-05-07 08:38:23 +02:00
Ulf Norell
491489ca7d
Change ~w to ~p
2019-05-07 08:38:23 +02:00
Thomas Arts
91c4ab5bea
Merge pull request #35 from aeternity/PT-property-based-tests
...
Pt property based tests
2019-05-06 14:51:04 +02:00
Thomas Arts
163e805f55
Enable running properties as Eunit tests
...
Update model to address serialization
Update eunit test wrapper
Update tests
Add tests for serialize_type
2019-05-02 13:08:43 +02:00
Thomas Arts
d69375e72b
Fix types
2019-05-02 13:08:43 +02:00
Tobias Lindahl
2b3603e86f
Merge pull request #33 from aeternity/PT-165760129-FATE-blockhash
...
Correct arity for BLOCKHASH
2019-05-02 12:28:58 +02:00
Tobias Lindahl
31d188ce81
Update test of BLOCKHASH to correct arity
2019-05-02 10:52:07 +02:00
Tobias Lindahl
dfca41c98d
Correct arity for BLOCKHASH
2019-05-02 10:33:26 +02:00
Hans Svensson
1526ad3bf0
Merge pull request #32 from aeternity/remove_bytes_from_aevm
...
Revert bytes(N) from ABI encode it in word/tuple
2019-04-23 17:43:41 +02:00
Hans Svensson
4e325ff203
Revert bytes(N) from ABI encode it in word/tuple
2019-04-23 16:21:11 +02:00
Hans Svensson
e8253b0970
Merge pull request #31 from aeternity/PT-164629541-generic_hash_and_signature
...
Add bytes(int) as type + ecverify_secp256k1
2019-04-23 10:34:23 +02:00
Hans Svensson
230e2187ce
Add bytes(int) as type + ecverify_secp256k1
2019-04-23 09:30:45 +02:00
Erik Stenman
a6a2686d53
Fixing edoc build the easy way. Real documentation in Readme.md. ( #30 )
2019-04-15 12:18:16 +02:00
Erik Stenman
56cf62b487
Add setelement instruction. ( #29 )
2019-04-12 15:47:16 +02:00
Tobias Lindahl
15628c9a05
Merge pull request #28 from aeternity/PT-165079561-fate-chain-api
...
Differ between BALANCE for the current contract and BALANCE_OTHER for…
2019-04-12 11:43:13 +02:00
Tobias Lindahl
431b311ae5
Differ between BALANCE for the current contract and BALANCE_OTHER for a remote address
2019-04-12 11:04:56 +02:00
Thomas Arts
28f6c42647
Merge pull request #27 from aeternity/PT-165246396-prepare-remove-dependency
...
Pt 165246396 prepare remove dependency
2019-04-11 08:56:47 +02:00
Thomas Arts
734c8e8e40
ignore generated aefate file
2019-04-10 15:44:53 +02:00
Thomas Arts
436ba457e9
Robuster way to create binaries from strings
2019-04-10 15:43:50 +02:00
Thomas Arts
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
2019-04-10 15:43:25 +02:00
Thomas Arts
e1e2236a26
If we have destructors for maps, lists, etc, we need one for tuples as well
2019-04-10 15:42:33 +02:00
Thomas Arts
04d64dfe9b
Extend QuickCheck model to use the make_BLA functions to create the fate data
2019-04-10 15:41:59 +02:00
Thomas Arts
afcc6fd31a
Merge pull request #26 from aeternity/PT-165180296-fix-fate-scanner
...
Pt 165180296 fix fate scanner
2019-04-10 10:49:33 +02:00
Thomas Arts
6466ddb866
Bump version
2019-04-09 14:02:21 +02:00
Thomas Arts
75f3eeffa7
Add quickcheck properties
2019-04-09 10:32:08 +02:00
Thomas Arts
a670d1ca6c
Remove the quotes from scanned string
2019-04-09 09:05:26 +02:00
Thomas Arts
96c0fab3ab
Remove fate_type_type is not a fate_type
2019-04-09 08:29:55 +02:00
Thomas Arts
90659342c0
Quote the string
2019-04-08 16:29:55 +02:00
Thomas Arts
f88fe008bf
Add fate_bits as type
2019-04-08 16:29:45 +02:00
Thomas Arts
f5f007e74d
Since the binaries are likely to be strings, unicode conversion makes more sense.
2019-04-08 16:29:31 +02:00
Thomas Arts
0c01215b6a
fix arities formatting
2019-04-08 14:49:17 +02:00
Thomas Arts
fa64bbb56c
Don't forget z
2019-04-08 13:41:23 +02:00
Thomas Arts
fe7e3a638a
Fix scan error
2019-04-08 12:29:18 +02:00
Thomas Arts
d2c70509dd
ignore more
2019-04-08 11:53:00 +02:00
Thomas Arts
15ee836ddb
Explanatory comment
2019-04-08 11:53:00 +02:00
Thomas Arts
68e6a2163e
fate_type_type should be {variant, List} without explicitly storing the size
2019-04-08 11:53:00 +02:00
Hans Svensson
9041423906
Merge pull request #25 from aeternity/generalized_accounts
...
Add Auth.tx_hash primop + primop range
2019-04-08 11:30:09 +02:00
Hans Svensson
913abb6c7b
Add AUTH primops + primop range
2019-04-08 10:19:52 +02:00
Robert Virding
2d599df0ea
Merge pull request #24 from aeternity/PT-164597852-move-aesophia-heap
...
PT-164597852 Move aesophia heap handling into aebytecode
2019-04-02 10:06:55 +02:00
Robert Virding
54aace97af
Remove local blake2 module
2019-04-01 16:51:35 +02:00
Robert Virding
7e7f061b34
Move TYPEREP defs to aebytecode
2019-03-30 23:06:24 +01:00
Robert Virding
333bf53537
Change function references from aeso_sophia to aeb_aevm_data
2019-03-30 23:06:24 +01:00
Robert Virding
0528ee1229
Fix (some) references to aeso_ types
2019-03-30 23:06:24 +01:00
Robert Virding
8425eb80c5
Remove old_create_calldata function
...
This function contained calls back to major aesophia modules in this
module so these have now been cleared.
2019-03-30 23:06:24 +01:00
Robert Virding
c00c4a5ac3
First commit of moved functions
...
Most function references to aeso_ have been converted to aeb_.
2019-03-30 23:06:24 +01:00
Erik Stenman
662b611e6d
New representation of variant values. ( #23 )
...
* New representation of variant values.
* Specify type of elments (byte) in arities list.
2019-03-29 14:52:22 +01:00
Erik Stenman
9abeb21eee
Pt 164601244 add hash and signature type ( #22 )
...
* Add hash, signature and object types.
* Add serilaize/deserialize test for new types.
* Document new types.
* Use aeserialization for base58c encoding/decoding.
2019-03-25 17:57:12 +01:00
Tobias Lindahl
34ae94e3e7
Merge pull request #21 from aeternity/PT-164626753-new-aeserialization
...
New version of aeserialization
2019-03-14 10:55:56 +01:00
