1591 Commits

Author	SHA1	Message	Date
Alex Beregszaszi	add4cde68c	Populate the sourceLocation field properly in standard JSON on errors	2017-12-18 12:17:51 +00:00
chriseth	3d1830f3f2	Merge pull request #3232 from ethereum/simplifyConstant ... Simplify ConstantEvaluator.	2017-12-14 16:14:46 +01:00
Yoichi Hirai	55e9af2f20	Merge pull request #3310 from ethereum/limitDecl ... Limit number of secondary source locations.	2017-12-12 11:14:06 +01:00
Yoichi Hirai	14707b27e2	Merge pull request #3183 from federicobond/fix-event-parsing ... Fix event parsing. Refs #3175	2017-12-12 11:12:18 +01:00
chriseth	e7ed9d878e	Re-use commonType	2017-12-12 10:45:40 +01:00
chriseth	48c7ba72f3	Simplify ConstantEvaluator.	2017-12-12 09:44:18 +00:00
Alex Beregszaszi	7ff9a85592	Reduce the types of errors outputted by ConstantEvaluator	2017-12-12 09:40:29 +00:00
Alex Beregszaszi	5226d54ed1	Improve error message for constant evaluator	2017-12-12 09:39:26 +00:00
chriseth	2d171c25e5	Limit number of secondary source locations.	2017-12-12 10:27:28 +01:00
chriseth	9e36c189e5	Fix struct encoding warning for libraries.	2017-12-11 02:34:42 +00:00
Alex Beregszaszi	e9d256ddf4	Suggest the experimental ABI encoder if using structs as function parameters	2017-12-11 02:34:42 +00:00
Alex Beregszaszi	793537e089	Suggest the "if" statement too instead of jumps	2017-12-05 19:27:12 +00:00
Alex Beregszaszi	bc875f6b9c	Warn for assembly labels too	2017-12-05 19:27:12 +00:00
Alex Beregszaszi	745eefa36f	Split Instruction and FunctionalInstruction in Julia	2017-12-05 14:52:11 +00:00
chriseth	b47e023df1	Merge pull request #3032 from ethereum/division ... Division and unary operators for SMT checker	2017-12-05 13:59:01 +01:00
chriseth	240c79e614	Merge pull request #3265 from ethereum/rename_args_to_params ... Rename arguments to parameters.	2017-12-04 06:49:44 -05:00
chriseth	43bb915454	Rename arguments to paramaters and returns to returnVariables.	2017-12-01 16:18:01 +01:00
chriseth	a256983320	Fix expression creation problems.	2017-11-30 01:20:21 +01:00
chriseth	d160ec8595	Fix signed division.	2017-11-30 01:20:21 +01:00
chriseth	19e067465a	Unary operators and division.	2017-11-30 01:20:21 +01:00
Alex Beregszaszi	9f756e3797	Include missing forward declarations in AsmDataForward	2017-11-29 21:43:44 +00:00
Alex Beregszaszi	3576ccf5b3	Simplify target selection code	2017-11-29 20:10:18 +00:00
Alex Beregszaszi	b2023196a2	Rename target selection to use the word artifact	2017-11-29 20:10:18 +00:00
Alex Beregszaszi	bbcec95bac	Add workaround for bytecode/deployedBytecode selection	2017-11-29 20:10:18 +00:00
Alex Beregszaszi	8da245cca3	Limit output according to the selected targets in StandardCompiler	2017-11-29 20:10:18 +00:00
Alex Beregszaszi	d37e6ba1c7	Add target selection helpers to StandardCompiler	2017-11-29 20:10:04 +00:00
chriseth	5a3dbb0269	Cleanup and overflow checks for data pointers.	2017-11-29 17:08:44 +01:00
chriseth	bdc1ff8ec7	ABI decoder.	2017-11-29 17:08:44 +01:00
chriseth	a1f59cbb17	Merge pull request #3220 from ethereum/IuliaIf ... If statement for Iulia / Inline Assembly	2017-11-27 09:02:46 -05:00
chriseth	0e2a9658d2	Explain IntIntFun and merge assertion.	2017-11-23 19:02:47 +01:00
Federico Bond	14fd647b85	Fix event parsing. Refs #3175	2017-11-22 23:08:12 -03:00
chriseth	6ed4e0632f	Use if statement in abi functions.	2017-11-22 16:25:24 +01:00
chriseth	6dbc34e16e	If statement for Iulia / inline assembly.	2017-11-22 16:25:24 +01:00
chriseth	762d591a47	Introduce sorts for smt expressions.	2017-11-22 15:20:26 +01:00
chriseth	8538a25f8d	Fix problem with non-value-typed variables.	2017-11-22 02:35:34 +00:00
chriseth	19d5c42429	For loop.	2017-11-22 02:35:34 +00:00
chriseth	95a65dc04c	Fix boolean constants.	2017-11-22 02:35:34 +00:00
chriseth	22c689d516	Check for conditions being constant.	2017-11-22 02:35:34 +00:00
chriseth	e5de4a66ed	Tests.	2017-11-22 02:35:34 +00:00
chriseth	b37377641d	Track usage of variables.	2017-11-22 02:35:34 +00:00
chriseth	f62caf587e	Handle branches.	2017-11-22 02:35:34 +00:00
Alex Beregszaszi	455e51a608	Improve cyclic constant error message	2017-11-22 02:11:22 +00:00
Balajiganapathi S	d102deaec9	Detect cyclic constant definitions	2017-11-22 02:07:56 +00:00
Balajiganapathi S	165857b1d4	Allow constant integer variables as array lengths.	2017-11-22 01:41:46 +00:00
Alex Beregszaszi	8d26894841	Show checksummed address always (prepend with 0)	2017-11-17 00:46:45 +00:00
Alex Beregszaszi	1d5dd909b4	Do not try to display checksummed address for too-short/long address literals	2017-11-17 00:46:45 +00:00
wadeAlexC	8a6692b2cf	Improves address literal checksum error message	2017-11-17 00:46:44 +00:00
chriseth	0c1fc594ef	Merge pull request #3209 from ethereum/unimplemented-msgs ... Add explanation to unimplemented assertions	2017-11-16 04:32:51 -05:00
Alex Beregszaszi	f2e9dea5e7	Merge pull request #3194 from kseo/print-using-for ... Print using for directive in ASTPrinter	2017-11-15 17:20:49 +00:00
Alex Beregszaszi	c1e202618c	Add explanation to unimplemented assertions	2017-11-15 17:19:29 +00:00