cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
21,829 Commits 348 Branches 121 Tags 100 MiB
a2a5ca6fef
Commit Graph

808 Commits

Author SHA1 Message Date
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
Daniel Kirchner
d20939888d Add more build flags for compatibility with ossfuzz /usr/local/lib/libc++.a 2020-10-15 15:49:19 +02:00
Daniel Kirchner
dce8039cdd Update boost and download source archive instead of using git. 2020-10-15 15:49:19 +02:00
Daniel Kirchner
a34e5bf111 Remove antlr and add libabicoder to ossfuzz docker image. 2020-10-15 15:49:19 +02:00
Daniel Kirchner
2bfa3487cb
Merge pull request #10044 from ethereum/removeAntlrDep 
ossfuzz: Remove antlr4 build deps
 2020-10-15 15:48:53 +02:00
Bhargava Shastry
5023d3decb ossfuzz: Remove antlr4 build deps 2020-10-15 12:59:18 +02:00
Daniel Kirchner
9d873b102e Stop calling yourselves nightlies! 2020-10-15 00:48:56 +02:00
Daniel Kirchner
9726ed8586 Perform bytecode comparison on CircleCI. 2020-10-15 00:48:56 +02:00
Daniel Kirchner
f7e5831afc Remove .circleci/config.yml from cache keys and move cache check to install_deps script. 2020-10-14 23:20:09 +02:00
chriseth
875dc0f10c
Merge pull request #9481 from ethereum/evmc-vms-evm-ewasm-ci 
[circleci] Enable ewasm tests.
 2020-10-01 20:37:21 +02:00
Alexander Arlt
d38eb75fb5 [circleci] Enable ewasm tests. 2020-10-01 13:21:39 -05:00
a3d4
a244daaacb Exclude tests with overly deep nesting from antlr grammar checks 2020-09-29 20:20:20 +02:00
a3d4
3698cd54a5 Complete error coverage of Parser and SyntaxChecker 2020-09-29 16:07:02 +02:00
Leonardo Alt
352cce5fc8 [SMTChecker] Support addmod and mulmod. 2020-09-29 12:45:19 +02:00
a3d4
9721bda36e Complete error coverage of ParserBase 2020-09-28 01:56:25 +02:00
chriseth
8979174f02 Re-add the release script still used by appveyor. 2020-09-21 12:23:41 +02:00
Daniel Kirchner
a1de862135 Set ErrorActionPreference on all powershell scripts and add explicit error checks. 2020-09-17 14:44:52 +02:00
Daniel Kirchner
23fa0a5387 Test run for CircleCI windows builds. 2020-09-17 14:44:52 +02:00
Christian Parpart
165f898ba9 Release build for Windows. 2020-09-17 13:32:32 +02:00
Daniel Kirchner
d66b6f1c46 CircleCI Windows config and install_deps.ps1 script. 2020-09-16 12:50:31 +02:00
chriseth
2f41245e43 Commandline test for unimplemented IR. 2020-09-15 14:42:04 +02:00
Daniel Kirchner
32a322e3f8 Add groovy to static Z3 deps PPA script. 2020-09-14 23:09:28 +02:00
Daniel Kirchner
1312d547c2 Remove obsolete eoan from static z3 PPA script. 2020-09-14 23:09:28 +02:00
Daniel Kirchner
7288e391e6 Bump Z3 version in static Z3 PPA build to 4.8.9. 2020-09-14 23:09:28 +02:00
Daniel Kirchner
6ce33bc27b
Merge pull request #9799 from ethereum/z3_docker 
Update z3 on docker files
 2020-09-14 20:02:34 +02:00
