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