Commit Graph

22881 Commits

Author SHA1 Message Date
Nikola Matic
f90b25449d Fix SMT checker paper link 2022-09-08 15:22:47 +02:00
Daniel Kirchner
727591b984
Merge pull request #13479 from ethereum/unusedStoreStorageBug
Fix of unused store remover storage bug.
2022-09-08 14:04:04 +02:00
Anton Paymyshev
a39bce010e
Fix dynamic array spec 2022-09-08 17:50:44 +07:00
Daniel Kirchner
d6eb255df4 Changelog entry and bug list entry.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2022-09-08 12:05:49 +02:00
Daniel Kirchner
a33da17300 Bugfix and tests.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2022-09-08 11:54:14 +02:00
Ikko Ashimine
f562021918
Update ReleaseChecklist.md
github -> GitHub
Github -> GitHub
2022-09-08 11:34:11 +09:00
Daniel Kirchner
d5e2925326 broken yul optimizer test 2022-09-07 16:49:58 +02:00
wechman
0262621b9f fixup! Add test for copying reference types between data locations 2022-09-07 10:45:53 +02:00
wechman
c5d8c5ad05 Add test for copying reference types between data locations 2022-09-07 10:45:53 +02:00
Kamil Śliwak
548a4b4ac6
Merge pull request #13474 from ethereum/add-note-about-peephole-optimizer
Add note about peephole optimizer in docs
2022-09-06 22:59:09 +02:00
Matheus Aguiar
efe558a989 Added note about PeepholeOptimizer in docs. 2022-09-06 17:15:21 -03:00
Daniel Kirchner
7351f6d084
Merge pull request #13491 from ethereum/pin-hardhat-version-in-bleeps-tests
Pin hardhat version in bleeps tests
2022-09-06 19:59:49 +02:00
Nikola Matic
71d1209996 Pin hardhat version in bleeps tests 2022-09-06 17:55:23 +02:00
Nikola Matić
b4b5f7b355
Merge pull request #13489 from ethereum/pin-hardhat-version-in-yield-liquidator-tests
Pin hardhat version in yield-liquidator tests
2022-09-06 12:49:51 +02:00
Nikola Matić
f7e22fc00d
Merge pull request #13487 from ethereum/add-message-to-gp2-pin
Add comment to pinned GP2 hardhat version
2022-09-06 12:49:35 +02:00
Nikola Matic
8c4bbf1f4e Pin hardhat version in yield-liquidator tests 2022-09-06 11:06:31 +02:00
Nikola Matic
deab2bf37e Add comment to pinned GP2 hardhat version 2022-09-06 08:10:55 +02:00
Nikola Matić
e0b2162bf9
Merge pull request #13485 from ethereum/pin-hardhat-in-gp2-ext-tests
Pin hardhat version in GP2 external tests
2022-09-05 21:55:24 +02:00
Nikola Matic
53059936cc Pin hardhat version in GP2 external tests 2022-09-05 20:52:46 +02:00
Daniel Kirchner
7911666ab3
Merge pull request #13463 from emmaodia/develop
Grammar fix
2022-09-05 20:47:30 +02:00
emmaodia
0d98436de6 Grammar fix 2022-09-05 20:34:10 +02:00
Daniel Kirchner
62e4ce3387
Merge pull request #13363 from ethereum/release-checklist-update-and-tweaks
Release checklist update and tweaks after 0.8.16
2022-09-05 19:00:38 +02:00
Kamil Śliwak
ccc331743c ReleaseChecklist: Markdown formatting for all links 2022-09-05 18:19:51 +02:00
Kamil Śliwak
98ad27d42c ReleaseChecklist: Update PPA instructions 2022-09-05 18:13:09 +02:00
Kamil Śliwak
be67e76165 ReleaseChecklist: Update the list of requirements 2022-09-05 18:13:09 +02:00
Kamil Śliwak
f5c91ec842 ReleaseChecklist: Don't sort contributor list by number of commits and use long options 2022-09-05 18:13:09 +02:00
Kamil Śliwak
d9f169eb4b ReleaseChecklist: Consistently use double backticks everywhere, fix indents and mismatched parentheses 2022-09-05 18:13:09 +02:00
Kamil Śliwak
33883059ed ReleaseChecklist: Add "still in progress" warning and make the release page a single point 2022-09-05 18:13:08 +02:00
Kamil Śliwak
3f437da2a4 ReleaseChecklist: Emphasize separate changelog and version commits 2022-09-05 18:13:08 +02:00
Kamil Śliwak
b9d06b48a2 ReleaseChecklist: More detailed steps related to blog posts 2022-09-05 18:13:08 +02:00
Kamil Śliwak
dd2f718b99 ReleaseChecklist: Regenerating the bug list does not require running the whole tests.sh 2022-09-05 18:13:08 +02:00
Kamil Śliwak
71a9fb25ed ReleaseChecklist: Documentation now gets built automatically from tags 2022-09-05 18:13:08 +02:00
Mathias L. Baumann
f2168c16b4
Merge pull request #13467 from ethereum/check-for-unqualified-move
Add a check for unqualified move
2022-09-05 16:49:52 +02:00
Nikola Matic
1f6a299062 Add a check for unqualified move 2022-09-05 16:05:14 +02:00
Daniel Kirchner
99f15ff04e
Merge pull request #13481 from ethereum/fix-artifacts-check-in-hardhat-external-tests
Fix compiler version check in hardhat artifacts json
2022-09-05 16:03:22 +02:00
Nikola Matic
e5769d784e Fix compiler version check in hardhat artifacts json 2022-09-05 15:00:53 +02:00
Damian Wechman
6b99162457
Merge pull request #13406 from ethereum/slot_on_reference_fix
Fix `.slot` accessing via mapping reference in assembly
2022-09-05 14:00:18 +02:00
Daniel Kirchner
5192965229
Merge pull request #13460 from Pospelove/patch-1
Set CMake policy `CMP0115` to `NEW`: "Source file extensions must be explicit"
2022-09-01 13:07:01 +02:00
matheusaaguiar
220aecefd0
Merge pull request #13465 from xternet/patch-1
README.md: added comma
2022-09-01 07:02:37 -03:00
xternet
66994b68d7
README.md: added comma 2022-08-31 15:01:46 +02:00
Leonid Pospelov
6d331a8c8a
Improve comment on CMP0115
Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
2022-08-31 12:12:15 +03:00
Leonid Pospelov
6e1f0e73b6
Set CMP0115 to new in EthPolicy 2022-08-31 01:50:30 +03:00
matheusaaguiar
ecdc808e67
Merge pull request #13387 from taylorferran/improve-voting-example
Add detail about limitation in voting contract example
2022-08-30 10:41:41 -03:00
Mathias L. Baumann
b2afe9f9dc
Merge pull request #13457 from ethereum/checks
Explained Checks-Effects-Interactions
2022-08-30 15:20:53 +02:00
Leo
b028671fec
Merge pull request #13438 from ethereum/z3_4_11_0
Update z3 to 4.11.0 in the docker files
2022-08-30 14:57:11 +02:00
Luke Hutchison
b676944c3f Update security-considerations.rst
Explained Checks-Effects-Interactions and added info on Checks-Effects-Events-Interactions
2022-08-30 14:35:31 +02:00
Taylor Ferran
79adec08f2 Add detail about limitation in voting contract example 2022-08-30 14:34:05 +02:00
Leo Alt
cbcd8a724b Update z3 to 4.11.0 2022-08-30 12:52:22 +02:00
Leo
e048ba4d75
Merge pull request #13439 from ethereum/z3_4_8_11_smt_tests
Update SMT tests with z3 4.11.0
2022-08-30 12:51:13 +02:00
Leo
3658d8abc4
Merge pull request #13292 from The-Arbiter/Function_modifiers_placeholder
Placeholder elaboration in function-modifiers.rst
2022-08-30 12:50:49 +02:00