1617 Commits

Author	SHA1	Message	Date
Federico Bond	75a3a707a2	Fix segfault with undeclared array types	2018-02-11 21:40:41 -03:00
Alex Beregszaszi	32300ea3ff	Merge pull request #3360 from federicobond/nonfatal-reference-errors ... Replace some fatal errors when resolving references with normal ones	2018-02-04 13:07:55 +00:00
Federico Bond	600e66e605	Replace some fatal errors when resolving references with normal ones	2018-02-02 14:09:32 -03:00
Alex Beregszaszi	b545987ec7	Issue warning for using public visibility for interface functions	2018-02-01 10:28:00 +00:00
chriseth	6807010dc7	Prevent libraries from being called.	2018-01-19 16:27:44 +01:00
Alex Beregszaszi	8b20a7cd53	Disallow non-functional instructions in parseExpression early	2018-01-10 14:16:46 +01:00
Alex Beregszaszi	42f8875770	Show restricted instruction warning before argument mismatch issue	2018-01-08 00:39:22 +00:00
Alex Beregszaszi	c269a12c5e	Support strict assembly mode in AssemblyStack	2018-01-06 01:23:38 +00:00
chriseth	124190336b	Split inline assembly into loose and strict flavours.	2018-01-06 01:23:38 +00:00
Alex Beregszaszi	fcbdaa32b9	Simplify parseElementaryOperation in regards to special instructions	2018-01-06 00:39:06 +00:00
chriseth	bca01f8f68	Merge pull request #3382 from ethereum/julia-identifier-parser ... Support some restricted tokens (return, byte, address) as identifier in Julia	2018-01-06 00:02:21 +01:00
Alex Beregszaszi	a91393f4d7	Support some restricted tokens (return, byte, address) as identifiers in Julia	2018-01-05 15:53:49 +00:00
Alex Beregszaszi	9e7e312fdf	Properly support library file names containing a colon (such as URLs).	2018-01-05 13:24:07 +00:00
Leonardo Alt	d0abc5359b	[SMTChecker] Variables are merged after branches (ite variables)	2018-01-04 18:20:12 +01:00
chriseth	00692a4ff6	Reset source location after using inline assembly.	2018-01-04 14:29:03 +01:00
Alex Beregszaszi	2cdd789b5d	Merge pull request #3297 from ethereum/separate_expression_and_statement ... Separate expression and statement	2018-01-04 12:04:19 +00:00
Alex Beregszaszi	8901b38959	Merge pull request #3369 from ethereum/jsonio-colon ... Properly handle colons in file names within jsonio	2018-01-04 11:58:29 +00:00
Federico Bond	a0771691ff	Improve error message for wrong struct initialization (#3359)	2018-01-04 11:24:39 +01:00
Alex Beregszaszi	ff9fdfac57	Properly handle colons in file names within jsonio	2018-01-03 15:44:03 +00:00
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
chriseth	54b6739962	Separate expression and statement.	2017-12-13 12:28:15 +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