Leonardo Alt
4e448ad798 Change build hashes 2020-09-14 19:07:40 +02:00
Daniel Kirchner
b4fbbf88e0 Add groovy to PPA release script. 2020-09-14 16:33:16 +02:00
Leonardo Alt
dc20e7b4b7 Update z3 on docker files 2020-09-14 16:25:29 +02:00
Daniel Kirchner
65b2505d5d Remove obsolete eoan from the PPA release script. 2020-09-14 13:52:08 +02:00
Daniel Kirchner
5b64f0b7ed Drop i386 from the PPA release script. 2020-09-02 18:26:05 +02:00
chriseth
ea38ff0348
Merge pull request #9715 from ethereum/macosx-readlink 
OSX: Fix readlink & ASTImportTest.sh issues.
 2020-09-01 12:26:01 +02:00
Alexander Arlt
5f7b4a2e05 OSX: Fix readlink issues and that ASTImportTest.sh silently ignores errors. 2020-08-31 21:04:25 -05:00
chriseth
0203eea20e
Merge pull request #9649 from a3d4/improve-error-coverage-erorrecovery 
Complete test coverage for errors related to parser error recovery
 2020-08-31 18:33:19 +02:00
chriseth
286cac47c8
Merge pull request #9587 from ethereum/docs-link-cleanup 
[docs] Fix broken and outdated links
 2020-08-31 13:11:36 +02:00
chriseth
7346165b6c
Merge pull request #9688 from ethereum/fix-9675 
ossfuzz: Generate antlr4 runtime deps
 2020-08-31 13:07:03 +02:00
Kamil Śliwak
26ccb98222 docs: Update old external links to use HTTPS where possible 2020-08-31 12:46:45 +02:00
Bhargava Shastry
6101590d93 ossfuzz: Generate antlr4 runtime deps 2020-08-27 17:33:29 +02:00
Bhargava Shastry
a25c666e4a Docker: Install antlr4 deps in ossfuzz docker 2020-08-27 15:56:26 +02:00
chriseth
221524b153
Merge pull request #9606 from ethereum/newGrammar 
Rewrite of the antlr grammar.
 2020-08-26 09:57:13 +02:00
a3d4
0ee4a85a84 Complete test coverage for errors related to parser error recovery 2020-08-20 16:14:39 +02:00
a3d4
ad311fae19 Improve error coverage of syntax checker 2020-08-20 03:23:21 +02:00
Daniel Kirchner
bd21535dd1 Rewrite of the antlr grammar. 2020-08-19 17:55:31 +02:00
a3d4
0f5d0b6455 Improve error coverage of parser 2020-08-19 01:37:11 +02:00
Mathias Baumann
53dd818e96 Ignore UTF errors when handling test files in python 2020-08-17 17:06:06 +02:00
Alex Beregszaszi
028f77e8cc Remove covered test cases from error_codes.py exception list 2020-08-05 21:22:00 +01:00
Alex Beregszaszi
a27b79fece Add yulSyntaxTests to error_codes.py 2020-08-05 11:37:04 +01:00
a3d4
0c3e0a65cf Extend error_codes.py to to detect newly introduced error codes, not covered by tests 2020-08-03 04:28:35 +02:00
chriseth
ba4e05c62c
Merge pull request #9436 from a3d4/improve-error-coverage-256-warnings 
Improve error coverage (white list build-specific warnings)
 2020-07-23 13:44:13 +02:00
chriseth
ae41cc4da5
Merge pull request #9471 from ethereum/add-hera-to-buildpacks 
Add Hera to buildpacks.
 2020-07-23 13:19:36 +02:00
chriseth
69ff92db2b Switch to new ppa key. 2020-07-22 19:22:45 +02:00
Alexander Arlt
cbe9a2d240 Add Hera to buildpacks. 2020-07-22 11:17:05 -05:00
a3d4
9eed519faa Introduce white list of error codes, which are not covered by tests 2020-07-22 03:57:18 +02:00
a3d4
0a3c9ec358 Print source file names for uncovered error codes. 
Use more consistent naming.
 2020-07-21 15:23:22 +02:00
chriseth
f9753a5101
Merge pull request #9430 from ethereum/dockerHub 
Use docker hub for images.
 2020-07-16 16:22:48 +02:00
