Skip to content

copilot-prettyprinter: Pretty-print struct update expressions. Refs #526. - #528

Merged
ivanperez-keera merged 2 commits into
Copilot-Language:masterfrom
GaloisInc:develop-copilot-prettyprinter-UpdateField
Sep 2, 2024
Merged

ivanperez-keera merged 2 commits into
Copilot-Language:masterfrom
GaloisInc:develop-copilot-prettyprinter-UpdateField

copilot-prettyprinter: Document changes in CHANGELOG. Refs #526.

cc9ca22
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs