Leo Alt e698a22ca3 change SMTChecker default settings		2023-05-24 12:03:57 +02:00
..
analysis	Disallow immutable initialization in try catch statements	2023-05-09 14:48:14 +02:00
ast	Introduce solidity-next pragma	2023-05-15 19:25:13 +02:00
codegen	Fix hidden-overload in Types and remove CMake hack	2023-05-09 19:33:23 +02:00
formal	change SMTChecker default settings	2023-05-24 12:03:57 +02:00
interface	change SMTChecker default settings	2023-05-24 12:03:57 +02:00
lsp	Fixes compilation errors with some clangs	2023-02-03 21:37:50 -05:00
parsing	Restrict experimental solidity to constantinople and above	2023-05-17 17:03:43 +02:00
CMakeLists.txt	User-defined operators: AST	2023-02-22 00:06:17 +01:00