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