Kamil Śliwak
054f1cb304
External test for Euler
2022-01-14 02:14:05 +01:00
Kamil Śliwak
f7a075bd48
externalTests: Add force_hardhat_unlimited_contract_size
2022-01-14 01:46:41 +01:00
Kamil Śliwak
f6ca4132b3
ens: Remove global solc replacement (only necessary with Truffle)
2022-01-14 01:36:47 +01:00
Daniel Kirchner
7c1daa50bb
Merge pull request #12523 from ethereum/immutable-ctor-fail-12379
...
Fix wrong error with immutables when base contract c'tor uses return
2022-01-13 14:26:34 +01:00
Marenz
2c4c8264e4
Fix wrong error with immutables when base contract c'tor uses return
2022-01-13 13:09:36 +01:00
Daniel Kirchner
f36a0eb545
Merge pull request #12516 from fulldecent/feature-docs-address
...
Document address members code and codehash. Fixes #12495
2022-01-13 10:07:33 +01:00
William Entriken
78f0be56c3
Document address members code and codehash
2022-01-13 01:20:45 -05:00
Daniel Kirchner
bc4436c57e
Merge pull request #12519 from ethereum/updateZ3
...
Update docker images to Z3 4.8.14.
2022-01-12 20:08:36 +01:00
Daniel Kirchner
38545e81c1
Update docker images to Z3 4.8.14.
2022-01-12 19:28:20 +01:00
Daniel Kirchner
81d3e532b8
Merge pull request #12521 from ethereum/smt_z3_4_14
...
update smtchecker tests for new z3
2022-01-12 19:26:03 +01:00
Leo Alt
098a3cb537
adjust tests for nondeterminism
2022-01-12 18:43:18 +01:00
Daniel Kirchner
1655626e0a
Remove counterexample from test.
2022-01-12 17:58:05 +01:00
Daniel Kirchner
b49f486cf6
Update osx z3 archive hash.
2022-01-12 17:38:47 +01:00
Leo Alt
9f171c0f06
update smtchecker tests for new z3
2022-01-12 15:13:34 +01:00
Harikrishnan Mulackal
a711969983
Merge pull request #12511 from ethereum/deterministic-test-order-in-trident-ext-test
...
Deterministic test order in Trident external test
2022-01-11 12:28:10 +05:30
Kamil Śliwak
10c954fd73
Merge pull request #12512 from ethereum/fix-trident-ext-test-after-preset-selection-pr
...
Fix preset selection in Trident external test
2022-01-10 22:16:08 +01:00
Kamil Śliwak
cc49eeda3f
trident: Note explaining the hard-coded commit
2022-01-10 21:36:58 +01:00
Kamil Śliwak
7142bfa548
trident: Sort test suites to make the order the same in CI and locally
2022-01-10 21:36:58 +01:00
Kamil Śliwak
823f0da3ee
trident: Update to match changes done to other external tests in the preset selection PR
2022-01-10 21:28:32 +01:00
Kamil Śliwak
4842774ab8
Merge pull request #12440 from ethereum/preset-selection-in-ext-tests
...
Preset selection in external tests
2022-01-10 21:15:45 +01:00
Kamil Śliwak
e49cf773b7
Merge pull request #12509 from ethereum/fix-trident-ext-test
...
Pin Trident external test to a specific commit to work around failing tests on master
2022-01-10 20:40:04 +01:00
Christian Parpart
f5ff358add
Adds missing accepts to ImportDirective's SymbolAlias::symbol
2022-01-10 19:32:28 +01:00
Kamil Śliwak
b8b8fcb463
Switch the trident external test to and earlier, working revision
2022-01-10 18:54:50 +01:00
Kamil Śliwak
b60b596741
externalTests: Add support for cloning repos at a specific commit
2022-01-10 18:38:48 +01:00
Daniel Kirchner
e2fe14b0e4
Merge pull request #12510 from ethereum/parallel-run-number-in-gitter-job-notifications
...
Parallel run number in gitter CI notifcations
2022-01-10 17:07:22 +01:00
Kamil Śliwak
483148ddff
Include the parallel run number in gitter notifcations from CI
2022-01-10 16:26:14 +01:00
Harikrishnan Mulackal
c7f6fe2eda
Merge pull request #12197 from ethereum/trident-ext-test
...
External tests for sushiswap/trident
2022-01-10 19:47:36 +05:30
Kamil Śliwak
1928b7843b
externalTests: Preset selection via command-line arguments
2022-01-10 14:44:00 +01:00
Kamil Śliwak
2d038cddff
trident ext test: Patch upstream instread of relying on our fork
2022-01-10 14:37:25 +01:00
Kamil Śliwak
6980fa32e2
External test for sushiswap/trident
2022-01-10 14:37:24 +01:00
Kamil Śliwak
19b1a13c6d
externalTests: Add support for hardhat.config.ts
2022-01-10 14:37:24 +01:00
Harikrishnan Mulackal
eee30b6ead
Merge pull request #12504 from brien-tech/patch-1
...
Fixing typo in "smart contracts"
2022-01-10 13:43:23 +05:30
Harikrishnan Mulackal
3731c0f4ac
Merge pull request #12500 from safwen1/patch-1
...
Explaining payable(msg.sender)
2022-01-10 13:28:56 +05:30
Brien
790e7f42a1
Fixing typo in "smart contracts"
2022-01-10 02:29:51 -05:00
Mohamed Safouen Bouabid
4c20821e6d
Explaining payable(msg.sender)
...
At this point of the documentation a new Solidity learner will not understand this line without further explanation:
if (!payable(msg.sender).send(amount)) {
It should explain how msg.sender is of type "address" and not "address payable" so it cannot send or receive Ether. Therefore it must be explicitly converted to payable.
2022-01-10 12:49:30 +05:30
Harikrishnan Mulackal
c3b4292d1d
Merge pull request #12498 from ethereum/add-function-hoister-to-ese
...
Add FunctionHoister as a pre-requisite for equal store eliminator.
2022-01-06 20:10:37 +05:30
Bhargava Shastry
2c7aed1d7e
Add FunctionHoister as a pre-requisite for equal store eliminator.
2022-01-06 14:16:02 +01:00
Mathias L. Baumann
63b6bbe15c
Merge pull request #12471 from ethereum/modifiers-control-flow-11483
...
Properly generated control flows for inherited modifiers
2022-01-06 13:39:50 +01:00
Marenz
e969aed780
Properly resolve virtual modifiers
2022-01-06 12:52:06 +01:00
chriseth
e17b06f4fd
Merge pull request #12497 from esquith/develop
...
Fix typo
2022-01-06 10:36:21 +01:00
Esquith Allen
b1ef5de496
fix typo
2022-01-05 21:58:41 -05:00
Christian Parpart
b6a203a9e8
Merge pull request #12493 from ethereum/lspAssert
...
LSP: Introduces lspAssert(condition, ErrorCode, message)
2022-01-05 12:18:32 +01:00
Christian Parpart
1bd0f9570f
LSP: Introduces lspAssert(condition, ErrorCode, message)
2022-01-05 11:30:04 +01:00
chriseth
c16867cb83
Merge pull request #12272 from ethereum/equalStoreEliminator
...
Equal store eliminator.
2022-01-05 11:24:59 +01:00
chriseth
679f73c1e0
Merge pull request #12276 from ethereum/fuzz-RSE
...
Yul interpreter: Changes required before merging Redundant store eliminator
2022-01-05 11:23:51 +01:00
chriseth
02ed2f0054
Merge pull request #12482 from ethereum/lsp-handler-error
...
LSP: Introduce RequestError exception for easier handling
2022-01-05 11:18:56 +01:00
Christian Parpart
4105b0a587
LSP: Introduce HandlerError(id, code, message) exception for easier handling.
2022-01-05 11:04:40 +01:00
Harikrishnan Mulackal
75df03c8a8
Merge pull request #12490 from fulldecent/develop
...
Typo: SemVer
2022-01-05 13:32:29 +05:30
William Entriken
c798ac472e
Typo: SemVer
2022-01-04 18:59:40 -05:00
chriseth
b892851d7c
Merge pull request #12489 from ethereum/fixPhaserTest
...
Use fixed seed for flaky phaser test for now.
2022-01-04 18:38:44 +01:00