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
..
bytecodecompare	Add hour and minute to bytecode repo directory names	2020-02-15 14:44:37 +01:00
deps-ppa	Add Ubuntu Focal.	2020-02-13 22:34:25 +01:00
endToEndExtraction	Add tools: create_traces.sh, remove-testcases.py & verify-testcases.py	2020-03-18 11:56:43 -05:00
travis-emscripten	Do not remove leading zeros from commit hashes while publishing.	2020-02-03 12:50:19 +01:00
wasm-rebuild	Add readme.	2020-02-14 12:48:21 +01:00
ASTImportTest.sh	Use readlink -f instead of realpath in ASTImportTest.sh	2020-04-06 10:10:58 -04:00
build_emscripten.sh
build.sh
check_style.sh	Add codestyle rule to prevent include ".."	2020-02-11 13:03:46 +01:00
codespell_whitelist.txt
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
docker_build.sh
docker_deploy_manual.sh
docker_deploy.sh
Dockerfile
Dockerfile_alpine
docs_version_pragma_check.sh	Enabling pragma with > in minimum version check	2020-03-31 23:50:24 +02:00
docs.sh
download_ossfuzz_corpus.sh
extract_test_cases.py
fix_homebrew_paths_in_standalone_zip.py	pylint: reduces max-line-length to something more reasonable	2020-02-04 17:00:05 +01:00
get_version.sh
install_cmake.sh
install_deps.bat
install_deps.cmake
install_deps.sh	Add Ubuntu Focal.	2020-02-13 22:34:25 +01:00
install_obsolete_jsoncpp_1_7_4.sh
install_static_z3.sh
isolate_tests.py
isoltest.sh
pylint_all.py	python: Fixing some python2-to-python3 migrations that I missed in the last PR.	2020-02-04 22:26:11 +01:00
pylintrc	CircleCI: Adds pylint test for all python files in test/ directory.	2020-02-04 22:26:10 +01:00
regressions.py	Fix script used for fuzzer nightly test	2020-02-18 13:24:10 +05:30
release_emscripten.sh
release_ppa.sh	Add Ubuntu Focal.	2020-02-13 22:34:25 +01:00
release.bat
release.sh
report_errors.sh	Make CircleCI post diff review for style violation	2020-04-09 16:56:25 +02:00
run_proofs.sh
soltest.sh
splitSources.py	python: Fixing some python2-to-python3 migrations that I missed in the last PR.	2020-02-04 17:00:05 +01:00
test_antlr_grammar.sh	Add antlr-based grammar and test it.	2020-03-24 11:07:51 +01:00
test_emscripten.sh
tests.sh
uniqueErrors.sh
update_bugs_by_version.py