Search results

copilot-{bluespec,theorem}: Special Float values are translated incorrectly

Status: Open.

#697 In Copilot-Language/copilot;

· RyanGlScott opened on Nov 21, 2025

copilot-theorem: Examples do not compile

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

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

Status: Open.

#692 In Copilot-Language/copilot;

· RyanGlScott opened on Nov 19, 2025

·  

4.7.1

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