-
Notifications
You must be signed in to change notification settings - Fork 50
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
copilot
: Update README with missing papers
CR:Status:Initiated
#544
opened Sep 19, 2024 by
ivanperez-keera
copilot
: Update README with new installation process in Fedora
CR:Status:Confirmed
#542
opened Sep 19, 2024 by
ivanperez-keera
copilot-theorem
: Crash when two externs share the same name
CR:Status:Confirmed
#536
opened Sep 9, 2024 by
ivanperez-keera
copilot
: Results of what4
example do not match expectation
CR:Status:Confirmed
#535
opened Sep 9, 2024 by
ivanperez-keera
copilot-core
: Add documentation for updateField
describing how (and why) to implement it
CR:Status:Initiated
#525
opened Jul 8, 2024 by
RyanGlScott
copilot-core
: record field uTypeType
is unnecessary
CR:Status:Initiated
#484
opened Dec 28, 2023 by
ivanperez-keera
copilot
: Update README to reflect new contribution process
CR:Status:Accepted
#476
opened Dec 12, 2023 by
ivanperez-keera
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
Repeated declarations of functions in generated C code if a function is triggered twice in specification
feature request
Request or advice for a feature
#296
opened Feb 28, 2022 by
antanas-kalkauskas-sensmetry
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 for nominally distinct Haskell types with identical copilot types
feature request
Request or advice for a feature
#58
opened Mar 26, 2020 by
avieth
ProTip!
Exclude everything labeled
bug
with -label:bug.