41 Commits

Author SHA1 Message Date
zxq9 1cdcb9150b Revamp (#235)
Gajumaru Bytecode Tests / tests (push) Successful in -3m34s
Add Gitea tests
Rename
Remove oracle references
Package for zx

Reviewed-on: #235
Reviewed-by: dimitar.p.ivanov <dimitarivanov@qpq.swiss>
Co-authored-by: Craig Everett <zxq9@zxq9.com>
Co-committed-by: Craig Everett <zxq9@zxq9.com>
2025-01-22 21:12:54 +09:00
radrow 83616392e1 Add CREATE, CLONE and BYTECODE_HASH opcodes. Add bytecode typerep and datatype.
Format fixes. Changed type of BLOCKHASH to variant.

Fixed number of parameters to include target

Changed op args

Protected create

Make new type store a SERIALIZED CODE (instead of RAW BYTECODE)

Fix test

Format

Make create not protected

format

Fix serialization of fate_code type

Align

Add rebar3

Use shipped rebar3

Fix serialization, test

Fix tests

Rename fate_code to contract_bytearray

Update README
2021-03-23 12:27:35 +01:00
Artur Puzio b30f8a2bfd Avoid unnecessery calls to eblake2
We frequently need identifier of init function. Store it precalculated
in headers.
2021-03-23 09:27:25 +01:00
Hans Svensson dfa9b80a3c Change ECVERIFY to VERIFY_SIG and add proper ECVERIFY 2019-08-21 09:25:28 +02:00
Hans Svensson efb4afeafa Add IS_PAYABLE opcode 2019-08-16 09:31:27 +02:00
Ulf Norell fdd660a219 Merge pull request #67 from aeternity/PT-167221635-remote-type-check
PT-167221635 remote type check
2019-08-16 09:10:47 +02:00
Tino Breddin 3954bd22da Merge pull request #64 from aeternity/newby/ecrecover
[PT-167805291] Add opcode for ecrecover
2019-08-14 16:08:45 +02:00
Ulf Norell 834ab298d1 typereps are values 2019-08-14 09:27:51 +02:00
Tino Breddin 197dfd5da1 Let ecrecover only require two parameters 2019-08-13 15:15:03 +02:00
John Newby 44ec31d958 fixed ordering 2019-08-12 13:52:27 +02:00
johnsnewby 7c6a80fef7 Update include/aeb_opcodes.hrl
Co-Authored-By: Hans Svensson <hanssv@gmail.com>
2019-08-12 10:52:47 +02:00
John Newby c0bc71b0b7 Added opcode for ecrecover 2019-08-09 16:32:00 +02:00
Ulf Norell 986a7e6734 Add a store map fate value.
A store map is a (contract local) unique id pointing to a map saved in the contract store, plus a cache of updates.
2019-08-08 12:41:42 +02:00
Tobias Lindahl c63ac888dd Pt 166233700 fate nameservice (#60)
* Introduce AENS instructions in FATE

* Remove name object and fixup some documentation
2019-06-26 13:19:44 +02:00
Ulf Norell f421c1e361 Add bytes type and values
and remove hash and signature
2019-06-20 14:27:18 +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
Erik Stenman 46f9d34447 Total order for FATE types. 2019-05-31 13:17:50 +02:00
Erik Stenman 53130fc638 Add FATE_BOOLEAN_VALUE 2019-05-30 12:31:01 +02:00
Hans Svensson 5fd076f043 Add CREATOR opcode and address check primops 2019-05-09 09:35:48 +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 230e2187ce Add bytes(int) as type + ecverify_secp256k1 2019-04-23 09:30:45 +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
Hans Svensson 913abb6c7b Add AUTH primops + primop range 2019-04-08 10:19:52 +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 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
Erik Stenman 8fc929b1ee Pt 164259596 generate fate ops (#9)
* Generate code for fate ops from spec.

* Generate the code from the makefile. Remove generated files.

* Test targets and cleanup.

* Spell eunit the right way.

* Use test target for ci.

* Renumber opcodes. Add primops.

* Generate tokens in scanner from definitions.

* Rename NUMBER op to GENERATION and add MICROBLOCK instruction.
2019-02-28 11:24:13 +01:00
Erik Stenman d04a827f05 Add fate code pretty printer. Add symbol table to binary. Add tests of rundtrip serialization and deserialization. 2019-02-23 22:13:19 +01:00
Erik Stenman dae2dbeed6 Add DUPA 2019-02-19 16:11:53 +01:00
Erik Stenman ce33ba8818 Add new instructions. 2019-02-19 12:15:01 +01:00
Erik Stenman 16644ded72 Handle most ops. 2019-02-18 18:09:00 +01:00
Erik Stenman 36f910aff4 Add SWITCH opcodes. 2019-02-15 21:44:36 +01:00
Erik Stenman c5a9878bd9 Rename to library standard. 2019-02-15 12:34:46 +01:00
Erik Stenman a539378405 Pt 162805963 fate opcodes (#6)
* First iteration of assembler.
* Stand alone assembler.
2019-02-15 11:24:25 +01:00
Hans Svensson 600d2cb12c Add opcodes SHL and SHR 2019-01-22 20:12:43 +01:00
Ulf Norell 76cb5eed6a Add more hash primops 2019-01-21 16:52:56 +01:00
Hans Svensson 0585e7d0f6 Add CRYPT primop range and ECVERIVY primp 2019-01-21 11:05:35 +01:00
Thomas Arts 2269a01e18 Copy respository files and add rebar.config 2018-12-21 10:27:02 +01:00