Kamil Śliwak
a47aa09bb4
[TMP] Extra tests
2023-09-28 21:11:00 +02:00
Kamil Śliwak
4028125234
fixup! Extract type class member registration into a separate experimental analysis pass
2023-09-28 21:11:00 +02:00
Kamil Śliwak
ea8daf1613
Extract type class member registration into a separate experimental analysis pass
2023-09-28 21:11:00 +02:00
Kamil Śliwak
4960de7b42
Move builtin type class registration to TypeClassRegistration
2023-09-28 21:11:00 +02:00
Kamil Śliwak
201259d50b
[TMP] Remove polymorphicInstance() from class type member types
2023-09-28 21:11:00 +02:00
Kamil Śliwak
bdd2f02c83
Merge pull request #14566 from ethereum/new-analysis-defining-builtins
...
Defining built-ins in experimental analysis
2023-09-28 21:10:16 +02:00
Kamil Śliwak
0819e31de8
Reject duplicate built-in type definitions
2023-09-28 17:43:16 +02:00
Kamil Śliwak
017771032b
Replace hard-coded types with __builtin()
2023-09-28 17:43:16 +02:00
Kamil Śliwak
13abd0c9eb
Add Builtin AST node
2023-09-28 17:43:16 +02:00
Kamil Śliwak
8304aca1c1
TypeSystemHelper: Add isPrimitiveType()
2023-09-28 17:43:16 +02:00
Kamil Śliwak
1072f1bd55
Syntax test for built-in types in experimental Solidity.
2023-09-28 17:43:16 +02:00
Kamil Śliwak
271d55cb04
fixup! Type inference draft.
2023-09-28 15:49:00 +02:00
Kamil Śliwak
353d50b0be
Distinct identifiers and tokens for integer type and integer class
...
- Using the same name causes syntax ambiguities. It's also not allowed for user-defined classes and types.
2023-09-28 15:49:00 +02:00
Kamil Śliwak
e5915eac21
fixup! Type inference draft.
2023-09-28 15:49:00 +02:00
Kamil Śliwak
ef4864c576
fixup! Type inference draft.
2023-09-28 15:49:00 +02:00
Kamil Śliwak
ff06778fee
fixup! Type inference draft.
2023-09-28 15:49:00 +02:00
Kamil Śliwak
6d43dfbd43
fixup! Type inference draft.
2023-09-28 15:49:00 +02:00
Kamil Śliwak
e3caed0ea4
fixup! Type inference draft.
2023-09-28 15:49:00 +02:00
Kamil Śliwak
1ffd65f089
fixup! Type inference draft.
2023-09-18 18:55:34 +02:00
Kamil Śliwak
6621dc6ba5
fixup! Type inference draft.
2023-09-18 18:55:25 +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
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
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
