| .. |
|
ABI.cpp
|
Reorder ABI for readability
|
2017-08-25 10:39:53 +01:00 |
|
ABI.h
|
Split ABI out of InterfaceHandler
|
2017-05-19 16:11:03 +01:00 |
|
AssemblyStack.cpp
|
Introduce assemblyString
|
2017-09-11 15:53:20 +01:00 |
|
AssemblyStack.h
|
Introduce MachineAssemblyObject
|
2017-06-09 16:40:14 +02:00 |
|
CompilerStack.cpp
|
Introduce assemblyString
|
2017-09-11 15:53:20 +01:00 |
|
CompilerStack.h
|
Introduce assemblyString
|
2017-09-11 15:53:20 +01:00 |
|
ErrorReporter.cpp
|
Show unimplemented function if trying to instantiate an abstract class
|
2017-08-04 14:03:37 +01:00 |
|
ErrorReporter.h
|
Add copy constructor to ErrorReporter (since it has assignment operator)
|
2017-08-25 16:03:24 +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 unused statements from the Natspec headers
|
2017-08-25 13:15:08 +01:00 |
|
ReadFile.h
|
Rename read file callback.
|
2017-08-23 17:37:35 +02: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
|
Introduce assemblyString
|
2017-09-11 15:53:20 +01:00 |
|
StandardCompiler.h
|
Rename read file callback.
|
2017-08-23 17:37:35 +02: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 |
