cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
23,502 Commits 348 Branches 121 Tags
a15881092ce4861681b6648ce7e5774745bae60a
Commit Graph
23502 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Kamil Śliwak a15881092c docs: Clarify the difference between denominations and literal suffixes 2023-05-17 16:55:49 +02:00
Kamil Śliwak edcc3af9c8 docs: Literal suffixes 2023-05-17 16:55:49 +02:00
Kamil Śliwak 2bf76afec1 Disallow using overloaded functions as literal suffixes 2023-05-17 16:55:14 +02:00
Kamil Śliwak 976f014c12 User-defined literal suffixes: Tests 2023-05-17 16:55:14 +02:00
Kamil Śliwak 0e5c7d81c6 User-defined literal suffixes: Make overloading work for sufixes that require fractional decomposition 2023-05-17 16:28:04 +02:00
chriseth fdda7d6bd1 User-defined literal suffixes: Code generation 2023-05-17 16:28:04 +02:00
Matheus Aguiar 0ad290ad06 User-defined literal suffixes: Analysis 2023-05-17 16:28:04 +02:00
Matheus Aguiar 5d59bbeca6 User-defined literal suffixes: Grammar 2023-05-17 16:28:04 +02:00
Kamil Śliwak 81118c729e User-defined literal suffixes: Parsing 2023-05-17 16:28:04 +02:00
Kamil Śliwak 0debb30a4d User-defined literal suffixes: AST 2023-05-17 16:28:04 +02:00
Kamil Śliwak e9197ff30f Allow marking free functions as suffixes 2023-05-17 16:28:04 +02:00
Kamil Śliwak 8aa57aec24 Grammar: Fix weird indentation in the function rules 2023-05-17 16:01:19 +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
r0qs d49ed7d66b Drop ColonyNetwork external test run on nightly builds 2023-05-17 11:41:15 +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
r0qs af74ab69c9 Workaround gp2 and prb-math external tests 2023-05-16 16:13:51 +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
Nikola Matic 8a41f4ac7e Introduce solidity-next pragma 
Exclude pragma experimental error from ANTLR tests

Test for first pragma after non-pragma declaration

Resolve import pragmas

Change pragma name from next to solidity

Add Changelog entries

Address review comments
 2023-05-15 19:25:13 +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
Nikola Matić 3f2cde9bd6 Merge pull request #14215 from ethereum/gitignore_orig_files 
Add `*.orig` to `.gitignore`.
 2023-05-12 13:31:21 +02:00
Alexander Arlt c5673278a7 Remove EWASM backend. 2023-05-11 10:56:55 -05:00
Leo Alt 678461e828 Fix encoding of side-effects inside if and conditional statements in the BMC engine 2023-05-11 16:44:09 +02:00
Alexander Arlt 33bb833949 Add *.orig to .gitignore. 2023-05-11 09:14:16 -05: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
r0qs edc5512b75 Add readthedocs configuration 2023-05-10 18:04:47 +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. v0.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
Alexander Arlt 4837d42361 Add experimental support to import AST via Standard JSON. 2023-05-09 14:07:38 -05: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
Nikola Matic 3bec4c09be Disable dangling-reference warning 2023-05-09 19:54:00 +02:00
Nikola Matic 3bab14747e Fix hidden-overload in Types and remove CMake hack 2023-05-09 19:33:23 +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
Matheus Aguiar c1720e62aa Implement missing overrides and relax smtAsserts 2023-05-09 13:20:56 -03: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