4994 Commits

Author	SHA1	Message	Date
Leonardo Alt	b67ade5163	Move modelCheckerSettings out of settings in StandardCompiler	2020-10-19 10:39:06 +01:00
Daniel Kirchner	79d9a1ca81	Tests for abi.encode.	2020-10-16 20:24:43 +02:00
Daniel Kirchner	e06d4303fb	Semantic tests.	2020-10-16 19:40:41 +02:00
Daniel Kirchner	909ce9164a	Allow arrays of contract types as type expressions e.g. for abi.decode.	2020-10-16 19:40:41 +02:00
Leonardo	eedd12ad1d	Merge pull request #10056 from ethereum/smt_fix_develop ... Fix SMT command line test	2020-10-16 18:37:55 +01:00
Leonardo Alt	289ac23fe6	Fix smt cmdlinetest	2020-10-16 17:58:45 +01:00
Daniel Kirchner	db4dd51739	Merge pull request #10055 from ethereum/userDefinedLibraryTypes ... Disallow invalid use of library names as type names.	2020-10-16 18:55:42 +02:00
Daniel Kirchner	3f14c904b0	Disallow invalid use of library names as type names.	2020-10-16 18:25:08 +02:00
Leonardo	a097f9f124	Merge pull request #10025 from ethereum/smt_crypto_functions ... [SMTChecker] Support crypto functions in CHC	2020-10-16 16:40:29 +01:00
Leonardo	8d7bdcaba7	Merge pull request #10036 from ethereum/smt_cli_option ... Add CLI option to choose model checker engine	2020-10-16 16:37:33 +01:00
Martin Blicha	8c351278ac	[SMTChecker] added test to check correct handling of the sign of the modulo operation	2020-10-16 16:17:32 +02:00
Martin Blicha	78c8fbc7ce	[SMTChecker] encoding division and modulo operations using slack variables	2020-10-16 16:06:31 +02:00
Leonardo Alt	4e49135318	Add CLI option to choose model checker engine	2020-10-16 15:01:47 +01:00
Leonardo Alt	54f76e081a	[SMTChecker] Support crypto functions in CHC	2020-10-16 14:57:13 +01:00
Djordje Mijovic	5f0b8dd716	[Sol->Yul] Changing yul unimplemented test as delete bytes is implemented now.	2020-10-15 22:05:40 +02:00
Djordje Mijovic	4a66723ff9	[Sol->Yul] Implementing resizing of dynamic byte arrays ... Co-authored-by: chriseth <chris@ethereum.org>	2020-10-15 22:05:35 +02:00
chriseth	c9ed1b9ae9	Merge pull request #10047 from ethereum/removeMemoryGuards ... Disable StackLimitEvader again until we have stronger correctness guarantees.	2020-10-15 18:56:33 +02:00
chriseth	89bdad2096	Merge pull request #10043 from ethereum/emptyArrayCopy ... Fix empty array copy bug.	2020-10-15 17:07:54 +02:00
chriseth	38abadf502	Fix empty array copy bug.	2020-10-15 16:48:08 +02:00
Daniel Kirchner	2e984a3651	Remove memoryguard calls from command line test expectations.	2020-10-15 16:25:15 +02:00
Daniel Kirchner	82876fd00e	Disable StackLimitEvader again until we have stronger correctness guarantees.	2020-10-15 16:16:41 +02:00
chriseth	e17d6853a9	Merge pull request #9985 from ethereum/optimizeDeleteStructSol2Yul ... [Sol->Yul] Optimizing delete struct.	2020-10-15 16:03:06 +02:00
Bhargava Shastry	5023d3decb	ossfuzz: Remove antlr4 build deps	2020-10-15 12:59:18 +02:00
chriseth	837dd004c8	Enable some more Yul tests.	2020-10-14 17:43:19 +02:00
Djordje Mijovic	6f7947cfa5	[Sol->Yul] Optimizing delete struct. ... Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>	2020-10-14 13:35:15 +02:00
chriseth	92a2cddbfa	Merge pull request #10024 from ethereum/outofBoundsGetter ... Use revert for out-of-bounds array index access in getter.	2020-10-14 12:33:41 +02:00
chriseth	9b1f90512b	Merge pull request #10027 from ethereum/yul-syntax-test-extractions ... Continued Yul syntax test extractions.	2020-10-14 12:32:39 +02:00
chriseth	56d6855222	Merge pull request #9738 from ethereum/arrayCopyingSol2Yul ... [Sol->Yul] Implementing copying of arrays to storage	2020-10-14 12:22:09 +02:00
Christian Parpart	626b7cdb09	Extract yul syntax tests: invalid use of builtin identifiers	2020-10-14 12:18:33 +02:00
Christian Parpart	5d40494ed2	Extract yul syntax tests: function	2020-10-14 12:05:46 +02:00
Christian Parpart	5b799b01ab	Extract yul syntax tests: multiple assignment expression	2020-10-14 11:50:25 +02:00
Christian Parpart	99d18336a0	Extract yul syntax tests: recursion depth	2020-10-14 11:45:54 +02:00
Christian Parpart	b1b2d3ef62	Extract yul syntax tests: switch statement	2020-10-14 11:39:10 +02:00
Christian Parpart	c63265ff03	Extract yul syntax tests: for statement	2020-10-14 11:23:10 +02:00
Christian Parpart	2accbbe251	Extract yul syntax tests: if statement	2020-10-14 10:54:18 +02:00
chriseth	8d241fece9	Merge pull request #9849 from ethereum/fixIce9817 ... Fixing ICE on returning struct with mapping from library	2020-10-14 00:05:19 +02:00
Djordje Mijovic	674855f684	[Sol->Yul] Adding new and activating old tests for copying of arrays to storage.	2020-10-13 20:31:11 +02:00
Leonardo Alt	88f783bb1e	Remove more tests because current Spacer crashes	2020-10-13 19:27:49 +01:00
Djordje Mijovic	1272c474ba	Fixing ICE when returning Struct from library	2020-10-13 20:00:11 +02:00
chriseth	5dc3a971cb	Use revert for out-of-bounds array index access in getter.	2020-10-13 18:57:41 +02:00
Leonardo Alt	b9b9c229b4	New tests	2020-10-13 17:49:04 +01:00
Leonardo Alt	47b268d509	Update tests	2020-10-13 17:49:04 +01:00
Leonardo Alt	aec456021d	Add tx constraints to CHC	2020-10-13 17:49:04 +01:00
chriseth	fed6ea0125	Fix error message formatting in isoltest.	2020-10-13 17:20:19 +02:00
Mathias Baumann	32b4f18023	Print warning for unnamed return parameters and no return statement	2020-10-13 13:11:29 +02:00
chriseth	4b342a7cad	Merge pull request #9816 from ethereum/exp-base-literals ... [Sol->Yul] Optimization for exponentiation when the base is a literal	2020-10-12 19:34:38 +02:00
Harikrishnan Mulackal	dbd5326d0c	Commandline test for exp with literal base	2020-10-12 18:54:58 +02:00
Harikrishnan Mulackal	418aa01c5b	Optimization for exponentiation when the base is a literal	2020-10-12 18:54:58 +02:00
Djordje Mijovic	e23d8f5593	[SMTChecker] Supporting inline arrays.	2020-10-12 16:59:14 +02:00
Kamil Śliwak	e1cc888369	Fix checkBaseABICompatibility() to make it actually check return parameters and not just ordinary parameters twice	2020-10-12 15:14:56 +02:00