chriseth 29405c223b Merge pull request #8951 from ethereum/sol-yul-refactor-split-internal-dispatch ...

[Sol->Yul] Split internal dispatch into separate enumeration and code generation (refactor)

2020-05-20 16:28:24 +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

IRGenerationContext: Extract code for enumerating dispatchable functions from generateInternalDispatch() into a separate function

2020-05-20 13:16:08 +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