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

after and layout polymorphism bug dargent story
#412 opened Jun 29, 2022 by zilinc
1
AllRefine fails on master for a simple program with an abstract type
#410 opened Oct 22, 2021 by amblafont
2
types in expressions are not normalised bug dependent types
#408 opened Sep 9, 2021 by zilinc
Cogent debugging support TASK An umbrella ticket. Mostly used in the kanban board.
#400 opened May 4, 2021 by zilinc
Unexpected Recursion in Generated C Code bug cogent compiler cogent-c verification
#398 opened Mar 31, 2021 by gteege
Simple layout polymorphic function fails
#396 opened Mar 19, 2021 by amblafont
3
Multi-arg data constructor cogent tc language design
#392 opened Feb 2, 2021 by zilinc
Variant tags can have under-specified layout bug dargent newcomer low-hanging fruit
#386 opened Oct 29, 2020 by zilinc
1
CorresProof theory file fails for a swapping function (master branch)
#377 opened Jul 28, 2020 by amblafont
4
Conditional tests support infrastructure new feature
#375 opened Jul 15, 2020 by zilinc
libgum with cabal-3.0 infrastructure libgum
#368 opened Jun 28, 2020 by zilinc
@zilinc
1
Document how to set up autocorres documentation infrastructure
#367 opened Jun 28, 2020 by jyizheng
2
"phases" feature in new testing script enhancement infrastructure
#362 opened Apr 18, 2020 by zilinc
Unbox operator applied to function type. bug cogent tc newcomer low-hanging fruit
#351 opened Feb 4, 2020 by gteege
new-testing-script feature requests infrastructure new feature
#350 opened Feb 4, 2020 by zilinc
@emmet-m
2
Use proper font for Cogent in the doc documentation enhancement
#340 opened Jan 10, 2020 by zilinc
@zilinc
Impossible happened when combining # and ! bug cogent compiler cogent tc
#332 opened Dec 28, 2019 by gteege
1
Proposal: Array Modification by higher-order Functions language design
#331 opened Dec 19, 2019 by gteege
1
Testsuite Reorganisation TASK An umbrella ticket. Mostly used in the kanban board.
#330 opened Dec 19, 2019 by zilinc
1 of 4 tasks
1
Surface Typechecker Formalisation TASK An umbrella ticket. Mostly used in the kanban board.
#325 opened Nov 22, 2019 by zilinc
@nelch
New Surface Syntax And Parser TASK An umbrella ticket. Mostly used in the kanban board.
#324 opened Nov 22, 2019 by zilinc
@Vivi-yd
1
LLVM Backend TASK An umbrella ticket. Mostly used in the kanban board.
#323 opened Nov 21, 2019 by zilinc
Antiquoted C Compilation Performance Optimisation TASK An umbrella ticket. Mostly used in the kanban board.
#322 opened Nov 21, 2019 by zilinc
1 of 5 tasks
Dargent TASK An umbrella ticket. Mostly used in the kanban board.
#321 opened Nov 21, 2019 by zilinc
Recursive Types TASK An umbrella ticket. Mostly used in the kanban board.
#320 opened Nov 21, 2019 by zilinc
ProTip! Updated in the last three days: updated:>2024-12-23.