aboutsummaryrefslogtreecommitdiffhomepage
path: root/test/Crypto
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
* 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-173-24/+40
| | | | - Added haddocks
* Typos and stylish-haskellJulien Tanguy2015-08-172-3/+3
|
* Basic validation functionsJulien Tanguy2015-08-161-0/+36
| | | | | | Still needs testing [ci skip]
* Rewrite Verifier with ValidationJulien Tanguy2015-07-081-45/+14
|
* Update QuickCheckJulien Tanguy2015-06-171-13/+0
| | | | [ci skip]
* Add Sig/cav verifierJulien Tanguy2015-05-161-1/+17
| | | | [ci skip]
* Fix caveat verificationJulien Tanguy2015-05-162-43/+37
| | | | 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
* 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-141-0/+59
| | | | - Only signatures are checked
* Rearrange testsJulien Tanguy2015-05-131-1/+1
| | | | [ci skip]
* Nixify package & documentationJulien Tanguy2015-05-061-0/+6
| | | | Added quickcheck helper
* Add quickchecked serialization propertiesJulien Tanguy2015-04-152-0/+60
|
* Refactor testsJulien Tanguy2015-04-142-39/+93
|
* Disable third party caveatsJulien Tanguy2015-04-141-15/+15
|
* Deserialize MacaroonsJulien Tanguy2015-04-141-10/+38
| | | | | - Refactor serialization/deserialization into its own module - Refactor tests
* Rewording and lintJulien Tanguy2015-04-091-19/+29
|
* Initial commitJulien Tanguy2015-04-091-0/+74