Search results

chore: some installed deps are not needed

automated-issue

Status: Open.

#96 In lurk-lang/bellpepper;

· github-actions opened on Aug 11, 2024

chore: rust toolchain needs an upgrade

automated-issues

debt

Status: Open.

#92 In lurk-lang/bellpepper;

· github-actions opened on Mar 28, 2024

Repercussion of latest <code>Num</code> addition changes

Status: Open.

#90 In lurk-lang/bellpepper;

· tchataigner opened on Mar 19, 2024

Support for linear constraints

Status: Open.

#83 In lurk-lang/bellpepper;

· adr1anh opened on Feb 14, 2024

theory of base gadgets

Status: Open.

#56 In lurk-lang/bellpepper;

· porcuquine opened on Nov 10, 2023

[CI] bellpepper release tooling needs to operate on bellpepper-core independently

Status: Open.

#54 In lurk-lang/bellpepper;

· huitseeker opened on Nov 8, 2023

Support check for unconstrained allocation

Status: Open.

#45 In lurk-lang/bellpepper;

· porcuquine opened on Oct 24, 2023

Issues with automated publication

Status: Open.

#10 In lurk-lang/bellpepper;

· huitseeker opened on Jul 28, 2023

CI isn’t picking up PRs created by bots

Status: Open.

#9 In lurk-lang/bellpepper;

· huitseeker opened on Jul 28, 2023