cryptol

Domain-specific language for specifying cryptographic algorithms
https://www.cryptol.net/

Current versions
2.5.0
HEAD

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

Formula history

ilovezfs Use “squiggly” heredocs.
Viktor Szakats cryptol: secure url(s)
ilovezfs cryptol: constrain happy to <1.19.6 (#18848)
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)
Show all revisions of this formula