-
Notifications
You must be signed in to change notification settings - Fork 14
Pull requests: kovzol/aris
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix parser bugs in check_quants, -t flag, and related functions
#70
opened Aug 19, 2026 by
khush3e
Contributor
Loading…
Fix WASM use-after-free by capturing pointers by value
#62
opened Jun 18, 2026 by
Man1ac-1773
Loading…
Fix TLE XML corruption and prevent Aris crash during proof evaluation
#50
opened Apr 5, 2026 by
jaybutani1793
Contributor
Loading…
Improve clarity of error messages in sentence validation
#49
opened Mar 31, 2026 by
REHAN-503
Loading…
Fix issue #20: reset sentence color on text change (line number only)
#41
opened Mar 23, 2026 by
jaybutani1793
Contributor
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.