rodiazet 8c4d9e8cfd Fix unsed variable warning

2018-12-03 15:48:59 +01:00

..

analysis

Review suggestions

2018-09-06 18:28:16 +02:00

ast

Warn/enforce single bytes argument for certain builtins (hashing functions).

2018-05-16 09:48:03 +02:00

codegen

Always perform cleanup for EXP.

2018-09-10 14:27:57 +02:00

formal

[SMTChecker] Declaring all state vars before any function is visited

2018-05-15 14:28:08 +02:00

inlineasm

Fix unsed variable warning

2018-12-03 15:48:59 +01:00

interface

Add control flow analyzer and test for uninitialized storage returns.

2018-05-14 20:23:40 +02:00

parsing

This fixes several bugs with regards to line breaks and comments:

2018-09-10 12:28:34 +02:00

CMakeLists.txt

Fix link error when using boost shared library

2018-05-11 11:20:19 +08:00