Kamil Śliwak
|
b1e7964ad5
|
CI: Add missing workflow_trigger_on_tags filter to bytecode jobs
|
2022-01-17 19:55:52 +01:00 |
|
Kamil Śliwak
|
31cf7f7adb
|
CI: Create templates for parameterized jobs to make it easier to reuse them in multiple workflows
|
2022-01-17 19:55:52 +01:00 |
|
Daniel Kirchner
|
2d0f6278bb
|
Allow builtins as yul identifier paths in antlr grammar.
|
2022-01-17 18:42:54 +01:00 |
|
Daniel Kirchner
|
07d1bc5f37
|
Merge pull request #12507 from ethereum/removeSnap
Refine documentation about externally maintained and unmaintained linux packages.
|
2022-01-17 18:19:39 +01:00 |
|
Marenz
|
7c0a121e45
|
Natspec: Fix ICE when overriding a struct getter with a Natspec-documented return value and the name in the struct is different.
|
2022-01-17 17:10:07 +01:00 |
|
Daniel Kirchner
|
776c984cb0
|
Adjust documentation for linux packages not maintained by us.
|
2022-01-17 16:10:39 +01:00 |
|
Daniel Kirchner
|
e8c628e6cc
|
Merge pull request #12520 from ethereum/failed-assert-12505
Fix ICE when a variable declaration before a referenced struct
|
2022-01-17 14:06:04 +01:00 |
|
Marenz
|
57d84c8bfb
|
Fix genetic algorithms CI failure
|
2022-01-17 13:35:07 +01:00 |
|
Marenz
|
0004ad8764
|
Fix ICE when a constant variable declaration forward references a struct
|
2022-01-17 13:24:14 +01:00 |
|
Harikrishnan Mulackal
|
7b58afa94c
|
Merge pull request #12531 from ethereum/bleeps-ext-test
External test for Bleeps
|
2022-01-17 11:05:37 +01:00 |
|
Kamil Śliwak
|
1af0ce0f26
|
External test for Bleeps
|
2022-01-14 23:57:14 +01:00 |
|
Daniel Kirchner
|
756ae673e1
|
Merge pull request #12536 from ethereum/optimize-mac-os-ci-jobs
[CI] Use `large` resource class for macOS and use `-j` without spaces
|
2022-01-14 23:50:04 +01:00 |
|
Daniel Kirchner
|
9b52208755
|
Merge pull request #12530 from ethereum/yield-liquidator-ext-test
External test for Yield Protocol Liquidator v2
|
2022-01-14 23:45:21 +01:00 |
|
Kamil Śliwak
|
91f51b76c6
|
CI: Use 'large' resource class for macOS and use -j without spaces
|
2022-01-14 23:09:18 +01:00 |
|
Kamil Śliwak
|
4de1367ba7
|
External test for Yield Liquidator V2
|
2022-01-14 22:37:56 +01:00 |
|
Daniel Kirchner
|
5499c589bc
|
Merge pull request #12529 from ethereum/euler-ext-test
External test for Euler
|
2022-01-14 12:35:31 +01:00 |
|
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 |
|