 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 |
|