Search results

copilot-theorem: Remove uses of LambdaCase

CR:Status:AcceptedAdmin only: Change request accepted by technical leadAdmin only: Change request accepted by technical lead

CR:Type:ManagementAdmin only: Change request for conformance with policies or proceduresAdmin only: Change request for conformance with policies or procedures

Status: Open.

#736 In Copilot-Language/copilot;

· ivanperez-keera opened on May 26, 2026

copilot: Executables lack version bounds around dependencies

CR:Status:AcceptedAdmin only: Change request accepted by technical leadAdmin only: Change request accepted by technical lead

CR:Type:ManagementAdmin only: Change request for conformance with policies or proceduresAdmin only: Change request for conformance with policies or procedures

Status: Open.

#735 In Copilot-Language/copilot;

· ivanperez-keera opened on May 26, 2026

copilot-theorem: Extend range of versions of kind2

CR:Status:ScheduledAdmin only: Change requested scheduledAdmin only: Change requested scheduled

CR:Type:ManagementAdmin only: Change request for conformance with policies or proceduresAdmin only: Change request for conformance with policies or procedures

Status: Open.

#734 In Copilot-Language/copilot;

· ivanperez-keera opened on May 25, 2026

·  

4.7.2

copilot-theorem: Copilot.Theorem.What4.Translate enables PatternSynonyms unnecessarily

CR:Status:AcceptedAdmin only: Change request accepted by technical leadAdmin only: Change request accepted by technical lead

CR:Type:ManagementAdmin only: Change request for conformance with policies or proceduresAdmin only: Change request for conformance with policies or procedures

Status: Open.

#733 In Copilot-Language/copilot;

· ivanperez-keera opened on May 25, 2026

copilot-language - Unable to drop as many elements from Stream as prepended

Status: Open.

#607 In Copilot-Language/copilot;

· strikef opened on Mar 11, 2025

local streams can escape their lexical scope

CR:Status:AcceptedAdmin only: Change request accepted by technical leadAdmin only: Change request accepted by technical lead

CR:Type:BugAdmin only: Change request pertaining to error detectedAdmin only: Change request pertaining to error detected

Status: Open.

#253 In Copilot-Language/copilot;

· robdockins opened on Sep 17, 2021