Aqua static analysis [$200]

[Krastanov]

Bug bounty logistic details (click to expand)

To claim exclusive time to work on this bounty either post a comment here or message [email protected] with:

• your name
• github username
• (optional) a brief list of previous pertinent projects you have engaged in

Currently the project is claimed by no one until ....

If you want to, you can work on this project without making a claim, however claims are encouraged to give you and other contributors peace of mind. Whoever has made a claim takes precedence when solutions are considered.

You can always propose your own funded project, if you would like to contribute something of value that is not yet covered by an official bounty.

Project: Aqua static analysis [$200]

We run Aqua.jl static analysis during CI for this library, but currently, we have disabled some checks, as they raise too many errors. This bounty is awarded for fixing these issues and enabling these checks. The bounty might require upstreaming some work from here into QuantumInterface.jl or other packages.

Required skills: Generic Julia skills.

Reviewer: Stefan Krastanov

Duration: 1 month

Payout procedure:

The Funding for these bounties comes from the National Science Foundation and from the NSF Center for Quantum Networks. The payouts are managed by the NumFOCUS foundation and processed in bulk once every two months. If you live in a country in which NumFOCUS can make payments, you can participate in this bounty program.

Click here for more details about the bug bounty program.

[Tortar]

Hi @Krastanov, I'd like to take this.

From my experience, ambiguities are not so easy to fix because they can stem from any depending package and be a lot. But I will try to go through them, in one of my packages I took the route to only test the direct ones anyway (https://github.com/JuliaDynamics/Agents.jl/blob/main/test/package_sanity_tests.jl)

[Krastanov]

Hi, @Tortar ! That sounds reasonable. Thanks for taking this on!

[Tortar]

thanks @Krastanov I almost fixed all types piracies except two which elude me: the two apply! methods at https://github.com/QuantumSavory/QuantumSavory.jl/blob/master/src/representations.jl pirate Symbolic because apply! comes from QuantumInterface and Symbolic from SymbolicUtils. Also, the default_repr comes from QuantumSavory, express and UseAsOperation from QuantumSymbolics. So it seems a bit of a mess to solve the piracy to me. Do you have any idea on how to approach these ones?