Commit Graph
22691 Commits
Author SHA1 Message Date
Kamil Śliwak 1602d1c531 Merge pull request #12363 from saska/patch-1
rm trailing comma in style-guide.rst example
2021-12-03 22:19:18 +01:00
Kamil Śliwak b96d238c23 CI: Double the number of threads for jobs that did slow down after switching to a smaller resource class 2021-12-03 12:34:18 +01:00
Kamil Śliwak 075d7b6152 CI: Remove separate compile-only runs for external tests that execute quickly 2021-12-03 12:33:34 +01:00
Kamil Śliwak 0cece8e6e7 CI: Optimize machine sizes for best speed/cost ratio 2021-12-03 12:32:40 +01:00
nishant-sachdeva a4fbc607c6 Issue 11610 : Replced typeError with fataTypeError in lines 390 and 406. Test file added in test/libsolidity/syntaxTests/calldata_struct_argument_with_internal_type_inside.sol
Issue : 11610 : Test cases updated, Changelog.md file updated to include change on 0.8.11
2021-12-03 12:23:35 +05:30
Leo c76a6bdbab Merge pull request #12358 from ethereum/smt_fix_targets
Fix ICE when unsafe targets are solved more than once and the cex is !=
2021-12-03 01:03:59 +01:00
Leo Alt 16535aae32 Fix ICE when unsafe targets are solved more than once and the cex is different 2021-12-03 00:21:38 +01:00
Saska Karsi 105de2561a rm trailing comma in style-guide.rst example 2021-12-03 01:11:04 +02:00
chriseth dcef56a531 Merge pull request #12357 from ethereum/fixYulExampleCode
Fix Yul example.
2021-12-01 16:53:42 +01:00
chriseth d9a4020a92 Function to read a number of bytes from an input stream. 2021-12-01 16:24:56 +01:00
chriseth 829fe6615b Fix Yul example. 2021-12-01 16:23:26 +01:00
chriseth 5d571bb111 Merge pull request #12352 from ethereum/lineColumnTranslateForCharStream
LineColumn handling for CharStream.
2021-12-01 15:59:21 +01:00
chriseth d2585fd91d Merge pull request #12322 from tzann/patch-1
Fix ExpressionSplitter example
2021-12-01 15:44:57 +01:00
Tynan Richards d56fb3afff Fix ExpressionSplitter example
Fix error (0x123 and 0x456 were swapped) and split constants into expressions
2021-12-01 15:43:50 +01:00
chriseth 264b7bd857 LineColumn handling for CharStream. 2021-12-01 15:16:01 +01:00
chriseth 8569cf32f6 Merge pull request #12353 from ethereum/accessorsForExecptions
Accessors for exceptions.
2021-12-01 15:09:08 +01:00
chriseth b6bd85202c Accessors for exceptions. 2021-12-01 14:26:23 +01:00
chriseth cc2a8609d6 Merge pull request #12355 from ethereum/fixWhitespace
Fix whitespace problem.
2021-12-01 13:29:20 +01:00
chriseth bd193ae840 Fix whitespace problem. 2021-12-01 12:46:02 +01:00
chriseth 5a908a8705 Merge pull request #12348 from dallonasnes/fix-cut-on-macos
Fix cl test script on macOS
2021-12-01 12:36:32 +01:00
Dallon AsnesandKamil Śliwak 70e925dbfc Update test/cmdlineTests.sh
Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
2021-11-30 10:07:50 -06:00
Kamil Śliwak c04fca7c2d Merge pull request #12192 from ethereum/hardhat-in-oz-ext-test
Use Hardhat and the right binary for OpenZeppelin external tests
2021-11-30 16:17:28 +01:00
chriseth 2f95f3c6c6 Merge pull request #12345 from ethereum/useLineColumn
Use LineColumn type.
2021-11-30 11:47:01 +01:00
chriseth 600504627d Merge pull request #12316 from ethereum/dont-require-jq-for-ci-gitter-notification
CI: Don't require `jq` to extract workflow name
2021-11-30 11:46:41 +01:00
Dallon Asnes a0aacb91a6 Fix cl test script on macOS 2021-11-29 23:43:28 -06:00
chriseth cb610b5021 Merge pull request #12326 from dallonasnes/encode-packed-api-details
Add fixed size type details to encodePacked doc
2021-11-30 00:09:31 +01:00
chriseth 86ce5f1da5 Use LineColumn type. 2021-11-30 00:08:22 +01:00
Dallon Asnes 310f74302d Add fixed size type details to encodePacked doc 2021-11-29 15:31:52 -06:00
Kamil Śliwak 622e89649f Merge pull request #12342 from nishant-sachdeva/relocating_download_section_in_docs
Restoring the RTD icon. Downloads section to still be above Versions section
2021-11-29 20:38:26 +01:00
nishant-sachdeva bd399e37e3 restoring the RTD section. Downloads section to still be above versions section 2021-11-30 00:20:27 +05:30
chriseth 3dd8285cc8 Merge pull request #12300 from nishant-sachdeva/extracting_tests_from_solEndToEnd.cpp
Extracted test cases from SolidityEndToEnd.cpp
2021-11-29 17:45:35 +01:00
chriseth de7b5a94ec Merge pull request #12277 from nishant-sachdeva/relocating_download_section_in_docs
Relocating download Section in docs
2021-11-29 17:29:33 +01:00
nishant-sachdeva 49d9f334aa Extracted some test cases from SolidityEndToEnd.cpp 2021-11-29 21:27:43 +05:30
nishant-sachdeva ecf6c8e122 trailing whitespace removed in index.rst as per the requirements of a syntax test 2021-11-26 09:29:27 +05:30
nishant-sachdeva 5e59325d06 relocated downloads section in versions flyout menu and added downloads Hint in index.html 2021-11-26 09:29:27 +05:30
Kamil Śliwak 9f59d1746b Fix OpenZeppelin external tests to actually use Hardhat and the binary built in CI 2021-11-25 21:34:53 +01:00
Kamil Śliwak 674b1ecf3f CI: Change the default node version in t_ems_ext from 14 to latest 2021-11-25 21:34:53 +01:00
Kamil Śliwak 26ac84300e CI: Extract workflow name without jq 2021-11-25 21:33:56 +01:00
chriseth e0c85c6f58 Merge pull request #12312 from ethereum/update_docker_z3
Bump z3 version to 4.8.13 in our docker files
2021-11-25 12:11:17 +01:00
Leo 2364d8f09e Merge pull request #12317 from ethereum/z3_4_8_13
Update smtchecker tests to z3 4.8.13
2021-11-25 12:10:12 +01:00
Bhargava Shastry 1c8d430b82 Remove Hera as a dependency for oss-fuzz Docker image. 2021-11-24 22:06:08 +01:00
Bhargava Shastry 6b69791f2b Disabling Clang-14 bitwise instead of logical warning in Hera build. 2021-11-24 22:06:08 +01:00
Leo Alt aa1a17072f Update z3 version in our docker files 2021-11-24 22:06:08 +01:00
Leo Alt a2588533e5 macos nondeterminism 2021-11-24 20:41:22 +01:00
Leo Alt 6cff73af71 update osx z3 hash 2021-11-24 20:41:22 +01:00
Leo Alt 0c34d9df88 Adjust tests for nondeterminism 2021-11-24 20:41:22 +01:00
Leo Alt ff5c842d67 update smtchecker tests 2021-11-24 20:41:22 +01:00
Leo Alt 406b1fbcec bump docker hashes and z3 version 2021-11-24 20:41:22 +01:00
chriseth 71f8576b86 Merge pull request #12315 from ethereum/correct-workflow-name-in-ci-gitter-notifications
[CI] Correct workflow name in gitter notifications
2021-11-23 16:48:21 +01:00
Kamil Śliwak 00fb719d03 CI: Don't use # in gitter notifications 2021-11-23 16:41:22 +01:00