Martin Blicha 41fc59f00f [SMTChecker] Ensure that push to a string casted to bytes is registered in the original string

2021-03-03 17:11:42 +01:00

..

analysis

Check for invalid tags.

2021-03-02 16:53:31 +01:00

ast

Check that there is an interface type before querying validity of location.

2021-02-24 11:22:40 +01:00

codegen

Provide selector for some internal functions.

2021-03-01 16:19:59 +01:00

formal

[SMTChecker] Ensure that push to a string casted to bytes is registered in the original string

2021-03-03 17:11:42 +01:00

interface

Allow custom natspec tags.

2021-03-02 16:13:28 +01:00

parsing

Provide locations for docstring parsing errors.

2021-03-01 17:34:25 +01:00

CMakeLists.txt

Move CallGraph structure to a separate module

2021-02-23 10:47:02 +01:00