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
18,271 Commits 348 Branches 121 Tags
15e2d8a48a76e9b81e891eb8635692ff46f80e78
Commit Graph
5037 Commits
Author SHA1 Message Date
hrkrshnn 0e30fbbae1 Fix failing SMTChecker test on breaking 2020-10-26 14:01:40 +01:00
chriseth 20f39ab6e9 Merge pull request #10097 from ethereum/develop 
Merge develop into breaking.
 2020-10-23 10:30:24 +02:00
chriseth 93642f9bfc Enum panic test for pre-byzantium. 2020-10-22 19:25:55 +02:00
chriseth 6d3528b4a7 Update gas costs. 2020-10-22 19:25:55 +02:00
chriseth 60af9d24ff Update tests. 2020-10-22 19:25:55 +02:00
chriseth b559de11ee Ignore return error data for pre-byzantium. 2020-10-22 19:25:55 +02:00
chriseth bfc8e26007 Remove low-level log functions. 2020-10-22 17:50:14 +02:00
Martin Blicha ade3b9951c [SMTChecker] Added support for selector when expression's value is known at compile time 2020-10-22 14:18:52 +02:00
Leonardo Alt b087fa9750 [SMTChecker] Fix ICE implicit conversion string literal -> byte 2020-10-21 22:03:01 +01:00
Martin Blicha f0d81601db [SMTChecker] Adding division by zero checks in the CHC engine 2020-10-21 14:48:33 +02:00
Mathias Baumann a4dc110b38 Fix dependency tracking for abstract contracts for Yul codegen 2020-10-20 16:58:24 +02:00
Mathias Baumann e991465336 Fix dependency tracking for abstract contracts 2020-10-20 16:58:24 +02:00
Leonardo Alt cf35785328 Add unknown message to all verification targets 2020-10-19 20:54:13 +01:00
chriseth 6979952995 Merge remote-tracking branch 'origin/develop' into HEAD 2020-10-19 18:02:50 +02:00
chriseth c9ef727136 New tests. 2020-10-19 16:58:59 +02:00
chriseth e61fa59593 Update existing tests. 2020-10-19 16:58:59 +02:00
chriseth 527c073bb9 Checked arithmetic by default. 2020-10-19 16:58:37 +02:00
Leonardo Alt b67ade5163 Move modelCheckerSettings out of settings in StandardCompiler 2020-10-19 10:39:06 +01:00
Daniel Kirchner 79d9a1ca81 Tests for abi.encode. 2020-10-16 20:24:43 +02:00
Daniel Kirchner e06d4303fb Semantic tests. 2020-10-16 19:40:41 +02:00
Daniel Kirchner 909ce9164a Allow arrays of contract types as type expressions e.g. for abi.decode. 2020-10-16 19:40:41 +02:00
Leonardo eedd12ad1d Merge pull request #10056 from ethereum/smt_fix_develop 
Fix SMT command line test
 2020-10-16 18:37:55 +01:00
Leonardo Alt 289ac23fe6 Fix smt cmdlinetest 2020-10-16 17:58:45 +01:00
Daniel Kirchner db4dd51739 Merge pull request #10055 from ethereum/userDefinedLibraryTypes 
Disallow invalid use of library names as type names.
 2020-10-16 18:55:42 +02:00
Daniel Kirchner 3f14c904b0 Disallow invalid use of library names as type names. 2020-10-16 18:25:08 +02:00
Leonardo a097f9f124 Merge pull request #10025 from ethereum/smt_crypto_functions 
[SMTChecker] Support crypto functions in CHC
 2020-10-16 16:40:29 +01:00
Leonardo 8d7bdcaba7 Merge pull request #10036 from ethereum/smt_cli_option 
Add CLI option to choose model checker engine
 2020-10-16 16:37:33 +01:00
Martin Blicha 8c351278ac [SMTChecker] added test to check correct handling of the sign of the modulo operation 2020-10-16 16:17:32 +02:00
Martin Blicha 78c8fbc7ce [SMTChecker] encoding division and modulo operations using slack variables 2020-10-16 16:06:31 +02:00
Leonardo Alt 4e49135318 Add CLI option to choose model checker engine 2020-10-16 15:01:47 +01:00
Leonardo Alt 54f76e081a [SMTChecker] Support crypto functions in CHC 2020-10-16 14:57:13 +01:00
Djordje Mijovic 5f0b8dd716 [Sol->Yul] Changing yul unimplemented test as delete bytes is implemented now. 2020-10-15 22:05:40 +02:00
Djordje Mijovicandchriseth 4a66723ff9 [Sol->Yul] Implementing resizing of dynamic byte arrays 
Co-authored-by: chriseth <chris@ethereum.org>
 2020-10-15 22:05:35 +02:00
chriseth c9ed1b9ae9 Merge pull request #10047 from ethereum/removeMemoryGuards 
Disable StackLimitEvader again until we have stronger correctness guarantees.
 2020-10-15 18:56:33 +02:00
Daniel Kirchner 68667f0e84 Remove POPs from ASSIGNIMMUTABLE generated bytecode, if possible. 2020-10-15 18:14:41 +02:00
Daniel Kirchner 0dca223b45 Add another argument to setimmutable and the AssignImmutable opcode, allowing to modify code at any memory offset. 2020-10-15 18:14:41 +02:00
chriseth 00fb152316 Merge pull request #10048 from ethereum/develop 
Merge develop into breaking
 2020-10-15 17:30:11 +02:00
chriseth 89bdad2096 Merge pull request #10043 from ethereum/emptyArrayCopy 
Fix empty array copy bug.
 2020-10-15 17:07:54 +02:00
chriseth 38abadf502 Fix empty array copy bug. 2020-10-15 16:48:08 +02:00
Daniel Kirchner 2e984a3651 Remove memoryguard calls from command line test expectations. 2020-10-15 16:25:15 +02:00
Daniel Kirchner 82876fd00e Disable StackLimitEvader again until we have stronger correctness guarantees. 2020-10-15 16:16:41 +02:00
chriseth e17d6853a9 Merge pull request #9985 from ethereum/optimizeDeleteStructSol2Yul 
[Sol->Yul] Optimizing delete struct.
 2020-10-15 16:03:06 +02:00
Bhargava Shastry 5023d3decb ossfuzz: Remove antlr4 build deps 2020-10-15 12:59:18 +02:00
chriseth 837dd004c8 Enable some more Yul tests. 2020-10-14 17:43:19 +02:00
chriseth 979d3062bc Merge pull request #10033 from ethereum/develop 
Merge develop into breaking
 2020-10-14 14:12:20 +02:00
Djordje MijovicandDaniel Kirchner 6f7947cfa5 [Sol->Yul] Optimizing delete struct. 
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
 2020-10-14 13:35:15 +02:00
chriseth 92a2cddbfa Merge pull request #10024 from ethereum/outofBoundsGetter 
Use revert for out-of-bounds array index access in getter.
 2020-10-14 12:33:41 +02:00
chriseth 9b1f90512b Merge pull request #10027 from ethereum/yul-syntax-test-extractions 
Continued Yul syntax test extractions.
 2020-10-14 12:32:39 +02:00
chriseth 56d6855222 Merge pull request #9738 from ethereum/arrayCopyingSol2Yul 
[Sol->Yul] Implementing copying of arrays to storage
 2020-10-14 12:22:09 +02:00
Christian Parpart 626b7cdb09 Extract yul syntax tests: invalid use of builtin identifiers 2020-10-14 12:18:33 +02:00