search

ethereum / solidity

Solidity, the Smart Contract Programming Language
https://soliditylang.org
GNU General Public License v3.0
22.67k stars 5.62k forks source link

Install cvc5 in buildpack-deps #15102

Closed r0qs closed 3 weeks ago

r0qs commented 1 month ago

This PR is a draft until https://github.com/ethereum/solidity/pull/15078 is complete. They need to be merged together since we are replacing cvc4.

github-actions[bot] commented 1 month ago

solbuildpackpusher/solidity-buildpack-deps:ubuntu2204-9 [solbuildpackpusher/solidity-buildpack-deps@sha256:80247de9655b1f39afd4ac22b14266bc9b9a0d64b283ae8fb9cb5b8250e4e77d].

github-actions[bot] commented 1 month ago

solbuildpackpusher/solidity-buildpack-deps:ubuntu2204.clang-8 [solbuildpackpusher/solidity-buildpack-deps@sha256:2662376fe0e1ec2d346495a19a6d64508c1048d5a7325d8600c33c343fa64a0f].

github-actions[bot] commented 1 month ago

solbuildpackpusher/solidity-buildpack-deps:emscripten-18 [solbuildpackpusher/solidity-buildpack-deps@sha256:a76706b791849199f9906023d5d44878d5d19195f6fb959d7cd505a0be2cbee4].

github-actions[bot] commented 1 month ago

solbuildpackpusher/solidity-buildpack-deps:ubuntu2004-24 [solbuildpackpusher/solidity-buildpack-deps@sha256:b8b645fa7ab40d55f2d16eac295d16ca01ec51d32be7d668ae6eaecd47dbd763].