Vaton

Verified Ascii To Number conversion written in Ada/SPARK

Website
Author: Manuel Hatzl
Maintainer: Manuel Hatzl <hatzlmanuel@outlook.com>
License: MIT
Version: 0.1.0
Dependencies: Tags: spark
Badge:
Alire CI:

This library offers formally verified functions to convert character streams into the smallest standard type representation the resulting number may fit in. The allowed formats are based on the JSON-Number format, with the addition to allow single underscores between digits.

Note: Only decimal based numbers are supported!

Examples:

-10_000 -> Standard.Integer
1.0 -> Standard.Float
1e4 -> Standard.Float