Skip to content

Pull requests: tintor/algebra

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
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Record where every REVIEW2 finding ended up
#138 opened Jul 30, 2026 by tintor Owner Loading…
Record that combining arc regions shares the subtree
#137 opened Jul 30, 2026 by tintor Owner Loading…
Say that region equality is structural
#136 opened Jul 30, 2026 by tintor Owner Loading…
Match the terms of a sum structurally before by value
#135 opened Jul 30, 2026 by tintor Owner Loading…
Make expr_ptr a class instead of a shared_ptr alias
#134 opened Jul 30, 2026 by tintor Owner Loading…
Simplify the result of a boolean operation
#133 opened Jul 30, 2026 by tintor Owner Loading…
Continue a stitched ring by the sharpest left turn
#132 opened Jul 30, 2026 by tintor Owner Loading…
Keep REAL_FRACT_DIGITS per thread and inside the namespace
#131 opened Jul 30, 2026 by tintor Owner Loading…
Let the caller pick the precision of a real division
#130 opened Jul 30, 2026 by tintor Owner Loading…
Name the gcd division for what it does
#129 opened Jul 30, 2026 by tintor Owner Loading…
Give the in place mod its own name
#128 opened Jul 30, 2026 by tintor Owner Loading…
Bound the recursion in expr_sum::sign
#127 opened Jul 30, 2026 by tintor Owner Loading…
Count the magnitude in integer::popcount
#126 opened Jul 30, 2026 by tintor Owner Loading…
Only distribute a root over a non-negative operand
#125 opened Jul 30, 2026 by tintor Owner Loading…
Drop a coefficient of one from a product
#124 opened Jul 30, 2026 by tintor Owner Loading…
Cover the untested expr entry points
#123 opened Jul 30, 2026 by tintor Owner Loading…
Reduce once in mul_mod, instead of doubling over every bit
#121 opened Jul 30, 2026 by tintor Owner Loading…
Collapse factorize's repeated trial division bodies
#118 opened Jul 29, 2026 by tintor Owner Loading…
Document how to give Claude Code its own GitHub identity
#45 opened Jul 26, 2026 by tintor Owner Loading…
ProTip! no:milestone will show everything without a milestone.