3730 Commits

Author	SHA1	Message	Date
Leonardo	8d4ec27544	Merge pull request #9376 from ethereum/smt_refactor_targets ... [SMTChecker] Refactor verification targets	2020-07-10 17:30:48 +02:00
a3d4	efc5ee207d	Fix internal compiler error caused by oversized objects	2020-07-10 11:39:07 +02:00
Leonardo Alt	88030c6568	[SMTChecker] Refactor verification targets	2020-07-10 10:28:49 +02:00
chriseth	d4ecd33247	Propagate function call argument types across function call options.	2020-07-08 17:59:02 +01:00
chriseth	0c7e4cf16b	Merge pull request #9340 from ethereum/compileTimeSha ... Evaluate keccak256 of string literals at compile-time.	2020-07-08 18:42:38 +02:00
chriseth	0a0f578d7c	Evaluate keccak256 of string literals at compile-time.	2020-07-08 16:14:14 +02:00
chriseth	89231bea1e	Merge pull request #9324 from ethereum/noDuplicateInternalRoutine ... Remove duplicate creation of internal routine.	2020-07-08 10:30:37 +02:00
chriseth	d67862362a	Merge pull request #9338 from ethereum/interface-events ... Natspec: change events() to interfaceEvents()	2020-07-07 14:25:41 +02:00
Harikrishnan Mulackal	849bae2aa7	Natspec: change events() to interfaceEvents()	2020-07-07 17:22:09 +05:30
chriseth	9ff72ceaa9	Merge pull request #9335 from ethereum/fixOverridingWording ... Fix wording of non-function override error messages.	2020-07-07 12:21:56 +02:00
chriseth	ec8be81258	Merge pull request #9243 from ethereum/jumpTypesForYul ... Jump types for yul functions.	2020-07-07 12:21:14 +02:00
chriseth	28de7cbce9	Fix wording of non-function override error messages.	2020-07-07 11:57:38 +02:00
chriseth	8e711a8b99	Remove duplicate creation of internal routine.	2020-07-06 19:25:47 +02:00
chriseth	e48d3e5847	Fix wording of error message.	2020-07-06 19:22:52 +02:00
chriseth	a09a791999	Merge pull request #9313 from ethereum/doesnt ... [Trivial] Replace "doesn't" with "does not" in error message	2020-07-06 18:21:02 +02:00
chriseth	4d2b9cd38f	Jump types for yul functions.	2020-07-06 18:12:54 +02:00
chriseth	f372ba6fea	Constructors cannot have calldata parameters.	2020-07-06 16:52:51 +02:00
a3d4	5e4aeaa460	Add variable name to the "Variable covers a large part of storage ...." message	2020-07-06 13:49:09 +02:00
Mathias Baumann	8cdf14f1b3	Replace "doesn't" with "does not" in error message	2020-07-06 13:44:33 +02:00
a3d4	46bcac58eb	Merge pull request #9187 from a3d4/fix-storagesizeestimate ... Fixed recursive check in structureSizeEstimate	2020-07-03 17:35:11 +02:00
a3d4	1c7a0dcbea	Add warnings for oversized subtypes	2020-07-03 15:18:02 +02:00
Leonardo	8985a93b39	Merge pull request #9041 from ethereum/smt_summary_inputs ... [SMTChecker] Add current input variables to the function summary	2020-07-02 19:34:41 +02:00
chriseth	3d96e2b11a	Merge pull request #9257 from ethereum/yul-in-memory-struct-creation ... Yul: Implement memory struct allocation	2020-07-02 17:03:46 +02:00
Mathias Baumann	50373ac1b0	Yul: Implement memory struct allocation	2020-07-02 16:37:20 +02:00
Leonardo Alt	f97fa9b520	[SMTChecker] Add current input variables to the function summary	2020-07-02 15:30:29 +02:00
a3d4	c2e1273ff4	Fixed recursive check in structureSizeEstimate	2020-07-02 04:14:58 +02:00
Leonardo Alt	5517e817d5	Do not trust code of external functions	2020-07-01 18:20:46 +02:00
Leonardo Alt	56e7d43384	Rename var	2020-07-01 18:20:34 +02:00
Leonardo Alt	5160f89c1b	[SMTChecker] Support to external calls to unknown code	2020-07-01 18:20:33 +02:00
chriseth	1ec1166a27	Merge pull request #9277 from a3d4/improve-docstringparser-error-coverage ... Add a missing DocStringParser error to tests	2020-07-01 18:17:09 +02:00
Bhargava Shastry	1a0391bceb	Fuzzer: Add a specialized StackTooDeepError Exception that is caught in the fuzzing harness	2020-07-01 11:08:20 +02:00
a3d4	acd42a08c1	Add a missing DocStringParser error to tests.	2020-07-01 04:42:37 +02:00
chriseth	76943023bd	Merge pull request #9267 from ethereum/issue-8911-split ... NatSpec: Implement default inheritance.	2020-06-30 15:16:14 +02:00
Mathias Baumann	c50f0ae00e	NatSpec: Implement default inheritance.	2020-06-30 14:45:13 +02:00
chriseth	49e3217933	Merge pull request #9230 from ethereum/issue-8716 ... Add unit denomination ``gwei``	2020-06-30 12:36:10 +02:00
Mathias Baumann	fe33891531	Natspec: Add warning when using @author with functions	2020-06-29 18:10:36 +02:00
Harikrishnan Mulackal	4146ff9fcf	NatSpec for events	2020-06-26 15:06:43 +05:30
Mathias Baumann	02328f3bbb	Add unit denomination `gwei`	2020-06-24 18:24:56 +02:00
chriseth	98e5923e3a	Do now disallow assigning to external parameters.	2020-06-22 18:36:32 +02:00
chriseth	cd2cc76f20	Modules are pure.	2020-06-18 18:28:04 +02:00
chriseth	76468f19fe	Check if using for refers to a library earlier.	2020-06-17 17:45:40 +02:00
chriseth	8086ddd3bd	Merge pull request #9189 from ethereum/simplifyResolver ... Simplify inline assembly resolver.	2020-06-16 15:31:21 +02:00
chriseth	3a8c996807	Merge pull request #9193 from ethereum/experimentalFeatureBysource ... Directly determine if experimental feature active.	2020-06-16 14:27:27 +02:00
chriseth	8e23899886	Merge pull request #9188 from ethereum/refactorNameAndType ... Refactor name and type resolution in preparation for free functions.	2020-06-16 14:26:52 +02:00
chriseth	645c3508a8	Prepare for allowing bound functions and using for everywhere.	2020-06-15 21:20:18 +02:00
chriseth	5fdbb5c3e3	Simplify inline assembly resolver.	2020-06-15 18:10:18 +02:00
Mathias Baumann	d54e7f50ed	Natspec: Output "type" and "version" in documenation	2020-06-15 14:53:34 +02:00
Leonardo Alt	3c4e286390	[SMTChecker] Replace wrap mod by slack vars	2020-06-12 14:57:21 +02:00
chriseth	194c2b8c9c	Directly determine if experimental feature active.	2020-06-12 12:18:48 +02:00
chriseth	07c1167136	Refactor name and type resolution.	2020-06-12 12:18:02 +02:00