Daniel Kirchner
34c34bda26 Switch CI to new docker images. 2020-07-16 15:39:36 +02:00
Alexander Arlt
f7e180fb8f Push images to docker hub. 2020-07-16 14:14:51 +02:00
chriseth
ca313e4003 Use more processors to build base builds. 2020-07-15 16:45:20 +02:00
Alexander Arlt
aed424f23e Initial docker image creation workflows. 2020-07-14 19:00:48 -05:00
Daniel Kirchner
0fd13b7a9e Upgrade json-cpp to 1.9.3. 2020-07-10 21:40:15 +02:00
a3d4
a068583bec Cover cmdlineTests.sh errors 2020-07-09 14:39:05 +02:00
Daniel Kirchner
fe5bcf759e Run proof script only on existing files. 2020-07-08 22:57:36 +02:00
chriseth
f11b0336ad
Merge pull request #9300 from a3d4/introduce-errorcodes-next 
Introduce error_codes.py --next flag
 2020-07-06 15:17:30 +02:00
chriseth
64be079a26
Merge pull request #9309 from ethereum/fix-script-mismatched-docstrings-and-typos 
Fix a few mismatched docstrings and a typo in scripts/
 2020-07-06 14:01:37 +02:00
Kamil Śliwak
67ea1931ee A script that generates version string for nightlies 2020-07-03 23:42:04 +02:00
Kamil Śliwak
9b2c197091 Fix a typo in yul_converage script docstring 2020-07-03 21:21:15 +02:00
Kamil Śliwak
51522f99c4 Fix mismatched docstrings in some of the scripts 2020-07-03 21:20:29 +02:00
a3d4
e810d84a07 Introduce error_codes.py --next flag 2020-07-03 14:51:38 +02:00
a3d4
4fcf0b489a Refactor error_codes.py to simplify generation of new error codes 2020-07-03 01:26:26 +02:00
a3d4
919572d6ec Add --examine-coverage to fix_error_ids.py 2020-07-01 21:41:31 +02:00
step21
2a0d701f70 added raspbian 2020-06-18 10:29:06 +02:00
Daniel Kirchner
c4464b6dcd Update travis config to move to next docker image revision. 2020-06-11 20:20:22 +02:00
Daniel Kirchner
59ee743f6a Switch to upstream docker image for emscripten build. 2020-06-04 16:17:29 +02:00
a3d4
3bf236cf81 Refactor error ID checker script 2020-06-03 02:43:20 +02:00
chriseth
9f407fe0e7
Merge pull request #9031 from ethereum/extend-check-srcipt 
Add check for 0000_error to script
 2020-05-27 18:29:26 +02:00
Mathias Baumann
7548441b4f Check for wrong error codes in the CI 2020-05-27 18:02:58 +02:00
chriseth
421f9f3876 Disable smt checker for bytecodecompare. 2020-05-27 11:12:40 +02:00
chriseth
75df2342d6 Adding some debug messages to bytecode store. 2020-05-27 09:39:45 +02:00
Harikrishnan Mulackal
21e34d7ca9 Fixed seed for randomness, fixed conflicts in errorids 2020-05-26 18:21:47 +05:30
Mathias Baumann
7f3d437ffe Fix caret position for errors with utf source 2020-05-25 14:27:03 +02:00
a3d4
a499ef16fa Fix spelling errors 2020-05-25 02:54:37 +02:00
Leonardo Alt
c6742e3752 Fix typo in correct error ids script 2020-05-17 23:24:31 +02:00
Daniel Kirchner
8fe27ac4b4 Add Dockerfile for an Emscripten build environment and use it for CI runs. 2020-05-14 18:14:47 +02:00
chriseth
b71a3f1f1d
Merge pull request #8939 from ethereum/updateZ3 
Update z3 to version 4.8.8.
 2020-05-14 16:36:49 +02:00
chriseth
61c746a575
Merge pull request #8873 from ethereum/picosha2 
Update picosha2 from upstream
 2020-05-14 14:33:56 +02:00
