Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rewrite Verifier with Validation | Julien Tanguy | 2015-07-08 | 1 | -45/+14 |
| | |||||
* | Add Sig/cav verifier | Julien Tanguy | 2015-05-16 | 1 | -1/+17 |
| | | | | [ci skip] | ||||
* | Fix caveat verification | Julien Tanguy | 2015-05-16 | 1 | -43/+30 |
| | | | | QuickCheck properties > HUnit tests | ||||
* | 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 |
| | | | | | | Need more tests Touching #2 Verify first party caveats | ||||
* | Add quickcheck properties | Julien Tanguy | 2015-05-15 | 1 | -11/+19 |
| | |||||
* | Basic verification of macaroons | Julien Tanguy | 2015-05-14 | 1 | -0/+59 |
- Only signatures are checked |