Commit Graph

109 Commits

Author SHA1 Message Date
Paweł Bylica
ecd5108afc Change the way execution results are collected.
Changes handling ExecutionResult by Executive. From now execution results are collected on if a storage for results (ExecutionResult) is provided to an Executiove instance up front. This change allow better output management for calls - VM interface improved.
2015-05-28 08:56:21 +02:00
chriseth
fbc331bd35 Removed redundant std. 2015-05-26 11:31:04 +02:00
chriseth
964bcd6b85 Functional gas estimator. 2015-05-22 16:12:40 +02:00
chriseth
ec76302b85 Path gas meter. 2015-05-22 16:12:40 +02:00
Paweł Bylica
3605d3e965 Fix code duplication in Executive::call overloadings. 2015-05-21 11:01:19 +02:00
chriseth
e5a4a8fca4 Merge pull request #1988 from LianaHus/sol_Check_ref_problems_for_structs
Check: Reference problems concerning structs
2015-05-20 18:41:34 +02:00
Liana Husikyan
e38eefa9f6 Update SolidityEndToEndTest.cpp 2015-05-20 18:40:00 +02:00
Liana Husikyan
19262c12cf Update SolidityEndToEndTest.cpp 2015-05-20 18:38:52 +02:00
Liana Husikyan
a92591e519 style fix 2015-05-20 18:35:05 +02:00
Liana Husikyan
007c88216b Update SolidityEndToEndTest.cpp 2015-05-20 18:05:51 +02:00
Liana Husikyan
d006006c57 added tests to check references to struct type. 2015-05-20 17:57:41 +02:00
chriseth
79f11974ea Gas estimation taking known state into account. 2015-05-20 00:28:15 +02:00
Gav Wood
a5005aefff Move non-cryptopp dependent stuff into devcore. 2015-05-19 19:51:38 +02:00
Gav Wood
bae5779ab2 SHA3, RIPEMD160 and SHA256 are now not cryptopp impls. 2015-05-19 19:38:17 +02:00
chriseth
563f9098b2 Bare callcode for addresses and contracts. 2015-05-15 18:02:09 +02:00
chriseth
5f8a5f672d Store copied assembly items in test. Fixes OSX issues. 2015-05-15 13:25:44 +02:00
chriseth
7d5bebd464 Disable test. 2015-05-15 11:46:32 +02:00
chriseth
b50362042e Known state: store tags on stack as unions. 2015-05-13 17:15:32 +02:00
Gav Wood
e3aca3dca9 Merge pull request #1875 from chriseth/sol_invertIf
Reverse if and else body.
2015-05-13 00:59:56 +03:00
chriseth
43338fac9f Reverse if and else body. 2015-05-12 17:50:51 +02:00
chriseth
ca73a40170 Unify blocks with shared code. 2015-05-12 16:27:43 +02:00
chriseth
b6bd56bccd Merge pull request #1864 from chriseth/sol_knowledgeEngine2
Transfer knowledge about the state across jumps.
2015-05-12 16:17:31 +02:00
Liana Husikyan
14b30c87ab Update SolidityABIJSON.cpp 2015-05-11 17:17:50 +02:00
Liana Husikyan
23925040a1 updated unit test 2015-05-11 17:16:52 +02:00
Liana Husikyan
ccc3d56542 bug in abi. fixed external type for return parameters 2015-05-11 16:46:17 +02:00
chriseth
54bc7dda53 Compute state intersection. 2015-05-11 16:40:28 +02:00
chriseth
cc6647e671 Tests. 2015-05-11 12:56:40 +02:00
chriseth
2cc62fbbfb Merge pull request #1831 from chriseth/sol_newABIEncoding
New ABI encoding for dynamic types.
2015-05-11 12:27:24 +02:00
chriseth
202ea5c3a1 Merge pull request #1813 from chriseth/sol_knowledgeEngine
Static Analysis Engine.
2015-05-08 18:58:42 +02:00
Liana Husikyan
37fbf06c98 added one more test 2015-05-08 17:52:09 +02:00
Liana Husikyan
960033de6b fixed the test 2015-05-08 17:51:53 +02:00
Liana Husikyan
757972b4e3 added test 2015-05-08 17:51:52 +02:00
chriseth
135a67ad52 New ABI encoding for dynamic types. 2015-05-08 16:54:39 +02:00
chriseth
a0cc8abb2a CFG returns vector of blocks instead of assembly items. 2015-05-06 12:55:18 +02:00
chriseth
3649c1fc60 Common subexpression elimination ready for using pre-known state. 2015-05-06 11:10:42 +02:00
chriseth
8416a6260f Split known state from common subexpression eliminator. 2015-05-06 11:09:55 +02:00
Gav Wood
fce1a7f82e Merge pull request #1743 from chriseth/evmasm
Move assembly related files to libevmasm and split parameters.
2015-05-05 16:06:17 +02:00
chriseth
335c67a4e4 Fix for broken continue in for loop.
Fixes #1789.
2015-05-04 10:54:50 +02:00
chriseth
3172dbf701 Move assembly related files to libevmasm and Params.h/.cpp to libevmcore. 2015-04-30 11:42:02 +02:00
Gav Wood
717f255969 Merge pull request #1761 from chriseth/sol_fix_deleteBytes
Fix for deleting byte array elements.
2015-04-28 12:39:03 +02:00
chriseth
0e5331f62c Fix for deleting byte array elements.
Fixes #1759.
2015-04-28 11:31:40 +02:00
chriseth
7ad5cb9621 Removed visit functions for abstract AST nodes. 2015-04-27 18:57:13 +02:00
chriseth
ceb9326eb2 Merge pull request #1740 from chriseth/sol_sourceLocationForOptimizer
Try to keep source location during optimisation.
2015-04-27 16:51:01 +02:00
Liana Husikyan
21ced7e9c5 changed the test so constructor will have input parameters 2015-04-27 13:08:32 +02:00
Liana Husikyan
5b07f11330 changed the implementation 2015-04-27 13:08:32 +02:00
Liana Husikyan
9b956e809d fixed the output of the test 2015-04-27 13:08:32 +02:00
Liana Husikyan
18475f8ae1 test for resalts 2015-04-27 13:08:32 +02:00
chriseth
cfe24c3c2a Try to keep source location during optimization. 2015-04-27 10:08:55 +02:00
chriseth
b4d2ead1b8 Use non-implemented functions for solidity interface output. 2015-04-23 15:00:44 +02:00
chriseth
fcb772293b Fix regarding memory overwrite during sha3 computation. 2015-04-22 11:43:50 +02:00
chriseth
99a0cb3545 bytes parameters for events and sha3. 2015-04-22 11:43:49 +02:00
Gav Wood
817f3d53e9 Merge pull request #1685 from chriseth/sol_fix_ripemd_alignment
Fixed byte alignment for return type of ripemd160 built-in contract.
2015-04-21 17:33:02 +02:00
Gav Wood
60d364540e Merge pull request #1699 from chriseth/sol_fix_contractTypesAsArguments
Fix for Contract and Enum types as external function arguments.
2015-04-21 17:32:01 +02:00
chriseth
e65b9825d6 Merge pull request #1634 from chriseth/sol_overloadingFunctions
Function overloading.
2015-04-21 15:58:06 +02:00
chriseth
3190c9ec09 Fix for Contract and Enum types as external function arguments. 2015-04-21 15:50:37 +02:00
chriseth
c834ee5ce1 Fixed byte alignment for return type of ripemd160 built-in contract. 2015-04-21 13:03:26 +02:00
chriseth
ddbaa99056 Merge remote-tracking branch 'ethereum/develop' into sol_overloadingFunctions 2015-04-21 12:04:12 +02:00
chriseth
02121683f5 Removed (and added) some #ifs (but removed more than I added). 2015-04-21 11:46:11 +02:00
CJentzsch
b2adcf3bf3 Restructure test folders 2015-04-20 22:48:53 +02:00