-
Notifications
You must be signed in to change notification settings - Fork 62
Insights: Copilot-Language/copilot
Overview
-
0 Active pull requests
-
- 0 Merged pull requests
- 0 Open pull requests
- 0 Closed issues
- 3 New issues
There hasn’t been any commit activity on Copilot-Language/copilot in the last week.
Want to help out?
3 Issues opened by 1 person
-
`copilot-theorem`: Code contains unused pragmas
#613 opened
Mar 29, 2025 -
`copilot`: Fix build status icon in README
#612 opened
Mar 29, 2025 -
`copilot-theorem`: Extend range of versions of `what4`
#611 opened
Mar 29, 2025
4 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Allow appending and then dropping the same number of elements from Stream
#608 commented on
Mar 27, 2025 • 1 new comment -
`copilot-theorem`: Make the kind2 connection handle both existentially and universally quantified properties correctly
#594 commented on
Mar 29, 2025 • 0 new comments -
`copilot-theorem`: Bump version bounds on `what4`. Refs #611.
#609 commented on
Mar 29, 2025 • 0 new comments -
`copilot-theorem`: Translate quantifiers correctly in Kind2 backend. Refs #594.
#610 commented on
Mar 27, 2025 • 0 new comments