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
23,751 Commits 348 Branches 121 Tags 100 MiB
f344dc164e
Commit Graph

962 Commits

Author SHA1 Message Date
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
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
Daniel Kirchner
8148619d5b Merge branch 'develop' into develop_060 2019-11-12 10:32:41 +01:00
Mathias Baumann
e35a23bbcc Add `switch (..) to style checker 2019-11-11 17:44:21 +01:00
Mathias Baumann
e643c4ca28 Add `while (..) to style checker 2019-11-11 17:28:41 +01:00
Daniel Kirchner
b3174db322 Update PPA build script for Z3 to version 4.8.6. And add eoan to Z3 and release PPA script. 2019-11-11 14:55:00 +01:00
chriseth
21e65076b3
Merge pull request #7650 from ethereum/develop 
Merge develop into develop_060
 2019-11-06 21:56:55 +01:00
Chris Chinchilla
c9a56d5339 Remove macOS flag 2019-11-05 17:02:37 +01:00
chriseth
07c67b98f6 Merge remote-tracking branch 'origin/develop' into HEAD 2019-10-28 12:12:52 +01:00
Erik Kundt
ec53899a10 Fixes source extraction from docs. 2019-10-23 22:13:24 +02:00
Mathias L. Baumann
7e01696030
Merge pull request #7554 from ethereum/develop 
Merge develop into develop_060
 2019-10-21 17:05:12 +02:00
kcy1019
547cd2eb71 Remove dependency on boost::regex from Whiskers 2019-10-16 21:26:49 +09:00
chriseth
9719d28526
Merge pull request #7475 from ethereum/move-solcjs-tests 
Migrate solc-js tests
 2019-10-16 12:35:09 +02:00
Gaith Hallak
9d34d7de2f Remove trailing spaces from JSON output 2019-10-02 18:01:47 +03:00
Erik Kundt
8adde5abbe Migrates solc-js test to ext. test infrastructure. 
solc-js commit: 9d9de6338729cf5fbd62f479d54b7097e8a7e395
 2019-09-25 16:03:08 +02:00
Daniel Kirchner
c72d1ffb65
Merge pull request #7421 from ethereum/develop 
Merge develop into develop_060
 2019-09-13 12:14:02 +02:00
Erik Kundt
ad5fe2bf45 Fixes codespell. 2019-09-12 22:15:03 +02:00
chriseth
acf10ef60f
Merge pull request #7393 from ethereum/develop 
Merge develop into 0.6.0
 2019-09-10 12:27:02 +02:00
Daniel Kirchner
998f7de2c8 Change command line test from --ast to --ast-json. 2019-09-06 13:46:18 +02:00
Crawford Leeds
4138fc4b59 add support for macOS Catalina in scripts/install_deps.sh 2019-09-05 21:20:02 -06:00
Daniel Kirchner
ef407ea896 Try to fix appveyor run by chaning bytecode pull output from stderr to stdout. 2019-09-04 10:57:01 +02:00
Christian Parpart
e91c6acbc3 Defaulting to C++17 for building. 2019-08-13 16:19:18 +02:00
Daniel Kirchner
bd105ad4b1 Experimental static Z3 PPA script. 2019-08-13 16:19:18 +02:00
Mathias Baumann
30373d5719 Test scripts: Make build dir a variable 2019-08-13 12:44:29 +02:00
Daniel Kirchner
2f48bd6fb9 Remove ubuntu cosmic (EOL July 18, 2019) from release script. 2019-08-12 11:36:48 +02:00
chriseth
77212627fb Remove traces of aleth and IPC. 2019-08-08 17:35:46 +02:00
rocky
7fd7cc1e76 Produce AST even when there are parser errors 2019-08-07 15:25:53 +02:00
Chris Chinchilla
85ec44826a Add style checker 
Rename files

Changes from review

Update test/docsCodeStyle.sh

Co-Authored-By: chriseth <chris@ethereum.org>
Update test/docsCodeStyle.sh

Co-Authored-By: chriseth <chris@ethereum.org>
Remove extraneous brackets
 2019-08-05 13:00:30 +02:00
