Daniel Kirchner 7308abc084 Allow loading Z3 dynamically at runtime.

2020-12-10 16:47:47 +01:00

..

analysis

Fix segfault for empty @return tags in modifiers

2020-12-10 11:54:40 +01:00

ast

Report warning if contract uses abicoder v1, but IR is requested

2020-12-09 01:20:58 +00:00

codegen

[Sol->Yul] Implementing empty byte array push.

2020-12-09 19:31:35 +01:00

formal

Allow loading Z3 dynamically at runtime.

2020-12-10 16:47:47 +01:00

interface

Move standard-json "modelCheckerSettings" key to "settings.modelChecker".

2020-12-09 15:53:32 +01:00

parsing

Rename AsmData -> AST

2020-11-25 17:58:02 +00:00

CMakeLists.txt

Enable the -Wconversion warning

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