Leo Alt 8d91ccf028 [SMTChecker] Add a new trusted mode which assumes that code that is ... available at compile time is trusted.		2023-02-06 17:02:33 +01:00
..
ABI.cpp	Add std:: qualifier to move() calls	2022-08-30 11:12:15 +02:00
ABI.h
CompilerStack.cpp	Merge pull request #13733 from ethereum/eofSetting	2022-11-23 20:37:24 +01:00
CompilerStack.h	Add experimental EOF options for CLI and Standard JSON.	2022-11-23 19:53:44 +01:00
DebugSettings.h
FileReader.cpp
FileReader.h
GasEstimator.cpp	Improve FunctionSelector helpers	2022-09-27 17:58:32 +02:00
GasEstimator.h
ImportRemapper.cpp	Add std:: qualifier to move() calls	2022-08-30 11:12:15 +02:00
ImportRemapper.h
Natspec.cpp	Add Natspec devdoc inheritance support for events	2022-11-08 15:53:10 +01:00
Natspec.h
OptimiserSettings.h	Command line tests and minor touch ups	2022-09-12 11:13:49 +02:00
ReadFile.h
SMTSolverCommand.cpp	Allow running Eldarica from the command line	2022-11-22 21:16:45 +01:00
SMTSolverCommand.h	Allow running Eldarica from the command line	2022-11-22 21:16:45 +01:00
StandardCompiler.cpp	[SMTChecker] Add a new trusted mode which assumes that code that is	2023-02-06 17:02:33 +01:00
StandardCompiler.h	Add experimental EOF options for CLI and Standard JSON.	2022-11-23 19:53:44 +01:00
StorageLayout.cpp	Add std:: qualifier to move() calls	2022-08-30 11:12:15 +02:00
StorageLayout.h
UniversalCallback.h	Allow running Eldarica from the command line	2022-11-22 21:16:45 +01:00
Version.cpp
Version.h