Martin Blicha 7078e8f8f8 [SMTChecker] Fix analysis of overriding modifiers		2020-12-17 17:05:54 +01:00
..
analysis	All explicit address conversions return a non-payable address	2020-12-14 18:41:27 +01:00
ast	Disallow some explicit conversions to address payable	2020-12-15 15:01:40 +01:00
codegen	Unary minus is not implemented for fixed point type	2020-12-15 18:02:10 +00:00
formal	[SMTChecker] Fix analysis of overriding modifiers	2020-12-17 17:05:54 +01:00
interface	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-14 11:33:40 +01:00
parsing	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-02 12:28:02 +01:00
CMakeLists.txt	Enable the -Wconversion warning	2020-12-08 16:45:24 +00:00