chriseth
|
bfd3ab23e2
|
Disallow optimizer steps that require SMT if none is available.
|
2020-09-15 15:57:59 +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 |
|
chriseth
|
168433f251
|
Changelog entry.
|
2020-09-15 14:41:46 +02:00 |
|
chriseth
|
930646ba2b
|
Report locations of unimplemented features.
|
2020-09-15 14:41:46 +02:00 |
|
chriseth
|
b1ccf73511
|
Store current source location in Yul IR generation.
|
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
|
00c8fc73ad
|
Re-organize EVM object names.
|
2020-09-15 11:29:10 +02:00 |
|
chriseth
|
392ed02008
|
Changelog entry.
|
2020-09-15 11:22:43 +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
|
3b4024c2e1
|
Store optimized code if optimizer is activated.
|
2020-09-15 11:22:41 +02:00 |
|
chriseth
|
3f9f63b829
|
Test updates.
|
2020-09-15 11:22:16 +02:00 |
|
chriseth
|
e7e9b03bd8
|
Store generated sources in standard-json output.
|
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 |
|
Daniel Kirchner
|
3399570de2
|
Merge pull request #9795 from ethereum/staticZ3PPAUpdate
Bump Z3 version in static Z3 PPA build to 4.8.9.
|
2020-09-15 02:02:39 +02:00 |
|
Leonardo
|
4d470cd285
|
Merge pull request #9781 from ethereum/smt-type-interfaceid
[SMTChecker] Support type(I).interfaceId
|
2020-09-15 00:05:15 +02:00 |
|
Leonardo Alt
|
28c8e01149
|
Readd SMTChecker tests
|
2020-09-14 23:44:13 +02:00 |
|
Daniel Kirchner
|
32a322e3f8
|
Add groovy to static Z3 deps PPA script.
|
2020-09-14 23:09:28 +02:00 |
|
Daniel Kirchner
|
1312d547c2
|
Remove obsolete eoan from static z3 PPA script.
|
2020-09-14 23:09:28 +02:00 |
|
Daniel Kirchner
|
7288e391e6
|
Bump Z3 version in static Z3 PPA build to 4.8.9.
|
2020-09-14 23:09:28 +02:00 |
|
Alex Beregszaszi
|
9aa9962f71
|
Add ContractDefinition::interfaceId() helper
|
2020-09-14 20:34:52 +01: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 |
|
Daniel Kirchner
|
6ce33bc27b
|
Merge pull request #9799 from ethereum/z3_docker
Update z3 on docker files
|
2020-09-14 20:02:34 +02:00 |
|
Daniel Kirchner
|
857a48f526
|
Merge pull request #9797 from ethereum/smt_z3_update
Update SMTChecker tests with z3 4.8.9
|
2020-09-14 20:02:10 +02:00 |
|
Leonardo Alt
|
4e448ad798
|
Change build hashes
|
2020-09-14 19:07:40 +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
|
233604f94b
|
Remove ineffective rules.
|
2020-09-14 17:35:04 +02:00 |
|
chriseth
|
8e39110a30
|
Remove flag.
|
2020-09-14 17:35:04 +02:00 |
|
chriseth
|
f264f5474d
|
Merge pull request #9800 from ethereum/yul-phaser-make-tests-less-brittle
Yul phaser make tests less brittle
|
2020-09-14 16:57:35 +02:00 |
|
chriseth
|
5f8334d1db
|
Merge pull request #9796 from ethereum/ppaScriptRemoveEoan
Remove obsolete eoan and add new groovy from the PPA release script.
|
2020-09-14 16:34:44 +02:00 |
|
Daniel Kirchner
|
b4fbbf88e0
|
Add groovy to PPA release script.
|
2020-09-14 16:33:16 +02:00 |
|
Leonardo Alt
|
dc20e7b4b7
|
Update z3 on docker files
|
2020-09-14 16:25:29 +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 |
|