hrkrshnn 2c2c7a4473 Fix IR bug on deleting storage variables of function type. ...

Calling the zeroing function assumed that the stack slots needed for the type was always 1. This is
false for function types.

2021-02-24 12:43:33 +01:00

..

analysis

Only warn about variables being shadowed in inline assembly.

2021-02-19 14:29:22 +01:00

ast

MemberList.Member's last argument (declaration) made mandatory to avoid accidental missing out during construction.

2021-02-11 10:46:14 +01:00

codegen

Fix IR bug on deleting storage variables of function type.

2021-02-24 12:43:33 +01:00

formal

Merge pull request #10836 from ethereum/smt_fix_cex_inheritance

2021-02-03 18:49:25 +01:00

interface

Refactor overwriteRelease flag.

2021-02-12 10:37:59 +01:00

parsing

libsolidity: Extend the AST for named AST nodes in order to get precise locations for names.

2021-02-10 18:13:09 +01:00

CMakeLists.txt

Add CLI and JSON option to select SMTChecker targets

2021-01-20 17:35:37 +01:00