138 Commits

Author	SHA1	Message	Date
Daniel Kirchner	16e966dea0	Add control flow analyzer and test for uninitialized storage returns.	2018-05-14 20:23:40 +02:00
Daniel Kirchner	995623f0fa	Add control flow graph.	2018-05-14 20:23:40 +02:00
Alex Beregszaszi	3730f68d4b	reindent	2018-04-06 13:52:19 +02:00
Alex Beregszaszi	e8be0e61b3	Catch FatalError in CompilerStack::analysis to cover all the analysis tests	2018-04-06 13:52:19 +02:00
chriseth	6ec4517929	Use EVM version in gas meter and optimizer.	2018-03-05 11:36:33 +01:00
chriseth	a53d6b499d	Use EVM version in type checker.	2018-03-01 17:19:35 +01:00
chriseth	f75a411325	Provide target EVM version in CompilerContext.	2018-03-01 17:19:35 +01:00
chriseth	85785710e6	Store EVM version in settings.	2018-03-01 17:19:34 +01:00
chriseth	5ab4a1ae78	Add ability to set the target EVM version.	2018-03-01 17:19:34 +01:00
chriseth	6807010dc7	Prevent libraries from being called.	2018-01-19 16:27:44 +01:00
Alex Beregszaszi	8d3cfa8cff	Simplify contract lookup in CompileStack	2017-10-18 23:54:32 +01:00
Alex Beregszaszi	2ce35b77be	Implement CompilerStack.lastContractName()	2017-10-18 23:54:32 +01:00
Alex Beregszaszi	f96e932243	Provide optional list of contract names to CompilerStack.compile	2017-10-04 20:30:14 +01:00
chriseth	3f3bcc4f8a	Merge pull request #2848 from ethereum/checkViewPure ... Enforce view and pure.	2017-09-13 18:29:13 +02:00
Alex Beregszaszi	bbfb16cf5c	Introduce assemblyString	2017-09-11 15:53:20 +01:00
Alex Beregszaszi	50570c6c79	Do not return the stream in asssemblyStream	2017-09-11 15:48:58 +01:00
Alex Beregszaszi	a535a8b06e	Split out the JSON functionality from assembly.stream()	2017-09-11 15:48:52 +01:00
chriseth	5470da4d9a	View-pure checker.	2017-09-06 13:50:49 +02:00
Alex Beregszaszi	8e5f9c5981	Removed unused natspec members of ContractDefinition	2017-08-25 20:29:43 +01:00
Alex Beregszaszi	e6f55fb95e	Do not create a new TypeChecker instance for every contract	2017-08-25 15:43:26 +01:00
Alex Beregszaszi	670df8e874	Attach natspec before type checking	2017-08-25 15:39:20 +01:00
Alex Beregszaszi	d60d4b3031	Remove duplicate work from CompilerStack.analyze()	2017-08-25 15:37:10 +01:00
chriseth	9ac2ac14c1	Rename read file callback.	2017-08-23 17:37:35 +02:00
chriseth	b3f8ed457a	Cleanup.	2017-08-23 14:24:30 +02:00
chriseth	1ece7bf443	z3 conditions	2017-08-23 14:24:04 +02:00
Alex Beregszaszi	4219acaba9	Merge pull request #2771 from ethereum/unused-includes ... Remove some unused includes	2017-08-21 16:26:44 +01:00
Alex Beregszaszi	b3986f1d07	Remove some unused includes	2017-08-21 14:08:58 +01:00
Alex Beregszaszi	7222fac456	Remove DocumentationType from natspec	2017-08-15 19:56:38 +01:00
Alex Beregszaszi	2d1bab0de8	Output experimental flag in metadata only for risky features	2017-08-11 16:38:43 +01:00
Alex Beregszaszi	4d82d4f57a	Store experimental flag in metadata CBOR	2017-08-11 16:38:43 +01:00
Alex Beregszaszi	c835bcec62	Replace isFullyImplemented with unimplementedFunctions in ASTAnnotations	2017-08-04 14:03:37 +01:00
Alex Beregszaszi	9fc6eccc26	Add isFallback() helper	2017-07-27 21:52:57 +01:00
Alex Beregszaszi	89fadd6935	Merge pull request #2645 from ethereum/asserts ... Use solAssert where possible	2017-07-27 11:12:30 +01:00
Yoichi Hirai	85b338a019	Merge pull request #2643 from ethereum/compilerstack ... Reorder CompilerStack to be in logical order	2017-07-27 11:28:08 +02:00
chriseth	1298a8df14	Merge pull request #2566 from ethereum/metadata-only-relevant ... Metadata: only include relevant files in the source list	2017-07-27 11:07:15 +02:00
Alex Beregszaszi	8098030986	Use solAssert instead of boost throw where possible	2017-07-26 22:23:21 +01:00
Alex Beregszaszi	9982e73dce	Reorder CompilerStack to be in logical order	2017-07-26 22:16:02 +01:00
Alex Beregszaszi	30012db396	Add CompilerStack::setOptimiserSettings	2017-07-26 15:17:07 +01:00
Alex Beregszaszi	6848199b66	Add CompilerStack::setLibraries	2017-07-26 15:05:16 +01:00
Alex Beregszaszi	fa5a7efb45	Remove unused interfaces from CompilerStack	2017-07-26 15:05:16 +01:00
Alex Beregszaszi	c617336587	Only include files usde in metadata	2017-07-19 14:56:40 +01:00
Yoichi Hirai	2a46e1b0e2	Merge pull request #2589 from ethereum/rename-onchainmetadata ... Rename onChainMetadata to metadata	2017-07-19 11:43:19 +02:00
Alex Beregszaszi	5bb4bfb08b	Remove unneccesary interface from Natspec	2017-07-18 21:05:34 +01:00
Alex Beregszaszi	6d8929a71a	Rename onChainMetadata to metadata	2017-07-18 20:54:28 +01:00
Alex Beregszaszi	555dc4f46f	Remove Why3 generator	2017-06-25 12:26:16 +01:00
Alex Beregszaszi	b99e4bc68b	Rework functionHashes into methodIdentifiers	2017-06-22 11:13:06 +01:00
Edward Ruchevits	5f7bca94e5	Reverted functionHashes output to use method signature as keys	2017-06-13 18:04:33 +01:00
Edward Ruchevits	2e816967d3	Allow including hashes of method signatures in --combined-json output	2017-06-13 17:03:17 +01:00
Alex Beregszaszi	998ca552b8	Fix state after CompilerStack.reset()	2017-06-01 13:44:08 +01:00
Alex Beregszaszi	c212d7c2e6	Remove unused functions from CompilerStack	2017-06-01 13:28:05 +01:00