cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
23,867 Commits 348 Branches 121 Tags 100 MiB
syntactic-call-graph
Commit Graph

30 Commits

Author SHA1 Message Date
Nikola Matic
2059fdf054 fixup! Syntactic call graph 2023-10-02 18:48:42 +02:00
Nikola Matic
ccae691606 fixup! Syntactic call graph 2023-10-02 15:50:36 +02:00
Nikola Matic
9656cf105b Syntactic call graph 2023-10-02 12:01:38 +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
8304aca1c1 TypeSystemHelper: Add isPrimitiveType() 2023-09-28 17:43:16 +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
271d55cb04 fixup! Type inference draft. 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
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
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
Matheus Aguiar
14aed39261 Introduce experimental analysis basic infrastructure 2023-09-11 12:29:44 -03:00