| .. |
|
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 Why3 generator
|
2017-06-25 12:26:16 +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
|
Remove Why3 error class
|
2017-06-30 22:30:43 +01: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
|
Rename InterfaceHandler to Natspec
|
2017-05-19 16:11:04 +01:00 |
|
Natspec.h
|
Rename InterfaceHandler to Natspec
|
2017-05-19 16:11:04 +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
|
Do not omit error type.
|
2017-07-05 18:28:14 +02: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 |
