Alex Beregszaszi 2916206cab Match more SPDX-License-Identifer lines		2021-05-14 22:20:20 +01:00
..
analysis	Use a local instead of a temporary as an argument to valueOrDefault	2021-05-10 11:36:39 +02:00
ast	Remove more imports of ranges namespace.	2021-05-07 15:42:17 +02:00
codegen	Remove import of ranges namespace.	2021-05-07 13:44:14 +02:00
formal	Abstract function smtchecker natspec	2021-05-11 15:30:19 +02:00
interface	Note function entry points.	2021-05-04 17:15:13 +02:00
parsing	Match more SPDX-License-Identifer lines	2021-05-14 22:20:20 +01:00
CMakeLists.txt	Extract file reading logic from CommandLineInterface into FileReader class.	2021-04-06 17:10:43 +02:00