Kamil Śliwak 67ea1931ee A script that generates version string for nightlies

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

..

bytecodecompare

Disable smt checker for bytecodecompare.

2020-05-27 11:12:40 +02:00

chk_shellscripts

…

deps-ppa

Update PPA scripts.

2020-05-14 14:12:01 +02:00

endToEndExtraction

…

travis-emscripten

Switch to upstream docker image for emscripten build.

2020-06-04 16:17:29 +02:00

wasm-rebuild

Fix caret position for errors with utf source

2020-05-25 14:27:03 +02:00

ASTImportTest.sh

…

build_emscripten.sh

Update travis config to move to next docker image revision.

2020-06-11 20:20:22 +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

…

common.sh

…

create_source_tarball.sh

…

docker_build.sh

…

docker_deploy_manual.sh

…

docker_deploy.sh

…

Dockerfile

…

Dockerfile_alpine

…

docs_version_pragma_check.sh

…

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

Add --examine-coverage to fix_error_ids.py

2020-07-01 21:41:31 +02: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

…

install_cmake.sh

…

install_deps.bat

…

install_deps.cmake

…

install_deps.sh

added raspbian

2020-06-18 10:29:06 +02:00

install_obsolete_jsoncpp_1_7_4.sh

…

install_static_z3.sh

…

isolate_tests.py

Fix caret position for errors with utf source

2020-05-25 14:27:03 +02:00

isoltest.sh

…

pylint_all.py

…

pylintrc

…

regressions.py

…

release_emscripten.sh

…

release_ppa.sh

Fix spelling errors

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

release.bat

…

release.sh

…

report_errors.sh

…

run_proofs.sh

…

soltest.sh

…

splitSources.py

…

test_antlr_grammar.sh

…

test_emscripten.sh

…

tests.sh

Remove obsolete flag --optimize-yul from scripts

2020-05-06 11:49:40 +02:00

uniqueErrors.sh

…

update_bugs_by_version.py

…

yul_coverage.sh

…