1597 Commits

Author	SHA1	Message	Date
Leonardo Alt	b588134840	[SMTChecker] Fix typo in the code (satisifable->satisfiable)	2017-12-18 17:31:27 +01:00
Alex Beregszaszi	55752db956	Merge pull request #3342 from ethereum/jsonio-sourcelocation ... Populate the sourceLocation field properly in standard JSON on errors	2017-12-18 14:32:23 +00:00
chriseth	2e2f819fd6	Merge pull request #3304 from leonardoalt/smt_checker ... [SMTChecker] Keep track of current path conditions	2017-12-18 15:10:28 +01:00
Alex Beregszaszi	add4cde68c	Populate the sourceLocation field properly in standard JSON on errors	2017-12-18 12:17:51 +00:00
chriseth	e2828cfa61	Favour if over switch in ABI coder.	2017-12-15 09:47:34 +01:00
chriseth	3d1830f3f2	Merge pull request #3232 from ethereum/simplifyConstant ... Simplify ConstantEvaluator.	2017-12-14 16:14:46 +01:00
Leonardo Alt	a1e296e392	[SMTChecker] Helper functions to add an expression to the solver conjoined with or implied by the current path conditions	2017-12-13 17:59:36 +01:00
Leonardo Alt	2af4d7c7dd	[SMTChecker] Keep track of current path conditions	2017-12-13 17:39:10 +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