Blame · README.md · master · Fenrir / Validation · GitLab

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens, and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption in our documentation.

Normal view History

README.md 145 B

Newer Older

Added Readme.md

Luker committed Oct 14, 2016


This repository houses all theory proofs to test the Fenrir project.

Proofs and little description

Luker committed Oct 14, 2016

NOTE: some of the proofs might be tests, of for older versions of Fenrir

Added Readme.md

Luker committed Oct 14, 2016