77 Commits

Author	SHA1	Message	Date
Paweł Bylica	6a64d18780	Merge remote-tracking branch 'upstream/develop' into feature/vm_gas_counter_refactor ... Conflicts: libethereum/Executive.h	2015-06-02 11:57:13 +02:00
chriseth	82b3a6b1f4	Merge pull request #1975 from LianaHus/sol_EVMExceptions ... "error jump" instead of STOP instraction in case of exception	2015-06-01 17:45:55 +02:00
Liana Husikyan	b810df04f0	renamed the test framwork function.	2015-06-01 16:48:13 +02:00
Liana Husikyan	c6a8938ed7	fixed CALL case. added exception	2015-06-01 16:39:09 +02:00
chriseth	604a2d89d2	Merge pull request #2027 from chriseth/sol_dupRemForLoops ... Allow duplicate code removal for loops.	2015-06-01 15:09:16 +02:00
Liana Husikyan	d863c8d088	corrected intends in solidityExecutionFramwork.h	2015-06-01 13:39:17 +02:00
Liana Husikyan	945418cc10	style fixes	2015-06-01 13:06:12 +02:00
Liana Husikyan	47f0e847e5	style fixes in test/libsolidity/solidityExecutionFramework.h ... fixed the test	2015-06-01 13:06:12 +02:00
Liana Husikyan	ca8104397d	removed exception when function is not found	2015-06-01 13:06:12 +02:00
Liana Husikyan	3ddae3209e	special handle of send	2015-06-01 13:06:12 +02:00
Liana Husikyan	19fb836bf6	modified the test	2015-06-01 13:06:12 +02:00
Liana Husikyan	fde4ed6bf6	remove line for debugging	2015-06-01 13:06:12 +02:00
Liana Husikyan	f1c042df8c	test for constructor (out of band exception)	2015-06-01 13:06:12 +02:00
Liana Husikyan	82dc10d492	test for exception in constructor	2015-06-01 13:06:12 +02:00
Liana Husikyan	4a2f18b41a	one more test to test the call of non-existed function ... Conflicts: test/libsolidity/SolidityEndToEndTest.cpp	2015-06-01 13:06:12 +02:00
Liana Husikyan	042491e0cc	added test to check evm exception	2015-06-01 13:06:12 +02:00
Liana Husikyan	8967476a8d	added error jump instead of STOP instraction in case of exception	2015-06-01 13:06:12 +02:00
chriseth	786b57b884	Re-introduce string type.	2015-05-28 16:20:50 +02:00
chriseth	f3d9523651	Allow duplicate code removal for loops.	2015-05-28 14:48:07 +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