Commit Graph

21650 Commits

Author SHA1 Message Date
nishant-sachdeva
7cc7a0f183 Added sameType check for fromType and toType in YulUtilFunctions.cpp and relevant tests in semanticTests 2021-12-16 21:51:09 +05:30
chriseth
e49780362b
Merge pull request #12289 from nishant-sachdeva/extract_test_cases_from_sol_end_to_end
trial test cases extracted from SolidityEndToEndTest.cpp into .sol files
2021-12-16 17:17:23 +01:00
chriseth
270793b0b2
Merge pull request #12414 from ethereum/fixWarnRef
Fix warning from Xcode 12.4 about a reference in `ranges::zip_view`
2021-12-16 14:04:53 +01:00
nishant-sachdeva
19a74506e3 trial test cases extracted from SoliidityEndToEndTest.cpp into .sol files.
removed libevmone.so files from the directory

trial test cases extracted from SoliidityEndToEndTest.cpp into .sol files. Corresponding code in the .cpp file has been commented instead of begin removed pending preliminary reviews

removed libevmone files

Added testcase packed_storage_structs_delete

added test case invalid_enum_logged

added test case enum_referencing

added test case memory_types_initialisation

added test case return string

added test case constant_string_literal.sol

removed extractable keyword from solidityEndtoEnd.cpp, moved copying_bytes_multiassigned.sol to array/copying folder, added recv() function to copying_bytes_multiassigned.sol but this test case is failing now

change typo error in the name of test case library_staticcall_delegatecal.sol to library_staticcall_delegatecall.sol

Added compileToEwasm:false to call_forward_bytes.sol test case and moved it to semanticTests/fallback

added compileToEwasm:false line to library_call_in_homestead

added compileToEwasm: false line to copying_bytes_multiassign, copy_from_calldata_removes_bytes, enum_referencing, library_call_in_homestead, struct_referencing

Added test case internal_types_in_library

Added test case mapping_arguments_in_library

Added test case mapping_returns_in_library

Added test case mapping_returns_in_library_named

Added test case using_library_mappings_public

Added test case library_function_external

Added test case library_stray_values

added test case using_library_mappings_return

added test case using_library_structs

Added test case using_for_function_on_struct and corrections to using_library_structs, using_library_mpapings_return, library_stray_values

Added test case using_for_overload

added test case using_for_by_name

added test case bound_function_in_function

added test case bound_function_in_var

added test case bound_function_to_string

added test case payable_function_calls_library

added function call corrections to copying_bytes_multiassign and call_forward_bytes

Made changes to the test cases as per comments on PR #12289

