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 |
|
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 |
|
Kamil Śliwak
|
f50aec9334
|
CommandLineInterface: Report an error immediately when writing to disk fails
|
2021-11-09 18:16:30 +01:00 |
|
Kamil Śliwak
|
c8380c25bb
|
CommandLineInterface: Update control flow to accommodate the new way of reporting errors
|
2021-11-09 18:16:30 +01:00 |
|
neel iyer
|
e829bcd933
|
CommandLineInterface: Replace code that prints to serr() and returns false with CommandLineValidationError exception
|
2021-11-09 18:16:30 +01:00 |
|
Kamil Śliwak
|
16f62ed43e
|
Move the Yul experimental warning from CommandLineParser to CommandLineInterface and remove stderr from the parser
|
2021-11-09 18:16:30 +01:00 |
|
Kamil Śliwak
|
3f5471165f
|
CommandLineParser: Report errors by raising exceptions
|
2021-11-09 18:16:30 +01:00 |
|
neel iyer
|
cda0d029bc
|
Define CommandLineError and a few exceptions derived from it
|
2021-11-09 18:16:30 +01:00 |
|