chriseth 68d4a85575 Properly read and clean value types read from storage.

2019-03-25 18:28:43 +01:00

..

analysis

Disallow internal function types as parameters for public/external library function

2019-03-21 07:25:57 +01:00

ast

ArrayType::interfaceType(): Rename local variable to make more sense

2019-03-21 07:25:59 +01:00

codegen

Properly read and clean value types read from storage.

2019-03-25 18:28:43 +01:00

formal

[SMTChecker] Add callstack model to overflow checks

2019-03-21 16:25:33 +01:00

interface

Abort if parseAndAnalyze failed but no errors are reported in compileYul

2019-03-25 13:19:33 +00:00

parsing

Fixes wrong source location when reporting pragma solidity version conflicts.

2019-03-20 11:42:25 +01:00

CMakeLists.txt

Extract utility functions from ABI encoder.

2019-03-05 22:13:55 +01:00