* Added "security" library (Heisenbug)
* A collection of formally verified cryptographic algorithms
* Update security.heisenbug.toml
* Fixing: "Tag string not valid"
* SHA256 doesn't seem to be supported?
Try SHA512 instead...
* + Update to v1.0.1
* * Rename to comply with naming convention
* Moved file to proper directory after rename
* - Removed file from old (wrong) location
* - Removed 1.0.0 from version list
1.0.0 is broken, anyway.
* * Fixed typo
For some reason, I put test-phelix as executable name whereas it should have been test_phelix.
* * Heisenbug's Security library has been renamed to Saatana.
Vinzent "Jellix" Saranen
Fabien Chouteau