Commit Graph

14371 Commits

Author SHA1 Message Date
Bhargava Shastry
86c981d9fa proto fuzzer: Use a yul optimizer dictionary 2019-08-26 12:44:06 +02:00
Erik K
d47863ef35
Merge pull request #7300 from ethereum/fix-docCheck
Fix deprecated option style for docCheck
2019-08-26 12:23:03 +02:00
Mathias L. Baumann
e1bb4b9f81
Merge pull request #7280 from ethereum/isoltest-empty-revert
[isoltest] Support empty revert message
2019-08-26 11:45:36 +02:00
Mathias Baumann
7f6bb543a9 Fix deprecated option style for docCheck
solhint was updated and now warns about deprecated option values
2019-08-26 11:23:29 +02:00
Erik Kundt
755dae5d66 [isoltest] Supports empty revert message. 2019-08-26 11:06:30 +02:00
Leonardo
bb104546e1
Merge pull request #7298 from ethereum/smt_fix_division
[SMTChecker] Adapt division test for Z3 only
2019-08-24 11:40:49 +02:00
Leonardo Alt
c27235b2f5 [SMTChecker] Adapt division test for Z3 only 2019-08-23 17:33:29 +02:00
Leonardo
b5048bd6d7
Merge pull request #7294 from Solexplorer/patch-1
Update assembly.rst
2019-08-23 12:00:10 +02:00
Solexplorer
16ddbd5391
Update assembly.rst
Syntax error on mlod
2019-08-22 19:53:39 +02:00
chriseth
34fbaf018d
Merge pull request #7279 from ethereum/consistent-json-order
Make sure json output array order is consistent
2019-08-19 21:51:59 +02:00
Mathias Baumann
0e3ff25b4e Make sure json output array order is consistent
The source of the "contractDependencies" value was an std::map, thus
order was more or less random.
2019-08-19 17:42:03 +02:00
chriseth
5e2a31f43b
Merge pull request #7271 from ethereum/importTestSupport
Support multiple sources for syntax tests.
2019-08-19 16:03:33 +02:00
Daniel Kirchner
aa2167b208 Extract some import tests. 2019-08-19 14:45:26 +02:00
Daniel Kirchner
6ed219ebe8 Support multiple sources for syntax tests. 2019-08-19 14:45:26 +02:00
chriseth
95d426bd88
Merge pull request #7277 from ayrat555/patch-1
Update metadata.rst
2019-08-19 14:42:49 +02:00
Ayrat Badykov
e0507b5a8c
Update metadata.rst 2019-08-19 14:24:56 +03:00
chriseth
a39d26f366
Merge pull request #7262 from elopio/snap-build-cvc4
Build cvc4 when packaging the snap
2019-08-19 10:10:23 +02:00
Daniel Kirchner
04af1b4058
Merge pull request #7272 from ethereum/compileSyntaxTests
Compile succeeding syntax tests.
2019-08-16 18:08:44 +02:00
Daniel Kirchner
4a65c5ebaa Compile succeeding syntax tests. 2019-08-16 17:14:49 +02:00
Daniel Kirchner
058bbd398e
Merge pull request #7252 from ethereum/enable-c++17-in-libfuzzer-cmake
Enable c++17 in cmake toolchain file used by ossfuzz builder
2019-08-16 12:26:56 +02:00
chriseth
276b275cdc
Merge pull request #7238 from ethereum/sideEffectsPropagator
[Yul] Side effects propagator
2019-08-15 18:20:21 +02:00
Bhargava Shastry
c89eb84372
Merge pull request #7268 from ethereum/fix-7264
jsoncpp: force explicit casts for integer to floating point conversion
2019-08-15 18:10:15 +02:00
chriseth
3c4f558242 Tests 2019-08-15 16:30:05 +02:00
chriseth
a2a06d0318 Side effects propagator. 2019-08-15 16:30:05 +02:00
Bhargava Shastry
ffbf7e6c7a jsoncpp: force explicit casts for integer to floating point conversions 2019-08-15 16:21:45 +02:00
chriseth
c047803b80 Change BreadthFirstSearch to use value types instead of pointers. 2019-08-15 16:10:10 +02:00
Leonardo
2fb442366f
Merge pull request #7121 from ethereum/smt_chc_functions
[SMTChecker] CHC blocks for functions and asserts
2019-08-15 13:22:03 +02:00
Leonardo Alt
1a70a46f9b [CHC] Add function blocks and check asserts 2019-08-15 12:25:15 +02:00
chriseth
2508cbc1eb
Merge pull request #7095 from ethereum/isoltest-failure-reason
[isoltest] Support FAILURE with reason
2019-08-15 11:37:56 +02:00
Leo Arias
d25a34377f Install the libcvc library 2019-08-15 04:38:55 +00:00
Leo Arias
7573133626 Fix the stage path 2019-08-15 02:14:21 +00:00
Leo Arias
47153430b2 Build cvc4 when packaging the snap 2019-08-15 00:49:21 +00:00
chriseth
e946b7ab34
Merge pull request #7221 from ethereum/calldataLValueError
Allow writing to value-type arguments in external functions + Better error messages on attempted writes to calldata.
2019-08-14 23:56:35 +02:00
Erik Kundt
6c73bc5bac [isoltest] Refactors parameter formatting. 2019-08-14 21:28:43 +02:00
Erik Kundt
18157f5a49 [isoltest] Splits smoke test into separate files. 2019-08-14 21:28:43 +02:00
Erik Kundt
30483acc42 [isoltest] Support FAILURE with reason. 2019-08-14 21:28:43 +02:00
Bhargava Shastry
0b35cbc22c Inherit defaults cmake options in toolchain file used by ossfuzz builder. 2019-08-14 18:06:37 +02:00
Daniel Kirchner
e545103ec8 Extract reasonOfFailure to lambda function. 2019-08-14 17:59:48 +02:00
Daniel Kirchner
b0a5666b43 Better error messages when writing to expressions that cannot be written to. 2019-08-14 17:59:48 +02:00
chriseth
fd7215dad0
Merge pull request #7255 from ethereum/circleci-soltest-merge
Merges soltest tests per EVM/flags into a single one.
2019-08-14 17:21:40 +02:00
Christian Parpart
b94bdfcec0 Merges soltest tests per EVM/flags into a single one.
Because of EVMONE, speeds up test runs we can do that now.
2019-08-14 16:51:52 +02:00
Christian Parpart
a075588618 circleci: Fixes logfile naming, not accidentally overriding others 2019-08-14 16:51:52 +02:00
chriseth
bb4e7de38c
Merge pull request #7234 from ethereum/extractSideEffects
[Yul] Extract side-effects into their own struct.
2019-08-14 16:00:17 +02:00
chriseth
fb8137dfed
Merge pull request #7246 from ethereum/fix-7245
Avoid aggregate initialization of EWasmToText class
2019-08-14 15:33:03 +02:00
chriseth
1c49216c26
Merge pull request #7207 from ethereum/missing-docker-file
Add missing docker file for ubuntu 1804
2019-08-14 15:31:49 +02:00
chriseth
7d30fbdef0 Extract side effects into their own struct. 2019-08-14 15:06:10 +02:00
Bhargava Shastry
ddc3ce0eae Avoid aggregate initialization of EWasmToText class 2019-08-14 13:40:46 +02:00
Mathias Baumann
3c927eeeda Add missing docker file for Ubuntu 18.04 2019-08-14 00:54:55 +02:00
chriseth
d5744b3c1c
Merge pull request #7242 from ethereum/fixErasingMemoryStorage
Properly set storage and memory after erasing potentially destroyed keys
2019-08-13 19:53:23 +02:00
chriseth
e396dc7246 Properly set storage and memory after erasing potentially destroyed keys 2019-08-13 18:43:15 +02:00