Jason Cobb 20c8851f43 Use optional for CompilerStack::Contract source mappings		2020-05-18 10:24:38 -04:00
..
analysis	Move scopes into resolver.	2020-05-14 13:16:47 +02:00
ast	Merge pull request #8931 from random-internet-cat/lazy-init	2020-05-14 18:54:19 +02:00
codegen	Extract more functions for generating function and variable names into IRNames	2020-05-15 14:51:00 +02:00
formal	[SMTChecker] Support array length	2020-05-14 23:32:29 +02:00
interface	Use optional for CompilerStack::Contract source mappings	2020-05-18 10:24:38 -04:00
parsing	Add support for SPDX license identifiers.	2020-05-13 18:16:59 +02:00
CMakeLists.txt	Move static functions for constructing names from IRGenerationContext into the new Common module	2020-05-14 19:48:00 +02:00