aboutsummaryrefslogtreecommitdiffhomepage
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* Dedicated VerifierResultJulien Tanguy2015-10-051-6/+6
* ghc<7.10.1 compatJulien Tanguy2015-08-171-0/+1
* Add some internal testsJulien Tanguy2015-08-172-42/+62
* Change verifier api and split Verifier moduleJulien Tanguy2015-08-174-28/+46
* Typos and stylish-haskellJulien Tanguy2015-08-173-16/+16
* Basic validation functionsJulien Tanguy2015-08-161-0/+36
* Rewrite Verifier with ValidationJulien Tanguy2015-07-081-45/+14
* Update QuickCheckJulien Tanguy2015-06-171-13/+0
* Add Sig/cav verifierJulien Tanguy2015-05-161-1/+17
* Fix caveat verificationJulien Tanguy2015-05-162-43/+37
* Add generalized function verifierJulien Tanguy2015-05-151-12/+18
* Add basic exact caveat verifiersJulien Tanguy2015-05-151-6/+26
* 1st party caveats to Macaroon Arbitrary instanceJulien Tanguy2015-05-151-1/+13
* Add quickcheck propertiesJulien Tanguy2015-05-152-12/+20
* Basic verification of macaroonsJulien Tanguy2015-05-142-0/+61
* Rearrange testsJulien Tanguy2015-05-131-1/+1
* Nixify package & documentationJulien Tanguy2015-05-061-0/+6
* Add quickchecked serialization propertiesJulien Tanguy2015-04-152-0/+60
* Extract sanity checkJulien Tanguy2015-04-152-13/+23
* Refactor testsJulien Tanguy2015-04-143-39/+95
* Disable third party caveatsJulien Tanguy2015-04-141-15/+15
* Deserialize MacaroonsJulien Tanguy2015-04-141-10/+38
* Rewording and lintJulien Tanguy2015-04-091-19/+29
* Initial commitJulien Tanguy2015-04-092-0/+140