Issues

• QEQ error on negative 1

  bug
  circify/compiler#29 · Filter by author jkwoods opened on Jan 26, 2021
  12

• Slow constraints generation/memory issue

  bug
  circify/compiler#25 · Filter by author jkwoods opened on Jan 15, 2021
  9

• evaluate CArray expression

  enhancement
  circify/compiler#22 · Filter by author jkwoods opened on Dec 28, 2020
  2

• Ty.RoundFpToDynBv Bug

  bug
  circify/compiler#18 · Filter by author jkwoods opened on Dec 8, 2020
  5

• Discussion of compile + solve

  discussion
  circify/compiler#13 · Filter by author sga001 opened on Nov 3, 2020
  1

• Decomposition to a different base

  enhancement
  circify/compiler#12 · Filter by author sga001 opened on Nov 3, 2020

• R1CS output schema

  enhancement
  circify/compiler#11 · Filter by author sga001 opened on Oct 30, 2020
  10

  

• Pointer Handling Issue

  bug
  circify/compiler#10 · Filter by author jkwoods opened on Oct 29, 2020
  5

• Double Handling

  enhancement
  circify/compiler#8 · Filter by author jkwoods opened on Oct 29, 2020
  18

  

• Control flow: Inlining, recursion unrolling

  enhancement
  circify/compiler#6 · Filter by author elefthei opened on Oct 28, 2020
  1

  

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

  enhancement
  circify/compiler#5 · Filter by author elefthei opened on Oct 28, 2020

• Integrate loop flattening into SMT transform

  circify/compiler#4 · Filter by author elefthei opened on Oct 28, 2020
  

• Make sure undefined behavior modelling is correct for Add, Sub, and Mul

  circify/compiler#1 · Filter by author mlfbrown opened on Dec 18, 2019
  1