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 |
|
Kamil Śliwak
|
276d173e68
|
Document DEV_SIMPLE_EXCEPTION macro
|
2021-11-09 18:16:30 +01:00 |
|
Kamil Śliwak
|
19159b966a
|
Merge pull request #12263 from ethereum/set-version-to-0.8.11
Set version to 0.8.11
|
2021-11-09 18:08:54 +01:00 |
|
Kamil Śliwak
|
cffb7fec27
|
Set version to 0.8.11
|
2021-11-09 17:23:33 +01:00 |
|
Kamil Śliwak
|
834f9d3a6e
|
Parallelize external test runs on CircleCI
|
2021-11-09 16:57:37 +01:00 |
|
Kamil Śliwak
|
fbc48e3029
|
Extract helpers for managing steps in parallelized CircleCI jobs from soltest_all.sh
|
2021-11-09 16:57:37 +01:00 |
|
Kamil Śliwak
|
79af83eae3
|
Merge pull request #12191 from ethereum/more-flexible-external-test-scripts
Make external test scripts more flexible
|
2021-11-09 16:31:21 +01:00 |
|
Kamil Śliwak
|
cde5533dad
|
Merge pull request #12174 from ethereum/circleci-failure-notifications-for-all-nightly-jobs
[CI] Gitter notifications on failure for all nightly and non-PR jobs
|
2021-11-09 16:30:21 +01:00 |
|
Daniel Kirchner
|
10618188dd
|
Update tests.
|
2021-11-09 14:34:05 +01:00 |
|
Daniel Kirchner
|
f2d9a806e0
|
Document change to BlockFlattener.
|
2021-11-09 13:29:10 +01:00 |
|