chriseth 9daac90cf7 Merge pull request #4888 from ethereum/disallow_single_statement_vardecl_if_while_for ...

Disallow single statement var decl in if/while/for without blocks

2018-09-04 17:24:06 +02:00

..

analysis

Merge pull request #4888 from ethereum/disallow_single_statement_vardecl_if_while_for

2018-09-04 17:24:06 +02:00

ast

Add return data to bare calls.

2018-09-04 13:31:10 +02:00

codegen

Add return data to bare calls.

2018-09-04 13:31:10 +02:00

formal

Add workarounds for building against CVC4 on ArchLinux.

2018-08-08 19:02:59 +02:00

inlineasm

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

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

interface

Merge pull request #4542 from aarlt/constructor_natspec

2018-08-14 19:13:25 +02:00

parsing

Remove trailing whitespace for all files in the repository.

2018-09-04 11:30:30 +02:00

CMakeLists.txt

Do not force GMP to be present as dependency of CVC4, but also allow CLN instead.

2018-08-08 19:02:59 +02:00