chriseth e3525b81d0 Supply scanner to model checker.		2021-07-14 15:12:10 +02:00
..
ABI.cpp	Add errors to the ABI.	2021-03-30 21:16:58 +02:00
ABI.h	Replace TypePointer with Type const*	2021-03-23 11:47:19 +01:00
CompilerStack.cpp	Supply scanner to model checker.	2021-07-14 15:12:10 +02:00
CompilerStack.h	Remove CharStream from SourceLocation.	2021-07-14 15:12:07 +02:00
DebugSettings.h	Add SPDX license identifier if not present already in source file	2020-07-17 20:24:12 +05:30
FileReader.cpp	Remove unneeded include files	2021-06-07 12:53:18 -04:00
FileReader.h	FileReader: More accurate description of FileReader::readFile() and its arguments	2021-04-13 13:26:01 +02:00
GasEstimator.cpp	Eliminates dead code around GasEstimator	2020-10-07 13:31:40 +02:00
GasEstimator.h	Eliminates dead code around GasEstimator	2020-10-07 13:31:40 +02:00
ImportRemapper.cpp	Extract import-file remapping logic out of CompilerStack into ImportRemapper.	2021-04-06 14:28:53 +02:00
ImportRemapper.h	Equality operators for ModelCheckerSettings and ImportRemapper	2021-07-06 17:17:18 +02:00
Natspec.cpp	Natspec: Don't copy from base function if return parameters differ	2021-04-19 15:20:30 +02:00
Natspec.h	Natspec: Don't copy from base function if return parameters differ	2021-04-19 15:20:30 +02:00
OptimiserSettings.h	Do not hard-code the default 'runs' value as 200 in code that fills out optimizer settings	2021-06-28 14:12:28 +02:00
ReadFile.h	Remove the usage of boost::noncopyable	2021-04-23 14:57:01 +01:00
StandardCompiler.cpp	Remove CharStream from SourceLocation.	2021-07-14 15:12:07 +02:00
StandardCompiler.h	Note function entry points.	2021-05-04 17:15:13 +02:00
StorageLayout.cpp	Replace TypePointer with Type const*	2021-03-23 11:47:19 +01:00
StorageLayout.h	Replace TypePointer with Type const*	2021-03-23 11:47:19 +01:00
Version.cpp	Add SPDX license identifier if not present already in source file	2020-07-17 20:24:12 +05:30
Version.h	Add SPDX license identifier if not present already in source file	2020-07-17 20:24:12 +05:30