4649 Commits

Author	SHA1	Message	Date
chriseth	b06a09fd82	Fix forwarding revert.	2021-04-29 14:58:10 +02:00
Kamil Śliwak	5023cef382	OptimiserSettings: Add preset() and OptimisationPreset enum	2021-04-27 14:06:44 +02:00
chriseth	f72592549b	Merge pull request #11110 from ethereum/issue_10475_isoltest_external_sources ... [isoltest] Add support for external sources.	2021-04-27 10:54:39 +02:00
Alex Beregszaszi	9d5b4150d4	Throw StackTooDeep earlier (with sourcelocatiom) for inline assembly issues	2021-04-26 20:11:50 +01:00
Alexander Arlt	481971cbcf	[isoltest] Add support for external sources.	2021-04-26 08:27:30 -05:00
Mathias Baumann	5f313ee52a	ControlFlowAnalyzer: Use temporary reference for more readable code	2021-04-26 13:24:17 +02:00
chriseth	659da4bdc7	Merge pull request #11047 from ethereum/bytesToBytesNNConversion ... Bytes to bytesNN conversion	2021-04-26 11:51:41 +02:00
Alex Beregszaszi	e39433198d	Remove the usage of boost::noncopyable ... Prior to this half of the codebase used explicit deleted copy constructors, the others used boost::noncopyable.	2021-04-23 14:57:01 +01:00
Djordje Mijovic	cbb7e53b22	Activating bytes to bytesNN for legacy codegen by calling yul util function.	2021-04-23 13:30:19 +02:00
Djordje Mijovic	52538558b1	[Sol->Yul] Implementing bytes to bytesNN for IR codegen. ... Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>	2021-04-23 13:30:15 +02:00
Djordje Mijovic	b40c3bcc32	Allowing conversion from bytes to bytesNN in type checker.	2021-04-23 13:19:19 +02:00
hrkrshnn	1f5b874eaf	Optimizer context has parameter expectedExecutionsPerDeployment	2021-04-22 17:27:57 +02:00
Đorđe Mijović	8840fb6ffd	Merge pull request #11270 from ethereum/addingBoundsByteArraySolYul	2021-04-22 15:41:32 +02:00
Alex Beregszaszi	4855fca802	Remove dead code in NatSpec	2021-04-22 13:26:11 +01:00
Djordje Mijovic	3a4233f3ad	[Sol->Yul] Adding bounds check when increasing size of byte array.	2021-04-22 11:42:46 +02:00
Leonardo	7bbf3a694b	Merge pull request #11261 from ethereum/smt_choose_target ... [SMTChecker] Add option to choose contracts to be analyzed	2021-04-21 13:11:33 +02:00
Djordje Mijovic	0dd59fa0a2	[Sol->Yul] Remove index access from byte array pop function to optimize it.	2021-04-21 11:01:18 +02:00
Leonardo Alt	dd1865873e	Choose contracts to be analyzed by the SMTChecker	2021-04-21 10:34:14 +02:00
chriseth	cf7f814a4e	Merge pull request #10921 from ethereum/issue-10881 ... Natspec: Don't copy from base function if return parameters differ	2021-04-20 15:33:48 +02:00
Leonardo Alt	095d337140	Basic support to free constants	2021-04-19 19:23:18 +02:00
Leonardo Alt	4e34359063	Basic support to free functions	2021-04-19 19:23:18 +02:00
Leonardo Alt	e3abde43f5	Change settings.modelChecker.targets to take an array instead of string	2021-04-19 17:53:03 +02:00
Mathias Baumann	1737bd7ded	Natspec: Don't copy from base function if return parameters differ	2021-04-19 15:20:30 +02:00
chriseth	8eb0d5edf6	Export used errors in the AST.	2021-04-19 14:15:50 +02:00
Christian Parpart	81c7b30a6a	Merge pull request #11234 from ethereum/fix-file-reader-compiler-stack-source-unit-name-mismatch ... Use identical source unit names in FileReader and CompilerStack	2021-04-14 13:46:14 +02:00
chriseth	11b227e33e	Merge pull request #11205 from ethereum/fix-docstring-bug ... Fix docstring bug	2021-04-14 13:18:33 +02:00
Kamil Śliwak	0922d60ba6	FileReader: More accurate description of FileReader::readFile() and its arguments	2021-04-13 13:26:01 +02:00
Kamil Śliwak	6a41b417a3	FileReader: Store files loaded by the callback under their source unit name	2021-04-13 13:25:59 +02:00
chriseth	72d0a56a72	Fix array decoding offset overflow.	2021-04-12 13:43:51 +02:00
chriseth	32b8332867	Refactor array decoding.	2021-04-12 13:43:51 +02:00
Leonardo Alt	b753cb6120	Deprecate pragma experimental SMTChecker	2021-04-08 21:03:38 +02:00
chriseth	0cc0cabd30	Merge pull request #11224 from ethereum/lastAllocationUnbounded ... Use unbounded allocation before returning.	2021-04-08 19:32:40 +02:00
Daniel Kirchner	96c8123b6b	Use unbounded allocation before returning.	2021-04-08 18:37:24 +02:00
hrkrshnn	b7795b86c1	Allow notice tag for non-public state variable. ... This won't be part of NatSpec JSON, but will show up under documentation node in AST.	2021-04-08 17:06:14 +02:00
hrkrshnn	39e3da1905	Allow NatSpec documentation for local variable declarations ... This won't be part of NatSpec JSON, but in AST, under the field documentation.	2021-04-08 17:06:14 +02:00
chriseth	6d6112a81b	Merge pull request #11210 from anurag-git/issue_10738-2 ... Use range-v3 loops(transform)	2021-04-08 14:56:15 +02:00
anurag4u80	b2ca7916aa	Replaced boost::adaptors::transformed	2021-04-08 17:38:14 +05:30
Christian Parpart	257672e56f	Extract file reading logic from CommandLineInterface into FileReader class.	2021-04-06 17:10:43 +02:00
Christian Parpart	3490577140	Extract import-file remapping logic out of CompilerStack into ImportRemapper.	2021-04-06 14:28:53 +02:00
Christian Parpart	30588a90eb	CompilerStack: assemblyString doesn't need to receive sourceCodes map as copy.	2021-04-06 14:28:01 +02:00
chriseth	98a8640928	Merge pull request #11203 from anurag-git/issue_10738-1 ... Use range-v3 loops (reverse, keys, values)	2021-04-01 12:19:40 +02:00
anurag4u80	bbcdddeed9	Replaced keys, values and reverse with ranges	2021-03-31 23:33:04 +05:30
Martin Blicha	330fb8f4d0	[SMTChecker] Assignment refactoring	2021-03-31 13:36:50 +02:00
Leonardo	78d94737a4	Merge pull request #11188 from blishko/issue-11181 ... [SMTChecker] Fix crash when analysing try-catch clauses with function call.	2021-03-31 11:24:36 +02:00
Mathias Baumann	e590a99f39	Detect circular references for library and free functions	2021-03-30 23:06:30 +02:00
chriseth	79d7466e19	NatSpec for errors.	2021-03-30 21:16:58 +02:00
chriseth	517cd17a6f	Add errors to the ABI.	2021-03-30 21:16:58 +02:00
chriseth	e877e2bba7	Use all referenced errors.	2021-03-30 21:15:46 +02:00
chriseth	1057fd5355	Take revert statement into account in control flow graph.	2021-03-30 21:15:46 +02:00
chriseth	d5669696d5	Code generation for errors.	2021-03-30 21:15:46 +02:00