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,184 Commits 348 Branches 121 Tags
6aae7caec851bb32e69ee1b2ca8eb8594771d4a4
Commit Graph
18184 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Daniel Kirchner 6aae7caec8 Merge pull request #10051 from ethereum/contractArrayTypeStatement 
Allow arrays of contract types as type expressions e.g. for abi.decode.
 2020-10-18 15:32:57 +02:00
Kamil Śliwak 6baf5db860 Merge pull request #10063 from him2him2/https_1 
Update HTTP -> HTTPS
 2020-10-18 15:19:58 +02:00
Ronald Eddy Jr cb214606e2 Update HTTP -> HTTPS 
URLs updated to use HTTPS protocol where appropriate to improve security and privacy.
 2020-10-18 01:00:38 -04: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
Leonardo fe0425b255 Merge pull request #10038 from blishko/issue-9197 
[SMTChecker] Encoding div and mod operations with slack variables
 2020-10-16 16:36:57 +01:00
Martin Blicha 1511f59a7e Warning 1218 'CHC: Error trying to invoke SMT solver' no longer happens in the tests 2020-10-16 16:17:32 +02: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
Daniel Kirchner 23314fc96c Merge pull request #10054 from ethereum/windowsBuilds 
Fix windows builds.
 2020-10-16 12:33:20 +02:00
Daniel Kirchner 8e42015dd3 Fix windows builds. 2020-10-16 11:48:50 +02:00
chriseth 068ac34f3e Merge pull request #9966 from ethereum/bytesArrayResizeSol2Yul 
[Sol->Yul] Implementing resizing of dynamic byte arrays
 2020-10-16 11:40:40 +02: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
Daniel Kirchner 9aafb62e52 Merge pull request #10050 from ethereum/circleWinTestResults 
Store test results on CircleCI's t_win for proper reporting.
 2020-10-15 20:40:37 +02:00
Daniel Kirchner e91baeef37 Store test results on CircleCI's t_win for proper reporting. 2020-10-15 19:11:17 +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
chriseth 7793adafff Merge pull request #10049 from ethereum/switchOssfuzzDockerImage 
Switch to new ossfuzz docker image.
 2020-10-15 18:51:22 +02:00
chriseth 19606c46b2 Merge pull request #10045 from ethereum/libabicoderFuzzingDocker 
Remove antlr and add libabicoder to ossfuzz docker image.
 2020-10-15 18:51:02 +02:00
Daniel Kirchner f649565615 Switch to new ossfuzz docker image. 2020-10-15 17:45:02 +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
Daniel Kirchner d20939888d Add more build flags for compatibility with ossfuzz /usr/local/lib/libc++.a 2020-10-15 15:49:19 +02:00
Daniel Kirchner dce8039cdd Update boost and download source archive instead of using git. 2020-10-15 15:49:19 +02:00
Daniel Kirchner a34e5bf111 Remove antlr and add libabicoder to ossfuzz docker image. 2020-10-15 15:49:19 +02:00
Daniel Kirchner 2bfa3487cb Merge pull request #10044 from ethereum/removeAntlrDep 
ossfuzz: Remove antlr4 build deps
 2020-10-15 15:48:53 +02:00
chriseth 8b8cd9f307 Merge pull request #10039 from ethereum/bytecodeComparison 
Bytecode comparison on CircleCI
 2020-10-15 14:59:14 +02:00
Bhargava Shastry 5023d3decb ossfuzz: Remove antlr4 build deps 2020-10-15 12:59:18 +02:00
chriseth 3c63be519b Merge pull request #10037 from ethereum/enableYultests 
Enable some more Yul tests.
 2020-10-15 11:46:32 +02:00
chriseth 447744e2bf Merge pull request #10041 from ethereum/lValueOrdinaryUndefined 
Make sure lValueOfOrdinaryAssignment does not have an undefined value.
 2020-10-15 10:20:33 +02:00
Daniel Kirchner a7b8ad311d Always build a windows release binary on tags. 2020-10-15 00:48:56 +02:00
Daniel Kirchner 9d873b102e Stop calling yourselves nightlies! 2020-10-15 00:48:56 +02:00
Daniel Kirchner 8075d6c7e8 Persist osx workspace files in different path to avoid conflicts. 2020-10-15 00:48:56 +02:00
Daniel Kirchner 30d990f07c Persist less data to workspaces. 2020-10-15 00:48:56 +02:00
Daniel Kirchner 9726ed8586 Perform bytecode comparison on CircleCI. 2020-10-15 00:48:56 +02:00
Daniel Kirchner 36a36caf09 Merge pull request #10040 from ethereum/osxCircleCICacheKey 
Reuse CircleCI osx cache across branches.
 2020-10-15 00:48:39 +02:00
Daniel Kirchner f7e5831afc Remove .circleci/config.yml from cache keys and move cache check to install_deps script. 2020-10-14 23:20:09 +02:00
Daniel Kirchner 20072918d9 Make sure lValueOfOrdinaryAssignment does not have an undefined value. 2020-10-14 21:00:18 +02:00