Domain-specific language for specifying cryptographic algorithms

Current versions

cryptol requires the following formulae to be installed:
ghc 8.2.1 Glorious Glasgow Haskell Compilation System
cabal-install Command-line interface for Cabal and Hackage
z3 4.5.0 High-performance theorem prover

Formula history

ilovezfs cryptol: depend on ghc (#16120)
ilovezfs cryptol: depend on ghc@8.0
ilovezfs cryptol 2.5.0
ilovezfs cryptol: fix incompatibility with sbv >= 5.15
Viktor Szakats cryptol: secure url(s)
Mike McQuaid Use hash rockets again. (#5177)
Mike McQuaid Use Ruby 1.9+ symbol hash keys in all formulae. (#4942)
ilovezfs cryptol 2.4.0
Misty De Meo cryptol: sbv fixes have been upstreamed
ilovezfs cryptol: GHC 8 compatibility
Show all revisions of this formula