5562 Commits

Author	SHA1	Message	Date
Alex Beregszaszi	2c92f7641b	Move all experimental pragma tests to syntaxTests/pragma	2021-01-15 19:12:32 +00:00
Leonardo	726c5ff68c	Merge pull request #10777 from blishko/smt-fix-checked ... [SMTChecker] Fix BMC crash related to `unchecked` blocks	2021-01-15 16:46:32 +01:00
Alex Beregszaszi	3e678acd7d	Merge pull request #10781 from ethereum/new-ir-tests ... Enable some semantic tests for the IR	2021-01-15 14:48:22 +00:00
Martin Blicha	18214d1ccc	[SMTChecker] Reset checked/unchecked flag to the default value when inlining function in BMC	2021-01-15 15:36:26 +01:00
Alex Beregszaszi	293bb01c56	Enable some semantic tests for the IR	2021-01-15 14:10:54 +00:00
Leonardo Alt	007d39871b	[SMTChecker] Synthesize untrusted functions called externally	2021-01-15 11:56:26 +01:00
Djordje Mijovic	b92d024898	[isoltest] Error out in case of different result when enforcing via yul. ... Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>	2021-01-14 22:37:12 +00:00
chriseth	db4b39e09e	Round up allocations to multiples of 32.	2021-01-14 21:52:17 +00:00
chriseth	7d6331e26f	Use round up function.	2021-01-14 21:01:43 +00:00
chriseth	aba8d807db	Merge pull request #10765 from ethereum/ir-revert-strings ... Include revert strings in IR	2021-01-14 20:00:11 +01:00
Alex Beregszaszi	4491a290e2	Display unimplemented errors in Yul codegen testing ... i.e. do not hide exceptions	2021-01-14 18:08:01 +00:00
Alex Beregszaszi	7c7fd22062	Include revert strings in IR	2021-01-14 18:45:12 +01:00
Alex Beregszaszi	d4627d53eb	Merge pull request #10235 from ethereum/onlyFailOnUnimplemented ... Fail on assertion failures in yul code generation.	2021-01-14 16:55:07 +00:00
Leonardo	110e0e1f25	Merge pull request #10763 from blishko/smt-abi-fixes ... [SMTChecker] Small fixes in handling ABI functions	2021-01-14 16:00:49 +01:00
chriseth	a4769d446f	Fail on assertion failures in yul code generation.	2021-01-14 14:51:16 +00:00
chriseth	7d036dcb81	Merge pull request #10762 from ethereum/packedStorageOverflowSol2Yul ... [Sol->Yul] Fixing uncheked increment/decrement.	2021-01-14 15:32:55 +01:00
chriseth	6769c519b2	Merge pull request #10764 from ethereum/fixLibraryFromModule ... Fix accessing libraries inside modules.	2021-01-14 15:30:52 +01:00
chriseth	7f03af08b6	Merge pull request #10766 from ethereum/snark ... Move snark.sol in tests to externalContracts	2021-01-14 15:06:23 +01:00
chriseth	e61c4b411e	Merge pull request #10754 from ethereum/extractTwoTests ... Extract some tests.	2021-01-14 15:05:38 +01:00
Alex Beregszaszi	4db0e3049e	Move snark.sol in tests to externalContracts	2021-01-14 13:55:36 +00:00
Martin Blicha	2ee0f347b9	[SMTChecker] additional regression tests	2021-01-14 14:54:14 +01:00
chriseth	a65415cdad	Fix accessing libraries inside modules.	2021-01-14 14:07:08 +01:00
Djordje Mijovic	dc3e76bc2c	[Sol->Yul] Fixing uncheked increment/decrement.	2021-01-14 13:46:04 +01:00
chriseth	170cd5d2ae	Merge pull request #10760 from ethereum/asmConstantsFileLevel ... Fix accessing constants at file level from inline assembly.	2021-01-14 11:33:47 +01:00
chriseth	8905af28c3	Merge pull request #10759 from ethereum/nestedBytesArraySol2Yul ... [Sol->Yul] Fixing nested bytes array push.	2021-01-14 11:33:06 +01:00
chriseth	45be47fc6b	Merge pull request #10756 from ethereum/fixModifierLookup ... Fix modifier lookup	2021-01-14 11:28:26 +01:00
chriseth	8ad9290086	Fix modifier lookup.	2021-01-14 11:01:14 +01:00
chriseth	30305ebbd9	Fix accessing constants at file level from inline assembly.	2021-01-14 10:51:47 +01:00
chriseth	afbf68f79c	Merge pull request #10753 from ethereum/ir-negate ... Fix YulUtilFunctions::negateNumberWrappingFunction	2021-01-14 10:48:15 +01:00
Djordje Mijovic	7c45509a77	[Sol->Yul] Fixing nested bytes array push.	2021-01-14 10:32:31 +01:00
chriseth	fb4b38a78e	Extract some tests.	2021-01-13 23:45:51 +01:00
Alex Beregszaszi	c15c6d26b7	Fix YulUtilFunctions::negateNumberWrappingFunction	2021-01-13 21:29:37 +00:00
Martin Blicha	5e13744423	[SMTChecker] Fixed pushing string literal to bytes array	2021-01-13 16:30:50 +01:00
chriseth	6eea2f5c08	Merge pull request #9959 from a3d4/fix-ice-struct-with-mapping-assignment ... Fix ICE caused by const structs with mappings	2021-01-13 15:19:02 +01:00
Leonardo	fe344ed6e5	Merge pull request #10748 from blishko/smt-refactoring ... [SMTChecker] Refactoring common functionality	2021-01-13 14:23:19 +01:00
a3d4	35a25b107f	Fix ICE caused by const structs with mappings	2021-01-12 18:39:54 +01:00
Martin Blicha	7c6340fe4f	[SMTChecker] Refactoring expression to tuple assignment	2021-01-12 17:15:14 +01:00
chriseth	d97b9ba865	Merge pull request #10686 from ethereum/libraryCallGuard ... Library call guard.	2021-01-12 16:52:24 +01:00
Leonardo	fa28e48415	Merge pull request #10727 from ethereum/smt_cex_internal_calls ... [SMTChecker] Report internal calls in CHC transaction trace	2021-01-12 15:44:12 +01:00
chriseth	99add1e4e5	Merge pull request #10710 from ethereum/implicit-conversion-bug ... Disallow certain implicit conversions between integer types.	2021-01-12 15:42:12 +01:00
Leonardo Alt	b3c3836388	Output internal calls	2021-01-12 14:57:04 +01:00
Leonardo Alt	f1ae24abc7	Remove extra line breaks	2021-01-12 14:00:07 +01:00
Leonardo	66a773aef9	Merge pull request #10721 from blishko/smt-try-catch ... [SMTChecker] Support try-catch statements	2021-01-12 12:04:38 +01:00
hrkrshnn	e107d51f46	Disallow certain implicit conversions between integer types. ... Disallow implicit conversion from ``uintN`` and ``intM`` when ``M > N``, and by extension, explicit conversion between the same types are also disallowed.	2021-01-12 08:23:47 +01:00
chriseth	8058cad772	Enable some tests.	2021-01-11 20:37:45 +01:00
Alexander Arlt	bbef792568	Disable some ewasm tests.	2021-01-11 20:37:45 +01:00
Alexander Arlt	84f3530e71	Update tests.	2021-01-11 20:37:45 +01:00
chriseth	e807c9bb63	Library call guard.	2021-01-11 20:37:44 +01:00
chriseth	d43693ecca	Merge pull request #10675 from ethereum/refactor-bytecode-comparison-scripts ... Refactor bytecode comparison scripts	2021-01-11 18:57:47 +01:00
Djordje Mijovic	85b8325f0b	[Sol->Yul] Implementing dynamic array push for arrays of structs.	2021-01-11 17:49:42 +01:00