chriseth da48bcc51e Only output AST if the analysis was successful.

2017-07-05 18:27:32 +02:00

..

analysis

Remove parsing of why3 doc strings

2017-06-30 22:34:03 +01:00

ast

Use boost::starts_with

2017-06-28 17:01:55 +01:00

codegen

Fix internal "variable already present" error.

2017-07-04 19:33:55 +02:00

inlineasm

Add Julia mode as an option to EVMCodeTransform

2017-07-03 10:13:36 +01:00

interface

Only output AST if the analysis was successful.

2017-07-05 18:27:32 +02:00

parsing

Avoid including Scanner.h in ParserBase.h

2017-06-22 22:22:19 +01:00

CMakeLists.txt

Adapt EVM codegen to new namespace.

2017-05-26 15:08:27 +02:00