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 |
|
Kamil Śliwak
|
5211d3da0d
|
Merge pull request #13698 from ethereum/evm-paris
Add basic support for the EVM version Paris
|
2022-11-21 19:08:01 +01:00 |
|
Nikola Matić
|
50935dbcc5
|
Merge pull request #13679 from fulldecent/feature-order-of-errors
[Documentation] Set error placement in contract, match example to specified order
|
2022-11-21 10:39:06 -05:00 |
|
William Entriken
|
8f705fc327
|
[Documentation] set error placement in contract, match example to prescription
Add example
fix order
|
2022-11-21 15:52:41 +01:00 |
|
Alex Beregszaszi
|
c353eb0af5
|
Document difficulty vs. prevrandao
|
2022-11-21 14:56:46 +01:00 |
|
Alex Beregszaszi
|
eb8af2caec
|
Add basic support for the EVM version Paris
This mostly means testing with evmone, but instruction renaming of difficulty->prevrandao is omitted.
|
2022-11-21 14:56:46 +01:00 |
|
Daniel
|
0b4b1045cf
|
Merge pull request #13712 from Qlio/patch-2
Bug fix on Yul Object example code.
|
2022-11-17 11:16:35 +01:00 |
|
Bulgantamir Gankhuyag
|
76fcd0d537
|
Bug fix on Yul Object example code.
Related issue: #13711
|
2022-11-17 14:17:10 +08:00 |
|
Nuno Santos
|
75a74cd43f
|
Merge pull request #13277 from Ruko97/formatNumberReadable_styleChange_upstream
Improved output of formatNumberReadable
|
2022-11-16 16:20:30 +00:00 |
|
Daniel Kirchner
|
1b6063ede4
|
Disable zeppelin test failing due to hardhat heuristics.
|
2022-11-14 21:26:36 +01:00 |
|
chriseth
|
5ba8c109f4
|
Use side-effects of user defined functions in evm code transform.
|
2022-11-14 21:26:36 +01:00 |
|
chriseth
|
4100a59cca
|
Merge pull request #13708 from ethereum/refactor_join_knowledge
Refactor join knowledge.
|
2022-11-14 17:40:06 +01:00 |
|
Ishtiaque Zahid
|
3abf2724a1
|
changed output of formatNumberReadable so that it shows powers of two and one-less-than powers of two in a more compact format
|
2022-11-14 17:37:38 +01:00 |
|
chriseth
|
62ab78bf70
|
Refactor join knowledge.
|
2022-11-14 11:56:32 +01:00 |
|
Alex Beregszaszi
|
310a58dd31
|
Merge pull request #13695 from ethereum/evmc-refund
test: Support tracking gas refunds
|
2022-11-10 23:08:38 +01:00 |
|
chriseth
|
50747d6ab8
|
Merge pull request #13704 from ethereum/optimize_and_shl_functions
added changelog entry for optimizer
|
2022-11-10 22:42:19 +01:00 |
|
Alex Beregszaszi
|
54b4598390
|
Move some tests from viaYul to appropriate groups
|
2022-11-10 22:21:15 +01:00 |
|
Alex Beregszaszi
|
0f65e17b7b
|
Update tests
|
2022-11-10 22:21:15 +01:00 |
|
Alex Beregszaszi
|
5a35c50d16
|
test: Support tracking gas refunds
|
2022-11-10 22:00:38 +01:00 |
|
nishant-sachdeva
|
149303d02d
|
added changelog entry for optimizer
|
2022-11-11 02:26:47 +05:30 |
|
chriseth
|
77a9f8ac43
|
Merge pull request #13529 from ethereum/optimize_and_shl_functions
optimize and_shl distribution operation
|
2022-11-10 21:38:29 +01:00 |
|
nishant-sachdeva
|
efbd3666a7
|
added optimization. shl comes out from being distributed over and
|
2022-11-11 01:16:14 +05:30 |
|
matheusaaguiar
|
c72645327e
|
Merge pull request #13613 from Andy53/patch-1
Clarification to the documentation on converting payable to non payable functions.
|
2022-11-10 16:28:36 -03:00 |
|
andy53
|
1e5c229a37
|
update value-types.rst
|
2022-11-10 15:42:31 -03:00 |
|
chriseth
|
1bd35b1be1
|
Merge pull request #13682 from ethereum/improve_cse
Use hash of candidates for CSE.
|
2022-11-10 16:48:57 +01:00 |
|
chriseth
|
4b0348a9a5
|
Merge pull request #13693 from ethereum/resolved-function-call-in-cfg
Resolved `FunctionDefinition` instead of `FunctionCall` in CFG
|
2022-11-10 14:04:37 +01:00 |
|
Nikola Matić
|
4e5a5259f5
|
Merge pull request #13650 from Andy53/document-optimized-cleanup-process
update using-the-compiler.rst with details of optimizer cleanup sequence
|
2022-11-10 03:35:26 -05:00 |
|