Christian Parpart
cb5df90251
Change the way release_ppa.sh treats branches. 
Only release branch is treated release branch,
and everything else is treated a development branch.
 2019-07-22 14:49:30 +02:00
Christian Parpart
7b3aba81fb Adds a test to check_style.sh to check for spaces before colon (:) in range based for loops. 2019-06-24 17:32:58 +02:00
Christian Parpart
b58170f890
Refactor & Speedups on CircleCI; split out out codecov into dedicated tests. 2019-06-21 20:26:10 +02:00
Leonardo Alt
c3ccce9745 Fix run_proofs script to actually run proofs 2019-06-20 15:58:10 +02:00
Leonardo Alt
51ba7f5f17 Add CI job for optimization proofs 2019-06-19 22:29:23 +02:00
Daniel Kirchner
cb9c35f883 Define imported targets manually, if not provided by find_package(Boost). 2019-06-06 21:03:33 +02:00
Daniel Kirchner
2ec45797b2 Update boost to 1.70 for emscripten and cache a proper installation. 2019-06-06 18:49:34 +02:00
Bhargava Shastry
a52e1f4130 Install evmone and its dependencies 2019-05-28 10:58:03 +02:00
Mathias Baumann
ed5c77e9a8 Completely fix spelling 2019-05-21 11:57:16 +02:00
Mathias Baumann
cbf81b123a Fix new found spelling mistakes and add exceptions 2019-05-21 10:59:34 +02:00
chriseth
7ab8cc60c9
Merge pull request #6556 from ethereum/wasmCodeTransform 
Prototype for Wasm code transform
 2019-05-07 17:48:48 +02:00
Mathias Baumann
d8873f52df Update to aleth v1.6.0 2019-05-07 16:03:53 +02:00
chriseth
c3705f268c Add global variables and support multi-return and multi-assignment. 2019-05-02 18:37:13 +02:00
Bhargava Shastry
9b56bd1db4 Run all tests and summarize failures, add new fuzzers to artifact 2019-04-30 17:00:33 +02:00
Bhargava Shastry
a48c762513 Print dots in background to prevent circle CI from reporting a timeout because nothing was flushed to stdout in over 10 minutes 2019-04-29 11:14:16 +02:00
Bhargava Shastry
91d9e52d7d Fix log parsing error 2019-04-26 11:47:46 +02:00
Bhargava Shastry
98815fb98a Updated script to treat libFuzzer errors as failures 2019-04-24 19:52:47 +02:00
chriseth
4312f6ec23
Merge pull request #6475 from ethereum/ossfuzz-regression-ci 
ossfuzz regression ci
 2019-04-19 00:44:05 +02:00
rocky
b06b996461 soltest.sh, EthOptions.cmake, and CODING_STYLE.md tweaks 
solidity.sh:
  * introduce SOLIDITY_BUILD_DIR env var for soltest.sh,
  * add --help output

EthOptions.cmake: more complete configuration information

CODING_STYLE.md: note existence of .editorconfig
contributing.rst: note that tests are Boost C++ unit tests
 2019-04-18 07:53:28 -04:00
Bhargava Shastry
33ccc19619 Add a nightly run for ossfuzz regression tests 2019-04-17 15:31:40 +02:00
Daniel Kirchner
4e6ffc744d Update aleth to version 1.6.0-rc.1. 2019-04-12 16:11:41 +02:00
Mathias Baumann
977c7d333e Disable aleth log output again on the CI 2019-04-04 16:39:15 +02:00
Mathias Baumann
1466cbaa0c Log more lines from aleth 2019-04-04 16:39:15 +02:00
chriseth
c0ce540e26 Run tests with both ABIV2 and Yul optimizer. 2019-04-04 13:18:30 +02:00
chriseth
8942c5acfb
Merge pull request #6394 from ethereum/yet-more-info 
Log aleth output upon test failure
 2019-04-03 13:17:27 +02:00
