4835 Commits

Author	SHA1	Message	Date
Daniel Kirchner	f4b42d1c72	Add stack limit evader.	2020-09-17 22:13:27 +02:00
Kamil Śliwak	89e696ca1b	Allow using zero in patterns passed to isoltest --test	2020-09-17 17:28:49 +02:00
chriseth	6e4205e445	Do not run reasoning test if no SMT Solver is available.	2020-09-17 13:43:35 +02:00
Harikrishnan Mulackal	64ddf2c699	Verify simplification rule exp(2, X) to shl(X, 1)	2020-09-16 17:36:39 +02:00
chriseth	5000785ff8	Merge pull request #9822 from ethereum/fix-ice-on-returning-string-literal-in-calldata ... Mark string literals as not implicitly convertible to calldata arrays	2020-09-16 14:23:47 +02:00
Alex Beregszaszi	a187a1c4c4	Merge pull request #9798 from ethereum/smt-log ... [SMTChecker] Support events and low-level logs	2020-09-16 12:26:27 +01:00
Kamil Śliwak	3ba3bde65e	Mark string literals as not implicitly convertible to calldata arrays	2020-09-16 12:44:57 +02:00
Alex Beregszaszi	c8c17b693b	[SMTChecker] Support events and low-level logs	2020-09-16 11:50:39 +02:00
Kamil Śliwak	2916ae5bda	Fix static arrays with dynamic elements not being treated as dynamic in FunctionType::returnParameterTypesWithoutDynamicTypes()	2020-09-16 11:15:52 +02:00
chriseth	b08b76ffca	Merge pull request #9776 from ethereum/reportUnimplemented ... Sol->Yul: Report source locations related to unimplemented features.	2020-09-15 18:46:45 +02:00
chriseth	9bcc2f1713	Make ReasoningBasedSimplifier available as step.	2020-09-15 15:57:59 +02:00
chriseth	2d7e28769a	Skip smt optimizer tests if smt is disabled.	2020-09-15 15:57:59 +02:00
chriseth	f73fb726af	Reasoning based optimizer.	2020-09-15 15:57:58 +02:00
chriseth	2f41245e43	Commandline test for unimplemented IR.	2020-09-15 14:42:04 +02:00
chriseth	8c8c83a104	Adjust testing framework.	2020-09-15 14:41:46 +02:00
Alex Beregszaszi	5355e85639	Merge pull request #9782 from ethereum/smt-revert ... [SMTChecker] Support revert()	2020-09-15 13:26:19 +01:00
chriseth	ff93d8ac6c	Merge pull request #9804 from ethereum/extractYulSyntaxTests ... Extract (some) yul syntax tests.	2020-09-15 13:50:45 +02:00
chriseth	9eda69f637	Merge pull request #9793 from ethereum/same-syntax-test ... [Trivial] Use same multi-source-syntax for test files	2020-09-15 13:49:34 +02:00
chriseth	74efd5ba46	Merge pull request #9703 from a3d4/fix-4558-shadowed-declaration-warning ... Corrected warning for homonymous, but not shadowing declarations	2020-09-15 13:48:55 +02:00
Alex Beregszaszi	783d66c1a4	[SMTChecker] Support revert()	2020-09-15 11:46:33 +01:00
Alex Beregszaszi	8f36408ef9	Add test case for revert() in SMTChecker	2020-09-15 11:46:16 +01:00
Mathias Baumann	a1eb0f7225	Use same multi-source-syntax for test files	2020-09-15 12:44:02 +02:00
chriseth	768e0e96e4	Extract yul syntax tests.	2020-09-15 12:13:30 +02:00
chriseth	eac175c08b	Merge pull request #9053 from ethereum/generatedSources ... Export generated sources	2020-09-15 12:08:47 +02:00
chriseth	33cdefc40e	New test.	2020-09-15 11:22:43 +02:00
chriseth	7f0a86ce56	Remove version from combined-json.	2020-09-15 11:22:43 +02:00
chriseth	3f9f63b829	Test updates.	2020-09-15 11:22:16 +02:00
Daniel Kirchner	e93d74398b	Merge pull request #9807 from ethereum/smt_readd_tests ... Readd SMTChecker tests	2020-09-15 02:57:42 +02:00
a3d4	4ca7655b74	Correct the warning for homonymous, but not shadowing declarations	2020-09-15 02:39:21 +02:00
Leonardo Alt	28c8e01149	Readd SMTChecker tests	2020-09-14 23:44:13 +02:00
Alex Beregszaszi	83934254ea	[SMTChecker] Support type(I).interfaceId	2020-09-14 20:34:52 +01:00
chriseth	552a5f0913	Merge pull request #9314 from ethereum/inlineStartingFromLeaves ... Handle "leaf functions" first in full inliner.	2020-09-14 20:22:48 +02:00
chriseth	c6281f29d5	Merge pull request #9577 from ethereum/removeflag ... Remove "removesNonConstant" flag.	2020-09-14 20:20:46 +02:00
chriseth	de51531366	Merge pull request #9791 from a3d4/refactor-collision-warnings ... Refactor collision warnings	2020-09-14 20:19:53 +02:00
Leonardo Alt	fd6c665548	Update SMTChecker tests with z3 4.8.9	2020-09-14 19:04:13 +02:00
Harikrishnan Mulackal	b7944477a1	Update UnusedFunctionParameterPruner tests to avoid getting inlined	2020-09-14 17:59:50 +02:00
chriseth	8e39110a30	Remove flag.	2020-09-14 17:35:04 +02:00
Kamil Śliwak	ea1c249822	[yul-phaser] Chromosome: Use more samples and higher tolerance in tests checking the distribution ... - This makes them run a second longer (which might seem small but it's a 3x increase). - Hopefully they will break less when the random seed changes.	2020-09-14 16:17:39 +02:00
Kamil Śliwak	5637bdcaec	[yul-phaser] Replace mutation tests with hard-coded expectations with more robust ones that check the statistical distribution ... - The old tests would easily break when adding/removing optimiser steps.	2020-09-14 16:17:39 +02:00
Kamil Śliwak	d75f0ba437	[yul-phaser] Chromosome: Make it possible to use genes that do not correspond to existing optimiser steps	2020-09-14 16:17:39 +02:00
chriseth	fb205b719e	Merge pull request #9783 from ethereum/yul-phaser-fix-slow-tests-for-classic-algorithm ... [yul-phaser] Fix slow tests for classic genetic algorithm	2020-09-14 16:16:59 +02:00
a3d4	d8520b0af0	Move collision warnings to StaticAnalyzer	2020-09-14 02:52:00 +02:00
a3d4	e7a6534d4f	Unify collision warnings	2020-09-14 02:17:53 +02:00
Leonardo	31b5102aa0	Merge pull request #9731 from ethereum/smt_import ... [SMTChecker] Fix CHC encoding	2020-09-12 00:56:04 +02:00
Alex Beregszaszi	961a199cf5	[SMTChecker] Support type(T).min and type(T).max	2020-09-11 21:37:51 +01:00
Kamil Śliwak	e024032a67	Revert "[yul-phaser] Temporarily disable very slow tests for the classic algorithm" ... This reverts commit b23f7d8790.	2020-09-11 22:05:56 +02:00
Kamil Śliwak	952a9c6115	[yul-phaser] Chromosome: store step abbreviations instead of full names	2020-09-11 22:05:56 +02:00
Kamil Śliwak	2a707e7685	[yul-phaser] Chromosome: Add stepsToGenes() and genesToSteps()	2020-09-11 22:05:56 +02:00
Leonardo Alt	3fea11e1a9	Remove problematic test	2020-09-11 22:02:18 +02:00
Leonardo Alt	23ee011c56	[SMTChecker] Fix imports	2020-09-11 13:34:46 +02:00