Daniel Kirchner 5b9e4c47a3 More fixes.

2022-12-14 16:49:11 +01:00

..

ABI.cpp

Add std:: qualifier to move() calls

2022-08-30 11:12:15 +02:00

ABI.h

…

CompilerStack.cpp

More fixes.

2022-12-14 16:49:11 +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

Fix running tests from any drive

2022-02-22 18:11:42 +01:00

FileReader.h

Fix running tests from any drive

2022-02-22 18:11:42 +01:00

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

Refactor parsing of remappings to remove duplication and improve readability

2021-09-27 13:14:10 +02:00

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

Remove the usage of boost::noncopyable

2021-04-23 14:57:01 +01:00

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

Add experimental EOF options for CLI and Standard JSON.

2022-11-23 19:53:44 +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

Simplify version.cpp

2021-09-16 16:03:27 +02:00

Version.h

Simplify version.cpp

2021-09-16 16:03:27 +02:00