hrkrshnn 51009c005d Moved a canBeStored assert for struct members to TypeChecker ...

This is to avoid a assert from failing for forward declared user defined value types.

2021-10-26 18:43:04 +02:00

..

analysis

Moved a canBeStored assert for struct members to TypeChecker

2021-10-26 18:43:04 +02:00

ast

Use range-v3 loops: delete boost includes

2021-10-16 11:54:46 +03:00

codegen

Merge pull request #12123 from ethereum/empty-switch-12068

2021-10-12 17:42:49 +02:00

formal

Add SMTCheckerTest isoltest option to ignore invariants

2021-10-26 11:30:30 +02:00

interface

Add invariants option to CLI and JSON

2021-10-26 11:30:30 +02:00

parsing

Separate DebugData fields for Solidity and Yul source locations

2021-09-22 13:11:39 +02:00

CMakeLists.txt

Use invariants in CHC

2021-10-26 11:30:30 +02:00