Daniel Kirchner
a7f6a4bee6 Update PPA scripts. 2020-05-14 14:12:01 +02:00
chriseth
bcc4bbcad7 Update test extraction script to recognize license identifier. 2020-05-13 22:16:34 +02:00
Mathias Baumann
d5d9ff6513 Update picosha2 from upstream 2020-05-12 15:25:22 +02:00
Harikrishnan Mulackal
170291f738
Merge pull request #8904 from ethereum/error-id-ignore-folders 
[error_id] Only walk into a given set of directories
 2020-05-12 16:20:33 +05:30
Harikrishnan Mulackal
bf7ab8d277 Error ids only walk into a given set of directories 2020-05-12 14:58:31 +05:30
Daniel Kirchner
c1ed5bbb0f Update Dockerfiles and CI scripts to Ubuntu 20.04 and simplify them. 2020-05-11 17:35:01 +02:00
Mathias Baumann
ff084c2809 Make error correction script user interaction case insensitive 2020-05-07 11:29:57 +02:00
chriseth
5e46ef7df5
Merge pull request #8680 from a3d4/fix-5819-tagging-error-cases 
Tag error cases with unique IDs
 2020-05-07 01:12:56 +02:00
a3d4
2d984b77a1 Add a script to correct IDs 2020-05-06 14:25:13 +02:00
Mathias Baumann
a93d79ff28 Remove obsolete flag --optimize-yul from scripts 2020-05-06 11:49:40 +02:00
Alexander Arlt
d0bed50260 [ci] add chk_shellscripts 2020-04-27 07:55:59 -05:00
Kamil Śliwak
3e65bcfd7f Allow SOLIDITY_BUILD_DIR outside of REPO_ROOT in scripts that respect this variable 2020-04-17 19:09:22 +02:00
Kamil Śliwak
a80b032081 Fix inconsistent indentation in scripts/ 
- NOT reindenting all files. Just choosing one style in files that were using multiple.
 2020-04-17 19:09:02 +02:00
Leonardo
4fbe39b5e6
Merge pull request #8649 from ethereum/tryRight 
Fix error reporting on diff.
 2020-04-15 15:27:35 +02:00
chriseth
cf2bd41837
Merge pull request #8554 from aarlt/yul_coverage_script 
Add script to determine percentage of tests compilable via Yul.
 2020-04-15 11:58:57 +02:00
chriseth
8dd02f2712 Change error reporting from left to right. 2020-04-09 17:27:50 +02:00
David Cian
f682942f96 Make CircleCI post diff review for style violation 
The CircleCI robot now also posts a review comment
directly on the diff (on GitHub, the changes tab),
where the style violations take place.
 2020-04-09 16:56:25 +02:00
Jason Cobb
1cf8a6c9d2
Use readlink -f instead of realpath in ASTImportTest.sh 2020-04-06 10:10:58 -04:00
Alexander Arlt
d8671d9c14 Add script to determine percentage of tests compilable via Yul. 2020-04-04 18:04:54 -05:00
Djordje Mijovic
64ae889dd7 Enabling pragma with > in minimum version check 2020-03-31 23:50:24 +02:00
Christian Parpart
0e66e07e5c Add antlr-based grammar and test it. 2020-03-24 11:07:51 +01:00
chriseth
8834b1acaf
Merge pull request #8464 from aarlt/end-to-end-verified 
[test] Extraction of 292 tests from SolidityEndToEndTest.cpp
 2020-03-19 14:42:04 +01:00
Erik Kundt
50c22f0800 Adds script which compiles docs example with minimum compiler version. 2020-03-18 19:27:38 +01:00
Alexander Arlt
df8e762bf9 Add tools: create_traces.sh, remove-testcases.py & verify-testcases.py 2020-03-18 11:56:43 -05:00
Daniel Kirchner
420f57aec3 Fix yul ast import for blocks, switches and string literals. 2020-03-05 14:09:13 +01:00
chriseth
a56159368a
Merge pull request #8322 from ethereum/bytecodeRepoDirectoryNames 
Add hour and minute to bytecode repo directory names.
 2020-02-18 15:51:01 +01:00
