v0.2.1

Added gnat dependency for Ada.Numerics.Big_Numbers

v0.2.0

• Spark_Unbound prepended for all main packages.
• Switched to MIT license
• Moved prove_unbound.adb into tests directory
• Improved action workflows
• Minor documentation changes

First release of Spark_Unbound

This release contains packages

• Safe_Alloc: Provides functionality for safe heap allocation
• Unbound_Array: Offers a generic formally proven unbound array alternative to Ada.Containers.Vector

Limitations:

Currently, Unbound_Array is more like a fancy stack and external manipulations are possible.