cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
19,089 Commits 348 Branches 121 Tags
ewasm-bytecode-compare
Commit Graph
4378 Commits
Author SHA1 Message Date
Mathias Baumann 37cc795034 Fix segfault for empty @return tags in modifiers 2020-12-10 11:54:40 +01:00
Leonardo Alt 3c142e0e94 Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
Djordje Mijovic ab74194ca3 [Sol->Yul] Implementing empty byte array push. 2020-12-09 19:31:35 +01:00
chriseth 3f748bbb94 Merge pull request #10336 from ethereum/enablecoderv2bydefault 
[BREAKING] Enable ABI coder v2 by default.
 2020-12-09 18:05:07 +01:00
chriseth 870fd24723 Merge pull request #9888 from ethereum/account-hash 
Support address().codehash
 2020-12-09 17:40:56 +01:00
Alex Beregszaszi ad6739d0f6 Support address().codehash 2020-12-09 14:58:27 +00:00
Daniel Kirchner e691b7402a Move standard-json "modelCheckerSettings" key to "settings.modelChecker". 2020-12-09 15:53:32 +01:00
chriseth 251f2a4d93 Fix bug in constant evaluator. 2020-12-09 15:50:53 +01:00
chriseth d525a8bccb Enable ABI coder v2 by default. 2020-12-09 15:25:15 +01:00
chriseth b18c76e34b Merge remote-tracking branch 'origin/develop' into breaking 2020-12-09 15:24:49 +01:00
Leonardo Alt a961a76263 Do not run SMTChecker when file level functions/constants are present. 2020-12-09 12:18:55 +01:00
Alex Beregszaszi 47b10fd751 Report warning if contract uses abicoder v1, but IR is requested 2020-12-09 01:20:58 +00:00
chriseth 806453aca9 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-08 21:00:09 +01:00
chriseth 49d1f541a1 Merge pull request #10264 from ethereum/warn-conversion 
Enable -Wconversion
 2020-12-08 20:37:12 +01:00
chriseth 672abc2276 Merge pull request #10530 from ethereum/changeConstructorOrder 
[Sol->Yul] Evaluate base arguments in derived to base order.
 2020-12-08 20:32:48 +01:00
chriseth e97ca0a777 Evaluate base arguments in derived to base order. 2020-12-08 20:27:06 +01:00
Alex Beregszaszi 7e88ba8da0 Enable the -Wconversion warning 2020-12-08 16:45:24 +00:00
chriseth b045195c1e Merge remote-tracking branch 'origin/develop' into breaking 2020-12-08 17:42:31 +01:00
Martin Blicha eb356735f6 [SMTChecker] Adding support for reporting values of structs in CEX in CHC engine. 2020-12-08 16:40:28 +01:00
Leonardo 71a4a4efb1 Merge pull request #10529 from blishko/compound_assignment 
[SMTChecker] Remove assert that is not true for compound assignment with right shift
 2020-12-08 15:43:36 +01:00
Martin Blicha 0ebab439be removing assert that is not always true 2020-12-08 12:27:59 +01:00
Djordje Mijovic acb93f3a97 Disallowing usage of msg.data in receive() function. 2020-12-08 11:49:20 +01:00
chriseth 759db0e646 Properly filter requested artefacts inside the EVM objects. 2020-12-07 22:03:06 +01:00
Martin Blicha ff0c794674 [SMTChecker] Fixing conversion from StringLiteral to FixedBytes 2020-12-07 19:30:51 +01:00
Leonardo Alt b7ac207391 [SMTChecker] Support return in CHC 2020-12-07 18:17:33 +01:00
chriseth a3c5d37d02 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-07 17:13:48 +01:00
Alex Beregszaszi a8197788d0 Replace the inconsistent use of u160/Address/h160 with h160 only 2020-12-07 16:44:59 +01:00
chriseth 73a2843f05 Merge pull request #10513 from ethereum/groupDecoder 
Group decoding function cases.
 2020-12-07 14:40:19 +01:00
chriseth 254119d146 Merge pull request #10506 from ethereum/superInLibs 
Make super unavailable in libraries.
 2020-12-07 14:36:42 +01:00
chriseth 251f722919 Group decoding function cases. 2020-12-07 14:14:54 +01:00
chriseth b86c91d1a3 Make super unavailable in libraries. 2020-12-07 13:59:50 +01:00
chriseth bff7254d9e Fix merge conflict. 2020-12-07 13:30:09 +01:00
chriseth 329b8f2a60 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-07 13:04:14 +01:00
Alex Beregszaszi 1e2bfbd6b2 Enable the -Wextra-semi warning 2020-12-04 17:21:19 +01:00
chriseth 4be9b409de Remove unary plus. 2020-12-04 15:14:25 +01:00
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
Leonardo Alt 7490ffbe13 Use nonlinear clauses instead of inlining for base constructors 2020-12-04 13:25:56 +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