Alex Beregszaszi 5bb4bfb08b Remove unneccesary interface from Natspec

2017-07-18 21:05:34 +01:00

..

ABI.cpp

Split ABI out of InterfaceHandler

2017-05-19 16:11:03 +01:00

ABI.h

Split ABI out of InterfaceHandler

2017-05-19 16:11:03 +01:00

AssemblyStack.cpp

Add Julia mode as an option to EVMCodeTransform

2017-07-03 10:13:36 +01:00

AssemblyStack.h

Introduce MachineAssemblyObject

2017-06-09 16:40:14 +02:00

CompilerStack.cpp

Remove unneccesary interface from Natspec

2017-07-18 21:05:34 +01:00

CompilerStack.h

Export CompilerStack state

2017-07-03 12:06:41 +01:00

ErrorReporter.cpp

Remove Why3 error class

2017-06-30 22:30:43 +01:00

ErrorReporter.h

Remove Why3 error class

2017-06-30 22:30:43 +01:00

Exceptions.cpp

Refactor exceptions and provide comment function.

2017-07-13 11:34:03 +02:00

Exceptions.h

Remove Why3 error class

2017-06-30 22:30:43 +01:00

GasEstimator.cpp

Fix licensing headers

2016-11-23 12:22:33 +01:00

GasEstimator.h

Fix licensing headers

2016-11-23 12:22:33 +01:00

Natspec.cpp

Remove unneccesary interface from Natspec

2017-07-18 21:05:34 +01:00

Natspec.h

Remove unneccesary interface from Natspec

2017-07-18 21:05:34 +01:00

ReadFile.h

Pull out ReadFile from CompilerStack

2017-04-10 12:49:47 +01:00

SourceReferenceFormatter.cpp

Fix licensing headers

2016-11-23 12:22:33 +01:00

SourceReferenceFormatter.h

Introduce formatExceptionInformation

2017-04-10 14:07:36 +01:00

StandardCompiler.cpp

Mark const variables

2017-07-18 14:44:53 +01:00

StandardCompiler.h

Document that the ReadFileCallback should not emit exceptions

2017-04-22 14:08:28 +01:00

Version.cpp

Merge interface/Exceptions and interface/Utils

2017-06-22 11:25:07 +01:00

Version.h

Store strict version number in metadata (exclude the platform)

2017-01-17 12:54:58 +00:00