Bhargava Shastry
5d5bb00716 Fix script used for fuzzer nightly test 2020-02-18 13:24:10 +05:30
Daniel Kirchner
e8bb212ec6 Add hour and minute to bytecode repo directory names 2020-02-15 14:44:37 +01:00
Daniel Kirchner
50adb2943a Prevent windows line endings in bytecode report. 2020-02-14 17:03:48 +01:00
chriseth
7115f6fe41
Merge pull request #8304 from ethereum/fix-macos-ast-test 
Fix AST JSON test on MacOS
 2020-02-14 14:03:59 +01:00
chriseth
2917cf4bbc
Merge pull request #8118 from ethereum/wasmRebuilds 
Experimental wasm soljson.js rebuild scripts
 2020-02-14 13:00:33 +01:00
Daniel Kirchner
2f8683510d Add readme. 2020-02-14 12:48:21 +01:00
Erik Kundt
3633557f8a Fixes command line tests on MacOS. 2020-02-14 12:29:33 +01:00
chriseth
5ec8202e6e Add Ubuntu Focal. 2020-02-13 22:34:25 +01:00
chriseth
946f74748c
Merge pull request #8289 from ethereum/fix-8219 
Switch nightly fuzzer build from ASan (slow) to UBSan (fast)
 2020-02-12 16:18:32 +01:00
Mathias Baumann
3a4cb016ff Add codestyle rule to prevent include ".." 2020-02-11 13:03:46 +01:00
Bhargava Shastry
3623026505 Switch nightly fuzzer build from ASan (slow) to UBSan (fast) 2020-02-11 14:43:37 +05:30
Christian Parpart
07a04bed44 python: Fixing some python2-to-python3 migrations that I missed in the last PR. 2020-02-04 22:26:11 +01:00
Christian Parpart
6ab385d34a CircleCI: Adds pylint test for all python files in test/ directory. 2020-02-04 22:26:10 +01:00
Christian Parpart
4b38f499ae pylint: reduces max-line-length to something more reasonable 2020-02-04 17:00:05 +01:00
Christian Parpart
a3421709fe python: Fixing some python2-to-python3 migrations that I missed in the last PR. 2020-02-04 17:00:05 +01:00
Christian Parpart
05b4ac0d29 CircleCI: Adds pylint test for all python files in test/ directory. 2020-02-04 17:00:05 +01:00
chriseth
7a194ffdab
Merge pull request #8225 from ethereum/travis-bytecodecomp 
Travis: run bytecode comparison only on PRs
 2020-02-03 17:29:55 +01:00
Daniel Kirchner
a44ba4e994 Do not remove leading zeros from commit hashes while publishing. 2020-02-03 12:50:19 +01:00
Daniel Kirchner
0508e24385 Add symlinks to solc-bin/wasm for releases. 2020-02-03 12:49:39 +01:00
Christian Parpart
1b310a93a2 travis: Run byte code comparison only if current travis job is a pull request (not a push-build). 2020-02-03 12:29:49 +01:00
Erik Kundt
4a87f6e403 Removes the binary option from JSON AST extraction script. 2020-01-28 16:11:10 +01:00
Mathias Baumann
7eb5fd1ca9 Appveyor: Prevent git from warning on std out 2020-01-27 18:28:23 +01:00
chriseth
8f36dd1571 Fix extract tests on windows. 2020-01-23 16:36:46 +01:00
cameel
d48883ca17 Fix crashes in prepare_report.py caused by using str where bytes is expected and vice-versa 
1) `Popen.communicate()` expects `bytes` (a raw, binary string) if `stdout`/`stderr` are open in binary mode but is given output from `json.loads()` which is str (an abstract unicode string). Encoding the `str` object into `bytes` using UTF-8 encoding fixes that.
2) `REPORT_FILE` gets opened in binary mode which means that functions like `write()` expect `bytes`. We're giving them `str` which results in an error. Changed mode to text solves the problem.
 2020-01-20 17:33:44 +01:00
