2205 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Evgenii Stratonikov	a3a3a77431	vm: make slice opcodes emit Buffer	2020-05-20 17:45:56 +03:00
Evgenii Stratonikov	c3f7832f3b	vm: implement Buffer stack item ... Buffer is a stack item type introduced in NEO3 which represents mutable byte-array.	2020-05-20 17:45:56 +03:00
Evgenii Stratonikov	ee9adcdc5c	vm: check ByteArray size before converting to Integer	2020-05-20 17:45:56 +03:00
Evgenii Stratonikov	8f5f6fba07	vm: copy slice in (*ByteArrayItem).TryBytes()	2020-05-20 17:45:56 +03:00
Roman Khimov	d6e4c506b6	Merge pull request #959 from nspcc-dev/feature/compiler_types ... compiler: refactor typeinfo functions	2020-05-20 16:28:48 +03:00
Evgenii Stratonikov	1b105a9f1d	compiler: allow using OP= with struct fields and slice elements ... Do it in a generic way, there is no need in restricting to only variables. Port of #954.	2020-05-20 14:14:29 +03:00
Evgenii Stratonikov	fdb217ec81	compiler: process _ as a special variable ... It is more convenient to drop values inside `emitStoreVar` because this makes other code has less special cases.	2020-05-20 14:14:29 +03:00
Evgenii Stratonikov	3926456d86	compiler: add test for iterating over map with range	2020-05-20 14:14:29 +03:00
Evgenii Stratonikov	d0735257ce	compiler: support range loops with value variables ... Closes #958.	2020-05-20 14:14:29 +03:00
Evgenii Stratonikov	b126056f04	compiler: use iterators in range loops ... It is simpler than having some counters on stack and will help us to support maps in future.	2020-05-20 14:14:29 +03:00
Evgenii Stratonikov	34a4c15932	compiler: support byte slice declaration	2020-05-20 11:10:02 +03:00
Evgenii Stratonikov	582469028b	compiler: emit default values in a generic way	2020-05-20 11:10:01 +03:00
Evgenii Stratonikov	2cc58c3c9e	compiler: allow to declare multiple compound types in a var decl	2020-05-19 16:57:02 +03:00
Evgenii Stratonikov	b4bad11699	compiler: count the number of variables correctly	2020-05-19 16:47:43 +03:00
Evgenii Stratonikov	0629479560	compiler: support non-struct methods ... There is no need to restrict ourselves just to structs.	2020-05-19 16:40:26 +03:00
Evgenii Stratonikov	87f6ba34db	compiler: process index expresstions in a generic way ... All type errors such as string index in slice will be catched during parse phase.	2020-05-19 16:40:26 +03:00
Evgenii Stratonikov	aeaa4a8210	compiler: process bool literals in a generic way	2020-05-19 16:40:26 +03:00
Evgenii Stratonikov	70d0ff869d	compiler: refactor typeinfo functions	2020-05-19 16:40:26 +03:00
Roman Khimov	b9b1066435	Merge pull request #942 from nspcc-dev/feature/slots ... Implement NEO3 VM slots mechanism	2020-05-12 18:04:18 +03:00
Roman Khimov	9eaec2adcd	Merge pull request #946 from nspcc-dev/examples/nep5-transfer-bug ... examples: Use "or" operator in transfer check of NEP5 token	2020-05-12 16:58:26 +03:00
alexvanin	7f3392680d	examples: Use "or" operator in transfer check of NEP5 token ... CanTransfer function checks if "to" and "from" values are correct script hashes. If one of these values is correct and one incorrect, then function returns false positive result. It uses "and" operator which requires both "to" and "from" script hashes to be incorrect to fail transaction. Instead transaction must fail if at least one argument is incorrect, so it should be "or" operator.	2020-05-12 16:49:04 +03:00
Evgenii Stratonikov	89b5e92b83	compiler: add tests for function literal ... Add test forgotten in #934.	2020-05-12 16:23:09 +03:00
Evgenii Stratonikov	e21015233b	compiler: implement shadowing of global variables ... Before introducing slots it was hard to change global variables preserving changes across multiple function calls. This commit implements such possibility. Closes #638.	2020-05-12 16:23:09 +03:00
Evgenii Stratonikov	0cb6dc47e4	vm: implement slot-related opcodes ... 1. Slot is a new mechanism for storing variables during execution which is more convenient than alt.stack. This commit implements support for slot opcodes in both vm and compiler. 2. Remove old alt.stack opcodes. 3. Do not process globals at the start of every function, but instead load them single time at main.	2020-05-12 16:23:08 +03:00
Evgenii Stratonikov	a6271f6bf2	vm: reorder splice opcodes	2020-05-12 16:15:35 +03:00
Evgenii Stratonikov	2cec088f08	vm: add reference counter to slots	2020-05-12 16:15:14 +03:00
Evgenii Stratonikov	af2abedd86	vm: implement reference counter ... It is convenient to have all reference-counting logic in a separate struct.	2020-05-12 16:15:14 +03:00
Evgenii Stratonikov	81cbf183af	vm: implement storage slots	2020-05-12 16:15:14 +03:00
Roman Khimov	8e916f5ab8	Merge pull request #934 from nspcc-dev/feature/pointer ... Implement function pointers in the VM	2020-05-12 15:47:01 +03:00
Evgenii Stratonikov	75fb3af48f	compiler: add basic support for function literals ... Implement basic support for function literals. Nested function literals and variables from closure are not supported for now.	2020-05-12 12:56:52 +03:00
Evgenii Stratonikov	1d3fb3d6f5	vm: implement PUSHA/CALLA opcodes	2020-05-12 12:56:51 +03:00
Evgenii Stratonikov	7fcd537b09	vm: implement Pointer stack item ... Pointer is a generic address type in VM. It is used for calling lambda-expressions.	2020-05-12 12:55:31 +03:00
Roman Khimov	b83ee77698	Merge pull request #938 from nspcc-dev/fix/appcall ... vm: remove APPCALL, TAILCALL	2020-05-08 13:11:02 +03:00
Evgenii Stratonikov	c0147c76ac	emit: remove tailCall argument from AppCall ... There is no TAILCALL opcode in NEO3.	2020-05-07 14:59:01 +03:00
Evgenii Stratonikov	73c82584a3	vm,compiler: replace APPCALL with System.Contract.Call ... Contract calls are performed via syscall System.Contract.Call in NEO3. This implements this in compiler and removes APPCALL from the VM.	2020-05-07 14:52:03 +03:00
Evgenii Stratonikov	ec900c7ff7	core: implement System.Contract.Call interop	2020-05-07 14:39:06 +03:00
Evgenii Stratonikov	301c1b7601	native: save native contract state on deploy	2020-05-07 14:03:14 +03:00
Evgenii Stratonikov	f9f3192b48	vm: move RET and SYSCALL opcodes	2020-05-07 13:23:05 +03:00
Roman Khimov	326264abb2	Merge pull request #937 from nspcc-dev/fix/slice ... compiler: support implicit type in function arguments	2020-05-07 11:36:47 +03:00
Evgenii Stratonikov	7ac15a7557	compiler: support implicit type in function arguments ... Go supports declaring multiple arguments of the same type without duplicating type name. Now we support this too.	2020-05-07 11:33:09 +03:00
Roman Khimov	d3f1ccd518	Merge pull request #936 from nspcc-dev/fix/voidcall ... compiler: allow empty returns	2020-05-06 18:27:59 +03:00
Evgenii Stratonikov	b0a89e8a1a	compiler: support named returns	2020-05-06 18:22:52 +03:00
Evgenii Stratonikov	156a2eddc5	compiler: support using return in some branches ... When `return` is used in one codepath, but not the other, we do not clean altstack properly. This commit fixes it.	2020-05-06 18:22:52 +03:00
Evgenii Stratonikov	770cff8b91	compiler: allow to use return with no arguments	2020-05-06 18:22:52 +03:00
Roman Khimov	9afcd71be3	Merge pull request #932 from nspcc-dev/feature/abort ... vm: implement ASSERT/ABORT opcodes	2020-05-06 16:32:18 +03:00
Evgenii Stratonikov	5ab4b9284b	core: remove unused function from tests	2020-05-06 16:00:16 +03:00
Evgenii Stratonikov	977c431bf1	vm: implement ASSERT/ABORT opcodes ... Rename THROWIFNOT to ASSERT, add ABORT opcode. ABORT cannot be caught, but the implementation should be postponed until exception handling is implemented.	2020-05-06 15:54:19 +03:00
Roman Khimov	963a70d54a	Merge pull request #926 from nspcc-dev/feature/stack ... Implement NEO3 VM stack opcodes	2020-05-06 14:51:04 +03:00
Roman Khimov	d5c471b087	Merge pull request #928 from nspcc-dev/fix-rpc-submitblock-test ... Fix RPC submitblock test	2020-05-06 14:47:44 +03:00
Roman Khimov	7287c01bd0	rpc/server: rework submitblock empty test ... The original intention here was to check for server reaction in presence of validation errors (response.ErrValidationFailed) and it was very easy to make validation fail for block without transactions in Neo 2. But in Neo 3 transactionless blocks are perfectly valid (see 29d321b5e1) which broke this test even though we didn't see it until websocket addition (which required 8cec6694ae to make this test work initially). So make a valid block and then spoil its verification script.	2020-05-06 14:20:35 +03:00