ethereum / solc-js

87%

master: 85%

LAST BUILD ON BRANCH smt_cex

branch: smt_cex

CHANGE BRANCH

x

Reset

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

Prepare SMT comparison for counterexamples