Paweł Bylica
77dd832403
Rename Executive::setResultRef -> collectResult.
2015-05-28 11:56:28 +02:00
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
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
