4907 Commits

Author	SHA1	Message	Date
chriseth	3102b98e82	Var is reserved keyword.	2020-10-06 15:08:57 +02:00
Leonardo	87e1934bee	Merge pull request #9885 from ethereum/smt_array_slices ... [SMTChecker] Support array slices	2020-10-01 18:12:57 +02:00
chriseth	e5771efdf8	Merge pull request #9905 from ethereum/deleteArrayPackedSol2Yul ... [Sol->Yul] Implementing deleting of storage array of types that are packed in storage	2020-10-01 16:50:57 +02:00
Leonardo Alt	c8cc73c80c	Support array slices	2020-10-01 11:52:02 +02:00
Djordje Mijovic	03eeb49a66	Adding test for deleting packed storage array.	2020-10-01 10:25:04 +02:00
chriseth	3af21c92d2	Merge pull request #9702 from a3d4/fix-7410-arrays-of-mappings ... Fix ICE caused by an array of mappings	2020-09-30 20:24:09 +02:00
chriseth	fda8bde2d7	Stop after parsing.	2020-09-30 16:57:49 +02:00
Mathias Baumann	4c02cd2310	Add name for split-test to prevent failure in other places	2020-09-30 16:56:53 +02:00
Harikrishnan Mulackal	fd02ccc68c	Implemented events with indexed function as parameter in Yul	2020-09-30 12:11:39 +02:00
Harikrishnan Mulackal	3970412422	Implemented events with function type as one of its indexed parameters	2020-09-30 12:11:38 +02:00
chriseth	7a86a61b08	Merge pull request #9895 from ethereum/exp-negative-one ... Optimize exp when base is -1	2020-09-30 11:54:22 +02:00
a3d4	a244daaacb	Exclude tests with overly deep nesting from antlr grammar checks	2020-09-29 20:20:20 +02:00
a3d4	3c876fcb60	Fix ICE caused by an array of mappings	2020-09-29 18:17:46 +02:00
Harikrishnan Mulackal	2b9f040c48	Optimize exp when base is -1	2020-09-29 17:44:09 +02:00
a3d4	3698cd54a5	Complete error coverage of Parser and SyntaxChecker	2020-09-29 16:07:02 +02:00
chriseth	4b67829328	Merge pull request #9917 from ethereum/leb-encoding ... Add LEB128 encoding functions & tests.	2020-09-29 14:55:25 +02:00
Leonardo Alt	352cce5fc8	[SMTChecker] Support addmod and mulmod.	2020-09-29 12:45:19 +02:00
Alexander Arlt	b6e1415509	Add LEB128 encoding functions & tests.	2020-09-28 16:06:19 -05:00
Leonardo Alt	fa7c9a0dc6	Simplify internal function calls	2020-09-28 15:31:15 +02:00
chriseth	9115100f2a	Merge pull request #9909 from ethereum/fix-9890 ... Fix missing annotation settings because of early return	2020-09-28 12:27:43 +02:00
Mathias Baumann	76bb2cafe9	Fix missing annotation settings because of early return	2020-09-28 12:12:44 +02:00
chriseth	bab2d6d644	Merge pull request #9852 from ethereum/fix-9851 ... Typechecker: Disallow free function redefinition	2020-09-28 11:15:47 +02:00
a3d4	9721bda36e	Complete error coverage of ParserBase	2020-09-28 01:56:25 +02:00
Leonardo Alt	e6bd18525b	[SMTChecker] Add engine prefix to verification target error messages	2020-09-25 19:09:06 +02:00
Leonardo Alt	0223571987	[SMTChecker] Do not report error when rlimit	2020-09-25 18:43:10 +02:00
Bhargava Shastry	e2a2276272	Contract level checker: Disallow free function redefinition and alias ... shadowing another free function Co-authored-by: chriseth <chris@ethereum.org>	2020-09-25 17:09:58 +02:00
Alex Beregszaszi	9f3d5d3e2f	[SMTChecker] Implement support for memory allocation	2020-09-25 15:56:24 +01:00
Alex Beregszaszi	9c1b041dcb	[SMTChecker] Keep constraints of string literals after assignment	2020-09-25 11:32:48 +01:00
Alex Beregszaszi	5090353a1a	[SMTChecker] Keep knowledge about string literals	2020-09-25 11:32:23 +01:00
Leonardo	57e1b2cb92	Merge pull request #9881 from ethereum/smt_fixed_bytes_index_access ... [SMTChecker] Support fixed bytes index access	2020-09-25 11:32:56 +02:00
Leonardo Alt	df8c6d94e3	[SMTChecker] Support fixed bytes index access	2020-09-25 09:59:38 +02:00
chriseth	5711d664aa	Merge pull request #9887 from ethereum/evmhost ... EVMHost: keep precompile balance/settings across resets	2020-09-24 21:15:06 +02:00
Alex Beregszaszi	e93992257e	Add more semantic tests for balance/extcodehash	2020-09-24 19:04:27 +01:00
Alex Beregszaszi	6479138dd4	EVMHost: keep precompile balance/settings across resets ... Also set proper codehash for precompiles.	2020-09-24 18:51:39 +01:00
chriseth	d52b3839e2	Merge pull request #9882 from ethereum/invalidOnErrorYul ... [SolYul] Use invalid opcode for internal errors	2020-09-24 19:37:44 +02:00
chriseth	b5c340cd66	Update tests	2020-09-24 17:07:43 +02:00
Leonardo	d180d6cdaf	Merge pull request #9880 from ethereum/smt-abi-type ... [SMTChecker] Do not warn on "abi" as an identifer	2020-09-24 17:02:17 +02:00
Harikrishnan Mulackal	ec25e960f9	Merge pull request #9863 from ethereum/signed-exp-tests ... Signed exp tests	2020-09-24 15:59:01 +02:00
Alex Beregszaszi	6edfdff187	[SMTChecker] Do not warn on "abi" as an identifer ... There is an approprate warning for the function call.	2020-09-24 13:57:42 +01:00
chriseth	a9f9b4db27	Merge pull request #9872 from ethereum/smt_remove_tests ... Extract boost smt and remove unused tests	2020-09-24 13:20:19 +02:00
chriseth	0a3b836f5a	Merge pull request #9867 from ethereum/string-literals ... More clear error messages with converting (hex) string literals	2020-09-24 12:49:46 +02:00
Leonardo	35a7d5d3e4	Merge pull request #9873 from ethereum/smt_dec_rlimit ... [SMTChecker] Decrease rlimit	2020-09-23 23:11:59 +02:00
Leonardo Alt	ebb6f61506	[SMTChecker] Decrease rlimit	2020-09-23 19:28:47 +02:00
Alex Beregszaszi	e54110ff17	Return UTF-8 error in BoolResult and remove it from string type	2020-09-23 17:35:05 +01:00
Alex Beregszaszi	a154594de6	Display string literal as hex in error messages if it is not printable ASCII	2020-09-23 17:33:39 +01:00
Alex Beregszaszi	0e5abbd4a9	Display location of invalid UTF-8 sequence in unicode literals in SyntaxChecker	2020-09-23 17:01:02 +01:00
Leonardo Alt	8eba66daf9	Extract boost smt and remove unused tests	2020-09-23 17:55:55 +02:00
Alex Beregszaszi	ca743191b7	Report why assigning oversized hex strings to bytes fail	2020-09-23 16:46:47 +01:00
Alex Beregszaszi	af8d78010e	Display BoolResult from implicit/explicit conversions for more clarity in error messages	2020-09-23 16:04:07 +01:00
Harikrishnan Mulackal	c314ca3cf2	Tests for signed exponentiation	2020-09-23 16:27:33 +02:00