Leonardo Alt 00858c0ccf Isoltets SMTChecker option and BMC specific tests

2020-11-06 15:03:38 +00:00

..

bytecodecompare

Perform bytecode comparison on CircleCI.

2020-10-15 00:48:56 +02:00

chk_shellscripts

Disable travis.

2020-10-19 18:06:30 +02:00

ci

Disable travis.

2020-10-19 18:06:30 +02:00

deps-ppa

Add groovy to static Z3 deps PPA script.

2020-09-14 23:09:28 +02:00

docker/buildpack-deps

Add more build flags for compatibility with ossfuzz /usr/local/lib/libc++.a

2020-10-15 15:49:19 +02:00

endToEndExtraction

…

wasm-rebuild

Disable travis.

2020-10-19 18:06:30 +02:00

ASTImportTest.sh

OSX: Fix readlink issues and that ASTImportTest.sh silently ignores errors.

2020-08-31 21:04:25 -05:00

build_emscripten.sh

Disable travis.

2020-10-19 18:06:30 +02:00

build.sh

…

check_style.sh

Update picosha2 from upstream

2020-05-12 15:25:22 +02:00

codespell_whitelist.txt

Fix spelling errors

2020-05-25 02:54:37 +02:00

common_cmdline.sh

Adds script which compiles docs example with minimum compiler version.

2020-03-18 19:27:38 +01:00

common.sh

…

create_source_tarball.sh

Upgrade json-cpp to 1.9.3.

2020-07-10 21:40:15 +02:00

docker_deploy_manual.sh

…

Dockerfile

…

Dockerfile_alpine

…

docs_version_pragma_check.sh

Allow SOLIDITY_BUILD_DIR outside of REPO_ROOT in scripts that respect this variable

2020-04-17 19:09:22 +02:00

docs.sh

Update Dockerfiles and CI scripts to Ubuntu 20.04 and simplify them.

2020-05-11 17:35:01 +02:00

download_ossfuzz_corpus.sh

…

error_codes.py

Isoltets SMTChecker option and BMC specific tests

2020-11-06 15:03:38 +00:00

extract_test_cases.py

…

fix_homebrew_paths_in_standalone_zip.py

…

get_nightly_version.sh

A script that generates version string for nightlies

2020-07-03 23:42:04 +02:00

get_version.sh

Fix mismatched docstrings in some of the scripts

2020-07-03 21:20:29 +02:00

install_cmake.sh

…

install_deps.bat

…

install_deps.cmake

Fix inconsistent indentation in scripts/

2020-04-17 19:09:02 +02:00

install_deps.ps1

Fix windows builds.

2020-10-16 11:48:50 +02:00

install_deps.sh

docs: Update old external links to use HTTPS where possible

2020-08-31 12:46:45 +02:00

install_evmone.ps1

Set ErrorActionPreference on all powershell scripts and add explicit error checks.

2020-09-17 14:44:52 +02:00

install_obsolete_jsoncpp_1_7_4.sh

…

install_static_z3.sh

…

isolate_tests.py

Improve error coverage of syntax checker

2020-08-20 03:23:21 +02:00

isoltest.sh

…

pylint_all.py

…

pylintrc

…

regressions.py

…

release_ppa.sh

Add groovy to PPA release script.

2020-09-14 16:33:16 +02:00

release.bat

Re-add the release script still used by appveyor.

2020-09-21 12:23:41 +02:00

release.sh

…

report_errors.sh

Fix inconsistent indentation in scripts/

2020-04-17 19:09:02 +02:00

run_proofs.sh

Run proof script only on existing files.

2020-07-08 22:57:36 +02:00

soltest.sh

Allow SOLIDITY_BUILD_DIR outside of REPO_ROOT in scripts that respect this variable

2020-04-17 19:09:22 +02:00

splitSources.py

OSX: Fix readlink issues and that ASTImportTest.sh silently ignores errors.

2020-08-31 21:04:25 -05:00

test_antlr_grammar.sh

Exclude tests with overly deep nesting from antlr grammar checks

2020-09-29 20:20:20 +02:00

test_emscripten.sh

Fix mismatched docstrings in some of the scripts

2020-07-03 21:20:29 +02:00

tests.sh

[circleci] Enable ewasm tests.

2020-10-01 13:21:39 -05:00

uniqueErrors.sh

…

update_bugs_by_version.py

…

yul_coverage.sh

Fix a typo in yul_converage script docstring

2020-07-03 21:21:15 +02:00