Mathias Baumann
9633b285ab Log aleth output upon failure 2019-04-03 12:43:15 +02:00
Mathias Baumann
4c24cce386 Replace tab with spaces in test.sh 2019-04-03 10:59:36 +02:00
Bhargava Shastry
0d2566fa71 Add CI to build ossfuzz fuzzer binaries 2019-04-03 10:27:05 +02:00
Mathias Baumann
bddef01fdd Decrease xml test log size 2019-04-01 12:38:29 +02:00
Erik Kundt
470c161e50 Fixes boost repository URL in CentOS install script. 2019-03-13 19:55:36 +01:00
Erik Kundt
b907e550b2 Passes the docker password in Travis via stdin. 2019-03-05 11:29:46 +01:00
chriseth
19761a08fa Update bytecode output to cope with metadata-only compilability. 2019-03-04 17:38:45 +01:00
Alex Beregszaszi
ecd246aeb6 Support petersburg in evmVersion 2019-03-04 14:10:41 +01:00
Mathias Baumann
98b7dc2881 Change emscripten default build dir to "emscriptenBuild" 
Avoids complications with local build directory when building.
 2019-02-27 12:30:15 +01:00
chriseth
bde25a06c2 Simplify emscripten build script 2019-02-25 14:20:37 +01:00
Alex Beregszaszi
5bbd65c5ca Run constantinople in regular and in force-abiv2 mode. 2019-02-20 16:55:19 +01:00
Daniel Kirchner
0408130338
Merge pull request #6003 from ethereum/moreStyleChecks 
Even more style checks.
 2019-02-15 11:52:32 +01:00
Daniel Kirchner
794e519af8 Update aleth version to 1.5.2. 2019-02-14 12:45:06 +01:00
Daniel Kirchner
8d7ccff1c0 Improve style of style check script. 2019-02-14 11:54:52 +01:00
Daniel Kirchner
809b9a95f9 Even more style checks. 2019-02-14 11:53:00 +01:00
Daniel Kirchner
8ca6715e18 More style checks. 2019-02-14 11:41:20 +01:00
chriseth
dbb5438fed Add coding style check for "const" position and spaces/tabs. 2019-02-13 16:34:49 +01:00
chriseth
5c50e8fa99 Switch from Z3 to CVC4 as SMT solver for Ubuntu PPA. 2019-02-06 15:48:07 +01:00
Daniel Kirchner
027e1781d3 Install static boost on Alpine linux. 2019-02-04 13:13:34 +01:00
chriseth
8c4c581eed Add disco. 2019-01-22 22:26:38 +01:00
chriseth
0a3beb72f2 Some improvements to the ppa release script. 2019-01-22 18:22:54 +01:00
chriseth
4c9bbd85e6 Patch soljson.js to provide backwards compatibility with older emscripten versions. 2019-01-21 15:33:36 +01:00
Alex Beregszaszi
a582f0bec1 Update to emscripten 1.38.22 2019-01-18 16:49:21 +00:00
Daniel Kirchner
5baac8470b Use emscripten 1.38.8 on both travis and circle. 2019-01-17 18:31:34 +01:00
Christian Parpart
b7eaa4f8d3
Ensuring we use at least boost 1.65, build static on Xenial, and adapt CircleCI accordingly. 2019-01-14 16:10:26 +01:00
chriseth
c00c0690e8
Merge pull request #5738 from ethereum/emscriptenBoost168 
Update to boost 1.68 for emscripten builds.
 2019-01-07 14:34:23 +01:00
Daniel Kirchner
17e781f8d2 Change uid and gid for source tarball to 0:0. 2019-01-07 13:56:50 +01:00
Daniel Kirchner
c265bc4c0d Update to boost 1.68 for emscripten builds. 2019-01-07 13:30:49 +01:00
Alex Beregszaszi
aca9e58145
Merge pull request #5703 from ethereum/srcTarball 
Remove real username from source tarballs.
 2019-01-07 11:35:52 +00:00
Asher
3d64b0b0ec
Update install_deps.sh 
In install_deps.sh, line 59 (sed -n -e 's/^NAME="?([^"])"?$/\1/p' /etc/os-release) will get CentOS Linux instead of CentOS, so it cant match CentOS.
I suggest that in line 355， can modified " CentOS)" to " CentOS*)"
 2019-01-03 10:05:08 +08:00
