Kamil Śliwak
53f9a11440
prepare_report: Handle internal compiler errors in Standard JSON as errors, not missing bytecode
2021-01-26 23:30:38 +01:00
Kamil Śliwak
7f19339934
prepare_report.py: Add support for switching between CLI and Standard JSON compiler interfaces
2021-01-26 23:30:38 +01:00
Leonardo
c35fdda2ec
Merge pull request #10844 from ethereum/smt_z3_docker_4_18_10
...
Bump docker images for z3 4.8.10
2021-01-26 13:05:50 +01:00
Leonardo
6488dd5b96
Merge pull request #10843 from ethereum/updatez3ppa
...
Update z3 to 4.8.10.
2021-01-26 11:40:30 +01:00
Leonardo Alt
fbfcb4e71d
Bump docker for z3 4.8.10
2021-01-26 11:37:11 +01:00
Leonardo Alt
40221a90c4
Update smtCheckerTests for z3 4.8.10
2021-01-26 10:18:52 +01:00
chriseth
1c35c52fbe
Update z3 to 4.8.10.
2021-01-25 11:40:31 +01:00
Kamil Śliwak
aae271e399
Add a script for running the Python test suites and include it in scripts/tests.sh
2021-01-22 13:37:40 +01:00
Kamil Śliwak
151df00bb0
Read/write files in python with newline='' option to preserve newlines as \n on Windows
2021-01-22 12:16:27 +01:00
Kamil Śliwak
ba6acae240
prepare_report.py: Prevent Windows-style paths from ending up in the bytecode report
2021-01-22 12:15:33 +01:00
Kamil Śliwak
81f3c7497b
check_style.sh: Fix incorrect comment about for {
being treated as a style error
2021-01-20 13:29:34 +01:00
Kamil Śliwak
7bc81e3c95
Rename report_errors.sh to post_style_errors_on_github.sh
2021-01-20 13:29:34 +01:00
Kamil Śliwak
f214682a27
report_errors.sh: Don't print error messages to stdout
...
- check_style.sh already does this
2021-01-20 13:29:34 +01:00
Kamil Śliwak
0a3cc81693
check_style.sh: Consistent identation
2021-01-20 13:29:33 +01:00
Kamil Śliwak
e5bc08fa7b
Fix shellcheck errors in report_errors.sh and check_style.sh
2021-01-20 13:29:00 +01:00
Kamil Śliwak
877b5d1c1c
Add proper quotes in check_style.sh and report_errors.sh
2021-01-20 13:29:00 +01:00
chriseth
86051dc099
Merge pull request #10792 from ethereum/fix-github-api-errors-from-check-style
...
Fix github API errors in check_style CI jobs
2021-01-19 13:46:15 +01:00
Kamil Śliwak
f0cb181545
Even more license tests
2021-01-18 16:17:06 +01:00
Alex Beregszaszi
5bbb017915
Add more tests for the SPDX-License-Identifier
2021-01-18 16:15:17 +01:00
Kamil Śliwak
433c261a2f
report_errors.sh: Don't try to communicate with github if path or line is not known
2021-01-18 15:27:00 +01:00
Kamil Śliwak
ca7327ec3f
Replace the weird magic trap-waterfall-style flow in report_errors.sh with normal calls
2021-01-18 15:27:00 +01:00
Kamil Śliwak
5958e8d9ea
check_style: Always use a newly created temporary file to store logs
2021-01-18 15:27:00 +01:00
Kamil Śliwak
71d19c5178
build_win.ps1: Use commit date for CI builds on Windows and Emscripten as well
2021-01-14 22:23:06 +01:00
Kamil Śliwak
6c3ccc8e29
ci/build.sh: Use a more portable command for getting the date to make it work on macOS too
2021-01-14 22:22:39 +01:00
chriseth
f9bfceccd1
Merge pull request #10771 from ethereum/use-commit-date-in-ci-builds
...
Commit date in CI build version strings
2021-01-14 18:38:45 +01:00
Kamil Śliwak
a901f78be7
ci/build.sh: Use commit date rather than build date in version strings of CI builds
2021-01-14 18:04:41 +01:00
Kamil Śliwak
c63fd0a1af
docs_version_pragma_check.sh: Remove the special case for versions ending in .99
2021-01-14 17:35:19 +01:00
Kamil Śliwak
a39c8e3750
docs_version_pragma_check.sh: Switch to the new-style [[ ]] conditions
2021-01-14 17:35:19 +01:00
Kamil Śliwak
d8d5b3ab20
docs_version_pragma_check.sh: Don't treat missing compiler version as an error if it's the current dev version
2021-01-14 17:35:19 +01:00
Kamil Śliwak
203ebf89bb
scripts/common.sh: Add printWarning() helper
2021-01-14 17:35:19 +01:00
Daniel Kirchner
804bd8f6dd
Switch to new emscripten docker image.
2021-01-13 02:22:09 +01:00
Daniel Kirchner
10c742ed0a
Update emscripten build to be compatible with new docker image.
2021-01-13 01:09:34 +01:00
Daniel Kirchner
d0c8c79888
Update emscripten docker image to be based on emscripten 2.0.12 and boost 1.75.0.
2021-01-13 00:33:03 +01:00
Leonardo
7824ccb56d
Merge pull request #10663 from ethereum/check_style_exclude_list_support
...
scripts/check_style.sh: add exclude list support.
2021-01-12 11:28:26 +01:00
Kamil Śliwak
22af3a555a
Merge pull request #10736 from BinacsLee/binacs-update-install-deps
...
[scripts/install_deps.sh] support MacOS Big Sur
2021-01-12 09:57:11 +01:00
chriseth
67d21a87c5
Merge pull request #10737 from ethereum/range-v3
...
Add range-v3.
2021-01-11 19:24:13 +01:00
Daniel Kirchner
eac2bcf72f
Add range-v3.
2021-01-11 18:44:55 +01:00
Kamil Śliwak
6628f19fd8
Modernize prepare_report.py and make it easier to extend
...
- Add argument parser
- Add type annotations
- Use pathlib
- Split into functions
- Use dataclasses to separate report data from presentation
- Provide more information if the script is interrupted
2021-01-11 17:06:59 +01:00
Kamil Śliwak
887497a406
prepare_report: Make error/missing data placeholders actually look like placeholders
2021-01-11 17:06:59 +01:00
Kamil Śliwak
fe7cc2097b
prepare_report: Report missing metadata as well
2021-01-11 17:06:59 +01:00
Kamil Śliwak
9f58f77b50
prepare_report: Unify error/missing data handling between JS and Python versions
2021-01-11 17:06:59 +01:00
Kamil Śliwak
a036cbea19
prepare_report.js: Replace var with const/let + minor cleanup
2021-01-11 17:06:59 +01:00
Kamil Śliwak
42786c2d29
Extract the script embedded in storebytecode.sh into a separate file
2021-01-11 17:06:59 +01:00
BinacsLee
3329f4ab9b
[scripts/install_deps.sh] support MacOS Big Sur
2021-01-11 23:50:18 +08:00
Djordje Mijovic
b74c08143f
Deleting yul unimplemented test.
2020-12-30 17:19:04 +01:00
Alexander Arlt
d0e8ae3aa5
scripts/check_style.sh: add exclude list support.
2020-12-18 20:39:48 -05:00
Leonardo
158154bac3
Merge pull request #10345 from ethereum/ir-runtime
...
Output runtime object in IR
2020-12-18 17:19:40 +01:00
Leonardo
6b482d4b41
Merge pull request #10647 from ethereum/ppaStaticRelease
...
Build solidity-upgrade and yul-phaser statically on static PPA builds.
2020-12-18 14:20:44 +01:00
Alex Beregszaszi
b14a6a10cc
Report meaningful error if parsing a version pragma failed
2020-12-18 11:50:37 +00:00
Daniel Kirchner
1afdfc2c84
Build solidity-upgrade and yul-phaser statically on static PPA builds.
2020-12-17 16:09:23 +01:00
Alex Beregszaszi
953d18c6cb
Output runtime object in IR
2020-12-16 19:23:10 +00:00
chriseth
8f833f4e8f
Merge pull request #10618 from ethereum/develop
...
Merge develop into breaking.
2020-12-16 12:34:41 +01:00
Christian Parpart
381c63ec99
Scanner: Generate error on inbalanced RLO/LRO/PDF override markers.
2020-12-15 18:40:51 +01:00
chriseth
3c270ca7f7
Merge pull request #10608 from ethereum/develop
...
Merge develop into breaking.
2020-12-15 15:24:53 +01:00
Bhargava Shastry
3439e927e5
ossfuzz docker: Add sanitized build of gmp library that replaces system installed lib
2020-12-15 12:11:42 +01:00
chriseth
b03d110528
Ignore "no version found" check for pragmas containing "99".
2020-12-14 14:18:03 +01:00
chriseth
561280a5cc
Merge remote-tracking branch 'origin/develop' into breaking
2020-12-14 11:33:40 +01:00
chriseth
e37e3099aa
Merge pull request #10583 from ethereum/fix-doc-pragma-checks
...
Fix checks for code snippets embedded in docs
2020-12-14 11:30:12 +01:00
Kamil Śliwak
4a16b13a57
get_version.sh: Quote the ? wildcard that could otherwise break the regex in the presence of a single-letter file name
2020-12-12 07:49:54 +01:00
Kamil Śliwak
893a5b6e60
Remove unused variables
2020-12-12 06:30:57 +01:00
Kamil Śliwak
f712662a66
ASTImportTest.sh: Fix the script ignoring all but the first file from a multi-source test when testing input equivalence
2020-12-12 06:30:57 +01:00
Kamil Śliwak
304b2fe232
docs_version_pragma_check.sh: Fail when there is no matching release
2020-12-12 04:52:16 +01:00
Kamil Śliwak
6fc45b3e02
docs_version_pragma_check.sh: Fix bad variable name making the script skip ^ and >= pragmas
2020-12-12 04:52:16 +01:00
Kamil Śliwak
784871c424
docs_version_pragma_check.sh: Get binaries from soliditylang.org, not github.io
2020-12-12 04:52:16 +01:00
Kamil Śliwak
74b5560f7e
docs_version_pragma_check.sh: Fix broken variable comparison hiding missing compiler version warnings
2020-12-12 04:51:16 +01:00
Kamil Śliwak
2481f2c6bb
common_cmdline.sh: Fix misspelled $args
2020-12-12 04:51:11 +01:00
chriseth
482bda6887
Merge remote-tracking branch 'origin/develop' into breaking
2020-12-10 12:15:52 +01:00
Daniel Kirchner
e691b7402a
Move standard-json "modelCheckerSettings" key to "settings.modelChecker".
2020-12-09 15:53:32 +01:00
chriseth
a5bd22795e
Force running abi coder v1 instead of v2.
2020-12-09 15:25:15 +01:00
Alex Beregszaszi
47b10fd751
Report warning if contract uses abicoder v1, but IR is requested
2020-12-09 01:20:58 +00:00
Kamil Śliwak
8edd5d4fd9
Make printError() print to stderr
2020-12-08 16:01:41 +01:00
Daniel Kirchner
a3a5d93b34
Drop direct support for Ubuntu 18.04 and switch to static PPA releases for it.
2020-12-07 18:18:41 +01:00
Kamil Śliwak
55ccfc32f5
Remove external test scripts from shellcheck ignores
2020-12-03 22:17:44 +01:00
Kamil Śliwak
a6921bc39b
external test scripts: Add missing bash shebangs
2020-12-03 22:17:44 +01:00
Kamil Śliwak
3590311e6f
external test scripts: Replace the old dollar expressions with newer variants
2020-12-03 22:17:44 +01:00
Kamil Śliwak
0a29218848
external test scripts: Quote variables properly
2020-12-03 22:17:44 +01:00
Alex Beregszaszi
43353bb6ca
update tests
2020-12-03 17:15:43 +01:00
chriseth
3862ceb528
Merge pull request #10481 from mattcoding4days/patch-1
...
Update install_deps.sh
2020-12-03 11:50:38 +01:00
Matt Williams
7015d971c5
Update install_deps.sh
...
Add support for Pop!_OS
2020-12-02 12:08:15 -08:00
Leonardo Alt
fa561dbd0e
Add uncovered test and replace uncovered tests by asserts
2020-11-30 18:46:47 +01:00
Alexander Arlt
46844d433d
buildpack-deps: Update hera to 0.3.2.
2020-11-26 18:28:17 -05:00
Alexander Arlt
81b769b844
[ci] docker_upgrade.sh: use of environment files.
2020-11-26 18:28:17 -05:00
chriseth
36f9392154
Merge pull request #10361 from ethereum/bytecode-comparison-build-dir-outside-repo-root
...
Allow BUILD_DIR outside of REPO_ROOT in storebytecode.sh
2020-11-24 14:48:22 +01:00
Alex Beregszaszi
98d93b95a1
Add Ether as an exception to codespell
2020-11-23 17:19:01 +00:00
Alex Beregszaszi
5b283f4a08
Merge pull request #10364 from ethereum/bytecode-comparison-with-model-checker-engine-none
...
Disable SMT checker instead of stripping SMT pragmas in bytecode comparison
2020-11-20 20:00:27 +00:00
Kamil Śliwak
fc1ade7cf6
Use modelCheckerSettings to disable SMT in bytecode comparison instead of stripping the pragmas
2020-11-20 18:53:15 +01:00
Kamil Śliwak
4cf4b03cc8
Remove unused storebytecode.bat
2020-11-20 16:13:30 +01:00
Kamil Śliwak
31a0a31c26
storebytecode.sh: Allow BUILD_DIR outside of REPO_ROOT
2020-11-20 16:12:56 +01:00
Alexander Arlt
fee871775b
[ci] Add check to detect broken symlinks.
2020-11-18 19:18:06 -05:00
Kamil Śliwak
5560239cf5
Replace links to readthedocs.io with ones using the new domain
2020-11-18 15:20:34 +01:00
Leonardo Alt
00858c0ccf
Isoltets SMTChecker option and BMC specific tests
2020-11-06 15:03:38 +00:00
Alex Beregszaszi
1536e49b3d
Add more syntax tests for uncovered cases
2020-11-05 10:30:09 +00:00
Christian Parpart
c00a825b10
error_codes.py: Remove IDs of tests that are now tested in yulSyntaxTests/
2020-11-04 12:03:33 +01:00
Leonardo Alt
daf859c15b
[SMTChecker] report SMTEncoder warnings also via CHC
2020-11-03 16:06:17 +00:00
chriseth
38d58a4587
Merge pull request #10072 from ethereum/disableTravis
...
Disable travis.
2020-10-21 18:57:38 +02:00
Martin Blicha
f0d81601db
[SMTChecker] Adding division by zero checks in the CHC engine
2020-10-21 14:48:33 +02:00
chriseth
3654dccb96
Disable travis.
2020-10-19 18:06:30 +02:00
chriseth
3217b6a8c6
Build release build on tags.
2020-10-19 18:01:47 +02:00
Martin Blicha
1511f59a7e
Warning 1218 'CHC: Error trying to invoke SMT solver' no longer happens in the tests
2020-10-16 16:17:32 +02:00
Daniel Kirchner
8e42015dd3
Fix windows builds.
2020-10-16 11:48:50 +02:00