mentioned in Changelog.md : Extraced some test cases from SolEndToEnd.cpp
2021-12-16 16:56:38 +05:30
chriseth
6363ff31db
Merge pull request #12413 from ethereum/issues-automatically-in-solidity-project
Links to issue templates that automatically apply the `Solidity` project
2021-12-16 11:29:08 +01:00
chriseth
9a0821f2c3 Fix warning about reference. 2021-12-16 00:12:19 +01:00
Kamil Śliwak
b2a05a1bcf Remove unused "general" issue template 2021-12-15 21:07:28 +01:00
Kamil Śliwak
6035e8c02a Configure issue type selection screen to always select the "Solidity" project 2021-12-15 21:07:18 +01:00
Kamil Śliwak
9e0f03b3dc Remove hard wrapping in the issue templates 2021-12-15 20:48:52 +01:00
Kamil Śliwak
fdeb971708 Add an appropriate label to each type of issue 2021-12-15 20:45:39 +01:00
chriseth
1822261da1
Merge pull request #12372 from nishant-sachdeva/invalid_ir_generated_during_copy_of_dynamically_sized_storage_arrays_of_function_type
Added sameType check for fromType and toType in YulUtilFunctions.cpp and relevant tests in semanticTests
2021-12-15 20:05:46 +01:00
nishant-sachdeva
9b55d4788e Added sameType check for fromType and toType in YulUtilFunctions.cpp and relevant tests in semanticTests 2021-12-15 23:50:25 +05:30
chriseth
cf373fba82
Merge pull request #12373 from ethereum/explainOperators
Explanation about operators.
2021-12-15 18:37:41 +01:00
chriseth
c15ef45d29 Explanation about operators. 2021-12-15 18:37:18 +01:00
chriseth
55dd953cc8
Merge pull request #12381 from acoglio/patch-4
Improve description of break/continue restrictions.
2021-12-14 18:52:52 +01:00
Leo
2a587b2390
Merge pull request #12404 from ethereum/smt_fix_havocing
[SMTChecker] Fix soundness of struct storage/memory pointers
2021-12-14 18:44:00 +01:00
Kamil Śliwak
3ec05d02b5 externalTests: Add extra viaIR runs 2021-12-14 13:19:54 +01:00
Kamil Śliwak
d304c84432 externalTests: Replace optimizer levels with named presets 2021-12-14 13:19:53 +01:00
Kamil Śliwak
adfa51c01c externalTests: Measure compilation time 2021-12-14 13:19:21 +01:00
Kamil Śliwak
91ee0ed4ef scripts/common.sh: Add first_word() helper 2021-12-14 13:19:21 +01:00
Leo Alt
316be7206f Fix soundness of storage/memory pointers that were not erasing enough knowledge 2021-12-14 12:02:18 +01:00
Alessandro Coglio
d17f7206ad Improve description of break/continue restrictions.
This is as discussed on Element, with enhancements discussed with @cameel.
2021-12-13 21:59:25 -08:00
chriseth
248bc387cd
Merge pull request #12393 from ethereum/dont-compile-twice-in-colony-ext-test
Avoid double compilation in Colony external test
2021-12-13 18:51:21 +01:00
chriseth
f3a6013993
Merge pull request #12403 from ethereum/addConstAndFileName
Add const and file name.
2021-12-13 18:18:36 +01:00
chriseth
c0b41cfcdd Add const and file name. 2021-12-13 17:33:48 +01:00
chriseth
15c2ed3b9f
Merge pull request #12402 from ethereum/clarifyFileReader
Clarify FileReader interface.
2021-12-13 17:07:29 +01:00
chriseth
0e6388a907 Clarify FileReader interface. 2021-12-13 14:54:58 +01:00
chriseth
9131475b7c
Merge pull request #12394 from ethereum/make-optimizer-level-2-effective-again-in-ext-tests
Make optimizer level 2 in external tests actually different from level 3
2021-12-13 13:02:00 +01:00
chriseth
2f90f2e873
Merge pull request #12387 from ethereum/ci-adjust-parallelism
[CI] Adjust job parallelism to actually match available resources
2021-12-13 12:44:19 +01:00
chriseth
592ac92301
Merge pull request #12392 from ethereum/fix-colony-nightly-run
Fix `t_ems_test_ext_colony` nightly job
2021-12-13 12:30:47 +01:00
Kamil Śliwak
e6179d5356 CI: Run t_ems_test_ext_colony on nodejs 14
- Otherwise it seems to require python, which is not available in CI. We could install it but we'll probably run into other issues on latest node and the switch to latest was not intentional anyway.
2021-12-13 12:08:05 +01:00
chriseth
2d0a14fa8d
Merge pull request #12390 from cybergirldinah/develop
[Docs] Replaced dead link for Alarm Clock
2021-12-13 12:05:35 +01:00
dinah
f0aadcf577 Remove stale link. 2021-12-13 12:04:23 +01:00
Kamil Śliwak
6afb63200c externalTests: Use yarn install instead of yarn in colony ext test to avoid compiling contracts twice 2021-12-13 11:46:13 +01:00
chriseth
6b771735a0
Merge pull request #12380 from ethereum/native-solc-in-ext-tests
External tests with native compiler binary
2021-12-13 11:45:15 +01:00
chriseth
a8f82b4716
Merge pull request #12389 from gitpushOmnik/patch-1
Remove redundant typo
2021-12-13 11:36:47 +01:00
Omkar Nikhal
01d45a1952 Remove redundant typo 2021-12-13 11:36:07 +01:00
Kamil Śliwak
3649103e42 Switch most external tests to use native compiler built by b_ubu_static 2021-12-10 17:43:57 +01:00
Kamil Śliwak
f5830c4516 CI: Extend t_ems job to allow using both emscripten and native binaries 2021-12-10 17:43:57 +01:00
Kamil Śliwak
eb8e304b47 externalTests: Add support for using a native binary 2021-12-10 17:43:57 +01:00
Kamil Śliwak
68ff073b3b externalTests.sh: Remove outdated commented-out command to run gnosis
- A newer command is already enabled above it
2021-12-10 17:40:54 +01:00
Kamil Śliwak
081b80ccb2 externalTests: Refactor setup and input verification 2021-12-10 17:40:54 +01:00
Kamil Śliwak
0edbd90f52 externalTests: Use fail() function to simplify error checks 2021-12-10 17:40:54 +01:00
Kamil Śliwak
5fb0246f1c Use the right config file name in ENS external test 2021-12-10 17:02:35 +01:00
Kamil Śliwak
937597c1cd Use unique name for gnosis-v2 ext test 2021-12-10 15:40:46 +01:00
Kamil Śliwak
8ada7db7e9 externalTests: Fix optimizer level 2 to make it actually run without Yul optimizer 2021-12-10 15:40:46 +01:00
Kamil Śliwak
af02678dee CI: Adjust job parallelism to actually match available resources
- Some jobs don't actually run in parallel but have the `parallelism` setting enabled.
- `soltest_all` could be parallelized much more.
2021-12-09 15:10:52 +01:00
chriseth
b14a674ed4
Merge pull request #12374 from ethereum/clarifyLiterals
Some clarifications on literals.
2021-12-06 18:48:14 +01:00
chriseth
26e5f23352
Merge pull request #12375 from ethereum/typeOnChangelog
Typo in changelog.
2021-12-06 18:28:21 +01:00
chriseth
d414153258 Some clarifications on literals. 2021-12-06 17:36:34 +01:00