Djordje Mijovic b06936b11c [refactor] Move copying struct to storage to it's own util function.		2021-01-11 16:26:14 +01:00
..
analysis	Catch panic.	2020-12-22 11:08:44 +01:00
ast	Catch panic.	2020-12-22 11:08:44 +01:00
codegen	[refactor] Move copying struct to storage to it's own util function.	2021-01-11 16:26:14 +01:00
formal	Refactor cex loop	2021-01-07 23:13:02 +01:00
interface	Update Natspec documentation URL	2020-12-27 14:55:40 +01:00
parsing	Mark the empty version pragma as invalid	2021-01-04 19:28:36 +00:00
CMakeLists.txt	Enable the -Wconversion warning	2020-12-08 16:45:24 +00:00