Vaton

Website:

https://github.com/mhatzl/vaton

Author:

Manuel Hatzl

Maintainer:

Manuel Hatzl <hatzlmanuel@outlook.com>

License:

MIT

Version:

0.1.0

Alire CI:

Dependencies:

spark_unbound ~0.2.1
gnat (>=12.0.0 & <2000) | >=2021

Dependents:

No dependents.

Badge:

Copy image location: https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/vaton.json

Verified Ascii To Number conversion written in Ada/SPARK

#spark

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