637 Commits

Author	SHA1	Message	Date
Yoichi Hirai	e29047b24d	codegen: assertion did not assert non-nullness ... This commit strengthens an assertion so that it makes sure that a pointer is not null. Moreover, `isLocalVariable(variable)` is now positively asserted, following the error message.	2016-12-01 11:58:34 +01:00
Alex Beregszaszi	2962426d53	Include the grammar verbatim in the documentation	2016-11-30 12:20:13 +00:00
Alex Beregszaszi	a9e92cb686	Rename dev::validate to dev::validateUTF8	2016-11-28 22:28:21 +00:00
Alex Beregszaszi	c01426efec	Make position optional in dev::validate	2016-11-28 22:27:55 +00:00
Alex Beregszaszi	f1bc979c0f	Use solUnimplemented wherever possible	2016-11-28 09:51:02 +00:00
chriseth	d7677826d4	Merge pull request #1395 from ethereum/grammar ... Properly define the pragma directive in the grammar	2016-11-25 16:58:30 +01:00
chriseth	3a8a0708ff	Merge pull request #1381 from ethereum/overflown_enum_compared ... Enum overflow checking before writing to storage	2016-11-25 16:22:12 +01:00
Yoichi Hirai	0be5859503	codegen: cleanup values to fit in storage bytes	2016-11-25 15:50:46 +01:00
Yoichi Hirai	548b7ce42d	codegen: storing of non-value types; add some assertions	2016-11-25 15:45:18 +01:00
Yoichi Hirai	fa486f5b44	codegen: shorten the bit truncation	2016-11-25 15:45:18 +01:00
Yoichi Hirai	9d25b5601e	codegen: merge type conversion and cleaning up	2016-11-25 15:45:18 +01:00
Yoichi Hirai	3fb9625127	codegen: document _chopSignBits parameter of convertType function	2016-11-25 15:45:17 +01:00
Yoichi Hirai	ea628001d5	codegen: add an option to CovertType so that it can truncate sign bits	2016-11-25 15:45:16 +01:00
Yoichi Hirai	56d6641086	codegen: cleanup stored values in a more consistent way	2016-11-25 15:44:36 +01:00
chriseth	da566b956e	Indentation.	2016-11-25 14:36:44 +01:00
Yoichi Hirai	e136ec8704	ast: string literals that are not valid UTF are not convertible to strings	2016-11-25 13:36:06 +01:00
Yoichi Hirai	5b8a773986	codegen: cleanup value types before storing them	2016-11-24 11:31:45 +01:00
VoR0220	3f9f725737	Fix licensing headers ... Signed-off-by: VoR0220 <rj@erisindustries.com>	2016-11-23 12:22:33 +01:00
Alex Beregszaszi	92f1c9d492	Properly define the pragma directive in the grammar	2016-11-18 03:15:24 +00:00
Alex Beregszaszi	910269a29f	Add appendCallValueCheck	2016-11-17 17:23:35 +00:00
Alex Beregszaszi	60e9c901e9	Include payable for the constructor in the ABI	2016-11-17 17:23:35 +00:00
Alex Beregszaszi	ceeb8f4a2b	Add payable check for constructor in codegen	2016-11-17 17:23:35 +00:00
chriseth	2c14a96820	Some more assertions and style changes.	2016-11-16 15:09:01 +01:00
chriseth	ec31d08775	Change encoding to address-funid and add "function" as ABI type.	2016-11-16 14:37:19 +01:00
chriseth	7a292c9a05	Fix parser for function type disambiguity.	2016-11-16 14:37:19 +01:00
chriseth	0335ed4cb4	Simple peephole optimizer that is activated even if not requested.	2016-11-16 14:37:19 +01:00
chriseth	22b4d1b29a	Check that no internals are used in any external function type.	2016-11-16 14:37:18 +01:00
chriseth	e51f852504	Converted sub assembly to smart pointer.	2016-11-16 14:37:18 +01:00
chriseth	e543bd34c0	Stored combined creation and runtime tags. ... Includes a change to Assembly to allow tags from sub-assemblies to be used. Sorry, this get a bit bigger than I thought.	2016-11-16 14:37:18 +01:00
chriseth	746266b8fc	ABI: Use external function.	2016-11-16 14:37:18 +01:00
chriseth	925d674146	Disallow payable internal functions.	2016-11-16 14:37:18 +01:00
chriseth	f7a62c1e69	Mention "payable" in the documentation.	2016-11-16 14:37:18 +01:00
chriseth	e1df3bd77f	Fix tests.	2016-11-16 14:37:18 +01:00
chriseth	f21f794f3c	delete for function types	2016-11-16 14:37:18 +01:00
Yoichi Hirai	c9f9b2ab4d	codegen: add a compilation mode and a runtime context to CompilerContext	2016-11-16 14:37:18 +01:00
chriseth	5011d6339a	Added function types to the grammar.	2016-11-16 14:37:18 +01:00
chriseth	47794c1da4	Implement uninitialized storage functions.	2016-11-16 14:37:18 +01:00
chriseth	cc847df3c2	Bugfix in code generator.	2016-11-16 14:37:18 +01:00
chriseth	ff3553a348	Change alignment.	2016-11-16 14:37:18 +01:00
chriseth	62492b67e7	Changelog entry and small fixes.	2016-11-16 14:37:18 +01:00
chriseth	95d7555e3c	External functions in storage.	2016-11-16 14:37:17 +01:00
chriseth	6f19559de0	Fix some type checks and tests for internal / external function parameters.	2016-11-16 14:37:17 +01:00
chriseth	97a3588701	Function type state variables.	2016-11-16 14:37:17 +01:00
chriseth	dd173f83e3	Code generator for function types.	2016-11-16 14:37:17 +01:00
chriseth	cc8583ec7d	Function types.	2016-11-16 14:37:17 +01:00
Alex Beregszaszi	9719cf38e6	Move InterfaceHandler from string to JSON	2016-11-15 15:55:25 +00:00
Alex Beregszaszi	ae8403ed08	Rename ErrorTag to invalidJumpLabel in inline assembly	2016-11-15 10:30:33 +00:00
Alex Beregszaszi	91367234d9	Support ErrorTag as a jump label in inline assembly	2016-11-15 10:30:12 +00:00
chriseth	028ab1fbfb	Merge pull request #1375 from ethereum/inline-assembly-stack-height ... Fix inline assembly stack warnings when using variables	2016-11-15 11:25:12 +01:00
Alex Beregszaszi	dad33f80dd	Fix inline assembly stack warnings when using variables	2016-11-15 02:53:19 +00:00