4292 Commits

Author	SHA1	Message	Date
Christian Parpart	c5d172c058	Reimplement constant evaluator.	2020-12-04 15:14:25 +01:00
chriseth	49bde69afa	Move computation of constants out of types.cpp	2020-12-04 15:14:25 +01:00
chriseth	d56a7bb89e	Merge pull request #10489 from ethereum/develop ... Merge develop into breaking.	2020-12-03 18:11:12 +01:00
chriseth	27e44b85e3	Merge pull request #10419 from ethereum/bug-namesimplifier ... Fix a bug in NameSimplifier.	2020-12-03 17:52:40 +01:00
hrkrshnn	92ab32e532	Stricter explicit conversion between types. ... A type can be converted to another if the conversion requires at most one of the following: sign, width, kind (int, address, bytesXX, etc.) For example, the conversion `uint16(int8)` is now disallowed.	2020-12-03 16:49:53 +01:00
Leonardo	088b694f0b	Merge pull request #10207 from ethereum/smt_tests_asserts ... [SMTChecker] Add uncovered test and replace uncovered tests by asserts	2020-12-03 08:59:48 +01:00
Martin Blicha	2ee633f404	[SMTChecker] Added support for public getters through this.	2020-12-02 16:06:48 +01:00
chriseth	d50676ecb0	Merge pull request #10451 from ethereum/noTypeSuper ... No type super	2020-12-02 15:56:41 +01:00
chriseth	52c49aebe8	Disallow meta type on super.	2020-12-02 15:43:18 +01:00
hrkrshnn	3efac3eef0	NameSimplifier is removed from steps available to users.	2020-12-02 13:48:01 +01:00
chriseth	9a5902f9d7	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-02 12:28:02 +01:00
Kamil Śliwak	630fcc3a1d	Define a comparator for InternalDispatchMap to ensure deterministic ordering of dispatch functions	2020-12-01 16:53:54 +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	d22434ee57	Change ABIEncoderV1 to not pad empty strings	2020-12-01 14:32:18 +00:00
chriseth	390640f557	Merge pull request #10384 from ethereum/called_directly_feature ... Use annotation.calledDirectly to simplify IR codegen	2020-12-01 15:07:02 +01:00
chriseth	8279d90ba2	Merge pull request #10403 from ethereum/rename-asmdata ... Rename AsmData* to AST*	2020-12-01 14:33:11 +01:00
chriseth	6d1454fce6	Disallow conversion to super.	2020-12-01 14:15:50 +01:00
chriseth	6de7eaba95	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-01 10:50:13 +01:00
chriseth	388fcddd23	Merge pull request #10415 from ethereum/arrayClearingStorageSol2Yul ... [Sol->Yul] Fixing copying from storage to storage.	2020-12-01 09:43:47 +01:00
Djordje Mijovic	28e01202af	[Sol->Yul] Fixing coping from storage to storage.	2020-12-01 08:50:33 +01:00
Mathias Baumann	f8e6f4a4eb	Use annotation.calledDirectly to simplify IR codegen	2020-11-30 18:54:42 +01:00
Mathias Baumann	c3da529a18	Mark expressions that are called directly in the annotations	2020-11-30 18:52:50 +01:00
Leonardo Alt	fa561dbd0e	Add uncovered test and replace uncovered tests by asserts	2020-11-30 18:46:47 +01:00
Martin Blicha	cd06d68cbe	[SMTChecker] Keeping better track of path condition through branches with return statement in the BMC engine.	2020-11-30 11:47:49 +01:00
Alex Beregszaszi	28e65bac46	Add unimplemented assert for modifiers in the IR ... Also improved relevant tests for modifiers to be more strict and detect if the modifier body was skipped.	2020-11-27 18:34:17 +00:00
chriseth	3e5396598b	Merge pull request #10410 from ethereum/ir-fixedbytes-bitnot ... Support BitNot on FixedBytes in IR	2020-11-26 14:42:52 +01:00
Alex Beregszaszi	cbae5ca324	Support BitNot on FixedBytes in IR	2020-11-26 13:20:02 +00:00
Djordje Mijovic	26d454d8a8	Using auto to avoid type name duplication.	2020-11-26 12:13:32 +01:00
Djordje Mijovic	565d0cd4eb	Support copying of nested calldata arrays to memory.	2020-11-26 12:13:29 +01:00
chriseth	18de8a56c9	Merge remote-tracking branch 'origin/develop' into breaking	2020-11-26 11:48:53 +01:00
Djordje Mijovic	bae32ac402	[Sol->Yul] Implementing member access to arrays in calldata structs.	2020-11-26 11:46:31 +01:00
Alex Beregszaszi	a22077f736	Rename AsmData -> AST ... Also attempt to only include ASTForward where appropriate.	2020-11-25 17:58:02 +00:00
Alex Beregszaszi	8d9c332593	Properly terminate definitions using define() in IRGenerateForStatements ... The lack of termination can result in unparseable output.	2020-11-25 16:41:39 +00:00
Alex Beregszaszi	3bce2a2294	Remove the legacy AST JSON output	2020-11-25 11:40:33 +00:00
hrkrshnn	1a6f0fe52f	Disallow declarations to have names "this", "super" and "_". ... There will be a declaration error 3726 if these names are used in the contract. Note that there is an existing warning about shadowing a built-in for "this" and "super".	2020-11-25 11:14:13 +01:00
chriseth	f02bc817af	Merge pull request #10388 from ethereum/forwardRevertOnCreate ... [Sol->Yul] Forward failure for creation.	2020-11-25 10:39:54 +01:00
chriseth	bdc571cfb6	Merge pull request #10385 from ethereum/activateStructCopyingOldCodegen ... Support copying dynamically encoded structs from calldata to memory.	2020-11-25 10:07:13 +01:00
Djordje Mijovic	200227ab75	Support copying dynamically encoded structs from calldata to memory.	2020-11-24 20:36:17 +01:00
chriseth	cedb56ed81	Forward failure for creation.	2020-11-24 19:54:18 +01:00
Djordje Mijovic	26c43cfc66	[SMTChecker] Fix SMT logic error when doing compound assignment with string literlas.	2020-11-24 19:14:15 +01:00
chriseth	253889cbf1	Merge remote-tracking branch 'origin/develop' into breaking	2020-11-24 16:22:03 +01:00
chriseth	2d235bf7b0	Merge pull request #10341 from ethereum/optimizeAllocation ... Do not allocate memory objects if they will be assigned directly.	2020-11-24 16:05:46 +01:00
chriseth	409e92580f	Do not allocate memory objects if they will be assigned directly.	2020-11-24 14:11:01 +01:00
Djordje Mijovic	eea6513b5d	[Sol->Yul] Implementing copying dynamically encoded structs from calldata to memory ... Co-authored-by: Leonardo <leo@ethereum.org>	2020-11-23 23:22:34 +01:00
Leonardo	61425e3541	Merge pull request #10378 from ethereum/smt_fix_spellcheck ... Fix spelling in SMTChecker comment	2020-11-23 18:14:58 -01:00
chriseth	ee657f5361	Merge pull request #10214 from ethereum/fallbackReturn ... Allow fallback function to return data.	2020-11-23 19:49:59 +01:00
Leonardo Alt	68cfa0a901	Fix spelling in SMTChecker comment	2020-11-23 19:40:29 +01:00
chriseth	a0a02f2307	Merge remote-tracking branch 'origin/develop' into breaking	2020-11-23 19:28:08 +01:00
chriseth	91c88a5f6b	Merge pull request #10346 from ethereum/boundFunctions ... [Sol->Yul] Bound functions.	2020-11-23 19:09:20 +01:00