Leonardo Alt bbd2c91e19 [SMTChecker] Replace dynamic_cast by category check

2019-02-26 00:47:59 +01:00

..

analysis

EVMVersion in langutil namespace instead of solidity

2019-02-25 15:29:57 +01:00

ast

Small documentation fixes in the code

2019-02-21 12:54:39 +01:00

codegen

EVMVersion in langutil namespace instead of solidity

2019-02-25 15:29:57 +01:00

formal

[SMTChecker] Replace dynamic_cast by category check

2019-02-26 00:47:59 +01:00

interface

EVMVersion in langutil namespace instead of solidity

2019-02-25 15:29:57 +01:00

parsing

Make EVM version part of EVM dialect.

2019-02-21 21:59:46 +01:00

CMakeLists.txt

Move AssemblyStack to libyul.

2019-02-13 12:23:07 +01:00