197 Commits

Author	SHA1	Message	Date
chriseth	53da78e609	Style.	2015-12-15 09:57:05 +01:00
chriseth	f8228e8ab1	Relative paths in import directives.	2015-12-09 19:21:02 +01:00
chriseth	7cb7818cea	Source units are independent scopes.	2015-12-09 19:09:24 +01:00
chriseth	e510e7e792	Bugfix concerning pointers to moved data.	2015-12-08 12:41:24 +01:00
chriseth	7f415da886	Code generation for calling bound methods.	2015-12-01 12:35:34 +01:00
chriseth	e853eb22fa	Merge pull request #261 from chriseth/dataloc ... Bugfix for explicit memory types in libraries.	2015-12-01 12:15:17 +01:00
chriseth	7e3bf833ae	Bugfix for explicit memory types in libraries.	2015-11-30 19:46:26 +01:00
chriseth	35b310cfaf	Simplify and optimise stack rotation.	2015-11-30 18:50:47 +01:00
chriseth	e9c7837c15	Merge pull request #251 from chriseth/bind2 ... Bind library functions to types.	2015-11-30 16:06:44 +01:00
chriseth	a8736b7b27	Merge pull request #256 from chriseth/selfdestruct ... Introduce selfdestruct alias for suicide.	2015-11-30 16:06:18 +01:00
chriseth	6796afc2f8	Bugfix for constructor unpacking with fixed-size arrays.	2015-11-29 01:03:39 +01:00
chriseth	f9e52c9db1	Also check the object type for bound functions.	2015-11-29 00:16:07 +01:00
chriseth	93b3237c6a	Add bound functions to types.	2015-11-29 00:16:07 +01:00
chriseth	b97bb086de	Introduce selfdestruct alias for suicide.	2015-11-29 00:10:07 +01:00
chriseth	d71cd3aa2b	Added the using x for y directive.	2015-11-26 17:49:39 +01:00
chriseth	09b2f9acb7	Resolve type names using regular AST visit.	2015-11-26 17:49:02 +01:00
chriseth	4aaa150674	Convert filter to template function.	2015-11-26 17:28:44 +01:00
chriseth	cc2df5f9f2	Invalidate cached members if scope changes.	2015-11-26 15:37:55 +01:00
chriseth	b47d593252	Do not store elements of a contract by AST node type.	2015-11-26 15:37:55 +01:00
chriseth	86495dfc57	Make members context-sensitive.	2015-11-26 15:37:55 +01:00
chriseth	e06768e8b5	Fix MSVC errors and warnings.	2015-11-26 14:47:28 +01:00
chriseth	6a2a946200	Make some functions const.	2015-11-26 13:44:09 +01:00
chriseth	879844dd0a	Code generation for creating arrays.	2015-11-26 13:10:12 +01:00
chriseth	bf55aa6ae2	Type checking for creating new arrays.	2015-11-26 13:10:12 +01:00
chriseth	30b325fdc1	Allow "new expressions" also for general type names. ... Breaking change: If you want to send value with a contract creation, you have to use parentheses now: `(new ContractName).value(2 ether)(arg1, arg2)`	2015-11-26 13:10:12 +01:00
chriseth	f86451cd68	Fix solidity dependencies.	2015-11-26 12:40:15 +01:00
chriseth	20542d1623	Style.	2015-11-25 14:24:00 +01:00
chriseth	36ba7d11ca	Again some why3 fixes with regards to separators in blocks.	2015-11-25 14:24:00 +01:00
chriseth	ce1e73a734	Merge pull request #245 from chriseth/buildfixes ... Build dependency fixes.	2015-11-25 14:03:29 +01:00
chriseth	aa8e9e66ed	Merge pull request #244 from chriseth/fix_stringAlloc ... Fix for memory allocation bug.	2015-11-24 16:18:41 +01:00
chriseth	46bc70e709	Build dependency fixes.	2015-11-24 16:12:42 +01:00
chriseth	68f1da1e3a	Fixed string inside struct allocation bug.	2015-11-24 14:54:37 +01:00
chriseth	e59b9b445a	Merge pull request #241 from chriseth/why3VariablesInConditions ... Why3 variables in conditions	2015-11-24 11:33:35 +01:00
chriseth	10fe0a2434	Style.	2015-11-23 16:30:51 +01:00
Gav Wood	2554d6104a	Merge pull request #236 from ethereum/hot_gav ... Fix up for new API from EIP-1.1.	2015-11-23 12:42:28 +01:00
chriseth	806507d5c0	addmod and mulmod for why3.	2015-11-23 00:58:17 +01:00
chriseth	82a6ab486d	Why3: Direct references to variables using #.	2015-11-23 00:58:17 +01:00
Gav Wood	bff172cf65	Fix up for new API from EIP-1.1.	2015-11-21 14:34:21 +01:00
chriseth	284d8f8b13	Merge pull request #229 from chriseth/fv_storage_types ... Formal Verification: State variables.	2015-11-19 13:16:23 +01:00
chriseth	8dfc964e7d	Merge pull request #227 from chriseth/addmod ... Addmod and mulmod.	2015-11-19 13:16:13 +01:00
Gav Wood	3be0ae6e2c	Merge pull request #204 from ethereum/hot_gav ... The Big Refactor	2015-11-19 12:20:46 +01:00
Gav Wood	938b6793f1	Minor API change - must provide SealEngine to Executive now.	2015-11-19 10:19:53 +01:00
chriseth	12f19fa46b	Formal Verification: State variables.	2015-11-19 02:04:33 +01:00
chriseth	0cf8d022ae	Addmod and mulmod.	2015-11-18 17:12:39 +01:00
chriseth	f4de369bad	Merge pull request #218 from chriseth/fix_overwriteMemory ... Fix memory overwrite problem for arrays.	2015-11-17 14:46:19 +01:00
chriseth	0c900f9b8a	Fix memory overwrite problem for arrays.	2015-11-16 18:32:21 +01:00
chriseth	a35f91816b	Fix dynamic indexed event arguments - applies sha3.	2015-11-16 17:09:09 +01:00
chriseth	34829ae764	Fix problems with statement blocks.	2015-11-11 15:21:01 +01:00
LianaHus	a15d2bbb52	style fix	2015-11-06 21:07:42 +01:00
LianaHus	da47f9df7b	style fixes	2015-11-06 20:56:14 +01:00