cerc-io/solidity
16
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
21,402 Commits 348 Branches 121 Tags 100 MiB
f42e3c0bae
Commit Graph

21402 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth
408bd5fa62
Merge pull request #12213 from ethereum/fix-typos 
Fix two typos and a misnamed test
 2021-10-29 13:51:47 +02:00
Kamil Śliwak
fd66f13dc0 soltest.sh: Fix typo in a comment 2021-10-29 00:19:43 +02:00
Kamil Śliwak
60ba3b307f isolate_tests: Fix typo in script description 2021-10-29 00:19:43 +02:00
Kamil Śliwak
464ac18a1f Rename negation_bug.yul to negation_bug.sol 2021-10-29 00:19:43 +02:00
Kamil Śliwak
558d9d4556
Merge pull request #12177 from DavidRomanovizc/patch-4 
Include actual contract size in the code size warning
 2021-10-29 00:18:07 +02:00
chriseth
cede36930d
Merge pull request #12207 from ethereum/fix-isoltest-enforce-gas-default 
Fix defaults for `--enforce-gas-cost` in isoltest
 2021-10-27 23:10:14 +02:00
David Dzhalaev
79ffa16a61 Improve error message for contract size limit error 2021-10-27 20:06:53 +02:00
Kamil Śliwak
f4421f1b69 Disable metadata in syntax tests 2021-10-27 20:06:53 +02:00
Kamil Śliwak
a039431627 isoltest: Do not try to enforce gas costs when ABIEncoderV1 is used 2021-10-27 18:56:45 +02:00
Kamil Śliwak
eb2425bd7c isoltest: Fix gas tests always being enforced regardless of evm version 2021-10-27 18:56:45 +02:00
chriseth
7ebf71f315
Merge pull request #12203 from ethereum/fixuseafterfreeside 
Fix use-after-free bug.
 2021-10-27 16:43:44 +02:00
chriseth
e4a94b69be
Merge pull request #12201 from ethereum/docs-path-fix 
Fix wrong path to isoltest in docs
 2021-10-27 16:13:13 +02:00
chriseth
9be882c90d
Merge pull request #12186 from ethereum/fix-userdefined-ice 
Moved storage size assert to TypeChecker from DeclarationTypeChecker
 2021-10-27 16:12:16 +02:00
chriseth
dce13fbb6a Fix use-after-free bug. 2021-10-27 15:49:41 +02:00
Marenz
61519da4f0 Fix wrong path to isoltest in docs 2021-10-27 14:16:50 +02:00
hrkrshnn
8815d6f5f0 Moved a check related to constants to TypeChecker 
And added a proper error message when constant types containing (nested) mapping types are used.
 2021-10-26 18:43:04 +02:00
hrkrshnn
51009c005d Moved a canBeStored assert for struct members to TypeChecker 
This is to avoid a assert from failing for forward declared user defined value types.
 2021-10-26 18:43:04 +02:00
hrkrshnn
9428dbc94f Moved storage size assert to TypeChecker from DeclarationTypeChecker 2021-10-26 18:43:04 +02:00
chriseth
453f404f8f
Merge pull request #12194 from ethereum/sort-changelog 
[trivial] Sort bugfixes in changelog
 2021-10-26 16:05:24 +02:00
Kamil Śliwak
14210825b1 externalTests/README: Recommend using upstream repository directly when possible 2021-10-26 16:04:08 +02:00
Kamil Śliwak
b8aed7ca86 Run external tests on latest upstream code where possible 2021-10-26 16:04:08 +02:00
Marenz
f588dd34a9 Sort bugfixes in changelog 2021-10-26 15:41:42 +02:00
Harikrishnan Mulackal
401dd4337a
Merge pull request #11451 from ethereum/smt_report_invariants 
[SMTChecker] Report contract invariants
 2021-10-26 12:41:36 +02:00