Daniel Kirchner
22466acf39 Experimental wasm rebuild scripts 2020-01-16 18:47:36 +01:00
chriseth
6ab8802601
Merge pull request #8132 from ethereum/drop-lll 
Remove the LLL compiler
 2020-01-15 15:15:22 +01:00
Christian Parpart
54b81b0fda python scripts: Some pylint tweaks. 2020-01-15 14:21:33 +01:00
Christian Parpart
44e892634b Use Python 3 instead of Python 2 (EOL'd) 2020-01-15 14:20:43 +01:00
Alex Beregszaszi
106ac296b9 Remove LLL from release scripts 2020-01-15 13:18:24 +00:00
chriseth
b3fe84a6ea
Merge pull request #7153 from djudjuu/newImportAST 
import ast from JSON
 2020-01-14 17:56:53 +01:00
djudjuu
e8556fa1b2 Ast-Import from standard-json 2020-01-14 17:15:53 +01:00
Daniel Kirchner
90e494615e Build soljson.js with embedded base64-encoded wasm binary. 2020-01-13 10:51:48 +01:00
chriseth
57c00eece8 Require specific version of g++ to make PPA happy. 2019-12-11 15:29:19 +01:00
chriseth
07d271e770 Merge remote-tracking branch 'origin/develop' into develop_060 2019-12-10 10:07:30 +01:00
chriseth
9b4abb2b7f Change jsoncpp version everywhere. 2019-12-09 18:39:18 +01:00
Alex Beregszaszi
ac03bfc0b1 Drop solc-js backwards compatibility for 0.6 
Reverts ee3a8341
 2019-12-09 17:33:50 +00:00
chriseth
071a52f0ff Merge remote-tracking branch 'origin/develop' into develop_060 2019-12-09 14:43:53 +01:00
Alex Beregszaszi
ee3a834165 Add backwards compatibility to the generated soljson.js for solc-js <0.5.14 
Reverts part of edd80a9
 2019-12-09 13:17:32 +00:00
chriseth
2f11ac3590 Merge remote-tracking branch 'origin/develop' into develop_060 2019-12-03 21:17:15 +01:00
chriseth
96d777d7f1 Merge commit 'a7d481fb9' into develop_060 2019-12-03 20:47:30 +01:00
Daniel Kirchner
c9be3bdf7e Rename cmake option 2019-12-03 15:11:38 +01:00
Daniel Kirchner
e04d8955ab Update to Z3 4.8.7 and cherry-pick build fix commit 2019-12-03 14:41:02 +01:00
Daniel Kirchner
edd80a986d Update emscripten to 1.39.3 2019-11-29 12:55:02 +01:00
Daniel Kirchner
cdbaf067c7 Internal emscripten build cleanup 2019-11-29 10:21:29 +01:00
chriseth
f7fc42d8c3
Merge pull request #7826 from ethereum/develop 
Merge develop into develop_060
 2019-11-28 13:37:19 +01:00
mingchuan
db60d123d0 [YulOpt] Implement loop-invariant code motion 2019-11-28 11:59:29 +01:00
Leonardo Alt
389da5228e Merge remote-tracking branch 'origin/develop' into merge_develop_060 2019-11-20 12:27:40 +01:00
chriseth
0033d63522 Run more tests on istanbul. 2019-11-19 17:09:18 +01:00
Leonardo
684ccea6f0
Merge pull request #7697 from ethereum/develop 
Merge develop into develop_060
 2019-11-12 15:30:34 +01:00
Bhargava Shastry
066626a3e8 Remove obsolete installation scripts that were used by the fuzzer build CI 2019-11-12 11:26:59 +01:00