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

Commits

  1. Commits on Aug 30, 2024