-
Notifications
You must be signed in to change notification settings - Fork 12
Pull requests: kovzol/aris
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
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…
Add resest function and update import to include overwrite, append end and prepend options
#46
opened Mar 26, 2026 by
khush3e
Contributor
Loading…
Fix issue #20: reset sentence color on text change (line number only)
#41
opened Mar 23, 2026 by
jaybutani1793
Contributor
Loading…
Fix issue #21: Improve syntax validation and error messages
#40
opened Mar 23, 2026 by
jaybutani1793
Contributor
Loading…
Remove redundant null terminator in sexpr-process.c format stringRemove redundant null terminator in sexpr-process.c format string
#28
opened Feb 26, 2026 by
preetsinghi21
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.