Leo Alt
902a2e232b Changelog 2021-10-26 11:30:30 +02:00
Leo Alt
d04ad57ee7 Docs 2021-10-26 11:30:30 +02:00
Leo Alt
4f823c6342 CLI and JSON tests 2021-10-26 11:30:30 +02:00
Leo Alt
38b0cf7f9c SMTChecker tests 2021-10-26 11:30:30 +02:00
Leo Alt
2cbd496576 Adjust ModelCheckerSettings in tools tests 2021-10-26 11:30:30 +02:00
Leo Alt
a104443ac1 Adjust errors script to also look for infos 2021-10-26 11:30:30 +02:00
Leo Alt
37215ffcfd Add SMTCheckerTest isoltest option to ignore invariants 2021-10-26 11:30:30 +02:00
Leo Alt
3118fb3666 Add invariants option to CLI and JSON 2021-10-26 11:30:30 +02:00
Leo Alt
d419c30ca6 Add errorCode list to invariants report 2021-10-26 11:30:30 +02:00
Leo Alt
49e7627bd3 Use invariants in CHC 2021-10-26 11:30:30 +02:00
Leo Alt
bc90533c93 Add invariants to ModelCheckerSettings 2021-10-26 11:30:30 +02:00
Leo Alt
d554824f70 Add Invariants which traverses the proof and collects invariants for the given predicates 2021-10-26 11:30:30 +02:00
Leo Alt
9bcd2c18e4 Add expression substitution to Predicate 2021-10-26 11:30:30 +02:00
Leo Alt
ce72d7cd26 Add ExpressionFormatter which translates an smtutil::Expression into a Solidity-like expression string 2021-10-26 11:30:30 +02:00
Leo Alt
1d65977769 Adjust Z3Interface::fromZ3 for the extra cases 2021-10-26 11:30:30 +02:00
Leo Alt
9a87680d21 Add invariant to the solver results 2021-10-26 11:30:30 +02:00
Leo Alt
fa48abf4f1 Add new info functions 2021-10-26 11:30:30 +02:00
chriseth
719b70893f
Merge pull request #12144 from ethereum/clarify-linkersymbol-docs-regarding-fqln 
Clarify that `linkersymbol()` accepts but does not require a fully qualified library name
 2021-10-26 11:10:34 +02:00
chriseth
ed091d05e4
Merge pull request #12190 from ethereum/fix-circleci-notification-condition 
Add missing condition to `gitter_notify` command
 2021-10-26 11:01:19 +02:00
Kamil Śliwak
cc80f5e992 Add missing condition to gitter_notify command 2021-10-26 10:52:22 +02:00
Kamil Śliwak
2162039c50
Merge pull request #12142 from ethereum/bash-assert-and-stack-traces 
Assert and stack traces for Bash scripts
 2021-10-26 10:44:39 +02:00
chriseth
e6e30f82ca
Merge pull request #12139 from ethereum/nonamedlabelsifnotunique 
Do not use named function labels if function names are not unique.
 2021-10-25 17:50:29 +02:00
Harikrishnan Mulackal
1da57d562d
Merge pull request #11970 from shikharvashistha/colors 
Added different colors for warning & error
 2021-10-25 16:04:04 +01:00
Harikrishnan Mulackal
8460a65aba
Merge pull request #12182 from ethereum/circleci-gitter-notification-command 
[CI] Reusable command for gitter notifications
 2021-10-25 12:20:07 +01:00
Harikrishnan Mulackal
ae0db91833
Merge pull request #12165 from ethereum/hardhat-tests-in-ci 
[CI] Run hardhat tests as a PR check
 2021-10-25 12:15:42 +01:00
Mathias L. Baumann
d8d2c49f0a
Merge pull request #12172 from ethereum/circleci-yul-phaser-artifact 
[CI] Store yul-phaser as an artifact
 2021-10-25 12:36:01 +02:00
shikharvashistha
cf005368d8 Added different colors for warning & error 
Co-authored-by: shikharvashistha <shikharvashistha@yandex.com>
Co-authored-by: cameel <kamil.sliwak@codepoets.it>
 2021-10-25 11:16:51 +01:00