aboutsummaryrefslogtreecommitdiffhomepage
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Modify exports & haddockJulien Tanguy2015-08-172-9/+11
|
* ghc<7.10.1 compatJulien Tanguy2015-08-172-3/+5
|
* Import Control.ApplicativeJulien Tanguy2015-08-171-0/+1
|
* Change verifier api and split Verifier moduleJulien Tanguy2015-08-174-40/+52
| | | | - Added haddocks
* Typos and stylish-haskellJulien Tanguy2015-08-171-1/+1
|
* Basic validation functionsJulien Tanguy2015-08-162-34/+121
| | | | | | Still needs testing [ci skip]
* Rewrite Verifier with ValidationJulien Tanguy2015-07-081-51/+22
|
* Add Sig/cav verifierJulien Tanguy2015-05-161-3/+7
| | | | [ci skip]
* Fix caveat verificationJulien Tanguy2015-05-161-3/+16
| | | | QuickCheck properties > HUnit tests
* Add generalized function verifierJulien Tanguy2015-05-151-7/+8
|
* Add basic exact caveat verifiersJulien Tanguy2015-05-151-4/+43
| | | | | | Need more tests Touching #2 Verify first party caveats
* Add newlines between Caveats in Macaroon's showJulien Tanguy2015-05-151-1/+1
| | | | [ci skip]
* Add quickcheck propertiesJulien Tanguy2015-05-151-3/+3
|
* Basic verification of macaroonsJulien Tanguy2015-05-141-0/+34
| | | | - Only signatures are checked
* Remove third party caveatsJulien Tanguy2015-05-132-10/+9
| | | | [ci skip]
* Haddock markupJulien Tanguy2015-05-062-0/+3
| | | | [ci skip]
* 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
| | | | | - Refactor serialization/deserialization into its own module - Refactor tests
* DocumentationJulien Tanguy2015-04-092-2/+14
|
* Rewording and lintJulien Tanguy2015-04-093-31/+35
|
* Initial commitJulien Tanguy2015-04-093-0/+237