Commit Graph

18396 Commits

Author SHA1 Message Date
chriseth
5857933247
Merge pull request #10070 from ethereum/buildReleaseOnTags
Build release build on tags.
2020-10-19 19:21:38 +02:00
chriseth
3654dccb96 Disable travis. 2020-10-19 18:06:30 +02:00
chriseth
3217b6a8c6 Build release build on tags. 2020-10-19 18:01:47 +02:00
chriseth
455e35308a
Merge pull request #10069 from ethereum/ver075
Set version to 0.7.5.
2020-10-19 17:58:07 +02:00
chriseth
6acc94f362 Set version to 0.7.5. 2020-10-19 17:44:15 +02:00
chriseth
3f05b770bd
Merge pull request #10065 from ethereum/setReleaseDateFor074
Set release date for 0.7.4
2020-10-19 15:13:30 +02:00
chriseth
7af9dedc31 Add double-hyphen. 2020-10-19 15:04:47 +02:00
chriseth
8a1a8117e9 Set release data and sort changelog. 2020-10-19 15:03:06 +02:00
chriseth
df24a4eb5a
Merge pull request #10064 from ethereum/smt_engine
Move modelCheckerSettings out of settings in StandardCompiler
2020-10-19 13:37:14 +02:00
Leonardo Alt
b67ade5163 Move modelCheckerSettings out of settings in StandardCompiler 2020-10-19 10:39:06 +01:00
chriseth
6c9db334c6
Merge pull request #9937 from ethereum/staticReleaseBuild
Static release build.
2020-10-19 10:41:49 +02:00
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 Mijovic
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