Open Issues Need Help
View All on GitHub Improved Reporting for Vanishing Constraints about 2 months ago
good first issue
feat: support user-defined computed columns 3 months ago
AI Summary: Enhance the `go-corset` compiler to support more complex `defcomputed` expressions. Specifically, the enhancement should allow `defcomputed` to utilize the results of user-defined functions (`defun`) within its calculations, as demonstrated in the provided example which uses the result of `(selector)` in the computation of `F`.
Complexity:
4/5
enhancement good first issue quality-of-life
feat: support `defclookup` in legacy `go-corset` 4 months ago
AI Summary: The task involves modifying the legacy version of the `go-corset` compiler to accept the `defclookup` syntax without fully implementing its functionality. The goal is to parse the syntax correctly and perform the necessary selector multiplication to produce constraints that are nearly identical to the previous version, minimizing risk.
Complexity:
4/5
good first issue