Skip to content

Pull requests: au-ts/cogent

New pull request New
9 Open 128 Closed
9 Open 128 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Subtyping proofs
#415 opened Sep 28, 2022 by crizkallah 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 Loading…
default keyword for layout definition
#385 opened Oct 17, 2020 by zebraNeon Loading…
Shallow embedding of ArrayPut and ArrayTake
#383 opened Aug 21, 2020 by amblafont Loading…
1
Reducing the amount of information read from the table file for variant types
#379 opened Jul 29, 2020 by amblafont Loading…
Go faster, Travis CI! enhancement infrastructure WIP
#359 opened Feb 27, 2020 by jashank • 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 • Draft
13
ProTip! Follow long discussions with comments:>50.