Skip to content

Issues: coq-community/coqffi

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

8 Open 18 Closed
8 Open 18 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

Fix shadowing of types defined outside of the current module bug Something isn't working
#74 opened Apr 23, 2021 by lthms
Fix shadowing in polymorphic records bug Something isn't working
#73 opened Apr 23, 2021 by lthms
Investigate supporting inlined records for the transparent-types feature enhancement New feature or request question Further information is requested
#70 opened Apr 20, 2021 by lthms
What should we do with OCaml object system? question Further information is requested
#57 opened Feb 15, 2021 by lthms
Extrinsic marking of entries with a dedicated file enhancement New feature or request
#36 opened Dec 11, 2020 by lthms
Improve CI set-up
#26 opened Dec 7, 2020 by lthms
1 of 3 tasks
8
Get in touch with the coq platform to encourage adoption
#19 opened Dec 4, 2020 by lthms
Test -ffreespec
#16 opened Dec 2, 2020 by lthms
ProTip! no:milestone will show everything without a milestone.