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
14,367 Commits 348 Branches 121 Tags
7f6bb543a975fd427afcd2a1fc92a705390b3638
Commit Graph
14367 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
chriseth abed8119fc Merge pull request #7205 from ethereum/cxx17 
Defaulting to C++17 for building.
 2019-08-13 18:15:26 +02:00
chriseth 823f06625a Merge pull request #7230 from ethereum/callgraph_generator 
Callgraph generator.
 2019-08-13 18:04:56 +02:00
chriseth 0c2f8ddfae Merge pull request #7231 from ethereum/extractMSize 
[Yul] Remove ContainsMSize from side-effect-collector.
 2019-08-13 18:03:51 +02:00
Christian Parpart e91c6acbc3 Defaulting to C++17 for building. 2019-08-13 16:19:18 +02:00