Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Dedicated VerifierResult | Julien Tanguy | 2015-10-05 | 1 | -41/+7 |
* | ghc<7.10.1 compat | Julien Tanguy | 2015-08-17 | 1 | -2/+4 |
* | Change verifier api and split Verifier module | Julien Tanguy | 2015-08-17 | 1 | -10/+25 |
* | Basic validation functions | Julien Tanguy | 2015-08-16 | 1 | -34/+47 |
* | Rewrite Verifier with Validation | Julien Tanguy | 2015-07-08 | 1 | -51/+22 |
* | Add Sig/cav verifier | Julien Tanguy | 2015-05-16 | 1 | -3/+7 |
* | Fix caveat verification | Julien Tanguy | 2015-05-16 | 1 | -3/+16 |
* | 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 |
* | Add quickcheck properties | Julien Tanguy | 2015-05-15 | 1 | -3/+3 |
* | Basic verification of macaroons | Julien Tanguy | 2015-05-14 | 1 | -0/+34 |