Issues
- 2
Inefficient Register Allocation
#183 opened by DavePearce - 1
Duplicate Binarity Constraints
#185 opened by DavePearce - 1
- 0
- 0
Problem with `json-bin` feature
#134 opened by DavePearce - 2
bug: exp module perspective mismatch
#157 opened by ivokub - 0
Refactor `byte@prove` to use Range Constraints
#129 opened by DavePearce - 0
Loading filters into corset inspect
#181 opened by OlivierBBB - 1
Print perspective (shorthand) in corset output
#170 opened by OlivierBBB - 1
FR: give more context (perspective) in corset check errors output
#172 opened by letypequividelespoubelles - 2
Unused Declaration for `:array` Column
#179 opened by DavePearce - 9
Bug with Expansion of `Norm(e)` Expressions
#171 opened by DavePearce - 0
'Safe' and 'unsafe' trace methods
#180 opened by OlivierBBB - 1
Typing `Instrinsic::Mul`
#174 opened by DavePearce - 0
Problems with Generated `define.go`
#173 opened by DavePearce - 0
Duplicate Columns Declarations for Perspectives
#178 opened by DavePearce - 0
Undefined Column Used in `define.go`
#177 opened by DavePearce - 0
Invalid `define.go` for complex Guard
#176 opened by DavePearce - 1
`mul_assign` not implemented
#163 opened by DavePearce - 2
- 0
- 14
feat: scope for functions
#165 opened by lorenzogentile404 - 5
Invalid Lookups Not Reported
#166 opened by DavePearce - 21
- 11
Missing Spillage for Lookups / Range Constraints
#151 opened by DavePearce - 35
fix: :i8 vs :byte
#158 opened by lorenzogentile404 - 1
"Full debug" constraints
#162 opened by OlivierBBB - 0
`lt` Trace Size Optimisation
#160 opened by DavePearce - 13
Understanding the Initial Padding Row
#143 opened by DavePearce - 0
Corset `compute` causing `panic`
#155 opened by DavePearce - 9
Understanding Spillage
#139 opened by DavePearce - 0
Revert Spillage Optimisation
#153 opened by DavePearce - 4
feat(corset): possibility to refer to functions defined within a module in lookup files
#141 opened by lorenzogentile404 - 7
Understanding Sorting Constraints
#133 opened by DavePearce - 1
Optimise Spillage Computation
#142 opened by DavePearce - 9
- 0
Perspective-Aware Permutations
#149 opened by DavePearce - 4
Incorrect typing of `eq!`
#140 opened by delehef - 0
Missing Concretization Cases
#146 opened by DavePearce - 1
Unused Field `Column::shift` ?
#131 opened by DavePearce - 9
Problem with Sum in Constraint
#138 opened by DavePearce - 0
- 1
Difference between `:byte` and `:i8`
#132 opened by DavePearce - 5
JSON Traces Involving Perspectives
#130 opened by DavePearce - 9
- 20
- 1
Account for Padding in Testing Framework
#121 opened by DavePearce - 0
Improve Test Performance
#126 opened by DavePearce - 0
Increase Testing Surface
#122 opened by DavePearce - 0
Implement `Clone` for `ConstraintSet`
#120 opened by DavePearce