Harikrishnan Mulackal 849bae2aa7 Natspec: change events() to interfaceEvents()

2020-07-07 17:22:09 +05:30

..

analysis

NatSpec: Implement default inheritance.

2020-06-30 14:45:13 +02:00

ast

Add unit denomination `gwei`

2020-06-24 18:24:56 +02:00

codegen

Modules are pure.

2020-06-18 18:28:04 +02:00

formal

[SMTChecker] Replace wrap mod by slack vars

2020-06-12 14:57:21 +02:00

interface

Natspec: change events() to interfaceEvents()

2020-07-07 17:22:09 +05:30

parsing

Add unit denomination `gwei`

2020-06-24 18:24:56 +02:00

CMakeLists.txt

Create libsmtutil

2020-05-20 12:55:18 +02:00