]>
2015-05-16 | Julien Tanguy | Add Sig/cav verifier | blob | commitdiff | raw |
2015-05-16 | Julien Tanguy | Fix caveat verification | blob | commitdiff | raw | diff to current |
2015-05-15 | Julien Tanguy | Add generalized function verifier | blob | commitdiff | raw | diff to current |
2015-05-15 | Julien Tanguy | Add basic exact caveat verifiers | blob | commitdiff | raw | diff to current |
2015-05-15 | Julien Tanguy | Add quickcheck properties | blob | commitdiff | raw | diff to current |
2015-05-14 | Julien Tanguy | Basic verification of macaroons | blob | commitdiff | raw | diff to current |