-
Notifications
You must be signed in to change notification settings - Fork 77
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
copilot-theorem: Remove uses ofLambdaCaseCR:Status:AcceptedAdmin only: Change request accepted by technical leadAdmin only: Change request accepted by technical leadCR:Type:ManagementAdmin only: Change request for conformance with policies or proceduresAdmin only: Change request for conformance with policies or proceduresStatus: Open.#736 In Copilot-Language/copilot;copilot: Executables lack version bounds around dependenciesCR:Status:AcceptedAdmin only: Change request accepted by technical leadAdmin only: Change request accepted by technical leadCR:Type:ManagementAdmin only: Change request for conformance with policies or proceduresAdmin only: Change request for conformance with policies or proceduresStatus: Open.#735 In Copilot-Language/copilot;copilot-theorem: Extend range of versions of kind2CR:Status:VerificationAdmin only: Change request that is currently being verifiedAdmin only: Change request that is currently being verifiedCR:Type:ManagementAdmin only: Change request for conformance with policies or proceduresAdmin only: Change request for conformance with policies or proceduresStatus: Open.copilot-theorem:Copilot.Theorem.What4.TranslateenablesPatternSynonymsunnecessarilyCR:Status:AcceptedAdmin only: Change request accepted by technical leadAdmin only: Change request accepted by technical leadCR:Type:ManagementAdmin only: Change request for conformance with policies or proceduresAdmin only: Change request for conformance with policies or proceduresStatus: Open.#733 In Copilot-Language/copilot;- Status: Open.#607 In Copilot-Language/copilot;
localstreams can escape their lexical scopeCR:Status:AcceptedAdmin only: Change request accepted by technical leadAdmin only: Change request accepted by technical leadCR:Type:BugAdmin only: Change request pertaining to error detectedAdmin only: Change request pertaining to error detectedStatus: Open.#253 In Copilot-Language/copilot;