aboutsummaryrefslogtreecommitdiffhomepage
path: root/test/Crypto/Macaroon/Verifier
Commit message (Collapse)AuthorAgeFilesLines
* Dedicated VerifierResultJulien Tanguy2015-10-051-6/+6
| | | | | | | The Maybe (Either ValidationError ()) return type was too cryptic, now there is a real datatype for it. The validation part is unchanged and still uses the Maybe Either type
* Add some internal testsJulien Tanguy2015-08-172-42/+62
|
* Change verifier api and split Verifier moduleJulien Tanguy2015-08-172-21/+37
| | | | - Added haddocks
* Basic validation functionsJulien Tanguy2015-08-161-0/+36
| | | | | | Still needs testing [ci skip]
* Rewrite Verifier with ValidationJulien Tanguy2015-07-081-45/+14
|
* Add Sig/cav verifierJulien Tanguy2015-05-161-1/+17
| | | | [ci skip]
* Fix caveat verificationJulien Tanguy2015-05-161-43/+30
| | | | QuickCheck properties > HUnit tests
* Add generalized function verifierJulien Tanguy2015-05-151-12/+18
|
* Add basic exact caveat verifiersJulien Tanguy2015-05-151-6/+26
| | | | | | Need more tests Touching #2 Verify first party caveats
* Add quickcheck propertiesJulien Tanguy2015-05-151-11/+19
|
* Basic verification of macaroonsJulien Tanguy2015-05-141-0/+59
- Only signatures are checked