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 |
|
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 |
|