chriseth e2bf5de8a2 Expect end of string at end of top-level block for assembly parser.

2018-02-21 00:41:39 +01:00

..

analysis

Fix shadowing for imports with aliases.

2018-02-20 13:06:28 +01:00

ast

Added property _documentation_ to Function, Event, and Modifier definition classes.

2018-02-19 16:45:38 +01:00

codegen

Expect end of string at end of top-level block for assembly parser.

2018-02-21 00:41:39 +01:00

formal

[SMTChecker] Variables are merged after branches (ite variables)

2018-01-04 18:20:12 +01:00

inlineasm

Expect end of string at end of top-level block for assembly parser.

2018-02-21 00:41:39 +01:00

interface

Expect end of string at end of top-level block for assembly parser.

2018-02-21 00:41:39 +01:00

parsing

Expect end of string at end of top-level block for assembly parser.

2018-02-21 00:41:39 +01:00

CMakeLists.txt

Improve Z3 message in cmake

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