copilot-bluespec: Fix translation of constant floating-point values. Refs #696. - #703

copilot-bluespec: Fix translation of constant floating-point values. Refs #696.#703

ivanperez-keera merged 2 commits into

Copilot-Language:masterCopilot-Language/copilot:masterfrom

GaloisInc:fix-696-bluespec-special-constfpGaloisInc/copilot-1:fix-696-bluespec-special-constfpCopy head branch name to clipboard