Basalt 0.3.0-1

Same code as Basalt 0.3.0 but using the Terminating annotation instead of Always_Return.

Basalt 0.3.0

What's Changed

• remove usage of exceptions by @jklmnn in #20
• Enable style and restriction checks by @jklmnn in #22
• Test with GNAT CE 2020 by @jklmnn in #24
• Rename switches.gpr to avoid conflicts by @jklmnn in #26
• Add Split by @jklmnn in #28

Full Changelog: v0.2.0...v0.3.0

Basalt 0.2.0

• pure units
• stack implementation
• value functions
• termination proof
• generic zero copy access procedures for stack and queue

Basalt 0.1.0

• String operations (Image)
• Fifo queue
• Tool to generate size constrained slices from ranges