aboutsummaryrefslogtreecommitdiffhomepage
path: root/test/Crypto/Macaroon/Verifier/Tests.hs
Commit message (Expand)AuthorAgeFilesLines
* Add some internal testsJulien Tanguy2015-08-171-40/+4
* Change verifier api and split Verifier moduleJulien Tanguy2015-08-171-21/+7
* Basic validation functionsJulien Tanguy2015-08-161-0/+36
* Rewrite Verifier with ValidationJulien Tanguy2015-07-081-45/+14
* Add Sig/cav verifierJulien Tanguy2015-05-161-1/+17
* Fix caveat verificationJulien Tanguy2015-05-161-43/+30
* Add generalized function verifierJulien Tanguy2015-05-151-12/+18
* Add basic exact caveat verifiersJulien Tanguy2015-05-151-6/+26
* Add quickcheck propertiesJulien Tanguy2015-05-151-11/+19
* Basic verification of macaroonsJulien Tanguy2015-05-141-0/+59