4765 Commits

Author	SHA1	Message	Date
Leo Alt	41087f3195	Add CLI and JSON option to show unproved targets	2021-08-04 13:54:50 +02:00
Leo Alt	685d7a8c99	Bundle all unproved targets in a single message and only show all if setting chooses that	2021-08-04 13:54:50 +02:00
chriseth	ae519c1278	Merge pull request #11658 from ethereum/removeScannerFromCompilerStack ... Remove scanner from compiler stack	2021-08-03 17:47:39 +02:00
Christian Parpart	d203c80abd	Eliminate unnecessary m_source from Parser	2021-08-03 16:03:45 +02:00
Christian Parpart	6294aa871a	Simplify AsmParser::parse(.) usage	2021-08-03 15:43:17 +02:00
chriseth	ffc5cfd9a5	Remove scanner from compiler stack.	2021-08-03 15:43:17 +02:00
Mathias Baumann	2ee6c7be64	Print @src and @use-src locations in AsmPrinter	2021-08-03 15:29:52 +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
Kamil Śliwak	6d6c9e6e4f	Merge pull request #11660 from ethereum/docs-fix-badly-indented-lists-and-blocks ... [Docs] Fix badly indented lists and blocks	2021-07-21 18:35:19 +02:00
Mathias Baumann	bf204403d8	Add "@use-src" header for generated yul code	2021-07-15 14:26:01 +02:00
Marenz	57db4c82ba	Fix: Use correct byte offset separation ... ":" instead of ","	2021-07-15 13:15:21 +02:00
Kamil Śliwak	ce79e2515b	docs: Fix badly indented lists	2021-07-15 10:13:30 +02:00
Kamil Śliwak	6753c8f624	Rename escapeAndQuoteYulString() back to escapeAndQuoteString()	2021-07-14 21:29:01 +02:00
chriseth	e3525b81d0	Supply scanner to model checker.	2021-07-14 15:12:10 +02:00
chriseth	01dc77e5a2	Properly assign source names for AST import.	2021-07-14 15:12:10 +02:00
chriseth	f75b55071e	Remove CharStream from SourceLocation.	2021-07-14 15:12:07 +02:00
Christian Parpart	132fa46faa	Yul: Adds parsing @src comment in AsmParser to customize the AST's sourcer locations.	2021-07-09 11:48:00 +02:00
Daniel Kirchner	0a6fc89da2	Fix negation function name collision.	2021-07-08 10:47:29 +02:00
chriseth	566537835b	Merge pull request #11627 from ethereum/allowEmptyFileName ... Include locations with empty source name.	2021-07-07 12:52:49 +02:00
chriseth	6ba298c82b	Include locations with empty source name.	2021-07-07 12:13:52 +02:00
Kamil Śliwak	7d16c7b127	Equality operators for ModelCheckerSettings and ImportRemapper	2021-07-06 17:17:18 +02:00
chriseth	09578e7e22	Merge pull request #11550 from ethereum/runs-constant ... Constant for default --runs	2021-07-06 10:44:07 +02:00
chriseth	54b1c667f1	Merge pull request #11595 from ethereum/issue-11526 ... Fix yul codegen bug when using binary negation.	2021-06-30 11:55:42 +02:00
Mathias Baumann	c47d02066c	Fix yul codegen bug when using binary negatition.	2021-06-29 17:41:03 +02:00
chriseth	eaac16c779	Merge pull request #11590 from ethereum/disallow-non-hex-zero-and-fix-bytes32-literals-in-bytes-concat ... Disallow non-hex zero literals and fix 32-byte hex literals in `bytes.concat()`	2021-06-29 16:34:26 +02:00
Kamil Śliwak	6a50d088a0	Fix ICE for 32-byte hex literals and zero literals in bytes.concat() by disallowing them	2021-06-29 14:48:42 +02:00
Kamil Śliwak	fa3696878b	Fix crash when passing empty strings to bytes.concat()	2021-06-29 13:52:01 +02:00
Kamil Śliwak	1d1d74bd0e	RationalNumberType: Fix wrong docstring about m_compatibleBytesType being used for explicit conversions	2021-06-29 13:27:21 +02:00
Kamil Śliwak	19fada966f	Do not use \b, \v and \f escapes in string literals in generated Yul code	2021-06-28 14:13:47 +02:00
Kamil Śliwak	6ad6fa2382	Do not hard-code the default 'runs' value as 200 in code that fills out optimizer settings	2021-06-28 14:12:28 +02:00
Kamil Śliwak	6d8ef71277	Consistently use size_t everywhere for runs/expectedExecutionsPerDeployment	2021-06-28 14:09:28 +02:00
Kamil Śliwak	ca0b1bf3f3	Fix crash when passing zero to bytes.concat()	2021-06-25 21:26:28 +02:00
Alexander Arlt	8accf420ea	[yul] Functions: Remove dependency on AST ID.	2021-06-23 16:15:25 +02:00
Christian Parpart	f561c1e90b	[langutil] ParserBase: make advance() overridable and make sure it's used.	2021-06-23 12:53:25 +02:00
chriseth	c5923f7fcf	Prevent calls to unimplemented modifiers.	2021-06-22 17:08:28 +02:00
Kamil Śliwak	98e83303b1	Remove assertions preventing calldata->calldata conversion when cleanup is needed	2021-06-22 16:10:16 +02:00
Djordje Mijovic	838f59fa5b	Adding origin location notation to yul ir.	2021-06-21 18:48:20 +02:00
chriseth	0df8a38e55	Support metadata via IR.	2021-06-21 18:20:31 +02:00
Alex Beregszaszi	0e8e4eacd5	Pass on assembly instance from AssemblyStack to CompilerStack ... This allows for generation of various output artifacts supported by the old codegen	2021-06-17 15:35:59 +02:00
Alex Beregszaszi	79794081eb	Extract assemble() from compileContract() in CompilerStack	2021-06-17 15:28:22 +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
chriseth	b0a020ba97	Merge pull request #11530 from ethereum/IRgen-refactors ... IR Codegen: Small refactoring & comment fixes	2021-06-14 14:33:39 +02:00
chriseth	9a681cf9fe	Merge pull request #11527 from ethereum/restartSerach ... Directly restart processing calling functions.	2021-06-14 13:54:27 +02:00
chriseth	5b4a2f66e1	Directly restart processing calling functions.	2021-06-14 13:54:05 +02:00
Mathias Baumann	d7d64c3db5	IR Codegen: Small refactoring & comment fixes	2021-06-14 13:35:53 +02:00
chriseth	cf00faca33	Properly use AST node name also for secondary location.	2021-06-10 14:40:10 +02:00
chriseth	e5500b9f20	Merge pull request #11471 from ethereum/funcdef-unimplemented-modifier ... Reports an error on unimplemented modifiers in a function definition.	2021-06-09 13:54:05 +02:00
Christian Parpart	a14ac1923d	Fixes ICE when overriding an implemented modifier with an unimplemented one.	2021-06-09 13:15:20 +02:00
a3d4	f59145f21f	Fix shadowing struct types by struct member names	2021-06-09 12:37:11 +02:00