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
15,593 Commits 348 Branches 121 Tags
595f569e97e012ae00fc5259afb0bf4c1474f5e2
Commit Graph
15593 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth dc4a44fb7f Protection to not lose money. 2019-08-28 17:00:15 +02:00
Leonardo e74b63b6de Merge pull request #7306 from ethereum/smt_fix_type_expression 
[SMTChecker] Fix index access type type error
 2019-08-28 15:54:30 +02:00
Leonardo Alt 214e5c6369 [SMTChecker] Fix index access type type error 2019-08-27 16:39:19 +02:00
Mathias L. Baumann 25a3a83b34 Merge pull request #7233 from ethereum/override-5424 
Implement parsing of override keyword
 2019-08-26 18:12:28 +02:00
Mathias Baumann 24716404f8 Parse override keyword 2019-08-26 17:34:21 +02:00
Bhargava Shastry a54d69b8ef Merge pull request #7286 from ethereum/protofuzzer_input_generation 
proto fuzzer: Use a yul optimizer dictionary
 2019-08-26 16:08:14 +02:00
Erik K fd58ca0676 Merge pull request #7301 from elopio/patch-6 
Add wget to the build packages of the snap
 2019-08-26 15:14:10 +02:00
Alex Beregszaszi 5749a5d7c9 Introduce istanbul and berlin versions 2019-08-26 13:15:01 +01:00
Leo Arias d95252faf1 Add wget to the build packages of the snap 
This is required to download antlr for cvc4:
https://github.com/bobot/CVC4.old-svn/blob/323d5faa1fcd6657899dabfed2e4ad455c92f5c4/contrib/get-antlr-3.4#L23
 2019-08-26 06:07:54 -06:00
Bhargava Shastry 922790730c Do not create duplicate case statements 2019-08-26 12:44:06 +02:00
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
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