ethereum / solc-js

87%

master: 85%

LAST BUILD ON BRANCH smt_cex

branch: smt_cex

CHANGE BRANCH

x

Reset

• smt_cex
• 060_version
• abi-translate
• abstract-test
• addSPDXVersionIdentifierForSMT
• bigger-container-for-hardhat-core-default-solc-test
• broader-dependency-version-ranges
• building-release-package-in-ci
• bump-node-version-for-truffle
• bump-node-versions-in-ci
• bump-package-versions
• bump-scorecards-action
• bump-scorecards-action-test
• bump-truffle-sample-project-to-node-18
• bumpVersion
• callback-context
• cancun-test
• cav_artifact
• change-lowlevel-api
• changeBinriesURL
• ci-check-coding-style
• ci-fix
• ci-hardhat-releases
• ci-hardhat-releases-test
• ci-test
• circleci-new-node
• cli-tests
• cvc4_timeout
• dependabot/npm_and_yarn/tmp-0.2.4
• disable-truffle
• doc-update
• drop-dao-tests
• drop-nodejs-10
• drop-require-from-string
• drop-travis
• emscripten-update
• exitError
• fix
• fix-ci
• fix-ci-hardhat-fetch
• fix-ci-hardhat-fetch-test
• fix-ci-not-detecting-broken-package
• fix-cli-output-filename
• fix-hardhat
• fix-pnpm-lockfile
• fix-solcjs-injection-in-ci
• fix-solcjs-injection-in-ci-on-fixPackage
• fix-tmp-import-in-smtsolver
• fix/root-export-wrapped-solcjson
• fixPackage
• fixTape
• force-legacy-dependencies
• format-assembly
• format-assembly-test
• frameworks-in-ci
• handle-colons-in-file-names-on-0.4.10
• invalidate-cache-on-dependency-updates
• krzkaczor/kk/fix-cli-output-filename
• master
• master_060
• master_060_backup
• micah
• new-callback-backport
• new-memory-api
• nightly-ci-run
• noAutoLoading
• noStrict050
• node-all
• node.js-18
• nodejs-17
• nodejs12
• non-determinism
• package-flatten+commonjs-default-exporting
• patch-1
• pin-hardhat-v2
• prepare0513
• release0812
• remove-solcjs-on-abort
• remove-uncaught-exception-listener-workaround
• removeConsoleLog
• removefsextra
• rename
• reorder-helpers
• replace-github-solc-bin-links-with-ethereum-org
• set-version-to-0-8-30
• set-version-to-0-8-31
• set-version-to-0.8.16
• setVersion0.8.29
• set_version_v0.8.30
• setver088
• setversionto0811
• smt-tests
• smt_069_fix_tests
• smt_callback
• smt_check_solver
• smt_fix_engine
• smt_fix_replace
• smt_fix_z3
• smt_limit_fix
• smt_log
• smt_readme
• smt_test_use_engine
• smtchecker-empty-smtlib2queries
• smtchecker-tests
• smtchecker_package
• smtsolver-fs
• sol072
• sol074
• sol076
• sol081
• sol082
• sol084
• sol085
• sol086
• sol087
• solc-bin
• solc-js-ext-test
• solcjs-base-path-stripping-matching-solc
• solcjs-compatibility-symlink
• solcjs-lint
• solcjs-optimize-false-by-default
• solcjs-pretty-json-and-verbose-options
• solcjs-pretty-print-and-verbose-options
• solidity0813
• solidity_0.8.28_test
• splitout-tests
• standard-json-libraries
• support-for-redirects-in-solc-bin
• switch-from-yarn-to-pnpm
• tapeTest
• test-download-latest-version
• test-download-latest-version-ci
• test-expect-noerror
• test-fixes
• test-gas
• test/commonjs-package-flatten-framworks
• test123
• testing-min-dependencies
• truffle-node-update
• types/linker
• typos
• update-cvc4-to-cvc5
• update-hardhat-cimg
• updating_test_file_to_accomodate_changing_severity_values
• upgrade-commander
• upgrade-docker-convenience-image
• v0512
• v057
• v069
• ver065
• ver066
• ver073
• ver083
• verify-repo
• version
• version-060
• version-fix
• version051
• version0510
• version0515
• version0516
• version060
• version061
• version0610
• version062
• version063
• version064
• version067
• version068
• version071
• version0810
• version_0_5_4
• wasmRebuildTests
• web-worker-example
• workaround-for-hardhat-parallel-tests
• yargs-update
• z3_options

Prepare SMT comparison for counterexamples