Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Dedicated VerifierResult | Julien Tanguy | 2015-10-05 | 2 | -43/+20 |
| | | | | | | | 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 | ||||
* | Modify exports & haddock | Julien Tanguy | 2015-08-17 | 2 | -9/+11 |
| | |||||
* | ghc<7.10.1 compat | Julien Tanguy | 2015-08-17 | 2 | -3/+5 |
| | |||||
* | Import Control.Applicative | Julien Tanguy | 2015-08-17 | 1 | -0/+1 |
| | |||||
* | Change verifier api and split Verifier module | Julien Tanguy | 2015-08-17 | 4 | -40/+52 |
| | | | | - Added haddocks | ||||
* | Typos and stylish-haskell | Julien Tanguy | 2015-08-17 | 1 | -1/+1 |
| | |||||
* | Basic validation functions | Julien Tanguy | 2015-08-16 | 2 | -34/+121 |
| | | | | | | Still needs testing [ci skip] | ||||
* | Rewrite Verifier with Validation | Julien Tanguy | 2015-07-08 | 1 | -51/+22 |
| | |||||
* | Add Sig/cav verifier | Julien Tanguy | 2015-05-16 | 1 | -3/+7 |
| | | | | [ci skip] | ||||
* | Fix caveat verification | Julien Tanguy | 2015-05-16 | 1 | -3/+16 |
| | | | | QuickCheck properties > HUnit tests | ||||
* | Add generalized function verifier | Julien Tanguy | 2015-05-15 | 1 | -7/+8 |
| | |||||
* | Add basic exact caveat verifiers | Julien Tanguy | 2015-05-15 | 1 | -4/+43 |
| | | | | | | Need more tests Touching #2 Verify first party caveats | ||||
* | Add newlines between Caveats in Macaroon's show | Julien Tanguy | 2015-05-15 | 1 | -1/+1 |
| | | | | [ci skip] | ||||
* | Add quickcheck properties | Julien Tanguy | 2015-05-15 | 1 | -3/+3 |
| | |||||
* | Basic verification of macaroons | Julien Tanguy | 2015-05-14 | 1 | -0/+34 |
| | | | | - Only signatures are checked | ||||
* | Remove third party caveats | Julien Tanguy | 2015-05-13 | 2 | -10/+9 |
| | | | | [ci skip] | ||||
* | Haddock markup | Julien Tanguy | 2015-05-06 | 2 | -0/+3 |
| | | | | [ci skip] | ||||
* | Refactor tests | Julien Tanguy | 2015-04-14 | 1 | -8/+8 |
| | |||||
* | Disable third party caveats | Julien Tanguy | 2015-04-14 | 1 | -1/+1 |
| | |||||
* | Change Eq instances | Julien Tanguy | 2015-04-14 | 1 | -2/+22 |
| | |||||
* | Deserialize Macaroons | Julien Tanguy | 2015-04-14 | 2 | -35/+85 |
| | | | | | - Refactor serialization/deserialization into its own module - Refactor tests | ||||
* | Documentation | Julien Tanguy | 2015-04-09 | 2 | -2/+14 |
| | |||||
* | Rewording and lint | Julien Tanguy | 2015-04-09 | 3 | -31/+35 |
| | |||||
* | Initial commit | Julien Tanguy | 2015-04-09 | 3 | -0/+237 |