chriseth 95ca829750 Merge pull request #3663 from ethereum/gasleftEmscripten ...

Add gasleft to FunctionType::richIdentifier().

2018-03-06 18:06:30 +01:00

..

analysis

Merge pull request #3549 from ethereum/fixmultidim

2018-03-06 15:51:17 +01:00

ast

Merge pull request #3663 from ethereum/gasleftEmscripten

2018-03-06 18:06:30 +01:00

codegen

Use STATICCALL for pure function calls if EVM version supports it and 0.5.0 is activated.

2018-03-06 15:30:18 +01:00

formal

This z3 option is necessary for good solving performance

2018-03-04 14:42:36 +01:00

inlineasm

Only warn for shift instructions if not using constantinople

2018-03-01 17:19:35 +01:00

interface

Merge pull request #3640 from AnthonyBroadCrawford/spanning-multiline-message-fix

2018-03-05 22:51:53 +01:00

parsing

Introduce emit statement.

2018-02-22 15:17:30 +01:00

CMakeLists.txt

Improve Z3 message in cmake

2017-10-13 13:33:18 +01:00