Skip to content

Pull requests: au-ts/cogent

New pull request New
10 Open 129 Closed
10 Open 129 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

Fix link to the homepage
#417 opened Apr 20, 2026 by igrep Loading…
Subtyping proofs
#415 opened Sep 28, 2022 by crizkallah Contributor Loading…
compiler proof: Fixed the uabsfuns declaration
#406 opened Jul 16, 2021 by Cheunglo Loading…
fix #377: field names in uval (and expr, repr)
#403 opened Jun 7, 2021 by amblafont Contributor Loading…
default keyword for layout definition
#385 opened Oct 17, 2020 by zebraNeon Contributor Loading…
Shallow embedding of ArrayPut and ArrayTake
#383 opened Aug 21, 2020 by amblafont Contributor Loading…
1
Reducing the amount of information read from the table file for variant types
#379 opened Jul 29, 2020 by amblafont Contributor Loading…
Go faster, Travis CI! enhancement infrastructure WIP
#359 opened Feb 27, 2020 by jashank Contributor • Draft
4
fixing isa-parser bug infrastructure new feature WIP
#335 opened Jan 8, 2020 by ZhuoZoeyChen Loading…
WIP: Expanded documentation (inc. @gteege's manual) documentation WIP
#334 opened Jan 7, 2020 by jashank Contributor • Draft
13
ProTip! Updated in the last three days: updated:>2026-05-20.