This respository contains a Git mirror of the Ada SPARK 2005 implementation of Tokeneer described here:
https://www.adacore.com/tokeneer
This Git mirror is not intended for active development, it is simply a read-only mirror of the original code, accessible via git. It is in no way associated with the original authors of the source code.
Copyright remains with the original authors.