cryptol

Domain-specific language for specifying cryptographic algorithms

Current versions:
2.4.0HEAD

Homepage:https://www.cryptol.net/

Dependencies

cryptol requires the following formulae to be installed:

Formula history

ilovezfscryptol: fix incompatibility with sbv >= 5.15
Viktor Szakatscryptol: secure url(s)
Mike McQuaidUse hash rockets again. (#5177)
Mike McQuaidUse Ruby 1.9+ symbol hash keys in all formulae. (#4942)
ilovezfscryptol 2.4.0
Misty De Meocryptol: sbv fixes have been upstreamed
ilovezfscryptol: GHC 8 compatibility
ilovezfscryptol: trigger CI
Adam C. Foltzercryptol 2.3.0
Miëtek Bakcryptol: simplify formula
Show all revisions of this formula