Kamil Śliwak a68b4ab7ed IRGeneratorForStatements: Slightly reorganize local variables in endVisit(MemberAccess) ...

- Add memberFunctionType accessible in the whole function to avoid declaring it multiple times
- Add objectCategory

2020-05-20 21:09:27 +02:00

..

analysis

Remove dedicated error flags from DocStringParser and DocStringAnalyser

2020-05-20 04:17:49 +02:00

ast

Allow natspec comments on state variables.

2020-05-19 11:01:52 -05:00

codegen

IRGeneratorForStatements: Slightly reorganize local variables in endVisit(MemberAccess)

2020-05-20 21:09:27 +02:00

formal

Remove Type from SolverInterface

2020-05-20 12:55:19 +02:00

interface

Merge pull request #8976 from ethereum/libsmtutil

2020-05-20 16:14:37 +02:00

parsing

Remove dedicated error flags from DocStringParser and DocStringAnalyser

2020-05-20 04:17:49 +02:00

CMakeLists.txt

Create libsmtutil

2020-05-20 12:55:18 +02:00