Import generic, updated shell.nix

Add transformers to bench deps

Merge branch 'verification'

Modify exports & haddock

Use hvr's generated .travis.yml

ghc<7.10.1 compat

Add some internal tests

Import Control.Applicative

Add missing Data.Monoid import

Merge travis config from master

Change verifier api and split Verifier module

- Added haddocks

Typos and stylish-haskell

Handle different flags for 'cabal test'

Cabal 1.18 does not handle --show-details=streaming

Forgot to enable tests and benchs in dep install

Remove hpc-coveralls for now

Fix travix.yml

Update travis.yml to use the new infrastructure

Basic validation functions

Still needs testing

[ci skip]

Fix travis.yml

Rewrite Verifier with Validation

Enable library coverage via coveralls.io

Update QuickCheck

[ci skip]

Add basic macaroon verification

Add Sig/cav verifier

[ci skip]

Fix caveat verification

QuickCheck properties > HUnit tests

Add generalized function verifier

Add basic exact caveat verifiers

Need more tests

Touching #2 Verify first party caveats

1st party caveats to Macaroon Arbitrary instance

Add newlines between Caveats in Macaroon's show

[ci skip]

Add quickcheck properties

Transfer TODO to github issues

[ci skip]

Update changelog and fix cabal

Basic verification of macaroons

- Only signatures are checked

Add some notes on macaroons

[ci skip]

Rearrange tests

[ci skip]

Remove third party caveats

[ci skip]

Fix haddock and add changelog

[ci skip]

Haddock markup

[ci skip]

Fix build and add travis badge

Edit travis config and package deps to match nixos'

Nixify package & documentation

Added quickcheck helper

Add quickchecked serialization properties

Extract sanity check

Refactor tests

Disable third party caveats

Change Eq instances

Deserialize Macaroons

- Refactor serialization/deserialization into its own module
- Refactor tests

Update Readme: rust impl & todos

Documentation

Rewording and lint

Initial commit