2f1909ffd3
* 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.