Alexander Arlt f76d4d5919 Fix: natspec annotations on constructors ...

- natspec annotations on constructore where ignored.

2018-08-08 21:53:35 +02:00

..

analysis

Fix: natspec annotations on constructors

2018-08-08 21:53:35 +02:00

ast

Merge pull request #4684 from ethereum/underscores_in_numeric_literals

2018-08-08 21:36:57 +02:00

codegen

Remove code generation for Throw statement

2018-08-08 17:02:25 +01:00

formal

SMT: do not crash on referencing MagicVariableDeclaration

2018-08-07 20:43:20 +01:00

inlineasm

Merge pull request #4753 from mattaereal/boost-to-string-patch

2018-08-08 16:07:25 +01:00

interface

Fix: natspec annotations on constructors

2018-08-08 21:53:35 +02:00

parsing

Cleanup & polish numbers-with-underscores parsing, also improving tests.

2018-08-08 13:38:46 +02:00

CMakeLists.txt

cmake flags to make solvers optional. Implementation of #4651

2018-08-08 12:43:57 -03:00