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
29 Open 30 Closed
29 Open 30 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

Unexpected Recursion in Generated C Code bug cogent compiler cogent-c verification
#398 opened Mar 31, 2021 by gteege
Impossible happened when combining # and ! bug cogent compiler cogent tc
#332 opened Dec 28, 2019 by gteege
1
Proposal: Extend Scope of Type Vars in antiquoted typedefs cogent compiler new feature
#318 opened Nov 20, 2019 by gteege
Variable of unboxed abstract type is treated as linear. bug cogent compiler language design language semantics WIP
#309 opened Nov 6, 2019 by gteege
3
Problem with type variable used boxed and unboxed. ("Impossible happened") bug cogent compiler cogent-c verification language design WIP
#306 opened Oct 30, 2019 by gteege
4
Same name for type constructor and variant constructor breaks antiquoted C bug cogent compiler
#286 opened May 17, 2019 by amosr
docgent: filename processing is buggy bug cogent compiler
#284 opened May 8, 2019 by zilinc
Pattern match failure in do expression bug cogent compiler
#281 opened Mar 26, 2019 by kai-e
10
Non ASCII chars bug cogent compiler
#264 opened Nov 23, 2018 by zilinc
shallow embedding name conflicts cogent compiler new feature newcomer low-hanging fruit
#263 opened Nov 21, 2018 by zilinc
overlapping patterns bug cogent compiler
#261 opened Nov 20, 2018 by zilinc
value definition with lambda expression: "impossible happened" bug cogent compiler
#260 opened Nov 19, 2018 by gteege
impossible happened when desugaring bug cogent compiler
#259 opened Nov 19, 2018 by gteege
1
C integer generation cogent compiler cogent-c verification question
#258 opened Nov 19, 2018 by zilinc
Mono warnings cogent compiler enhancement newcomer low-hanging fruit
#256 opened Nov 1, 2018 by zilinc
Core TC doesn't check for duplicate function names bug cogent compiler newcomer low-hanging fruit
#248 opened Sep 10, 2018 by zilinc
code gen for returning a single array bug cogent compiler
#239 opened Jun 8, 2018 by zilinc
@zilinc
2
a constant must indeed be a constant bug cogent compiler
#237 opened Jun 5, 2018 by zilinc
4
support for local definitions cogent compiler language design new feature newcomer low-hanging fruit
#235 opened May 28, 2018 by zilinc
semantic difference in arithmetic cogent compiler dependent types language design story
#233 opened May 20, 2018 by zilinc
@zilinc
Improve Core pretty-printer cogent compiler enhancement newcomer low-hanging fruit
#230 opened Mar 14, 2018 by zilinc
dependencies between abstract types cogent compiler new feature
#229 opened Feb 27, 2018 by zilinc
@zilinc
abstract constant bug cogent compiler
#222 opened Dec 1, 2017 by zilinc
Use _Bool for booleans cogent compiler cogent-c verification newcomer low-hanging fruit
#202 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
ProTip! Mix and match filters to narrow down what you’re looking for.