Kamil Śliwak
|
e8d050a1ce
|
Simplify redundant state check in CompilerStack::analyze()
|
2023-08-21 17:50:41 +02:00 |
|
Matheus Aguiar
|
969aea6d33
|
Added new kind of test: check for specific properties of AST
|
2023-08-21 12:37:40 -03:00 |
|
Kamil Śliwak
|
ee21b03e6c
|
Merge pull request #14500 from ethereum/fix-isoltest-update-loop-on-short-expectations
Fix infinite isoltest expectation update loop on values not taking full slots
|
2023-08-21 14:19:20 +02:00 |
|
Kamil Śliwak
|
d2f86ffb16
|
Merge pull request #14499 from ethereum/purge-using-namespace-std-from-libsolutil
Purge using namespace std from libsolutil
|
2023-08-18 12:56:01 +02:00 |
|
Nikola Matic
|
ad7932555d
|
Purge using namespace std from libsolutil
|
2023-08-18 12:10:43 +02:00 |
|
Kamil Śliwak
|
397a5543a4
|
fixup! BytesUtils: Don't introduce garbage when formatting byte vectors shorter than expected
|
2023-08-17 20:45:16 +02:00 |
|
Kamil Śliwak
|
0f5aacefa0
|
BytesUtils: Don't format parameters shorter than 32 bytes as integers
|
2023-08-17 20:00:54 +02:00 |
|
Kamil Śliwak
|
368ea01bb2
|
BytesUtils: Don't introduce garbage when formatting byte vectors shorter than expected
|
2023-08-17 20:00:44 +02:00 |
|
Kamil Śliwak
|
ef5f131862
|
Merge pull request #14480 from ethereum/refactor-preamble
Unify preamble injection in `AnalysisFramework`
|
2023-08-17 18:32:51 +02:00 |
|
Kamil Śliwak
|
2baf9d4d82
|
Put stripPreReleaseWarning() next to withPreamble()
|
2023-08-17 17:39:27 +02:00 |
|
Kamil Śliwak
|
ec92685bcb
|
Unify preamble handling between AnalysisFramework and SolidityExecutionFramework
|
2023-08-17 17:39:27 +02:00 |
|
Kamil Śliwak
|
18db62cf41
|
Unify preamble handling between test cases based on AnalysisFramework
|
2023-08-17 17:39:27 +02:00 |
|
Kamil Śliwak
|
0c2fce579a
|
Take into account multi-line license comments when adding preamble in test frameworks
|
2023-08-17 17:39:27 +02:00 |
|
Kamil Śliwak
|
69e5b634ea
|
Merge pull request #14450 from criadoperez/fix/criadoperez2
Fix typo in a docstring in `libyul/AsmAnalysis.h`
|
2023-08-16 21:24:11 +02:00 |
|
Alejandro Criado-Pérez
|
9f237d38a6
|
Corrected text
|
2023-08-16 20:34:13 +02:00 |
|
Nikola Matić
|
25fc3aa32f
|
Merge pull request #14493 from ethereum/purge-using-namespace-from-libsolidity-lsp-parsing
Purge using namespace from libsolidity/lsp and parsing
|
2023-08-16 18:15:28 +02:00 |
|
Daniel
|
8031be1109
|
Merge pull request #14496 from ethereum/removeDeadMainFunctionStep
Remove obsolete main function yul optimiser step.
|
2023-08-16 18:14:34 +02:00 |
|
Daniel Kirchner
|
aaba5c408a
|
Remove obsolete main function yul optimiser step.
|
2023-08-16 17:28:32 +02:00 |
|
Nikola Matic
|
f344dc164e
|
Purge using namespace from libsolidity/lsp and parsing
|
2023-08-16 17:07:52 +02:00 |
|
Nikola Matić
|
310794089a
|
Merge pull request #14492 from ethereum/purge-using-namespace-from-libsolidity-interface
Purge using namespace std from libsolidity/interface
|
2023-08-16 17:05:16 +02:00 |
|
Nikola Matic
|
342ba0324f
|
Purge using namespace std from libsolidity/interface
|
2023-08-15 15:45:15 +02:00 |
|
Daniel
|
579259d6e1
|
Merge pull request #14491 from ethereum/purge-using-namespace-from-libsolidity-formal
Purge using namespace from libsolidity/formal
|
2023-08-15 15:33:55 +02:00 |
|
Nikola Matic
|
d0a5556fd0
|
Purge using namespace from libsolidity/formal
|
2023-08-15 14:40:27 +02:00 |
|
Daniel
|
f085572e24
|
Merge pull request #14490 from ethereum/purge-using-namespace-std-from-libsolidity-codegen
Purge using namespace std from libsolidity/codegen
|
2023-08-15 14:19:14 +02:00 |
|
Nikola Matic
|
ce423e5ae5
|
Purge using namespace std from libsolidity/codegen
|
2023-08-14 21:37:31 +02:00 |
|
Daniel
|
d8cc2c62f3
|
Merge pull request #14489 from ethereum/purge-using-namespace-from-libsolidity-ast
Purge using namespace std from libsolidity/ast
|
2023-08-14 15:44:00 +02:00 |
|
Nikola Matic
|
2a2a9d37ee
|
Purge using namespace std from libsolidity/ast
|
2023-08-14 14:54:58 +02:00 |
|
Nikola Matić
|
b4d4b49dca
|
Merge pull request #14488 from ethereum/purge-using-namespace-std-from-libsolidity-analysis
Purge using namespace std from libsolidity/analysis
|
2023-08-14 14:53:32 +02:00 |
|
Nikola Matic
|
de1a017ccb
|
Purge using namespace std from libsolidity/analysis
|
2023-08-14 11:44:50 +02:00 |
|
Kamil Śliwak
|
c50c9b2c43
|
Merge pull request #14482 from ethereum/fix-error-ids-in-format-errors
Fix error IDs in `AnalysisFramework::formatErrors()`
|
2023-08-11 20:37:47 +02:00 |
|
Kamil Śliwak
|
339053f185
|
AnalysisFramework.formatErrors(): Fix _withErrorIds flag not having any effect
|
2023-08-11 14:15:56 +02:00 |
|
Kamil Śliwak
|
a59fc39f10
|
Use printErrorInformation() over printExceptionInformation() where possible
|
2023-08-11 14:15:56 +02:00 |
|
Kamil Śliwak
|
4020552e1d
|
SourceReferenceFormatter: Remove the ineffective _withErrorIds parameter from formatExceptionInformation()
|
2023-08-11 14:15:56 +02:00 |
|
Kamil Śliwak
|
8407c8c615
|
SourceReferenceFormatter: Support full range of options in formatErrorInformation()
|
2023-08-11 14:15:56 +02:00 |
|
Kamil Śliwak
|
b7d2c8bb0a
|
SourceReferenceFormatter: Line wrapping and unused includes
|
2023-08-11 14:15:56 +02:00 |
|
Kamil Śliwak
|
3edf91adc8
|
Merge pull request #14478 from ethereum/set-soltest-cpus-in-circleci-config
Set CPUs for `soltest.sh` based on the number of available cores
|
2023-08-09 11:58:55 +02:00 |
|
Kamil Śliwak
|
ec240c6422
|
CI: Set CPUs for soltest.sh based on the number of available cores
|
2023-08-09 11:12:31 +02:00 |
|
Kamil Śliwak
|
e357b8bc42
|
Merge pull request #14474 from ethereum/refactor-analysis-framework-error-filtering
Sane error filtering in `AnalysisFramework`
|
2023-08-07 20:02:45 +02:00 |
|
Daniel
|
0fbc5cc7d3
|
Merge pull request #14469 from ethereum/push0-rematerializer
Push0 rematerializer
|
2023-08-07 18:26:08 +02:00 |
|
Nikola Matic
|
96e7b4f46b
|
Rematerialize zero literals
|
2023-08-07 17:33:16 +02:00 |
|
Kamil Śliwak
|
65587d87c9
|
Merge pull request #14473 from ethereum/refactor-syntax-test-setup
Refactor syntax test setup
|
2023-08-07 17:30:58 +02:00 |
|
Kamil Śliwak
|
6d8b1374c5
|
Use AnalysisFramework's error formatting and filtering features in more test cases
|
2023-08-07 14:40:34 +02:00 |
|
Kamil Śliwak
|
e42242cd6f
|
AnalysisFramework.formatErrors(): Require providing errors explicitly
|
2023-08-07 14:40:34 +02:00 |
|
Kamil Śliwak
|
6c1bcb9a81
|
AnalysisFramework.formatErrors(): Support colored output and error IDs
|
2023-08-07 14:26:23 +02:00 |
|
Kamil Śliwak
|
6f3a379557
|
AnalysisFramework: Add filteredErrors()
|
2023-08-07 14:26:23 +02:00 |
|
Kamil Śliwak
|
e62bc30e9e
|
AnalysisFramework.filterErrors(): Provide default for _includeWarningsAndInfos
|
2023-08-07 14:26:23 +02:00 |
|
Kamil Śliwak
|
f87bef2431
|
AnalysisFramework: Make it possible to customize CompilerStack creation
|
2023-08-07 14:06:16 +02:00 |
|
Kamil Śliwak
|
aecb11eff4
|
Make better use of virtual functions to customize CommonSyntaxTest in test cases based on it
|
2023-08-07 14:05:43 +02:00 |
|
pgebal
|
511712570b
|
Merge pull request #14464 from pgebal/pgebal/fix_require
SMTChecker: Fix inconsistency on constant condition check after a loop is unrolled
|
2023-08-03 16:12:02 +02:00 |
|
Pawel Gebal
|
6574c10f25
|
SMTChecker: Visit the condition in for and while loops after loop is unrolled
|
2023-08-03 13:36:41 +02:00 |
|