Repository navigation

Fix handling of special `Float` values. Refs #697. - #722

Merged

ivanperez-keera merged 4 commits into

Copilot-Language:masterfrom

GaloisInc:fix-697-bluespec-special-floats

May 7, 2026

Merged

Fix handling of special `Float` values. Refs #697.#722
ivanperez-keera merged 4 commits into
Copilot-Language:masterfrom
GaloisInc:fix-697-bluespec-special-floats

Commits on Apr 3, 2026
- copilot-bluespec: Fix translation of special Float values to Bluespec. Refs #697.
  
  tkann-galois
  and
  RyanGlScott
  committed
  9743fae
- copilot-theorem: Handle special Float values correctly for counterexamples. Refs #697.
  
  tkann-galois
  and
  RyanGlScott
  committed
  caafd77
- copilot-bluespec: Document changes in CHANGELOG. Refs #697.
  
  tkann-galois
  and
  RyanGlScott
  committed
  b2d81f6
- copilot-theorem: Document changes in CHANGELOG. Refs #697.
  
  tkann-galois
  and
  RyanGlScott
  committed
  6e2fed2