GaloisInc / GaloisInc/saw-script
Cryptol float support
Open
@RyanGlScott is already working on this.
Since Aug 4, 2026.
missing cryptol features
subsystem: cryptol-saw-core
subsystem: saw-core
tech debt
type: feature request
- Dominant language
- Haskell
- Stars
- 518
- Forks
- 85
- Avg merge
- 1d 18h
- Merged PRs (30d)
- 25
Description
Support for Cryptol floats is currently represented by panic and error calls (see https://github.com/GaloisInc/cryptol-verifier/pull/26/commits/60611b5631fa5762108eb24b1a3d88cd2a0940db). Actual float support needs to be implemented.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.