Search results

QEQ error on negative 1

bugSomething isn't workingSomething isn't working

Status: Open.

#29 In circify/compiler;

· jkwoods opened on Jan 26, 2021

Slow constraints generation/memory issue

bugSomething isn't workingSomething isn't working

Status: Open.

#25 In circify/compiler;

· jkwoods opened on Jan 15, 2021

evaluate CArray expression

enhancementNew feature or requestNew feature or request

Status: Open.

#22 In circify/compiler;

· jkwoods opened on Dec 28, 2020

Ty.RoundFpToDynBv Bug

bugSomething isn't workingSomething isn't working

Status: Open.

#18 In circify/compiler;

· jkwoods opened on Dec 8, 2020

Discussion of compile + solve

discussionFurther information is requestedFurther information is requested

Status: Open.

#13 In circify/compiler;

· sga001 opened on Nov 3, 2020

Decomposition to a different base

enhancementNew feature or requestNew feature or request

Status: Open.

#12 In circify/compiler;

· sga001 opened on Nov 3, 2020

R1CS output schema

enhancementNew feature or requestNew feature or request

Status: Open.

#11 In circify/compiler;

· sga001 opened on Oct 30, 2020

Pointer Handling Issue

bugSomething isn't workingSomething isn't working

Status: Open.

#10 In circify/compiler;

· jkwoods opened on Oct 29, 2020

Double Handling

enhancementNew feature or requestNew feature or request

Status: Open.

#8 In circify/compiler;

· jkwoods opened on Oct 29, 2020

Control flow: Inlining, recursion unrolling

enhancementNew feature or requestNew feature or request

Status: Open.

#6 In circify/compiler;

· elefthei opened on Oct 28, 2020

Support 2-D (n-D?) C arrays

enhancementNew feature or requestNew feature or request

Status: Open.

#5 In circify/compiler;

· elefthei opened on Oct 28, 2020

Integrate loop flattening into SMT transform

Status: Open.

#4 In circify/compiler;

· elefthei opened on Oct 28, 2020