chriseth
687558f046 Remove real username from source tarballs. 2018-12-20 07:23:08 +01:00
Paweł Bylica
b57a36ddae CMake: Use toolchain files 2018-12-19 12:32:15 +00:00
chriseth
7b1a6798e6 Remove support for Visual Studio 2015. 2018-12-17 18:56:23 +01:00
chriseth
02a8e5d4e9 Update to use memorydb for aleth. 2018-12-13 12:07:32 +01:00
chriseth
e85c3428b4
Merge pull request #5634 from ethereum/staticPPA 
Replace trusty PPA build by static PPA build.
 2018-12-12 18:43:08 +01:00
chriseth
17bf164afe
Merge pull request #4951 from ethereum/alethUpdates 
Use current aleth release for testing.
 2018-12-12 18:41:35 +01:00
Daniel Kirchner
60d7cc6049 Replace trusty PPA build by static PPA build. 2018-12-12 17:05:59 +01:00
Christian Parpart
5b86e3ec50 Enables C++14 standard (was C++11) within the Solidity compiler project. 2018-12-11 21:28:05 +01:00
Daniel Kirchner
6d82ad1338 Test updates for recent versions of aleth. 2018-12-11 04:47:05 +01:00
Christian Parpart
a3829516f0 build.sh bash script cleanup 
* use `set -e` to abort script execution when error codes fail (and haven't been checked)
* use [[ ]] instead of [ ] or test.
* use ROOTDIR/BUILDDIR variables for better readability
* use mktemp in order to avoid accidental name clashes.
* use `make install` instead of `install ...` as cleaner installation process
  * this however doesn't install soltest anymore, which I believe is
    right, as normal users should not need it installed in their system.
    Those who want to run the test suite, can do so manually
* allow optional passing of more additional custom args to cmake
 2018-12-10 14:59:55 +01:00
chriseth
8d9fa0f4fa Fix manual deploy script for alpine. 2018-12-05 12:03:28 +01:00
chriseth
6b11ef1887
Merge pull request #5513 from corollari/fedora-fix 
Detect Fedora properly in install_deps.sh
 2018-11-29 14:04:54 +01:00
Albert
87f9834381 Fix #5512 
Make the double quotes around the distro name optional so it matches properly in Fedora (`NAME=Fedora`)
 2018-11-28 23:18:44 +01:00
Justin Wilson
16d1bf3335 Builds both scratch & Alpine Docker images 
- Adds `Dockerfile_alpine`, which copies the complier from the scratch
   step into an Alpine image
 - Updates `docker_build.sh` to build the Alpine image
 - Updates `docker_deploy.sh` to tag and push the Alpine images
 - Updates `docker_deploy_manual.sh` to tag and push the Alpine images

The tags that are pushed follow:

 - Scratch
    - ethereum/solc:stable
    - ethereum/solc:0.5.1
    - ethereum/solc:nightly
    - ethereum/solc:nightly-0.5.1-bc7cb301e3d71756c8fbefe888aca53433302117
    - ethereum/solc:nightly-0.5.1-bc7cb301e3d71756c8fbefe888aca53433302117
 - Alpine
    - ethereum/solc:stable-alpine
    - ethereum/solc:0.5.1-alpine
    - ethereum/solc:nightly-alpine
    - ethereum/solc:nightly-alpine-0.5.1-bc7cb301e3d71756c8fbefe888aca53433302117
    - ethereum/solc:nightly-alpine-0.5.1-bc7cb301e3d71756c8fbefe888aca53433302117
 2018-11-27 13:45:59 -07:00
Chris Purta
5c67821af4 Script that directly comments errors to the github pull request. 2018-11-26 15:43:17 +01:00
chriseth
3672506de9 Fix bytecode report file. 2018-11-22 21:03:24 +01:00
Alex Beregszaszi
780990516b Fix storebytecode.sh for bytecode comparison 2018-11-22 15:27:38 +00:00
Daniel Kirchner
119aa107da Use emscripten 1.37.21 and boost 1.67.0 on both travis and circle. 2018-11-21 15:24:20 +01:00
chriseth
6ed3765941 Fix bytecode tests for solc-js 2018-11-13 13:57:31 +00:00
chriseth
28d98d61ef Use latest solcjs and replace compileStandard by compile. 2018-11-13 13:54:01 +00:00
chriseth
5256da03db Fix check style script. 2018-11-12 22:57:32 +01:00
chriseth
199a994e28 Update ubuntu versions. 2018-10-30 15:57:14 +01:00
mordax
40b9b52872 Remove another mention 2018-10-13 21:35:09 -04:00
chriseth
d76bfcd935 Fix typos. 2018-10-04 13:28:16 +02:00
chriseth
658bef5a38
Merge pull request #5115 from mestorlx/cleancircleci 
removed stray (B in CI test output
 2018-10-01 13:18:55 +02:00
Martin Diz
25f3565340 removed stray (B in CI test output 2018-09-28 19:27:55 -03:00
Chris Ward
d9b7fd1347 Add Mojave to dependencies script 
Add changelog entry

Moved changelog item

Updates from review
 2018-09-27 12:06:41 +03:00
liangdzou
982d883a88 enhance test_trailing_whitespace to test_check_style: several format rules for if/for are introduced 2018-09-20 21:31:16 +08:00
Daniel Kirchner
69673f5a4b Include origin filename in the filenames generated by isolate_tests.py. 2018-09-06 18:03:38 +02:00
chriseth
8da1f25030
Merge pull request #4897 from ethereum/trailingWhitespaceDetection 
Trailing whitespace detection script and circleci job.
 2018-09-04 18:20:57 +02:00
Daniel Kirchner
1ae6ec9038 Remove trailing whitespace. 2018-09-04 17:43:04 +02:00
Daniel Kirchner
1cd96b2dc4 Trailing whitespace detection script and circleci job. 2018-09-04 17:36:47 +02:00
Daniel Kirchner
9695d7b38d Use wildcards for MSVC version in scripts/release.bat. 2018-09-04 16:35:25 +02:00
Daniel Kirchner
b4a02522a4 Update generation of bugs_by_version.json. 2018-09-04 11:30:30 +02:00
Daniel Kirchner
a102f3b783 Remove trailing whitespace for all files in the repository. 2018-09-04 11:30:30 +02:00
chriseth
6a5a187d83 Also extract tests that do not start with a pragma. 2018-08-14 15:50:46 +02:00
chriseth
f873389c62 Test that documentation does not contain any warnings. 2018-08-14 15:50:46 +02:00
Christian Parpart
594102de6b
fixes tests.sh to not use hard-coded working dir and adds proper cleanup 
* Implicitely also allows concurrent runs.
* Properly cleanup of any working files created during runtime.
* Properly cleanup upon singals.
* Allow early-abort during cmdline tests without leaking processes.
 2018-08-01 10:25:24 +02:00
Alex Beregszaszi
4bd22399da Keep the proper aleth hash in contributing.rst 2018-07-18 10:20:18 +02:00
Cryptomental
d454cec1bd circleci: Integrate codespell. 
Run codespell against documentation and during Linux test run.
Use codespell_whitelist.txt dictionary to whitelist words that
should not be considered as misspelled.

Currently whitelist "iff" and "nd".

Refs: #4442
 2018-07-10 22:57:50 +02:00
chriseth
f6edb7fb8f
Merge pull request #4434 from mattaereal/patch-4 
Update isolate_tests.py
 2018-07-09 22:47:34 +02:00
Matías A. Ré Medina
5640eba382 Update isolate_tests to use simple quotes consistently. 
The previous code had double quotes and the project uses simple quotes.
 2018-07-09 11:28:34 +01:00
Matías A. Ré Medina
1ebeb7e588 Change isolate_tests to support single files as an input 
On the documentation the examples for the usage of isolate_tests.py are shown with single files, and it's currently not working. It only works for folders or wildcards that return more than one file, since that's how os.walk works within a loop for that cases.

Proposed an simple and easy fix.

I extracted the core functionality for extracting tests from files, and made another function called `extract_and_write`
If the program receives a single file the function `extract_and_write` is called once, it even works for `docs` when specified.
If the program receives a path or a wildcard, works as used to.
 2018-07-09 11:28:09 +01:00
Alex Beregszaszi
273be204b6 Rename eth to aleth in testing scripts 2018-07-09 11:10:39 +01:00
Alex Beregszaszi
8b8565c873 Simplify code regarding eth in tests.sh 2018-07-09 11:08:36 +01:00
chriseth
0e12903094 Pull before pushing to bytecode (as on *ix). 2018-07-05 12:18:43 +02:00
ajs
260e044db5 Avoid hanging in tests.sh when IPC program is not found 2018-07-02 22:23:49 -03:00
Alex Beregszaszi
d072cc6236 Update aleth for testing 2018-07-02 11:34:52 +02:00
ajs
fee4932906 Support Manjaro Linux distributions in dependencies script 2018-06-28 18:13:15 -03:00
Christian Parpart
37b5669ec3 make build concurrency build-time customizable 2018-06-26 12:13:03 +02:00
Christian Parpart
7546100776 Dockerfile: improves docker image size and small others 
This greatly improves size of the final docker image with the help of
multi-stage docker builds.

With that change, we can also make the build stage readable/maintainable
again by splitting up into multiple RUN statements as well as not
needing to clean-up temporary objects.

The dependencies have been put on top of the primary COPY statement
in order to not rebuild the dependencies each time one wants to rebuild
the docker image (for example due to code changes).

The solc compilation itself is now parallelized to the CPU core count
to speed up those builds that have more cores available on their docker
build system.

Future Notes:
-------------

We could further improve the Dockerfile by explicitely adding the
directories this docker build is interested in (such as solc source code
exclusively).

Or one may want to also use the build step for automated testing (CI)
by enforcing soltest and cmdlineTests.sh right before finalizing the image.
 2018-06-26 12:12:35 +02:00
chriseth
166a9e08e7 Use new PGP key and retire old ubuntu releases. 2018-06-21 20:29:16 +02:00
Leonardo Alt
e0d6050ca8 Use correct python version for the upgrade_bugs_by_version script 2018-06-18 13:55:01 +02:00
Daniel Kirchner
09c3317bd8 Correctly choose python version for scripts requiring python2. 2018-06-15 16:29:42 +02:00
bitshift
83ae2abad7 Updates Windows release to VS 2017 15.7.3 2018-06-11 11:53:03 +02:00
chriseth
7778eaf03a
Merge pull request #4073 from alibabe/fix-jsoncpp-install 
Install a different jsoncpp version on cirleci to ensure compilation never clashes with the internal one
 2018-05-28 22:06:14 +02:00
chriseth
b686fbbb32
Merge pull request #4180 from veox/use-pip-solidity-lexer 
docs: Use Solidity lexer from PyPI, instead of a local module
 2018-05-28 17:41:35 +02:00
Tim Holland
27adb6d6ad Supply git as an alpine linux dependency 
Otherwise, the docker build will fail complaining about not knowing a
commit hash to label the version with.
 2018-05-23 11:53:11 -04:00
Noel Maersk
9f9bae7ce1 docs: install requirements as part of doc-build script. 2018-05-23 17:10:29 +03:00
alibabe
54f83acee9 Install a different jsoncpp version on cirleci to ensure compilation never clashes with the internal one 
by progamatically installing jsoncpp to ensure the verison is alway 1.7.4
 2018-05-21 03:04:54 +00:00
Julius Huelsmann
4690f837e0 Fix install_deps.sh script for Arch Linux. 
Also added cvc4 as dependency.
 2018-05-17 14:39:12 +02:00
chriseth
0a63bc177b
Merge pull request #4052 from kylewu/vs-2017-build 
run both vs 2015 and vs 2017 in appveyor
 2018-05-08 10:33:16 +02:00
GuessWho
212956fa05 run both vs 2015 and vs 2017 in appveyor 2018-05-02 23:15:03 +02:00
Erik Kundt
743a714f21 Adds CircleCI config for macOS. 
Does not run ipc and smt tests.
 2018-05-01 03:23:07 +02:00
Alexander Arlt
a49dac8057 Install & use cmake provided by scripts/install_cmake.sh for emscripten 2018-04-23 11:10:39 +01:00