144 Commits

Author	SHA1	Message	Date
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