Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Change verifier api and split Verifier module | Julien Tanguy | 2015-08-17 | 4 | -28/+46 |
* | Typos and stylish-haskell | Julien Tanguy | 2015-08-17 | 3 | -16/+16 |
* | Basic validation functions | Julien Tanguy | 2015-08-16 | 1 | -0/+36 |
* | Rewrite Verifier with Validation | Julien Tanguy | 2015-07-08 | 1 | -45/+14 |
* | Update QuickCheck | Julien Tanguy | 2015-06-17 | 1 | -13/+0 |
* | Add Sig/cav verifier | Julien Tanguy | 2015-05-16 | 1 | -1/+17 |
* | Fix caveat verification | Julien Tanguy | 2015-05-16 | 2 | -43/+37 |
* | Add generalized function verifier | Julien Tanguy | 2015-05-15 | 1 | -12/+18 |
* | Add basic exact caveat verifiers | Julien Tanguy | 2015-05-15 | 1 | -6/+26 |
* | 1st party caveats to Macaroon Arbitrary instance | Julien Tanguy | 2015-05-15 | 1 | -1/+13 |
* | Add quickcheck properties | Julien Tanguy | 2015-05-15 | 2 | -12/+20 |
* | Basic verification of macaroons | Julien Tanguy | 2015-05-14 | 2 | -0/+61 |
* | Rearrange tests | Julien Tanguy | 2015-05-13 | 1 | -1/+1 |
* | Nixify package & documentation | Julien Tanguy | 2015-05-06 | 1 | -0/+6 |
* | Add quickchecked serialization properties | Julien Tanguy | 2015-04-15 | 2 | -0/+60 |
* | Extract sanity check | Julien Tanguy | 2015-04-15 | 2 | -13/+23 |
* | Refactor tests | Julien Tanguy | 2015-04-14 | 3 | -39/+95 |
* | Disable third party caveats | Julien Tanguy | 2015-04-14 | 1 | -15/+15 |
* | Deserialize Macaroons | Julien Tanguy | 2015-04-14 | 1 | -10/+38 |
* | Rewording and lint | Julien Tanguy | 2015-04-09 | 1 | -19/+29 |
* | Initial commit | Julien Tanguy | 2015-04-09 | 2 | -0/+140 |