Leonardo Alt 2405b2151a EVMVersion in langutil namespace instead of solidity

2019-02-25 15:29:57 +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] Only check for overflow/underflow in the end of the function

2019-02-18 23:55:58 +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