Alex Beregszaszi b2023196a2 Rename target selection to use the word artifact		2017-11-29 20:10:18 +00:00
..
ABI.cpp	Use "tuple" for struct types in ABI JSON.	2017-09-16 12:31:12 +01:00
ABI.h	Fix tests.	2017-09-16 12:31:12 +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	Simplify contract lookup in CompileStack	2017-10-18 23:54:32 +01:00
CompilerStack.h	Implement CompilerStack.lastContractName()	2017-10-18 23:54:32 +01:00
ErrorReporter.cpp	Show unimplemented function if trying to instantiate an abstract class	2017-08-04 14:03:37 +01:00
ErrorReporter.h	Ensure parameter names match between headers and implementation	2017-09-20 01:23:21 +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	Use solAssert and not assert	2017-10-04 13:05:55 +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	updated formatting when source snippets is too long	2017-10-19 20:20:07 +08:00
SourceReferenceFormatter.h	Introduce formatExceptionInformation	2017-04-10 14:07:36 +01:00
StandardCompiler.cpp	Rename target selection to use the word artifact	2017-11-29 20:10:18 +00: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