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,379 Commits 348 Branches 121 Tags
24716404f8d9f714f43a3bea51f46f2fc5ccf769
Commit Graph
14379 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mathias Baumann 24716404f8 Parse override keyword 2019-08-26 17:34:21 +02:00
Mathias L. Baumann 502bf01be2 Merge pull request #7278 from ethereum/develop 
Merge develop into develop_060
 2019-08-26 10:26:48 +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 0cd6b9e596 Merge pull request #7239 from ethereum/externalFunctionToAddress 
[0.6.0] Replace casting of external functions to address by a member named "address".
 2019-08-19 16:07:26 +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 4354ef2ef4 Add update suggestion. 2019-08-19 14:58:05 +02:00
Daniel Kirchner 20b23e124b Add test case. 2019-08-19 14:56:04 +02:00
Daniel Kirchner 42f30981db Add unimplemented assertion to IR generation when accessing address member of external function types. 2019-08-19 14:56:04 +02:00
Daniel Kirchner 80199ded79 More documentation updates. 2019-08-19 14:56:04 +02:00
Daniel Kirchner 9f6fff2120 Replace casting of external functions to address by a member named "address". 2019-08-19 14:56:04 +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
Erik K d3ea86b052 Merge pull request #7270 from ethereum/develop 
Update develop_060 from develop
 2019-08-16 13:15:24 +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 acd4a1e3a6 Merge remote-tracking branch 'origin/develop' into develop_060 2019-08-15 12:19:43 +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
chriseth 7bd02b0e16 Merge pull request #7256 from ethereum/develop 
[0.6.0] Update from develop
 2019-08-14 19:04:24 +02:00
chriseth 212e4c1b57 Merge pull request #7254 from ethereum/changelog-docs-template 
[0.6.0] Prepares changelog and documentation
 2019-08-14 19:04:02 +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
Erik Kundt f1da0f7ae9 Prepares 0.6.0 changelog and documentation. 2019-08-14 16:15:59 +02:00