198 Commits

Author	SHA1	Message	Date
Marenz	46075d04d9	Include used events in `--hashes` output	2022-02-09 13:50:42 +01:00
Marenz	3e7c68d9b0	Merge identifier query methods into one	2022-02-08 17:44:21 +01:00
Marenz	b9fe628b70	Emit immutable references for pure yul code	2022-02-07 12:32:54 +01:00
chriseth	b6bd85202c	Accessors for exceptions.	2021-12-01 14:26:23 +01:00
Leo Alt	3118fb3666	Add invariants option to CLI and JSON	2021-10-26 11:30:30 +02:00
Kamil Śliwak	a9e794c872	Expose --debug-info/settings.debug.debugInfo option	2021-10-11 20:34:48 +02:00
Kamil Śliwak	bcfefc79d9	Pass DebugInfoSelection down to the code handling assembly printing	2021-10-11 20:34:48 +02:00
Kamil Śliwak	a30348715b	Use boost::current_exception_diagnostic_information() to print extra info about exceptions caught by (...)	2021-10-07 17:41:25 +02:00
Alex Beregszaszi	55c64e3ca1	Always explicitly initialise Json objects	2021-09-21 10:49:13 +01:00
Kamil Śliwak	fc8c4b046c	StandardCompiler: Do not discard non-fatal errors that happened before a fatal error	2021-09-16 20:29:03 +02:00
Leo Alt	e72fa7fc10	Add new info severity	2021-09-13 22:48:22 +02:00
Leo Alt	08c065ee04	Add option divModWithSlacks	2021-08-06 15:50:25 +02:00
Leo Alt	3c1f555f71	Tests	2021-08-04 13:54:50 +02:00
Leo Alt	41087f3195	Add CLI and JSON option to show unproved targets	2021-08-04 13:54:50 +02:00
Leo Alt	6c8ecfa82c	Add option to choose solver	2021-07-27 17:14:21 +02:00
Ladislav Sladecek	9bbeea58c8	Make --pretty-json work with Standard JSON output	2021-07-26 16:00:46 +02:00
chriseth	f75b55071e	Remove CharStream from SourceLocation.	2021-07-14 15:12:07 +02:00
chriseth	6ba298c82b	Include locations with empty source name.	2021-07-07 12:13:52 +02:00
Kamil Śliwak	59957b18dc	Make missing settings.optimizer.enabled key in Standard JSON equivalent to setting it to false	2021-06-15 16:06:22 +02:00
Alex Beregszaszi	75c72cd54d	Properly support inliner in settings.optimizer.details	2021-05-20 20:22:34 +01:00
chriseth	f9c94d7c42	Note function entry points.	2021-05-04 17:15:13 +02:00
Leonardo Alt	dd1865873e	Choose contracts to be analyzed by the SMTChecker	2021-04-21 10:34:14 +02:00
Leonardo Alt	e3abde43f5	Change settings.modelChecker.targets to take an array instead of string	2021-04-19 17:53:03 +02:00
Christian Parpart	3490577140	Extract import-file remapping logic out of CompilerStack into ImportRemapper.	2021-04-06 14:28:53 +02:00
chriseth	9b20c9840a	Merge pull request #10885 from ethereum/heuristic-revamp ... Yul Backend: Get rid of heuristics for finding the matching runtime	2021-02-10 00:49:56 +01:00
Daniel Kirchner	cb74a45fd6	Add inlining for old optimizer.	2021-02-09 19:08:58 +01:00
Mathias Baumann	e4f1257c83	Yul Backend: Get rid of heuristics for finding the matching runtime	2021-02-09 14:50:25 +01:00
Leonardo Alt	3b23cadbdc	Add CLI and JSON option to select SMTChecker targets	2021-01-20 17:35:37 +01:00
chriseth	482bda6887	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-10 12:15:52 +01:00
Daniel Kirchner	e691b7402a	Move standard-json "modelCheckerSettings" key to "settings.modelChecker".	2020-12-09 15:53:32 +01:00
chriseth	b045195c1e	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-08 17:42:31 +01:00
chriseth	759db0e646	Properly filter requested artefacts inside the EVM objects.	2020-12-07 22:03:06 +01:00
chriseth	c193ce6c07	Rename SourceReferenceFormatterHuman.	2020-12-01 16:09:46 +01:00
Alex Beregszaszi	1dedba8538	Only use SourceReferenceFormatterHuman	2020-12-01 16:09:46 +01:00
Alex Beregszaszi	3bce2a2294	Remove the legacy AST JSON output	2020-11-25 11:40:33 +00:00
Kamil Śliwak	4174f38b02	StandardCompiler: Include file names in link references	2020-11-17 17:51:04 +01:00
Kamil Śliwak	b97c6c55ad	StandardCompiler: Don't assume that link reference always contains a colon	2020-11-16 17:41:54 +01:00
Alex Beregszaszi	a3381d7260	Add settings.viaIR to standard json	2020-11-12 22:38:44 +00:00
Kamil Śliwak	df8e182b46	Link binaries produced in assembly mode	2020-11-09 17:17:43 +01:00
Leonardo Alt	d03ddeb0fa	[SMTChecker] User timeout option	2020-11-03 10:46:11 +00:00
Leonardo Alt	b67ade5163	Move modelCheckerSettings out of settings in StandardCompiler	2020-10-19 10:39:06 +01:00
Leonardo Alt	4e49135318	Add CLI option to choose model checker engine	2020-10-16 15:01:47 +01:00
chriseth	fda8bde2d7	Stop after parsing.	2020-09-30 16:57:49 +02:00
chriseth	00c8fc73ad	Re-organize EVM object names.	2020-09-15 11:29:10 +02:00
chriseth	e7e9b03bd8	Store generated sources in standard-json output.	2020-09-15 11:22:16 +02:00
Daniel Kirchner	143b37af56	Only conditionally run old code generation in CompilerStack, StandardCompiler and semantic tests.	2020-08-06 15:05:17 +02:00
Sachin Grover	b7adb2aa42	Add SPDX license identifier if not present already in source file ... Fixes: #9220	2020-07-17 20:24:12 +05:30
a3d4	b17915a6ba	Add error IDs to JSON	2020-06-10 13:26:51 +02:00
a3d4	a499ef16fa	Fix spelling errors	2020-05-25 02:54:37 +02:00
Leonardo Alt	0eb067ae4f	Add SMTLogicError exception catches	2020-05-20 13:18:33 +02:00