Andy53 38603e9b08 add ir to json all output		2023-07-15 17:21:45 -06: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	IRGeneratorForStatements: Small refactor in endVisit(IndexAccess) for readability	2023-07-13 11:07:40 +02:00
formal	SMTChecker: Fix generation of smtlib scripts	2023-06-30 15:57:51 +02:00
interface	add ir to json all output	2023-07-15 17:21:45 -06: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