chriseth f8e9aed839 Merge pull request #5717 from ethereum/smt_typecast ...

[SMTChecker] Support basic typecast without truncation

2019-01-21 12:35:07 +01:00

..

analysis

Disallow calldata structs.

2019-01-21 10:30:57 +01:00

ast

Merge pull request #5817 from ethereum/refactoring

2019-01-18 11:36:49 +00:00

codegen

Do not create a copy of the assembly.

2019-01-17 20:36:48 +01:00

formal

[SMTChecker] Support basic typecast

2019-01-16 13:00:54 +01:00

interface

Add helper to show if contract can be deployed.

2019-01-17 20:36:48 +01:00

parsing

Syntax for meta type information.

2019-01-17 20:36:48 +01:00

CMakeLists.txt

Merge pull request #5664 from ethereum/cmakeUpdates

2018-12-18 17:45:23 +01:00