Leonardo 158154bac3 Merge pull request #10345 from ethereum/ir-runtime ...

Output runtime object in IR

2020-12-18 17:19:40 +01:00

..

analysis

Report meaningful error if parsing a version pragma failed

2020-12-18 11:50:37 +00:00

ast

Disallow some explicit conversions to address payable

2020-12-15 15:01:40 +01:00

codegen

Modifiers for constructors.

2020-12-17 17:00:51 +01:00

formal

[SMTChecker] Replace constants by their value in-place

2020-12-18 14:22:28 +01:00

interface

Output runtime object in IR

2020-12-16 19:23:10 +00:00

parsing

Report meaningful error if parsing a version pragma failed

2020-12-18 11:50:37 +00:00

CMakeLists.txt

Enable the -Wconversion warning

2020-12-08 16:45:24 +00:00