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
18,746 Commits 348 Branches 121 Tags
ff7e45f41799ccc399ff0e4515d0cfa0dcfe00cd
Commit Graph
18746 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Alex Beregszaszi ff7e45f417 Add test cases for assigning builtins/bound functions to function types 2020-12-10 22:18:52 +00:00
Đorđe Mijović 9e4f3bad06 Merge pull request #10569 from ethereum/byteArrayStorageStorage 
Fix copying byte arrays from storage to storage.
 2020-12-10 22:52:50 +01:00
Alex Beregszaszi 5a541e72be Merge pull request #10537 from ethereum/extra-warnings 
Enable more C++ compiler warnings
 2020-12-10 21:44:54 +00:00
Alex Beregszaszi bd641a5206 Enable more C++ compiler warnings 2020-12-10 21:03:58 +00:00
chriseth 7764ee8d86 Fix copying byte arrays from storage to storage. 2020-12-10 21:47:37 +01:00
Daniel Kirchner 90c693be09 Merge pull request #10568 from ethereum/oldClangFixes 
Deal with old clang compilers.
 2020-12-10 20:03:51 +01:00
Bhargava Shastry 6ef9ef1e15 Merge pull request #10564 from ethereum/abiv2-isabelle-test-values 
Abiv2 fuzzer: Retrieve values to be encoded from the fuzzer
 2020-12-10 17:56:43 +01:00
Daniel Kirchner 4cb9a42d9a Verify minimal clang version in cmake. 2020-12-10 17:40:29 +01:00
Daniel Kirchner c400c61fc3 Fix incorrect behaviour on clang 6. 2020-12-10 17:20:30 +01:00
chriseth d84415cb3b Merge pull request #10483 from ethereum/dlopenZ3 
Experimental mechanism for loading Z3 dynamically at runtime.
 2020-12-10 17:06:07 +01:00
Daniel Kirchner 7308abc084 Allow loading Z3 dynamically at runtime. 2020-12-10 16:47:47 +01:00
Bhargava Shastry dc1c0e9d4e Abiv2 fuzzer: Retrieve values to be encoded from the fuzzer 2020-12-10 16:33:14 +01:00
Bhargava Shastry fe79a27a0a Merge pull request #10561 from ethereum/abiv2-isabelle-values 
Abiv2 fuzzer: Make integer value generation consistent with range for…
 2020-12-10 14:15:07 +01:00
chriseth e15136c210 Merge pull request #10558 from ethereum/magictype-tests 
Adds more tests for state access (block/tx/msg)
 2020-12-10 14:05:37 +01:00
Bhargava Shastry 3c8caabf2e Remove unused code 2020-12-10 12:56:04 +01:00
Bhargava Shastry 693548b787 Abiv2 fuzzer: Make integer value generation consistent with range for that integer type 2020-12-10 12:34:14 +01:00
chriseth 4861c9b8d1 Merge pull request #10554 from ethereum/emptyBytesPushSol2Yul 
[Sol->Yul] Implementing empty byte array push.
 2020-12-10 12:19:07 +01:00
chriseth 66b15f24ad Merge pull request #10518 from ethereum/deduplicate-external-test-job-definitions 
[CI] Deduplicate external test job definitions
 2020-12-10 11:58:52 +01:00
chriseth 89b7c5f65a Merge pull request #10455 from ethereum/issue-10433 
Fix segfault for empty @return tags in modifiers
 2020-12-10 11:54:55 +01:00
Mathias Baumann 37cc795034 Fix segfault for empty @return tags in modifiers 2020-12-10 11:54:40 +01:00
Bhargava Shastry c72adbf3ec Merge pull request #10562 from ethereum/eoanCi 
Switch CI runs from EOL'ed eoan to focal.
 2020-12-10 11:44:41 +01:00
Daniel Kirchner 2e31a6bdbf Switch CI runs from EOL'ed eoan to focal. 2020-12-10 11:09:55 +01:00
Leonardo 7e930f7bb3 Merge pull request #10543 from ethereum/abiv2-isabelle-encode-test 
Isabelle abiv2 fuzzer: Add type string
 2020-12-09 23:33:41 +01:00
Alex Beregszaszi f9d6abf69b Add more tests for state access (block, msg, tx, etc.) 
Move some of them out of SolidityEndToEndTests. Additionally this ensures the deterministic values of the testing infrastructure.
 2020-12-09 20:46:01 +00:00
