Alex Beregszaszi 7222fac456 Remove DocumentationType from natspec

2017-08-15 19:56:38 +01:00

..

ABI.cpp

Add statemutability field to the ABI

2017-08-15 11:35:50 +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 DocumentationType from natspec

2017-08-15 19:56:38 +01:00

CompilerStack.h

Remove DocumentationType from natspec

2017-08-15 19:56:38 +01:00

ErrorReporter.cpp

Show unimplemented function if trying to instantiate an abstract class

2017-08-04 14:03:37 +01:00

ErrorReporter.h

Use a secondary location for function override errors

2017-08-11 22:45:25 +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

Consistent format for secondary location in sourceformatter

2017-08-02 11:31:55 +01:00

SourceReferenceFormatter.h

Introduce formatExceptionInformation

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

StandardCompiler.cpp

Remove DocumentationType from natspec

2017-08-15 19:56:38 +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