-
Notifications
You must be signed in to change notification settings - Fork 57
Issues: Copilot-Language/copilot
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.
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
Author
Label
Milestones
Assignee
Sort
Issues list
Extend range of versions of dependencies
CR:Status:Initiated
Admin only: Change request that has been initiated
CR:Type:Management
Admin only: Change request for conformance with policies or procedures
#570
opened Dec 12, 2024 by
juhp
copilot-core
: Facilitate use of structs
CR:Status:Implementation
copilot-theorem
: Typos in README
CR:Status:Accepted
#560
opened Nov 1, 2024 by
ivanperez-keera
copilot-core
: Increase test coverage
CR:Status:Implementation
Reusability of preprocessing functions to reduce code bloat
feature request
Request or advice for a feature
question
Further information is requested
#297
opened Feb 28, 2022 by
antanas-kalkauskas-sensmetry
copilot-c99
: Allow using same trigger name in multiple declarations
CR:Status:Implementation
Avoiding combinatorial blowup in emitted C code
feature request
Request or advice for a feature
#273
opened Oct 29, 2021 by
simondlevy
prop
and theorem
forget their quantifier?
question
#254
opened Sep 21, 2021 by
robdockins
local
streams can escape their lexical scope
CR:Status:Accepted
#253
opened Sep 17, 2021 by
robdockins
Add ability to add names / labels to streams
enhancement
New feature or request
feature request
Request or advice for a feature
#59
opened Apr 7, 2020 by
fdedden
Support nominally distinct Haskell types with identical copilot types
feature request
Request or advice for a feature
#58
opened Mar 26, 2020 by
avieth
ProTip!
no:milestone will show everything without a milestone.