chriseth 8c570f31c5 Merge pull request #6442 from ethereum/smt_unary_inc_dec ...

[SMTChecker] Support unary inc/dec for array/mapping access

2019-04-04 11:45:13 +02:00

..

analysis

Remove "using namespace" from header and move Instruction to dev::eth.

2019-03-28 13:48:11 +01:00

ast

Fix ABIEncoderV2 array overwrite bug.

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

codegen

Validate value types in decoder of ABIEncoderV2.

2019-04-03 11:32:02 +02:00

formal

[SMTChecker] Support unary inc/dec for array/mapping access

2019-04-02 16:53:19 +02:00

interface

Make optimiser settings available to assembly stack.

2019-03-28 18:24:13 +01: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