Search results

feat: update debug command

enhancementNew feature or requestNew feature or request

Status: Open.

#585 In Consensys/go-corset;

· DavePearce opened on Jan 22, 2025

feat: optimise unsigned columns in defpermutation

enhancementNew feature or requestNew feature or request

Status: Open.

#581 In Consensys/go-corset;

· DavePearce opened on Jan 22, 2025

chore: tidy up util package

Status: Open.

#577 In Consensys/go-corset;

· DavePearce opened on Jan 21, 2025

feat: split interleave into a constraint and computation

Status: Open.

#573 In Consensys/go-corset;

· DavePearce opened on Jan 21, 2025

feat: generalise Computation

enhancementNew feature or requestNew feature or request

Status: Open.

#572 In Consensys/go-corset;

· DavePearce opened on Jan 21, 2025

feat: replace ByteDecomposition with Computation

enhancementNew feature or requestNew feature or request

Status: Open.

#571 In Consensys/go-corset;

· DavePearce opened on Jan 21, 2025

chore: tidy up ast package

enhancementNew feature or requestNew feature or request

Status: Open.

#570 In Consensys/go-corset;

· DavePearce opened on Jan 21, 2025

fix: padding for negatively signed permutation sorts

bugSomething isn't workingSomething isn't working

Status: Open.

#568 In Consensys/go-corset;

· DavePearce opened on Jan 20, 2025

feat: sources as arbitrary expressions in definterleaved

enhancementNew feature or requestNew feature or request

Status: Open.

#564 In Consensys/go-corset;

· DavePearce opened on Jan 18, 2025

fix: prevent global names in interleaving / permutations

bugSomething isn't workingSomething isn't working

Status: Open.

#561 In Consensys/go-corset;

· DavePearce opened on Jan 18, 2025

feat: tests for native functions

testingRelated to testingRelated to testing

Status: Open.

#553 In Consensys/go-corset;

· DavePearce opened on Jan 16, 2025

feat: support @prove for defcomputed

Status: Open.

#552 In Consensys/go-corset;

· DavePearce opened on Jan 16, 2025