Daniel
1dcb4c702a
Merge 2956345cd4 into 586a7c54eb
2023-09-18 12:35:57 +00:00
Daniel
586a7c54eb
Merge pull request #14503 from Saw-mon-and-Natalie/fix-test-typo
...
fixed `MSTORE` typo in `libevmasm` tests
2023-09-18 14:30:55 +02:00
Kamil Śliwak
2956345cd4
Merge pull request #14558 from ethereum/new-analysis-type-class-registration-pass
...
Separate type class registration pass in experimental analysis
2023-09-18 14:07:16 +02:00
Nikola Matić
020b59680e
Merge pull request #14552 from ethereum/bump-cmake-and-boost-to-work-with-vs-2022
...
Work around differences in `lexically_normal()` on Boost 1.78+ and bump cmake and boost versions
2023-09-14 20:38:53 +02:00
Kamil Śliwak
5a5e0b5bb3
Merge pull request #14551 from zobront/develop
...
docs: add clarification about post-execution modifier behavior
2023-09-14 20:28:20 +02:00
Zach Obront
6e8b9dff51
docs: add clarification about post execution modifier behavior
2023-09-14 17:58:18 +02:00
Kamil Śliwak
70cf104f19
fixup! Bump cmake to 3.27.4 and boost to 1.83 on Windows to work with Visual Studio 2022
2023-09-14 17:44:08 +02:00
Kamil Śliwak
da83b35a71
Separate experimental analysis pass for type class registration
2023-09-14 17:32:51 +02:00
Kamil Śliwak
086c912c65
TypeSystem: make typeClassInfo() public
2023-09-14 17:32:51 +02:00
Kamil Śliwak
9f7764c215
Semantic test for type classes
2023-09-14 17:32:51 +02:00
Saw-mon & Natalie
85b1cb9013
fixed MSTORE typo
2023-09-14 16:15:28 +02:00
Kamil Śliwak
0a69758468
FileReader::isPathPrefix(): Work around lexically_normal() no longer preserving UNC slashes on Boost 1.78+ on Windows
2023-09-14 16:12:43 +02:00
Nikola Matic
5d88b74746
install_deps.ps1: Remove downloaded packages and sources after installation
2023-09-14 16:12:43 +02:00
Nikola Matic
73d582d4b3
Bump cmake to 3.27.4 and boost to 1.83 on Windows to work with Visual Studio 2022
2023-09-14 16:12:43 +02:00
Kamil Śliwak
acad00f461
fixup! Type inference draft.
...
Rebase fixes
2023-09-14 07:56:36 +02:00
Kamil Śliwak
0e95ca163c
fixup! Type inference draft.
2023-09-14 07:56:36 +02:00
Kamil Śliwak
761f5b342f
fixup! Type inference draft.
2023-09-14 07:56:36 +02:00
Nikola Matic
319a6c4999
Move around experimental tests
...
Exclude list for AST JSON tests
Fix type inference shellcheck failure
Disable shellcheck SC2086
2023-09-14 07:56:33 +02:00
Daniel Kirchner
7c2f5ee171
Remove bogus unused IRVariable implementation (to be redone).
2023-09-13 22:54:10 +02:00
Daniel Kirchner
59ef5919fb
Platform fixes.
2023-09-13 22:54:10 +02:00
Daniel Kirchner
5f894722df
Add comment.
2023-09-13 22:54:10 +02:00
Daniel Kirchner
fadba0e4b8
error ids
2023-09-13 22:54:10 +02:00
Daniel Kirchner
4fb7e9934e
Fix compiler warning.
2023-09-13 22:54:10 +02:00
Daniel Kirchner
5d1d365e2f
style fixes
2023-09-13 22:54:10 +02:00
Daniel Kirchner
e4e0472407
Eliminate using namespace std.
2023-09-13 22:54:10 +02:00
Daniel Kirchner
d8a36a1d58
Type inference draft.
2023-09-13 22:54:02 +02:00
Daniel Kirchner
093ec110cf
Scanner hack.
2023-09-13 22:39:25 +02:00
Daniel Kirchner
fa815764dd
Basic infrastructure.
2023-09-13 22:37:00 +02:00
Daniel
9bce5f91dc
Merge pull request #14538 from ethereum/experimentalAnalysisBasicInfrastructure
...
New Analysis basic infrastructure
2023-09-13 13:00:56 +02:00
Kamil Śliwak
64a0f62700
Merge pull request #14506 from ethereum/extracted-natspec-json-tests
...
Replace Boost-based Natspec test case with one derived from `SyntaxTest`
2023-09-11 19:28:31 +02:00
Kamil Śliwak
b63a94031f
Generate expectations for moved Natspec syntax tests
2023-09-11 18:06:42 +02:00
Kamil Śliwak
dc68480f72
Move Natspec syntax tests to natspecJSON
2023-09-11 18:06:42 +02:00
Kamil Śliwak
d083925bed
natspecJSON: Generate missing expectations (including errors)
2023-09-11 18:06:42 +02:00
Kamil Śliwak
481c7256cb
natspecJSON: Include version and kind fields in expectations where missing
2023-09-11 18:06:42 +02:00
Kamil Śliwak
99bfdf930a
SolidityNatspecJSON: Convert Boost-based test cases into natspectJSON/*.sol tests
2023-09-11 18:06:42 +02:00
Kamil Śliwak
ba019e5a01
SolidityNatspecJSON: Manual conversion of two test cases that would not be handled correctly by the script
...
- dev_multiple_params_mixed_whitespace has whitespace that is not completely preserved
- dev_explicit_inherit_complex is a multi-file test
2023-09-11 18:06:42 +02:00
Kamil Śliwak
1041f071f0
SolidityNatspecJSON: A few tweaks and small fixes before automatic conversion
...
- Expectation order matching the order of contracts in the source
- Typos in test names
- Redundant prefixes in test names
- Wrong 'king' in some expectations (it's not checked by the test suite)
2023-09-11 18:06:42 +02:00
Kamil Śliwak
91cc72bcd4
NatspecJSONTest based on SyntaxTest
2023-09-11 18:06:42 +02:00
Matheus Aguiar
14aed39261
Introduce experimental analysis basic infrastructure
2023-09-11 12:29:44 -03:00
r0qs
34c86d90be
Merge pull request #14556 from ethereum/homebrew-update
...
Upgrade homebrew packages
2023-09-11 13:34:56 +02:00
r0qs
1cb04e84d9
Upgrade homebrew packages
...
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2023-09-11 12:49:32 +02:00
Daniel
16ae76cad7
Merge pull request #14533 from ethereum/fix-std-namespace-asan
...
Fix missing std qualifier for ASAN
2023-09-05 11:04:13 +02:00
Nikola Matic
ae36323edb
Fix missing std qualifier for ASAN
2023-09-05 08:49:23 +02:00
Daniel
e43968599e
Merge pull request #14468 from ethereum/push0-rematerializer-default-sequence
...
Push0 rematerializer default sequence
2023-09-04 19:27:33 +02:00
Nikola Matic
fdc6699159
Rematerialize zero literals with default cleanup sequence
...
Add unused pruner step to the end of the default cleanup sequence
2023-09-04 15:40:33 +02:00
Daniel
1b8e792eb6
Merge pull request #14530 from ethereum/fix-oz-failing-test
...
Fix failing OZ test
2023-09-04 13:08:47 +02:00
Nikola Matic
76e0d81354
Fix failing OZ test
2023-09-04 12:23:12 +02:00
Nikola Matić
737c1abbdf
Merge pull request #14525 from molecula451/purge-std
...
deprecate using namespace std
2023-09-04 11:02:15 +02:00
Paul
b3230b0bdc
deprecate using namespace std
...
test: updat filereader test
deprecate namespace std
deprecate namespace std
deprecate namespace std
deprecate namespace std
deprecate namespace std
deprecate namespace std
deprecate namespace std
deprecate namespace std
deprecated std namespace
deprecated std namespace
deprecated std namespace
deprecated std namespace
deprecated std namespace
deprecated std namespace
deprecated std namespace
deprecated std namespace
deprecated std namespace
depecrate namespace std
deprecated namespace std
check ci
clean line
Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
purge line
pure line
deprecate std
deprecate std
deprecate std
deprecate std
deprecate std
deprecate
deprecate std
bye namespace
2023-09-04 10:12:07 +02:00
Nikola Matić
df03f1412d
Merge pull request #14522 from junaire/purge-using-namespace-std-in-libyul
...
Purge using namespace std in libyul
2023-08-29 12:38:50 +02:00
