Rodrigo Q. Saramago f4ab85da3e Remove HERA from base image

2023-04-19 00:12:04 +02:00

..

bytecodecompare

Fix pylint 2.16 warnings

2023-02-01 10:39:00 -03:00

chk_shellscripts

…

ci

bring ubuntu2004 back

2023-04-05 14:56:03 +02:00

common

Fix pylint warning

2022-08-29 11:50:29 +02:00

deps-ppa

Removing unencrypted git protocol

2023-03-16 11:42:42 +01:00

docker/buildpack-deps

Remove HERA from base image

2023-04-19 00:12:04 +02:00

externalTests

Remove ens fork

2022-10-23 17:58:13 -03:00

solc-bin

CI: Switch from deprecated circleci/buildpack-deps image to cimg/base

2022-10-26 18:22:03 +02:00

wasm-rebuild

…

ASTImportTest.sh

[tests] Refactor scripts/ASTImportTest.sh. (#13576)

2022-11-24 16:16:16 +01:00

build_emscripten.sh

use new z3

2023-03-28 14:37:01 +02:00

build.sh

…

check_style.sh

Use std:: prefix with std::forward() as well to satisfy Clang

2023-03-06 18:20:49 +01:00

check_symlinks.sh

…

codespell_ignored_lines.txt

Fix spelling mistakes and CI spellcheck job

2022-08-18 14:38:19 +02:00

codespell_whitelist.txt

Fix spelling mistakes and CI spellcheck job

2022-08-18 14:38:19 +02:00

common_cmdline.sh

…

common.sh

[tests] Refactor scripts/ASTImportTest.sh. (#13576)

2022-11-24 16:16:16 +01:00

create_source_tarball.sh

…

docker_deploy_manual.sh

…

Dockerfile

…

Dockerfile_alpine

…

docs_version_pragma_check.sh

…

download_ossfuzz_corpus.sh

…

error_codes.py

Report safe properties in BMC and CHC

2023-03-09 14:59:32 +01:00

extract_test_cases.py

…

gas_diff_stats.py

Fix pylint 2.16 warnings

2023-02-01 10:39:00 -03:00

get_nightly_version.sh

…

get_version.sh

…

install_cmake.sh

…

install_deps.ps1

…

install_evmone.ps1

Upgrade CI and download instructions to evmone 0.9.1 and hera 0.6.0

2022-11-09 21:27:40 +01:00

install_obsolete_jsoncpp_1_7_4.sh

…

isolate_tests.py

…

isoltest.sh

…

list_contributors.sh

Add a script for generating a list of contributors to paste in release notes

2023-02-14 14:39:55 +01:00

pylint_all.py

…

pylintrc

Fix pylint 2.16 warnings

2023-02-01 10:39:00 -03:00

regressions.py

…

release_ppa.sh

Removing unencrypted git protocol

2023-03-16 11:42:42 +01:00

run_proofs.sh

…

soltest.sh

…

splitSources.py

[scripts/splitSources.py] Add newline to files.

2023-03-21 13:56:50 -05:00

test_antlr_grammar.sh

Adds support for the EVM version "Paris".

2023-01-23 18:50:36 +00:00

test_emscripten.sh

…

tests.sh

test: some tests for push0

2023-04-12 00:10:24 +02:00

uniqueErrors.sh

…

update_bugs_by_version.py

…

yul_coverage.sh

…