Skip to content

Pull requests: pyta-uoft/pyta

New pull request New
3 Open 1,076 Closed
3 Open 1,076 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Refactoring of the codebase to delay the import of z3 module
#1188 opened Jun 9, 2025 by Karl-Michaud • Draft
9 tasks
@Karl-Michaud
Added output format parameter to AccumulationTable
#1187 opened Jun 6, 2025 by lxyhan Loading…
9 tasks done
8
Loaded python-ta reporter modules dynamically
#1183 opened May 28, 2025 by CulmoneY Loading…
9 tasks done
14
ProTip! Exclude everything labeled bug with -label:bug.