Commit Graph
100 Commits
Author SHA1 Message Date
Daniel Kirchner 6498e64eeb Indexed stack shuffling. 2023-05-22 12:01:56 +02:00
Daniel 33e7fc1cba Merge pull request #14234 from ethereum/drop-colony-nightly
Drop ColonyNetwork external test run on nightly builds
2023-05-17 13:25:39 +02:00
Daniel aa9e25021d Merge pull request #14232 from ethereum/workaround-hardhat-waffle
Workaround gp2 and prb-math external tests
2023-05-16 18:36:33 +02:00
Daniel 1250ee778d Merge pull request #14168 from ethereum/pragma-solidity-next
Introduce `pragma experimental solidity`
2023-05-15 20:18:22 +02:00
Daniel 9804085934 Merge pull request #14216 from ethereum/fix_bmc_side_effects_in_statement
Fix encoding of side-effects inside if and ternary in BMC
2023-05-15 13:34:22 +02:00
Daniel ccd80f9904 Merge pull request #13998 from ethereum/remove-ewasm-backend
Remove EWASM backend.
2023-05-15 13:04:27 +02:00
Daniel 0a0c389541 Merge pull request #14213 from ethereum/postReleaseAdjustments
Minor post-release adjustments.
2023-05-11 13:08:11 +02:00
Daniel Kirchner c3a8b9cebb Minor post-release adjustments. 2023-05-11 11:28:00 +02:00
Daniel f07c8b1f51 Merge pull request #14210 from ethereum/add-readthedocs-config
Add readthedocs configuration
2023-05-10 18:57:07 +02:00
Daniel de722d99bc Merge pull request #14209 from ethereum/set-version-to-0.8.21
Set version to 0.8.21.
2023-05-10 18:48:25 +02:00
Daniel Kirchner 4b67dea8e2 Set version to 0.8.21. 2023-05-10 17:55:52 +02:00
Daniel Kirchner a1b79de642 Update bugs by version entry for 0.8.20. 2023-05-10 12:21:29 +02:00
Daniel Kirchner 3c77d33db8 Set release date for 0.8.20. 2023-05-10 12:20:56 +02:00
Daniel 0f2bd3e8bd Merge pull request #14204 from ethereum/sortChangelog0_8_20
Sort changelog for 0.8.20.
2023-05-10 12:18:09 +02:00
Daniel Kirchner b730bde54d Sort and adjust changelog for 0.8.20. 2023-05-10 12:15:00 +02:00
Daniel 8366bd439b Merge pull request #14205 from ethereum/fixAntlr4
Fix antlr grammar.
2023-05-10 12:11:21 +02:00
Daniel Kirchner 606fbd8fcc Fix antlr grammar. 2023-05-10 12:00:45 +02:00
Daniel 328f9c8f99 Merge pull request #14203 from ethereum/gitterLinkFix
Fix gitter link.
2023-05-10 11:39:16 +02:00
Daniel Kirchner d5c3d34bf4 Fix gitter link. 2023-05-10 11:38:24 +02:00
Daniel 44a30e47ca Merge pull request #14171 from ethereum/ast-import-via-standard-json
Add support to import AST via Standard JSON.
2023-05-09 22:22:31 +02:00
Daniel a02a7206d8 Merge pull request #14201 from ethereum/fix-hidden-overload-warning-in-types
Fix hidden-overload in Types and remove CMake hacks
2023-05-09 20:47:26 +02:00
Daniel d370f53b7e Merge pull request #14180 from ethereum/fix_override_error
Add missing overridden virtual methods in SMT Sort structs
2023-05-09 19:23:06 +02:00
Daniel 0d0bcf628d Merge pull request #14199 from ethereum/evmoneDockerUpdate
Bump evmone version in docker images to 0.10.0.
2023-05-09 19:20:40 +02:00
Daniel 4c4eadd893 Merge pull request #14200 from ethereum/updateEvmone
Bump docker images and evmone version.
2023-05-09 19:20:22 +02:00
Daniel Kirchner 75a0c486a8 Adjust gas expectations due to new creation costs. 2023-05-09 18:22:44 +02:00
Daniel Kirchner 53626fc092 Bump docker images and evmone version. 2023-05-09 17:59:00 +02:00
Daniel Kirchner 77af0b41df Bump evmone version in docker images to 0.10.0. 2023-05-09 16:27:45 +02:00
Daniel 2da0a861ce Merge pull request #14195 from ethereum/fix-push0-docs
docs: mention that `push0` also decreases the runtime costs
2023-05-08 18:57:11 +02:00
Daniel f32f35f8f1 Merge pull request #14140 from ethereum/foundry-ci-setup
Foundry ci setup
2023-05-08 18:18:04 +02:00
Daniel 4ccda14798 Merge pull request #14164 from BraxWong/BraxBranch
Switch to Gen2 macOS resources on CircleCI
2023-05-08 17:47:29 +02:00
Daniel 94d3747034 Merge pull request #14158 from ethereum/shanghai
Make Shanghai the default EVM version.
2023-05-08 17:29:11 +02:00
Daniel KirchnerandRodrigo Q. Saramago 44da8507b1 Change default EVM version to Shanghai.
Co-authored-by: Rodrigo Q. Saramago <rodrigoqsaramago@gmail.com>
2023-05-08 16:34:23 +02:00
Daniel 34b13c1f89 Merge pull request #14154 from Vectorized/optimize-multiplicity-map
Optimize multiplicity map
2023-05-08 14:54:05 +02:00
Daniel 7c323a1faa Merge pull request #14176 from ethereum/internal-function-id-annotation-fix
Move AST annotation of internal function dispatch IDs to ContractDefinition
2023-05-08 13:31:31 +02:00
Daniel bed4732e95 Merge pull request #14183 from ethereum/temporaryGcc13Fix
Temporary workaround for GCC 13 compiler warnings.
2023-05-04 17:20:49 +02:00
Daniel Kirchner f2ddc997f0 Temporary workaround for GCC 13 compiler warnings. 2023-05-04 16:30:19 +02:00
Daniel 385c48df73 Merge pull request #14137 from ethereum/fix-matrix-notification-windows
Make bash the default shell on windows
2023-05-03 21:34:19 +02:00
Daniel dde579b434 Merge pull request #10996 from ethereum/exportAllEvents
Export all events
2023-05-03 21:32:31 +02:00
Daniel 302d46c1e6 Merge pull request #14156 from kuzdogan/patch-3
Fix Remix links by adding `#` before URL params
2023-04-26 12:42:47 +02:00
Daniel 53a02fc130 Merge pull request #14155 from ethereum/isoltest-stack-shuffling
Migrate yulStackShuffling tests to isoltest
2023-04-25 16:49:13 +02:00
Daniel cd5ae26e34 Merge pull request #14143 from ethereum/remove-type-categoryname
Remove the inaccurate `Type::categoryName()`
2023-04-23 22:05:35 +02:00
Daniel d0043d6753 Merge pull request #14151 from ethereum/evmc-update
Upgrade to evmc 10.1.0
2023-04-23 21:47:29 +02:00
Daniel a77d4e281f Merge pull request #14139 from ethereum/make-plus-binary-only
Make plus binary only (second attempt)
2023-04-18 21:20:31 +02:00
Daniel 29baf3b2ba Merge pull request #14135 from ethereum/fix_null_deref_using_for
Fix null dereference in using for directive when operator name is empty
2023-04-18 20:31:55 +02:00
Daniel 3f04f00bdc Merge pull request #14138 from ethereum/evmHostCalldataFix
Fix calldata handling during creation in EVMHost.
2023-04-18 13:47:07 +02:00
Daniel Kirchner 421738b50d Fix calldata handling during creation in EVMHost. 2023-04-18 12:53:50 +02:00
Daniel 02e936ad82 Merge pull request #14128 from mdehoog/golang-generation
Fix incompatibilities with Golang parser generation
2023-04-17 20:26:41 +02:00
Daniel c6aab84a0c Merge pull request #14127 from ethereum/eip-3860
Add warning for EIP-3860 enforced initcode limits
2023-04-17 17:42:55 +02:00
Daniel 9befe1d456 Merge pull request #14133 from ethereum/codeTransformPush0
Emit PUSH0 as junk in evm code transform, if available.
2023-04-17 17:24:54 +02:00
Daniel Kirchner 3458da9df3 Emit PUSH0 as junk in evm code transform, if available. 2023-04-17 16:26:07 +02:00
Daniel 6d847e4e57 Merge pull request #14126 from ethereum/warm-coinbase
EVMHost: Support warm coinbase
2023-04-17 14:55:59 +02:00
Daniel 1a8be13c05 Merge pull request #14125 from ethereum/blake2
EVMHost: Add "support" for Blake2f
2023-04-17 14:45:58 +02:00
Daniel 6bc6ae94a6 Merge pull request #14050 from ethereum/contract-ast-internal-function-ids
Annotate internal function IDs
2023-04-12 14:11:39 +02:00
Daniel 82bde40717 Merge pull request #14107 from ethereum/push0
Introduce `Shanghai` version and `push0` support
2023-04-12 10:10:03 +02:00
Daniel 8b4c1d3373 Merge pull request #14102 from minaminao/fix-dark-mode-in-grammar
Fix dark mode in grammar
2023-04-11 13:07:45 +02:00
Daniel e7ec40b1af Merge pull request #13752 from ethereum/reimplement_unused_assign
Reimplement unused eliminators
2023-03-20 16:51:17 +01:00
Daniel 960889f532 Merge pull request #14057 from MuKnIO/notty
Keep test/lsp.py working when not on a tty
2023-03-20 11:32:30 +01:00
Daniel 0aa85153e5 Merge pull request #14042 from uji/unicode-string-grammer
docs/grammer: Fix the writing of unicodeStringLiteral rules.
2023-03-13 13:54:11 +01:00
Daniel 9ace80c7ff Merge pull request #14010 from lemenkov/initialize_before_use
Initialize vars before use
2023-03-06 17:11:26 +01:00
Daniel 58c1cc6bde Merge pull request #14000 from ethereum/ppaScriptFix
Revert debian compatibility for ubuntu focal support.
2023-02-22 22:41:44 +01:00
Daniel Kirchner 17bb4d8b03 Revert debian compatibility for ubuntu focal support. 2023-02-22 20:46:22 +01:00
Daniel 7dd6d40481 Merge pull request #13996 from ethereum/set-release-date-for-0.8.19
Set release date for 0.8.19
2023-02-22 14:25:21 +01:00
Daniel 1d8e0abd0a Merge pull request #13995 from ethereum/revert-13994-set-version-to-0.8.20
Revert "Set version to 0.8.20"
2023-02-22 13:29:02 +01:00
Daniel d4a08bda93 Merge pull request #13993 from ethereum/sort-changelog-for-0.8.19
Sort Changelog for 0.8.19
2023-02-22 12:38:25 +01:00
Daniel 103bf7a71f Merge pull request #13790 from ethereum/user-defined-operators-for-udvt
User-defined operators for UDVTs
2023-02-22 11:58:48 +01:00
Daniel 6c9fc53874 Merge pull request #13991 from ethereum/fix-broken-links-for-0.8.19
Fix broken links for 0.8.19
2023-02-21 16:28:21 +01:00
Daniel d3d9d09f5e Merge pull request #13990 from minaminao/remove-unnecesary-text-in-yul-rst
docs: remove unnecessary text in yul.rst
2023-02-20 22:37:16 +01:00
Daniel Kirchner 4064116df4 Do not duplicate subassemblies.
Add LinkerObject check and more tests
2023-02-20 22:20:45 +01:00
Daniel 7cd589eee4 Merge pull request #13961 from ethereum/fix-external-test-gp2
gp2 external test workaround
2023-02-13 21:36:36 +01:00
Daniel d33f2734b6 Merge pull request #13952 from ethereum/fix-abstract-nondet
fix abstract nondet exception
2023-02-08 19:39:19 +01:00
Daniel 7b35f44622 Merge pull request #13953 from lemenkov/gcc_12_strings_recognition
Type recognition workaround for some GCC compilers
2023-02-08 19:36:02 +01:00
Daniel 665bf29a84 Merge pull request #12958 from ethereum/yul-fuzzer-bound-memory-accesses
Yul grammar generator: Bound memory accesses.
2023-02-07 15:47:20 +01:00
Daniel 048aabd3ca Merge pull request #13934 from esaulpaugh/develop
specify "receive" as having no "name"
2023-02-07 15:40:52 +01:00
Daniel 82fdc6fccc Merge pull request #13932 from lemenkov/redundant_std_move
libsolidity: Redundant std::move
2023-02-07 15:29:41 +01:00
Daniel 939b916f4a Merge pull request #13903 from ethereum/asan-cvc4-cln-memory-leak
Suppress libcln in nightly asan jobs
2023-01-30 14:32:40 +01:00
Daniel fd9ac9abed Merge pull request #13759 from ethereum/prevrandao
Add `block.prevrandao` as alias for `block.difficulty`
2023-01-25 16:37:17 +01:00
Daniel c195782f96 Merge pull request #13778 from Andy53/removes-solidity-upgrade
Removes solidity upgrade
2023-01-18 13:20:54 +01:00
Daniel 0d19b94286 Merge pull request #13877 from ethereum/add-key-name-source-location-for-mappings
Source locations for named mapping keys and values
2023-01-17 13:31:32 +01:00
Daniel 7b2f8a2e31 Merge pull request #13875 from ethereum/fix-ext-test-gnosis
Change filename in gnosis external test script
2023-01-16 19:01:20 +01:00
Daniel f441e1323a Merge pull request #13384 from zemse/develop
Allow named parameters in mapping types
2023-01-09 17:59:29 +01:00
Daniel 2e2210222c Merge pull request #13849 from ethereum/ossfuzzGitterComment
Disable t_ubu_ossfuzz gitter notifications.
2023-01-05 18:31:35 +01:00
Daniel Kirchner 03eb17a50f Disable t_ubu_ossfuzz gitter notifications. 2023-01-05 17:43:31 +01:00
Daniel e6b579fa40 Merge pull request #13841 from ethereum/unpin-v4-core-and-neutralize-packages
Unpin v4-core dependency and neutralize packaged contracts
2023-01-05 13:02:08 +01:00
Daniel 85ccae2276 Merge pull request #13842 from ethereum/update-sphinx-a4doc
Update sphinx-a4doc version
2023-01-05 13:01:31 +01:00
Daniel 2ec6a04b36 Merge pull request #13833 from quantum13/fix_sphinx_version_to_5
fix sphinx version to 5.* since 6.0 is not supported by code
2023-01-04 11:34:11 +01:00
Daniel 32f94d45b5 Merge pull request #13821 from ethereum/workaround-sphinx-a4doc
Fix sphinx-a4doc version to 1.3.0
2022-12-20 17:36:07 +01:00
Daniel 056c4593e3 Merge pull request #13771 from ethereum/enable-stale-action-draft-pr
Remove exempt of draft PRs in stale action
2022-12-01 19:31:36 +01:00
Daniel a9f8a77817 Merge pull request #13709 from ChrisXXXXXXX/patch-2
Separate node for every `if` and `case` body in the Yul CFG
2022-12-01 17:04:41 +01:00
Daniel 851cc09742 Merge pull request #13516 from ethereum/fix-yul-interpreter-memory-access
Fix memory expansion semantics in the yul interpreter.
2022-12-01 15:42:41 +01:00
Daniel eb2f874eac Merge pull request #13733 from ethereum/eofSetting
Add experimental EOF options for CLI and Standard JSON.
2022-11-23 20:37:24 +01:00
Daniel KirchnerandKamil Śliwak bf26d3be5a Add experimental EOF options for CLI and Standard JSON.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2022-11-23 19:53:44 +01:00
Daniel 3109ce2dbc Merge pull request #12132 from ethereum/userDefinedSideEffectsCodeTransform
Use side-effects of user defined functions in evm code transform.
2022-11-22 14:26:57 +01:00
Daniel 0b4b1045cf Merge pull request #13712 from Qlio/patch-2
Bug fix on Yul Object example code.
2022-11-17 11:16:35 +01:00
Daniel Kirchner 1b6063ede4 Disable zeppelin test failing due to hardhat heuristics. 2022-11-14 21:26:36 +01:00
Daniel Kirchnerandmatheusaaguiar 27dba5c2d4 Clarify cleanup in docs.
Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>
2022-11-09 16:27:24 -03:00
Daniel 2f33105d11 Merge pull request #13697 from ethereum/coc-contact-update
[COC] Update contact section in Code of Conduct
2022-11-09 15:44:46 +01:00
Daniel 5c139b60b8 Merge pull request #13694 from ethereum/evmhost_set_storage
test: Improve precision of SSTORE cost in EVMHost
2022-11-09 11:41:23 +01:00
Daniel 9db2da0385 Merge pull request #13687 from ethereum/hashNumberLiterals
Hash number literals according to their value instead of their string representation.
2022-11-08 21:21:23 +01:00
Daniel 19fc395662 Merge pull request #13688 from ethereum/cacheNumberLiteralConversion
Cache literal to number conversion.
2022-11-08 20:28:35 +01:00
Daniel 9a60c06335 Merge pull request #11087 from ethereum/precompile-prices
EVMHost: charge gas for precompiles
2022-11-08 19:56:42 +01:00