chriseth 4861c9b8d1 Merge pull request #10554 from ethereum/emptyBytesPushSol2Yul ...

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

2020-12-10 12:19:07 +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

Move CHC counterexamples to primary location

2020-12-09 19:55:18 +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