Skip to content

Issues: circify/circ

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

12 Open 27 Closed
12 Open 27 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Realizing IEEE 754-compliant floating point numbers in CirC
#223 opened Feb 13, 2025 by lorenzorota
1
MPC: wrong output when using if
#217 opened Jan 30, 2025 by sebw42
MPC: unexpected results when comparing negative and positive numbers
#216 opened Jan 15, 2025 by sebw42
MPC: Unexpected results when using division
#215 opened Jan 10, 2025 by sebw42
Is it possible to convert IR back to the source programming language?
#213 opened Dec 5, 2024 by Subway2023
3
Copy-and-pasted code
#212 opened Nov 15, 2024 by matthiasgoergens
Demo example of z# unsafe witness
#210 opened Oct 20, 2024 by katat
Support for Zokrates braces syntax
#208 opened Sep 27, 2024 by StefanosChaliasos
4
Excessive(?) RAM usage on moderately sized linear transforms
#189 opened Apr 25, 2024 by cmlsharp
Suggestions to make getting started a bit easier
#177 opened Nov 3, 2023 by martyall
reorg proposal: workspace, front- and back-ends in separate crates, etc. question Further information is requested
#28 opened Dec 13, 2021 by kwantam
3
optimization opportunity: constants in operations whose cost depends on operand size enhancement New feature or request
#1 opened Jul 8, 2021 by kwantam
ProTip! Exclude everything labeled bug with -label:bug.