Duc Thanh Nguyen 2215b6d44b Update rangev3 to 0.12.0

2022-07-05 15:55:12 -04:00

..

bytecodecompare

storebytecode.sh: Update outdated script docstring.

2022-02-18 21:48:32 +01:00

chk_shellscripts

…

ci

docker_upgrade.sh: Workaround for git refusing to work with a repo in attached volume

2022-05-10 18:24:21 +02:00

common

Skip external test benchmark diff instead of failing when previous run of the job did not succeed

2022-06-07 13:24:55 +02:00

deps-ppa

Fix release ppa script.

2022-06-15 22:48:06 +02:00

docker/buildpack-deps

Update docker images for new z3 version.

2022-05-13 17:46:42 +02:00

endToEndExtraction

…

externalTests

Skip external test benchmark diff instead of failing when previous run of the job did not succeed

2022-06-07 13:24:55 +02:00

solc-bin

When installing solc-js use the dist/ subdir, which contains the built JS files

2022-02-03 18:47:19 +01:00

wasm-rebuild

wasm-rebuild: Print tags that will be processed

2022-02-18 21:49:25 +01:00

ASTImportTest.sh

…

build_emscripten.sh

Update tests and hashes for z3 4.8.17

2022-05-13 15:25:10 +02:00

build.sh

…

check_style.sh

…

check_symlinks.sh

…

codespell_whitelist.txt

…

common_cmdline.sh

No longer mark Yul as experimental.

2022-03-14 14:48:01 +01:00

common.sh

Create split_on_empty_lines_into_numbered_files function in scripts/common.sh

2022-04-06 07:26:18 +02:00

create_source_tarball.sh

…

docker_deploy_manual.sh

…

Dockerfile

…

Dockerfile_alpine

…

docs_version_pragma_check.sh

…

download_ossfuzz_corpus.sh

…

error_codes.py

Add error id to script

2022-05-11 20:02:31 +02:00

extract_test_cases.py

…

gas_diff_stats.py

gas_diff_stats.py: Replace a list with a generator as suggested by pylint

2022-06-01 20:32:25 +02:00

get_nightly_version.sh

…

get_version.sh

…

install_cmake.sh

…

install_deps.ps1

…

install_evmone.ps1

…

install_obsolete_jsoncpp_1_7_4.sh

…

isolate_tests.py

…

isoltest.sh

…

pylint_all.py

…

pylintrc

pylintrc: Remove bad-whitespace form the list of disabled warnings

2022-06-01 20:32:25 +02:00

regressions.py

…

release_ppa.sh

Update rangev3 to 0.12.0

2022-07-05 15:55:12 -04:00

run_proofs.sh

…

soltest.sh

…

splitSources.py

…

test_antlr_grammar.sh

…

test_emscripten.sh

…

tests.sh

LSP.py: Implement simple send/respond framework

2022-04-13 13:22:05 +02:00

uniqueErrors.sh

…

update_bugs_by_version.py

…

yul_coverage.sh

…