Skip to content

copilot-theorem: Support translating UpdateField to what4. Refs #524. - #527

Merged
ivanperez-keera merged 5 commits into
Copilot-Language:masterfrom
GaloisInc:develop-copilot-theorem-UpdateField
Aug 30, 2024
Merged

copilot-theorem: Support translating UpdateField to what4. Refs #524.#527
ivanperez-keera merged 5 commits into
Copilot-Language:masterfrom
GaloisInc:develop-copilot-theorem-UpdateField

copilot: Document changes in CHANGELOG. Refs #524.

bf0f454
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs