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 |
|
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 |
|
Daniel Kirchner
|
7ccf11c2b5
|
Reuse CircleCI osx cache across branches.
|
2020-10-14 20:38:47 +02:00 |
|
chriseth
|
837dd004c8
|
Enable some more Yul tests.
|
2020-10-14 17:43:19 +02:00 |
|
Djordje Mijovic
|
6f7947cfa5
|
[Sol->Yul] Optimizing delete struct.
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2020-10-14 13:35:15 +02:00 |
|
chriseth
|
25b10b9643
|
Merge pull request #10028 from ethereum/useArrayLength
Use array length function.
|
2020-10-14 13:35:09 +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 |
|