Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | ghc<7.10.1 compat | Julien Tanguy | 2015-08-17 | 1 | -0/+1 |
| | |||||
* | Change verifier api and split Verifier module | Julien Tanguy | 2015-08-17 | 1 | -3/+3 |
| | | | | - Added haddocks | ||||
* | Typos and stylish-haskell | Julien Tanguy | 2015-08-17 | 1 | -2/+2 |
| | |||||
* | Update QuickCheck | Julien Tanguy | 2015-06-17 | 1 | -13/+0 |
| | | | | [ci skip] | ||||
* | Fix caveat verification | Julien Tanguy | 2015-05-16 | 1 | -0/+7 |
| | | | | QuickCheck properties > HUnit tests | ||||
* | 1st party caveats to Macaroon Arbitrary instance | Julien Tanguy | 2015-05-15 | 1 | -1/+13 |
| | |||||
* | Nixify package & documentation | Julien Tanguy | 2015-05-06 | 1 | -0/+6 |
| | | | | Added quickcheck helper | ||||
* | Add quickchecked serialization properties | Julien Tanguy | 2015-04-15 | 1 | -0/+54 |