List view

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

CR:Status:ClosedAdmin only: Change request that has been completedAdmin only: Change request that has been completed

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

Status: Closed (completed).

#623 In Copilot-Language/copilot;

· by ivanperez-keera was closed on Jun 19, 2025

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

CR:Status:ClosedAdmin only: Change request that has been completedAdmin only: Change request that has been completed

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

Status: Closed (completed).

#622 In Copilot-Language/copilot;

· by ivanperez-keera was closed on Jun 21, 2025

<code>copilot-core</code>: Remove deprecated record fields of <code>Copilot.Core.Expr.UExpr</code>

CR:Status:ClosedAdmin only: Change request that has been completedAdmin only: Change request that has been completed

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

Status: Closed (completed).

#636 In Copilot-Language/copilot;

· by ivanperez-keera was closed on Jun 28, 2025

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

CR:Status:ClosedAdmin only: Change request that has been completedAdmin only: Change request that has been completed

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

Status: Closed (completed).

#624 In Copilot-Language/copilot;

· by ivanperez-keera was closed on Jun 28, 2025

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

CR:Status:ClosedAdmin only: Change request that has been completedAdmin only: Change request that has been completed

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

Status: Closed (completed).

#613 In Copilot-Language/copilot;

· by ivanperez-keera was closed on Jul 5, 2025

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

CR:Status:ClosedAdmin only: Change request that has been completedAdmin only: Change request that has been completed

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

Status: Closed (completed).

#611 In Copilot-Language/copilot;

· by ivanperez-keera was closed on Jul 6, 2025