Alex Beregszaszi c7ae042114 Use shift helper

2017-07-02 23:37:47 +01: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

Use shift helper

2017-07-02 23:37:47 +01:00

inlineasm

Warn on JUMP/JUMPI in inline assembly

2017-06-30 20:47:14 +01:00

interface

Remove Why3 error class

2017-06-30 22:30:43 +01: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