Mathias Baumann 6af16469e7 Remove unneeded assert ...

An error will trigger later in the name resolve phase

2020-10-05 13:01:11 +02:00

..

analysis

Fix ICE caused by an array of mappings

2020-09-29 18:17:46 +02:00

ast

Stop after parsing.

2020-09-30 16:57:49 +02:00

codegen

Fix typo: storage

2020-10-02 11:44:10 +02:00

formal

[SMTChecker] Support type conversions

2020-10-02 10:26:02 +02:00

interface

Remove unneeded assert

2020-10-05 13:01:11 +02:00

parsing

Make isStateVariable regular scope check.

2020-09-28 19:31:54 +02:00

CMakeLists.txt

Support array slices

2020-10-01 11:52:02 +02:00