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,386 Commits 348 Branches 121 Tags
bdf29277a277095f0e56a05d78d64b3336cd50b9
Commit Graph
14386 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth bdf29277a2 Change interpreter memory to be non-contiguous. 2019-09-02 13:51:47 +02:00
chriseth a988b64597 Merge pull request #7312 from ethereum/fixInterpreterScopes 
Fix handling of scopes in Yul Interpreter.
 2019-09-02 12:05:33 +02:00
chriseth 3c963eb00e Merge pull request #7316 from ethereum/addByteOpt 
Replace byte(A, X) by zero if A >= 32
 2019-09-02 10:50:26 +02:00
chriseth 01e0a12c3b Fix handling of scopes in Yul Interpreter. 2019-09-02 10:41:26 +02:00
chriseth e86b5cf14e Replace byte(A, X) by zero if A >= 32 2019-08-29 15:35:34 +02:00
Leonardo 459aed90e0 Merge pull request #7311 from ethereum/asan_no_smt 
Disable SMT tests for ASan
 2019-08-29 15:32:19 +02:00
Leonardo Alt bd5a70e0d1 disable asan smt 2019-08-29 14:18:34 +02:00
chriseth a82fbf7322 Merge pull request #7313 from ethereum/chriseth-patch-1 
[DOCS] Protection to not lose money.
 2019-08-28 20:21:43 +02:00
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
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
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
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