Search results

copilot-theorem: allow random-1.3

Status: Open.

#627 In Copilot-Language/copilot;

· andreasabel opened on Jun 2, 2025

<code>copilot-visualizer</code>: Include in mainline

CR:Status:InitiatedAdmin only: Change request that has been initiatedAdmin only: Change request that has been initiated

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

Status: Open.

#624 In Copilot-Language/copilot;

· ivanperez-keera opened on May 17, 2025

<code>copilot-theorem</code>: Code contains unused pragmas

CR:Status:ImplementationAdmin only: Change request that is currently being implementedAdmin only: Change request that is currently being implemented

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

Status: Open.

#613 In Copilot-Language/copilot;

· ivanperez-keera opened on Mar 29, 2025

 ·  

4.5

<code>copilot-theorem</code>: Extend range of versions of <code>what4</code>

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.

#611 In Copilot-Language/copilot;

· ivanperez-keera opened on Mar 29, 2025

<code>copilot-language</code> - Unable to drop as many elements from Stream as prepended

Status: Open.

#607 In Copilot-Language/copilot;

· strikef opened on Mar 11, 2025

Extend range of versions of 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.

#603 In Copilot-Language/copilot;

· ivanperez-keera opened on Mar 7, 2025

Reusability of preprocessing functions to reduce code bloat

feature requestRequest or advice for a featureRequest or advice for a feature

questionFurther information is requestedFurther information is requested

Status: Open.

#297 In Copilot-Language/copilot;

· antanas-kalkauskas-sensmetry opened on Feb 28, 2022

<code>local</code> 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

Add ability to add names / labels to streams

enhancementNew feature or requestNew feature or request

feature requestRequest or advice for a featureRequest or advice for a feature

Status: Open.

#59 In Copilot-Language/copilot;

· fdedden opened on Apr 7, 2020

Support nominally distinct Haskell types with identical copilot types

feature requestRequest or advice for a featureRequest or advice for a feature

Status: Open.

#58 In Copilot-Language/copilot;

· avieth opened on Mar 26, 2020