Skip to content
This repository has been archived by the owner on Aug 12, 2024. It is now read-only.

Commit

Permalink
mention stack in readme
Browse files Browse the repository at this point in the history
ref #18
  • Loading branch information
jklmnn committed Feb 14, 2020
1 parent 983584c commit 4cc6b06
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,9 @@ Furthermore some useful functional properties have been formally verified.
- [Basalt.Queue](src/basalt-queue.ads) - A FIFO queue implementation.
The interface is designed in a way that allows to prove properties about the
quantity of elements in the queue.
- [Basalt.Stack](src/basalt-stack.ads) - A stack implementation.
The interface is designed in a way that allows to prove properties about the
quantity of elements on the stack.
- [Basalt.Slicer](src/basalt-slicer.ads) - A tool that splits ranges into
maximum sized slices. Each slice proves to be in the initially given range
and to be at maximum of the given size.
Expand Down

0 comments on commit 4cc6b06

Please sign in to comment.