Kamil Śliwak 3ecf968001 Merge pull request #14328 from ethereum/fix-incomplete-ast-in-standard-json-on-analysis-fail ...

Fix incomplete AST in standard json on analysis fail

2023-06-19 18:26:33 +02:00

..

analysis

Disallow immutable initialization in try catch statements

2023-05-09 14:48:14 +02:00

ast

Allow qualified access to events from other contracts

2023-05-26 12:52:52 +02:00

codegen

IRGenerator: Leave IR optimization up to the caller to avoid unnecessarily doing it twice

2023-06-07 19:44:40 +02:00

formal

Add --print-smt flag to output SMTChecker SMTLIB code

2023-06-16 14:04:07 +02:00

interface

Merge pull request #14328 from ethereum/fix-incomplete-ast-in-standard-json-on-analysis-fail

2023-06-19 18:26:33 +02:00

lsp

Fixes compilation errors with some clangs

2023-02-03 21:37:50 -05:00

parsing

Experimental standard library

2023-06-06 17:16:23 +02:00

CMakeLists.txt

User-defined operators: AST

2023-02-22 00:06:17 +01:00