add David's Keccak implementation
Only print `Loading` when the module is going to be loaded

  Looks like we were re-loading everything afterall!  This closes #10
Merge branch 'master' into devel
add travis.yml
install the Cabal library before starting the Travis build
disable email notifications for travis
fix expected output for tests after fix in #10
Setup.hs: unbreak 'runhaskell Setup configure' building mode

Otherwise default hook won't generate src/GitRev.hs file.

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Add an FNV-1a example (non-cryptographic hash).
fix #67

The python side of the notebook needed to be updated to expect a
.cabal-sandbox rather than cabal-dev sandbox. Also added a -fnotebook
flag to the cabal file to build the Haskell side of it.
add makefile target for cryptolnb executable
added most of the test cases
small fixes for push
Merge branch 'master' of https://github.com/GaloisInc/cryptol
finished test vectors
created function AeadConstruction that is used to generate tags in
AEAD encryption and decryption
added SignCast instance and exported sbv
added malicious sha example
Added SignCast instance and exported sbv

Changes necessary for SAWCore's use of SBV. Ultimately, these should be
merged into the upstream SBV package.
mkUninterpret function added to sbv Model
changed collision properties to require inputs to be different