Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Dedicated VerifierResult | Julien Tanguy | 2015-10-05 | 1 | -1/+1 |
* | Add transformers to bench depsverification | Julien Tanguy | 2015-08-17 | 1 | -0/+1 |
* | Use hvr's generated .travis.yml | Julien Tanguy | 2015-08-17 | 1 | -0/+1 |
* | ghc<7.10.1 compat | Julien Tanguy | 2015-08-17 | 1 | -3/+3 |
* | Change verifier api and split Verifier module | Julien Tanguy | 2015-08-17 | 1 | -4/+6 |
* | Typos and stylish-haskell | Julien Tanguy | 2015-08-17 | 1 | -5/+2 |
* | Basic validation functions | Julien Tanguy | 2015-08-16 | 1 | -1/+3 |
* | Rewrite Verifier with Validation | Julien Tanguy | 2015-07-08 | 1 | -0/+2 |
* | Update QuickCheck | Julien Tanguy | 2015-06-17 | 1 | -1/+2 |
* | Update changelog and fix cabal | Julien Tanguy | 2015-05-14 | 1 | -1/+1 |
* | Basic verification of macaroons | Julien Tanguy | 2015-05-14 | 1 | -1/+2 |
* | Remove third party caveats | Julien Tanguy | 2015-05-13 | 1 | -3/+3 |
* | Fix haddock and add changelog | Julien Tanguy | 2015-05-06 | 1 | -21/+10 |
* | Fix build and add travis badge | Julien Tanguy | 2015-05-06 | 1 | -1/+1 |
* | Edit travis config and package deps to match nixos' | Julien Tanguy | 2015-05-06 | 1 | -0/+1 |
* | Nixify package & documentation | Julien Tanguy | 2015-05-06 | 1 | -6/+56 |
* | Add quickchecked serialization properties | Julien Tanguy | 2015-04-15 | 1 | -0/+1 |
* | Extract sanity check | Julien Tanguy | 2015-04-15 | 1 | -1/+1 |
* | Deserialize Macaroons | Julien Tanguy | 2015-04-14 | 1 | -0/+4 |
* | Initial commit | Julien Tanguy | 2015-04-09 | 1 | -0/+63 |