| .. |
|
bytecodecompare
|
Disable smt checker for bytecodecompare.
|
2020-05-27 11:12:40 +02:00 |
|
chk_shellscripts
|
|
|
|
ci
|
ossfuzz: Generate antlr4 runtime deps
|
2020-08-27 17:33:29 +02:00 |
|
deps-ppa
|
Add groovy to static Z3 deps PPA script.
|
2020-09-14 23:09:28 +02:00 |
|
docker/buildpack-deps
|
Update z3 on docker files
|
2020-09-14 16:25:29 +02:00 |
|
endToEndExtraction
|
|
|
|
travis-emscripten
|
Use more processors to build base builds.
|
2020-07-15 16:45:20 +02:00 |
|
wasm-rebuild
|
Fix caret position for errors with utf source
|
2020-05-25 14:27:03 +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
|
Change build hashes
|
2020-09-14 19:07:40 +02:00 |
|
build.sh
|
|
|
|
check_style.sh
|
|
|
|
codespell_whitelist.txt
|
|
|
|
common_cmdline.sh
|
|
|
|
common.sh
|
|
|
|
create_source_tarball.sh
|
Upgrade json-cpp to 1.9.3.
|
2020-07-10 21:40:15 +02:00 |
|
docker_build.sh
|
|
|
|
docker_deploy_manual.sh
|
|
|
|
docker_deploy.sh
|
|
|
|
Dockerfile
|
|
|
|
Dockerfile_alpine
|
|
|
|
docs_version_pragma_check.sh
|
|
|
|
docs.sh
|
|
|
|
download_ossfuzz_corpus.sh
|
|
|
|
error_codes.py
|
Commandline test for unimplemented IR.
|
2020-09-15 14:42:04 +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
|
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
|
|
|
|
install_deps.sh
|
docs: Update old external links to use HTTPS where possible
|
2020-08-31 12:46:45 +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_emscripten.sh
|
|
|
|
release_ppa.sh
|
Add groovy to PPA release script.
|
2020-09-14 16:33:16 +02:00 |
|
release.bat
|
|
|
|
release.sh
|
|
|
|
report_errors.sh
|
|
|
|
run_proofs.sh
|
Run proof script only on existing files.
|
2020-07-08 22:57:36 +02:00 |
|
soltest.sh
|
|
|
|
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
|
OSX: Fix readlink issues and that ASTImportTest.sh silently ignores errors.
|
2020-08-31 21:04:25 -05:00 |
|
test_emscripten.sh
|
Fix mismatched docstrings in some of the scripts
|
2020-07-03 21:20:29 +02:00 |
|
tests.sh
|
|
|
|
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 |
