aboutsummaryrefslogtreecommitdiffhomepage
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Import Control.ApplicativeJulien Tanguy2015-08-171-0/+1
* Change verifier api and split Verifier moduleJulien Tanguy2015-08-174-40/+52
* Typos and stylish-haskellJulien Tanguy2015-08-171-1/+1
* Basic validation functionsJulien Tanguy2015-08-162-34/+121
* Rewrite Verifier with ValidationJulien Tanguy2015-07-081-51/+22
* Add Sig/cav verifierJulien Tanguy2015-05-161-3/+7
* Fix caveat verificationJulien Tanguy2015-05-161-3/+16
* Add generalized function verifierJulien Tanguy2015-05-151-7/+8
* Add basic exact caveat verifiersJulien Tanguy2015-05-151-4/+43
* Add newlines between Caveats in Macaroon's showJulien Tanguy2015-05-151-1/+1
* Add quickcheck propertiesJulien Tanguy2015-05-151-3/+3
* Basic verification of macaroonsJulien Tanguy2015-05-141-0/+34
* Remove third party caveatsJulien Tanguy2015-05-132-10/+9
* Haddock markupJulien Tanguy2015-05-062-0/+3
* Refactor testsJulien Tanguy2015-04-141-8/+8
* Disable third party caveatsJulien Tanguy2015-04-141-1/+1
* Change Eq instancesJulien Tanguy2015-04-141-2/+22
* Deserialize MacaroonsJulien Tanguy2015-04-142-35/+85
* DocumentationJulien Tanguy2015-04-092-2/+14
* Rewording and lintJulien Tanguy2015-04-093-31/+35
* Initial commitJulien Tanguy2015-04-093-0/+237
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-24 12:18:37 +0000