Leonardo 9e07981920 Merge pull request #10477 from ethereum/smt_isoltest_cex 
[SMTChecker] Move CHC counterexamples to primary location
 2020-12-09 20:37:24 +01:00
Leonardo Alt 3c142e0e94 Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
Djordje Mijovic ab74194ca3 [Sol->Yul] Implementing empty byte array push. 2020-12-09 19:31:35 +01:00
Kamil Śliwak aa3acdd7d6 Merge pull request #10500 from ethereum/restore-original-external-test-branches 
Restore original external test branches
 2020-12-09 19:26:37 +01:00
Bhargava Shastry 2e3cba996a Isabelle abiv2 fuzzer: Add type string 2020-12-09 18:10:10 +01:00
chriseth d75821e068 Merge pull request #10536 from ethereum/fix-createlinkingfunction-to-cpp 
Move the implementation of createLinkingFunction into a cpp file
 2020-12-09 17:49:16 +01:00
Kamil Śliwak 165cab9e9d Switch the external tests back to the usual branches from solidity-external-tests 2020-12-09 17:33:13 +01:00
chriseth 052b97e217 Merge pull request #10545 from ethereum/modelCheckerSettingsMove 
Move standard-json "modelCheckerSettings" key to "settings.modelChecker".
 2020-12-09 16:47:21 +01:00
Daniel Kirchner e691b7402a Move standard-json "modelCheckerSettings" key to "settings.modelChecker". 2020-12-09 15:53:32 +01:00
chriseth 44b7301048 Merge pull request #10547 from ethereum/sortChangelog07 
Sort changelog.
 2020-12-09 15:47:44 +01:00
Leonardo c34a2f27e5 Merge pull request #10540 from ethereum/smt_file_level 
Do not run SMTChecker when file level functions/constants are present.
 2020-12-09 15:39:18 +01:00
chriseth b0a93a85c2 Sort changelog. 2020-12-09 15:33:16 +01:00
Kamil Śliwak b672c2fab7 Combine the t_ems_compile_ext and t_ems_test_ext job definitions 2020-12-09 13:12:40 +01:00
Kamil Śliwak da17150bec Extract common parts from external job definitions into commands 2020-12-09 13:12:40 +01:00
Leonardo Alt a961a76263 Do not run SMTChecker when file level functions/constants are present. 2020-12-09 12:18:55 +01:00
Bhargava Shastry e23cf26d98 Merge pull request #10541 from ethereum/add-isabelle-abiv2-fuzzer-to-circleci-nightly 
CircleCI: Add new abiv2 fuzzer to list of binaries in nightly fuzzer CI
 2020-12-09 11:53:15 +01:00
chriseth d2534e8208 Merge pull request #10466 from ethereum/run-external-tests-nightly 
Running external tests nightly
 2020-12-09 11:43:34 +01:00
hrkrshnn 06d719e4f1 Move filter to CommonData.h 2020-12-09 11:13:27 +01:00
hrkrshnn 7ea96c5583 Move the implementation of createLinkingFunction into a cpp file 2020-12-09 11:13:27 +01:00
Bhargava Shastry 047e706e7f CircleCI: Add new abiv2 fuzzer to list of binaries in nightly fuzzer CI 2020-12-09 11:10:16 +01:00
Leonardo 3ca4a5136d Merge pull request #10539 from blishko/test-issue-10502 
[SMTChecker] Adding test witnessing that SMTChecker no longer crashes when producing CEX with arrays
 2020-12-09 11:03:53 +01:00
chriseth 319b29bb4a Merge pull request #10423 from ethereum/ir-warn-v1 
Report warning if contract uses abicoder v1, but IR is requested
 2020-12-09 10:03:04 +01:00
chriseth 8cd9fdd757 Merge pull request #10538 from ethereum/ewasm_polyfill_recompilation 
Fix regeneration of polyfill headers.
 2020-12-09 09:56:42 +01:00
Martin Blicha de34fe8aa3 [SMTChecker] Adding test witnessing that SMTChecker no longer crashes when producing CEX with arrays 2020-12-09 09:13:39 +01:00
Alex Beregszaszi 47b10fd751 Report warning if contract uses abicoder v1, but IR is requested 2020-12-09 01:20:58 +00:00
Alexander Arlt 90623d9507 Fix recompilation of polyfills. 2020-12-08 20:02:25 -05:00