Commit Graph

21453 Commits

Author SHA1 Message Date
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
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
Kamil Śliwak
4e6b5205ac CI: Include workflow name instead of hard-coded "nightly" in gitter notifications 2021-11-23 16:40:54 +01:00
chriseth
18d6792966
Merge pull request #12310 from ethereum/renameRedundant
Rename RedundantAssignEliminator to UnusedAssignEliminator.
2021-11-23 15:47:24 +01:00
chriseth
26cfa2a9d8
Merge pull request #12314 from ethereum/updatez3ppa
Update z3 version in ppa build file.
2021-11-23 15:38:28 +01:00
chriseth
0e7a065a78 Enhance documentation. 2021-11-23 14:58:04 +01:00
chriseth
3b98bee29a Update z3 version. 2021-11-23 14:05:59 +01:00
chriseth
bd321b9f1f Rename RedundantAssignEliminator to UnusedAssignEliminator. 2021-11-23 10:38:36 +01:00
Kamil Śliwak
9b6a687a24
Merge pull request #12308 from dallonasnes/docs-typo-fix
Fix typo in intro to smart contracts
2021-11-22 23:56:46 +01:00
Dallon Asnes
ef3c562160
Fix typo 2021-11-22 15:18:43 -06:00
chriseth
defc74c8a2
Merge pull request #12282 from ethereum/fix-gas-test-enforcement
Fix gas cost enforcement for constructors and make `--enforce-gas-cost-min-value` actually work
2021-11-22 12:39:07 +01:00
chriseth
436147872c
Merge pull request #12301 from ethereum/docs-literals
Fix documentation for valid ASCII string literals
2021-11-22 11:02:30 +01:00
Alex Beregszaszi
b36a3c6bf5
Fix documentation for valid ASCII string literals 2021-11-20 22:41:19 +00:00
Kamil Śliwak
2aeeef83f2
Merge pull request #12214 from ethereum/parallelize-external-tests
Parallelize external tests
2021-11-18 17:27:57 +01:00
Kamil Śliwak
cbb3e07480
Merge pull request #12141 from ethereum/via-ir-equivalence-tests
Tests for the equivalence of one- and two-stage compilation via IR
2021-11-18 15:17:44 +01:00
Kamil Śliwak
ab96f2b69f
Merge pull request #12200 from ethereum/refactorASTJSON
Refactor ASTJSON tests to allow easier addition of variations.
2021-11-18 15:09:31 +01:00
chriseth
e55795262b
Merge pull request #12284 from ethereum/fix-isoltest-formatting-for-strings-with-control-chars
Fix formatting for strings with control characters in isoltest expectations
2021-11-16 11:31:52 +01:00
Kamil Śliwak
90fdea95e7 TestFunctionCall::formatRawParameters(): Ensure that uint8_t overload of toHex() is called
- Wrong overload results in isoltest padding each char to 32 bytes
2021-11-15 20:52:25 +01:00
Kamil Śliwak
27dc77be5d Fix typo in test name: ihneritance -> inheritance 2021-11-15 16:32:45 +01:00
Kamil Śliwak
032f2d8f9f Update gas expectations 2021-11-15 16:32:45 +01:00
Kamil Śliwak
f42180ef06 Rename gas constants in ExecutionFramework 2021-11-15 16:31:52 +01:00
Kamil Śliwak
077b3a003d Fix --enforce-gas-cost-min-value being applied only when the cost expectations are not provided in the test file 2021-11-15 16:31:52 +01:00
Kamil Śliwak
cf52827107 Fix gas mismatch in constructor not being counted as a failure 2021-11-15 16:19:22 +01:00
chriseth
7334420423
Merge pull request #12193 from ethereum/use-src-ewasm-crash
Fix crash when using @use-src while compiling yul -> ewasm
2021-11-11 14:29:19 +01:00
Marenz
49b4e77d6b Prevent crash when translating yul->ewasm with @use-src annotations 2021-11-11 13:43:57 +01:00
chriseth
969707c5d2
Merge pull request #12060 from acoglio/patch-3
Make evaluation of string literals more generic
2021-11-11 11:31:51 +01:00
Marenz
ab5a06e2b9 Refactor ASTJSON tests to allow easier addition of variations. 2021-11-11 10:44:16 +01:00
Alessandro Coglio
d3b2463166 Improve description of literal evaluation. 2021-11-10 23:17:47 -08:00
Mathias L. Baumann
9240368e39
Merge pull request #12269 from ethereum/fix-gitter-ci-notifications-for-non-pr-runs
Fix gitter notifications for non-PR runs in CI
2021-11-10 18:34:08 +01:00
Kamil Śliwak
e2e393495e Install diffutils on macOS to get diff with color support 2021-11-10 18:12:06 +01:00
Kamil Śliwak
0d82fe9ca7 cmdlineTests.sh: Test the equivalence of one and two-stage compilation via IR 2021-11-10 18:12:06 +01:00
Kamil Śliwak
0ec3f523bd CI: Workaround for $CIRCLE_PULL_REQUEST pointing at random PRs in runs outside of PRs 2021-11-10 17:05:23 +01:00
chriseth
f42e3c0bae
Merge pull request #12262 from ethereum/functionGrouper
Keep canonical form of Yul during optimization.
2021-11-10 11:09:15 +01:00