Commit Graph

21389 Commits

Author SHA1 Message Date
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
Harikrishnan Mulackal
ec52908f07
Merge pull request #12184 from abliss/patch-1
Fix typo compiler->constructor.
2021-10-25 10:43:28 +01:00
Adam Bliss
3387e134d7
Fix typo compiler->constructor. 2021-10-24 08:22:34 -04:00
Kamil Śliwak
a4fce301df CI: Use markdown link syntax in gitter messages 2021-10-22 21:23:23 +02:00
Kamil Śliwak
0e71c12c56 CI: Refactor the gitter notification templates into a reusable command 2021-10-22 21:23:23 +02:00
Kamil Śliwak
3774955dcc
Merge pull request #12178 from Gyeonghun-Park/develop
Fix typo in ir-breaking-changes.rst
2021-10-22 21:12:22 +02:00
Kamil Śliwak
ab31437f2e Add a PR check that runs hardhat tests using the built compiler binary 2021-10-22 20:44:14 +02:00
Gyeonghun Park
921d04451b
Fix typo in ir-breaking-changes.rst 2021-10-22 10:00:26 +09:00
Kamil Śliwak
92f3d749e2 CI: Store yul-phaser as an artifact too 2021-10-21 19:11:37 +02:00
Kamil Śliwak
ef21e43fa3
Merge pull request #12162 from fulldecent/patch-24
[Docs] Fix formatting of the "security fixes" link on the main page
2021-10-20 18:57:36 +02:00
Kamil Śliwak
72b88dabca
Merge pull request #11909 from Midhun07/develop
Template code for disallowing options in input modes that do not support them (handles `--error-recovery`)
2021-10-20 18:18:43 +02:00
William Entriken
2278673936 Fix formatting 2021-10-20 18:12:34 +02:00
Kamil Śliwak
2b0fbc3522
Merge pull request #12073 from soroosh-sdi/unqualified-lib-name-bug
Remove linking to unqualified library name
2021-10-20 18:00:50 +02:00
soroosh-sdi
816d8021e4 Remove linking to unqualified library name
- SemanticTests accepts fully qualified library name and also unqualifed library name when
the library is defined in the same file for convenience.
- commandline tests are added!

Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
2021-10-20 18:11:58 +03:30