Leo
|
7cb76ee515
|
Merge pull request #13761 from ethereum/smt_fix_user
Fix internal error when using user defined value types in map/struct
|
2022-11-29 13:52:53 +01:00 |
|
Leo Alt
|
608b424afc
|
Fix internal error when using user defined value types as mapping indices or struct members.
|
2022-11-29 13:04:01 +01:00 |
|
Leo
|
cc8baf7ea8
|
Merge pull request #13754 from ethereum/smt_fix_assignment
Fix internal error in assignment chains
|
2022-11-29 11:58:36 +01:00 |
|
Kamil Śliwak
|
7070a1721f
|
Merge pull request #13755 from ethereum/smt_fix_nondet
Make isoltest not check SMTChecker counterexamples by default
|
2022-11-28 22:45:07 +01:00 |
|
Leo
|
d5b8f74fa0
|
Merge pull request #13757 from ethereum/fix_emscripten_hash
Fix emscripten docker hash
|
2022-11-28 21:57:35 +01:00 |
|
Leo Alt
|
15b062e466
|
Fix emscripten docker hash
|
2022-11-28 21:06:51 +01:00 |
|
Leo Alt
|
be8b05e6bf
|
Make isoltest not check SMTChecker counterexamples by default.
|
2022-11-28 20:55:15 +01:00 |
|
Kamil Śliwak
|
3f17e0e1ca
|
Merge pull request #13753 from ethereum/close-stale-rename
Rename close stale action
|
2022-11-28 19:39:50 +01:00 |
|
Kamil Śliwak
|
1373aef249
|
Merge pull request #13745 from ethereum/close-stale-issues
Close stale issues
|
2022-11-28 19:39:44 +01:00 |
|
Leo Alt
|
07870d0318
|
Fix internal error in assignment chains that also assign to fully qualified state variables (, for example), where the contract expression is a tuble.
|
2022-11-28 18:45:50 +01:00 |
|
Rodrigo Q. Saramago
|
0407ef744a
|
Rename stale action
|
2022-11-28 17:59:45 +01:00 |
|
Rodrigo Q. Saramago
|
eb550d839e
|
Modify stale pr action to also close old stale issues
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
|
2022-11-28 17:58:27 +01:00 |
|
Leo
|
764569be16
|
Merge pull request #13751 from ethereum/smt_fix_natspec
Fix internal error in multiple wrong options for SMTChecker natspec
|
2022-11-28 17:51:41 +01:00 |
|
Leo Alt
|
a5dab6181c
|
Fix internal error when the abstract-nondet SMTChecker natspec annotation is used with a wrong option multiple times for the same function
|
2022-11-28 16:59:35 +01:00 |
|
Leo
|
4baeddc62b
|
Merge pull request #13749 from ethereum/smt_fix_library
Fix SMTChecker bug when a public library function is called internally
|
2022-11-28 13:56:30 +01:00 |
|
Leo Alt
|
9a8dd4242f
|
Fix SMTChecker bug when a public library function is called internally by an internal library function, which in turn is called internally by a contract.
|
2022-11-28 13:07:18 +01:00 |
|
Kamil Śliwak
|
40f0329baa
|
Merge pull request #13743 from GeorgePlotnikov/develop
Add updated solc-bin update call to ReleaseChecklist.md
|
2022-11-25 20:29:33 +01:00 |
|
George Plotnikov
|
0a4c7f3b0f
|
ReleaseChecklist.md: Update update call in solc-bin section
|
2022-11-25 19:42:33 +01:00 |
|
Kamil Śliwak
|
4e3175d093
|
Merge pull request #12797 from vinayman/10627_ErrorReportingScannerIssues
Improve Error Reporting of SemVer Parser
|
2022-11-25 19:39:16 +01:00 |
|
Vinay
|
9e7b85ac4b
|
Improve Error Reporting of SemVer Parser
|
2022-11-25 13:09:09 -03:00 |
|
Kamil Śliwak
|
10f81425a3
|
Merge pull request #13581 from r0qs/ci-to-nightly
Let the nightlies call themselves 'nightly', the return.
|
2022-11-25 15:27:27 +01:00 |
|
chriseth
|
826ada0b96
|
Merge pull request #13705 from ethereum/onlyCountVariables
Only count variables if only variables are needed.
|
2022-11-25 14:20:07 +01:00 |
|
Nikola Matić
|
bf1a2c7cee
|
Merge pull request #13734 from ethereum/add_perf_benchmarks
Add performance benchmarks.
|
2022-11-25 07:44:02 -05:00 |
|
Rodrigo Q. Saramago
|
cf5d0d3f8b
|
Let the nightlies call themselves 'nightly', the return.
Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
|
2022-11-25 11:53:57 +01:00 |
|
chriseth
|
e9cc770d80
|
Add performance benchmarks.
|
2022-11-25 10:29:29 +01:00 |
|
Kamil Śliwak
|
91589e0214
|
Merge pull request #13742 from ethereum/external-pr-greeter
Don't run the external contributor greeter action when PRs are reopened
|
2022-11-24 23:43:39 +01:00 |
|
Rodrigo Q. Saramago
|
b4add1df68
|
Avoid run the action when PRs are reopened
|
2022-11-24 20:38:11 +01:00 |
|
Alexander Arlt
|
fe68200f30
|
[tests] Refactor scripts/ASTImportTest.sh. (#13576)
* [tests] Refactor scripts/ASTImportTest.sh.
Co-authored-by: Nuno Santos <nuno.santos@ethereum.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
|
2022-11-24 16:16:16 +01:00 |
|
Leo
|
0f3e7af30f
|
Merge pull request #13738 from ethereum/z3_4_11_2_docker
update docker images with z3 4.11.2
|
2022-11-24 15:47:01 +01:00 |
|
Leo Alt
|
e51d2ca5e9
|
update docker images with z3 4.11.2
|
2022-11-24 14:46:49 +01:00 |
|
Leo
|
a00e6c6089
|
Merge pull request #13740 from ethereum/z3_4_11_2_tests
update SMTChecker tests with Z3 4.11.2
|
2022-11-24 14:25:56 +01:00 |
|
Leo Alt
|
d660f0cab0
|
adjust nondeterministic tests
|
2022-11-24 13:08:06 +01:00 |
|
Leo Alt
|
504b70b6af
|
update smt tests
|
2022-11-24 13:08:06 +01:00 |
|
Leo Alt
|
c3a7adad27
|
update cli tests
|
2022-11-24 13:08:06 +01:00 |
|
Leo Alt
|
87d277ec05
|
avoid unused error codes
|
2022-11-24 13:08:06 +01:00 |
|
Leo Alt
|
be0149dd47
|
new z3 version in cmakelist
|
2022-11-24 13:08:06 +01:00 |
|
Leo Alt
|
f3d7dfba82
|
use new docker images
|
2022-11-24 13:08:06 +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 Kirchner
|
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 |
|
chriseth
|
33f27098e9
|
Merge pull request #13739 from ethereum/code-reshuffling-before-operators
Code reshuffling before custom operators
|
2022-11-23 15:09:32 +01:00 |
|
chriseth
|
261e819df7
|
Type: Extract usingForDirectivesForType() helper
|
2022-11-23 14:22:49 +01:00 |
|
wechman
|
edb4bfa398
|
ViewPureChecker: Extract reportFunctionCallMutability() helper from endVisit(FunctionCall)
|
2022-11-23 13:27:26 +01:00 |
|
wechman
|
27df07c4ce
|
TypeChecker: Minor simplifications for operators and using for
|
2022-11-23 13:27:26 +01:00 |
|
Kamil Śliwak
|
39a8ec12bd
|
Merge pull request #13736 from kuzdogan/patch-2
Add "appendCBOR" to example JSON in metadata docs
|
2022-11-23 13:08:15 +01:00 |
|
Kaan Uzdoğan
|
fa944a0673
|
Add "appendCBOR" to example JSON in metadata docs
|
2022-11-23 09:53:58 +01:00 |
|
Leo
|
1dd05e2978
|
Merge pull request #12969 from ethereum/smt_eld
[SMTChecker] Add Eldarica as a Horn solver
|
2022-11-22 23:00:13 +01:00 |
|
Leo Alt
|
24df40de9a
|
Allow running Eldarica from the command line
|
2022-11-22 21:16:45 +01:00 |
|
Nikola Matić
|
be8ecb17d8
|
Merge pull request #13703 from ethereum/performance_metrics
Code to output performance metrics for optimizer steps.
|
2022-11-22 13:36:16 -05:00 |
|
chriseth
|
5950ec306b
|
Code to output performance metrics for optimizer steps.
|
2022-11-22 18:44:01 +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 |
|