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

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

Evaluate ExState usage enhancement question
#177 opened Dec 1, 2017 by zilinc
@ajaysusarla
1
Merge fold/map no_break and regular variants enhancement libgum
#176 opened Dec 1, 2017 by zilinc
Issues mentioned in cogent/README.md cogent compiler infrastructure newcomer low-hanging fruit story
#104 opened Jul 26, 2017 by zilinc
search example should use CUInt instead of CInt bug newcomer low-hanging fruit quickcheck
#102 opened Jul 3, 2017 by zilinc
@zilinc
QuickCheck requires Show instances new feature newcomer low-hanging fruit quickcheck
#101 opened Jul 3, 2017 by zilinc
@zilinc
generate all types and functions that are not mentioned when possible cogent compiler new feature
#63 opened Feb 3, 2017 by zilinc
@zilinc
take/put unsoundness bug cogent tc
#61 opened Jan 30, 2017 by zilinc
3
const vs. func cogent compiler cogent-c verification question
#49 opened Dec 15, 2016 by zilinc
Unnecessarily mandatory upcast cogent tc enhancement question
#46 opened Dec 8, 2016 by zilinc
Cogent Macros cogent compiler new feature story
#44 opened Dec 8, 2016 by zilinc
17
new syntax: type defines multiple types cogent compiler enhancement new feature newcomer low-hanging fruit
#43 opened Dec 8, 2016 by zilinc
7
Error message for Integer type mismatch cogent tc enhancement
#41 opened Nov 28, 2016 by zilinc
12
porting libgum to new language style libgum TODO
#32 opened Nov 21, 2016 by zilinc
2 tasks
1
Improving "leftover constraints" errors cogent tc enhancement story
#31 opened Nov 19, 2016 by zilinc
26
Inferencer fails to figure out ! on typevars cogent tc enhancement story
#29 opened Nov 18, 2016 by zilinc
18
Giant error message cogent tc enhancement
#18 opened Sep 7, 2016 by zilinc
1st alternative cogent tc enhancement newcomer low-hanging fruit
#14 opened Sep 7, 2016 by zilinc
context order bug cogent tc
#13 opened Sep 7, 2016 by zilinc
1
ProTip! Adding no:label will show everything without a label.