Skip to content

Issues: au-ts/cogent

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
93 Open 185 Closed
93 Open 185 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

search example should use CUInt instead of CInt bug newcomer low-hanging fruit quickcheck
#102 opened Jul 3, 2017 by zilinc
@zilinc
Giant error message cogent tc enhancement
#18 opened Sep 7, 2016 by zilinc
Inferencer fails to figure out ! on typevars cogent tc enhancement story
#29 opened Nov 18, 2016 by zilinc
18
Improving "leftover constraints" errors cogent tc enhancement story
#31 opened Nov 19, 2016 by zilinc
26
porting libgum to new language style libgum TODO
#32 opened Nov 21, 2016 by zilinc
2 tasks
1
Error message for Integer type mismatch cogent tc enhancement
#41 opened Nov 28, 2016 by zilinc
12
new syntax: type defines multiple types cogent compiler enhancement new feature newcomer low-hanging fruit
#43 opened Dec 8, 2016 by zilinc
7
Cogent Macros cogent compiler new feature story
#44 opened Dec 8, 2016 by zilinc
17
Unnecessarily mandatory upcast cogent tc enhancement question
#46 opened Dec 8, 2016 by zilinc
const vs. func cogent compiler cogent-c verification question
#49 opened Dec 15, 2016 by zilinc
take/put unsoundness bug cogent tc
#61 opened Jan 30, 2017 by zilinc
3
generate all types and functions that are not mentioned when possible cogent compiler new feature
#63 opened Feb 3, 2017 by zilinc
@zilinc
context order bug cogent tc
#13 opened Sep 7, 2016 by zilinc
1
QuickCheck requires Show instances new feature newcomer low-hanging fruit quickcheck
#101 opened Jul 3, 2017 by zilinc
@zilinc
Issues mentioned in cogent/README.md cogent compiler infrastructure newcomer low-hanging fruit story
#104 opened Jul 26, 2017 by zilinc
Merge fold/map no_break and regular variants enhancement libgum
#176 opened Dec 1, 2017 by zilinc
Evaluate ExState usage enhancement question
#177 opened Dec 1, 2017 by zilinc
@ajaysusarla
1
Include Orlov allocator ext2
#179 opened Dec 1, 2017 by zilinc
@ajaysusarla
3
ext2 reservation windows ext2
#183 opened Dec 1, 2017 by zilinc
@ajaysusarla
1
sync superblock ext2
#184 opened Dec 1, 2017 by zilinc
@ajaysusarla
symbolic/hard links ext2
#186 opened Dec 1, 2017 by zilinc
@ajaysusarla
1
[u|word]array_freeacc existence is inconsistent enhancement libgum
#191 opened Dec 1, 2017 by zilinc
acc should be first return arg/function param where possible enhancement libgum newcomer low-hanging fruit
#192 opened Dec 1, 2017 by zilinc
Partial environments
#194 opened Dec 1, 2017 by zilinc
1
after and layout polymorphism bug dargent story
#412 opened Jun 29, 2022 by zilinc
1
ProTip! Add no:assignee to see everything that’s not assigned.