Page MenuHomeSolus

Package Request: Solidity
Open, WishlistPublic

Description

Name: Solidity (solc)
Homepage: https://soliditylang.org/
Reason: the programming language for developing Ethereum smart contracts. Alternatives: ... are there any? Currently only available as a binary release or from snap. I believe that adding this package will make Solus more attracting to developers.
Open source: yes, GPL-3.0
Latest tarball: https://github.com/ethereum/solidity/releases/download/v0.8.4/solidity_0.8.4.tar.gz
Github: https://github.com/ethereum/solidity

I have built the package by myself and would like to submit it for review,

Event Timeline

DataDrake triaged this task as Wishlist priority.May 8 2021, 12:52 AM
DataDrake moved this task from Backlog to Accepted For Inclusion on the Package Requests board.
DataDrake added a subscriber: DataDrake.

Since z3 can be used even if cvc4 isn't available, this is fine for now. cvc5 support can always be added later when it is releases and they add it in.

May I become a maintainer?

I've tried to build from source and it's working. cvc4 and z3 are listed as optional dependencies (SMT solver and dependencies), so even without them we still have a stable and functional build of solidity. From my observation, they seem to be performing similar actions to make check (though I'm not sure).

May I become a maintainer?

You don't need to ask lol. Uploading a patch is enough.

From my observation, they seem to be performing similar actions to make check (though I'm not sure).

Nope. These are SMT Solvers are used by the language for certain correctness proofs (formal verification) as a part of the language specification, which is much much more complex than anything you'd do in normal testing: https://docs.soliditylang.org/en/latest/smtchecker.html

Haha thanks :)