cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
7e1cfc112e866455e1e31e786462819d080fea21
solidity/libsolidity/interface
T
History
Leo Alt 6c8ecfa82c Add option to choose solver
2021-07-27 17:14:21 +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
Add option to choose solver
2021-07-27 17:14:21 +02:00
CompilerStack.h
Add option to choose solver
2021-07-27 17:14:21 +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
Add option to choose solver
2021-07-27 17:14:21 +02:00
StandardCompiler.h
Make --pretty-json work with Standard JSON output
2021-07-26 16:00:46 +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